CodeQL library for Go
codeql/go-all 2.1.3 (changelog, source)
Search

Class ExitNode

A control-flow node that represents the end of the execution of a function or file.

Import path

import semmle.go.controlflow.ControlFlowGraphImpl

Direct supertypes

Indirect supertypes

Fields

Predicates

getRoot

Gets the innermost function or file to which this node belongs.

hasLocationInfo

Holds if this element is at the specified location. The location spans column startcolumn of line startline to column endcolumn of line endline in file filepath. For more information, see Locations.

toString

Gets a textual representation of this control flow node.

Inherited predicates

dominatesNode

Holds if this node dominates dominee in the control-flow graph.

from Node
getAPredecessor

Gets a node that directly precedes this one in the control-flow graph.

from Node
getASuccessor

Gets a node that directly follows this one in the control-flow graph.

from Node
getBasicBlock

Gets the basic block to which this node belongs.

from Node
getFile

Gets the file to which this node belongs.

from Node
isBranch

Holds if this is a node with more than one successor.

from Node
isEntryNode

Holds if this node is the (unique) entry node of a function or file.

from Node
isExitNode

Holds if this node is the (unique) exit node of a function or file.

from Node
isFirstNodeOf

Holds if this is the first control-flow node in subtree.

from Node
isJoin

Holds if this is a node with more than one predecessor.

from Node

Charpred