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

Class ReachableBasicBlock

A basic block that is reachable from an entry basic block.

Import path

import semmle.go.controlflow.BasicBlocks

Direct supertypes

Indirect supertypes

Known direct subtypes

Predicates

dominates

Holds if this basic block dominates bb.

postDominates

Holds if this basic block post-dominates bb.

strictlyDominates

Holds if this basic block strictly dominates bb.

strictlyPostDominates

Holds if this basic block strictly post-dominates bb.

Inherited predicates

getANode

Gets a node in this block.

from BasicBlock
getAPredecessor

Gets a basic block preceding this one.

from BasicBlock
getASuccessor

Gets a basic block succeeding this one.

from BasicBlock
getFirstNode

Gets the first node in this block.

from BasicBlock
getImmediateDominator

Gets the basic block that immediately dominates this basic block.

from BasicBlock
getLastNode

Gets the last node in this block.

from BasicBlock
getNode

Gets the node at the given position in this block.

from BasicBlock
getRoot

Gets the innermost function or file to which this basic block belongs.

from BasicBlock
hasLocationInfo

Holds if this basic block 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.

from BasicBlock
length

Gets the length of this block.

from BasicBlock
toString

Gets a textual representation of this basic block.

from BasicBlock

Charpred