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

Class ControlFlow::SuccessorTypes::BreakSuccessor

A break control flow successor.

Example:

int M(int x)
{
    while (true)
    {
        if (x++ > 10)
            break;
    }
    return x;
}

The node return x; is a break successor of the node break;.

Import path

import csharp

Direct supertypes

Indirect supertypes

Predicates

toString

Gets a textual representation of successor type.