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

Class ControlFlow::SuccessorTypes::ReturnSuccessor

A return control flow successor.

Example:

void M()
{
    return;
}

The callable exit node of M is a return successor of the return; statement.

Import path

import csharp

Direct supertypes

Indirect supertypes

Predicates

toString

Gets a textual representation of successor type.