public class AccessPathClass extends AccessPathRoot
AccessPath
,
Serialized FormConstructor and Description |
---|
AccessPathClass(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).
|
equivalentTo, isUninterpreted, root
copy, position, throwTypes, verify
public AccessPathClass(polyglot.types.ClassType ct, polyglot.util.Position pos)
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 polyglot.types.Type type()
AccessPath
type
in class AccessPath
public int hashCode()
hashCode
in class AccessPath
public PathMap labelcheck(JifContext A, LabelChecker lc)
labelcheck
in class AccessPathRoot