Class SsaWithFields
An SSA variable with zero or more fields read from it.
Import path
import semmle.go.dataflow.SSA
Direct supertypes
Predicates
getAUse | Gets a use that refers to this SSA variable with fields. |
getBaseVariable | Gets the SSA variable corresponding to the base of this SSA variable with fields. |
getQualifiedName | Gets the qualified name of the source variable or variable and fields that this represents. |
getType | Gets the type of this SSA variable with fields. |
hasLocationInfo | Holds if this element is at the specified location. The location spans column |
similar | Gets an SSA-with-fields variable that is similar to this SSA-with-fields variable in the sense that it has the same root variable and the same sequence of field accesses. |
toString | Gets a textual representation of this element. |