CodeQL library for C#
codeql/csharp-all 1.0.3-dev (changelog, source)
Search

Class ControlFlow::SuccessorTypes::ExitSuccessor

An exit control flow successor.

Example:

int M(string s)
{
    if (s == null)
        System.Environment.Exit(0);
    return s.Length;
}

The callable exit node of M is an exit successor of the node on line 4.

Import path

import csharp

Direct supertypes

Indirect supertypes

Predicates

toString

Gets a textual representation of successor type.