Class IR::FieldTarget
A reference to a field, used as the target of a write.
Import path
import semmle.go.controlflow.IRDirect supertypes
Indirect supertypes
Inherited fields
| w | from WriteTarget |
Predicates
| getBase | Gets the instruction computing the base value on which this field is accessed. |
| getBaseType | Get the type of the base of this field access, that is, the type that contains the field. |
| getField | Gets the field this refers to, if it can be determined. |
| getLocation | Gets the source location for this element. |
| getName | Gets the name of the variable or field being written to, if any. |
| refersTo | Holds if |
| 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 | from WriteTarget |