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

Class SsaDefinition

An SSA definition.

Import path

import semmle.go.dataflow.SSA

Direct supertypes

Known direct subtypes

Predicates

definesAt

INTERNAL: Use getBasicBlock() and getSourceVariable() instead.

getBasicBlock

Gets the basic block to which this definition belongs.

getRoot

Gets the innermost function or file to which this SSA definition belongs.

getSourceVariable

Gets the source variable defined by this definition.

getVariable

Gets the SSA variable defined by this definition.

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.

prettyPrintDef

INTERNAL: Use toString() instead.

prettyPrintRef

INTERNAL: Do not use.

toString

Gets a textual representation of this element.