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

Class SsaExplicitDefinition

An SSA definition that corresponds to an explicit assignment or other variable definition.

Import path

import semmle.go.dataflow.SSA

Direct supertypes

Indirect supertypes

Predicates

definesAt

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

getBasicBlock

Gets the basic block to which this definition belongs.

getInstruction

Gets the instruction where the definition happens.

getRhs

Gets the right-hand side of the definition.

getSourceVariable

Gets the source 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.

Inherited predicates

getRoot

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

from SsaDefinition
getVariable

Gets the SSA variable defined by this definition.

from SsaDefinition
toString

Gets a textual representation of this element.

from SsaDefinition