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

Class IR::VarOrConstTarget

A reference to a variable or constant, used as the target of a write.

Import path

import semmle.go.controlflow.IR

Direct supertypes

Indirect supertypes

Fields

Inherited fields

Predicates

getConstant

Gets the constant this refers to, if any.

getName

Gets the name of the variable or field being written to, if any.

getVariable

Gets the variable this refers to, if any.

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.

refersTo

Holds if e is the variable or field being written to.

toString

Gets a textual representation of this target.

Inherited predicates

asSsaVariable

Gets the SSA variable being written to, if any.

from WriteTarget
getWrite

Gets the write instruction of which this is the target.

from WriteTarget

Charpred