CodeQL library for Go

codeql/go-all 0.7.13 (changelog, source)

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

TSsaDefinition

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