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

getLocation

Gets the source location for this element.

getName

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

getVariable

Gets the variable this refers to, if any.

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
hasLocationInfo

DEPRECATED: Use getLocation() instead.

from WriteTarget

Charpred