CodeQL library for Go
codeql/go-all 4.2.1-dev (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.

getLocation

Gets the source location for this element.

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

DEPRECATED: Use getLocation() instead.

prettyPrintDef

INTERNAL: Use toString() instead.

prettyPrintRef

INTERNAL: Do not use.

toString

Gets a textual representation of this element.