CodeQL library for C#
Search

Class ControlFlow::SuccessorType

The type of a control flow successor.

Import path

import csharp

Direct supertypes

Known direct subtypes

    Predicates

    matchesCompletion

    Holds if this successor type matches completion c.

    toString

    Gets a textual representation of successor type.