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

Class EntryBasicBlock

An entry basic block, that is, a basic block whose first node is an entry node.

Import path

import semmle.go.controlflow.BasicBlocks

Direct supertypes

Indirect supertypes

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