public class AccessPathThis extends AccessPathRoot
AccessPath
,
Serialized FormConstructor and Description |
---|
AccessPathThis(polyglot.types.ClassType ct,
polyglot.util.Position pos) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object o) |
java.lang.String |
exprString() |
int |
hashCode() |
boolean |
isCanonical() |
boolean |
isNeverNull() |
PathMap |
labelcheck(JifContext A,
LabelChecker lc) |
AccessPath |
subst(AccessPathRoot r,
AccessPath e)
Return the result of substituting the root r with the access path
e.
|
java.lang.String |
toString() |
polyglot.types.Type |
type()
The type of the access path (when the access path is regarded
as an expression).
|
void |
verify(JifContext A)
Go through the path, check that all the type information is set
correctly, and check that every field access is to a final field,
and any local used is final
|
equivalentTo, isUninterpreted, root
copy, position, throwTypes
public AccessPathThis(polyglot.types.ClassType ct, polyglot.util.Position pos)
ct
- may be null.public boolean isCanonical()
isCanonical
in class AccessPath
public boolean isNeverNull()
isNeverNull
in class AccessPath
public AccessPath subst(AccessPathRoot r, AccessPath e)
AccessPath
subst
in class AccessPath
public java.lang.String toString()
toString
in class java.lang.Object
public java.lang.String exprString()
exprString
in class AccessPath
public boolean equals(java.lang.Object o)
equals
in class AccessPath
public int hashCode()
hashCode
in class AccessPath
public polyglot.types.Type type()
AccessPath
type
in class AccessPath
public PathMap labelcheck(JifContext A, LabelChecker lc)
labelcheck
in class AccessPathRoot
public void verify(JifContext A) throws polyglot.types.SemanticException
AccessPath
verify
in class AccessPath
polyglot.types.SemanticException