Module signature InputSig

Provides the language-specific input specification.

Import path

import codeql.controlflow.BasicBlock

nodeGetASuccessor	Gets an immediate successor of this node.
nodeGetCfgScope	Gets the CFG scope in which this node occurs.
nodeIsDominanceEntry	Holds if `node` represents an entry node to be used when calculating dominance.
nodeIsPostDominanceExit	Holds if `node` represents an exit node to be used when calculating post dominance.
successorTypeIsCondition	Hold if `t` represents a conditional successor type.

CfgScope	A delineated part of the AST with its own CFG.
Node	The class of control flow nodes.
SuccessorType

Location