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

Class IR::WriteTarget

A representation of the target of a write instruction.

Import path

import semmle.go.controlflow.IR

Direct supertypes

Known direct subtypes

Fields

Predicates

asSsaVariable

Gets the SSA variable being written to, if any.

getName

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

getWrite

Gets the write instruction of which this is the target.

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.

Charpred