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

Class ControlFlow::Nodes::AnnotatedExitNode

A node for a callable exit point, annotated with the type of exit.

Import path

import csharp

Direct supertypes

Indirect supertypes

Predicates

getBasicBlock

Gets the basic block that this control flow node belongs to.

getCallable

Gets the callable that this exit applies to.

isNormal

Holds if this node represent a normal exit.

Inherited predicates

dominates

Holds if this node dominates that node.

from Node
getAFalseSuccessor

Gets an immediate false successor, if any.

from Node
getAPredecessor

Gets an immediate predecessor node of a given flow type, if any.

from NodeImpl
getAPredecessor

Gets an immediate predecessor, if any.

from Node
getAPredecessorByType

Gets an immediate predecessor node of a given flow type, if any.

from Node
getASuccessor

Gets a successor node of a given type, if any.

from NodeImpl
getASuccessor

Gets an immediate successor, if any.

from Node
getASuccessorByType

Gets a successor node of a given type, if any.

from Node
getATrueSuccessor

Gets an immediate true successor, if any.

from Node
getAstNode

Gets the control flow element that this node corresponds to, if any.

from Node
getElement

DEPRECATED: Use getAstNode instead.

from Node
getEnclosingCallable

Gets the enclosing callable of this control flow node.

from Node
getLocation

Gets the location of this control flow node.

from NodeImpl
getScope

Gets the scope of this node.

from NodeImpl
isBranch

Holds if this node has more than one successor.

from NodeImpl
isCondition

Holds if this control flow node has conditional successors.

from NodeImpl
isJoin

Holds if this node has more than one predecessor.

from NodeImpl
postDominates

Holds if this node post-dominates that node.

from Node
strictlyDominates

Holds if this node strictly dominates that node.

from Node
strictlyPostDominates

Holds if this node strictly post-dominates that node.

from Node
toString

Gets a textual representation of this control flow node.

from NodeImpl