Class SsaSourceField
A fully qualified field in the context of a Callable
in which it is
accessed.
Import path
import semmle.code.java.dataflow.SSA
Direct supertypes
Indirect supertypes
Known direct subtypes
Predicates
getField |
Gets the field corresponding to this named field. |
isVolatile |
Holds if the field itself or any of the fields part of the qualifier are volatile. |
ppQualifier |
Gets a string representation of the qualifier. |
Inherited predicates
getAnAccess |
Gets an access of this |
from SsaSourceVariable |
getAnSsaVariable |
Gets an SSA variable that has this variable as its underlying source variable. |
from SsaSourceVariable |
getEnclosingCallable |
Gets the |
from SsaSourceVariable |
getLocation |
Gets the source location for this element. |
from SsaSourceVariable |
getQualifier |
Gets the qualifier, if any. |
from SsaSourceVariable |
getType |
Gets the type of this variable. |
from SsaSourceVariable |
getVariable |
Gets the variable corresponding to this |
from SsaSourceVariable |
toString |
Gets a textual representation of this |
from SsaSourceVariable |