public class AccessPathLocal extends AccessPathRoot
AccessPath
,
Serialized FormModifier and Type | Field and Description |
---|---|
protected polyglot.types.LocalInstance |
li |
protected java.lang.String |
name |
Constructor and Description |
---|
AccessPathLocal(polyglot.types.LocalInstance li,
java.lang.String name,
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) |
polyglot.types.LocalInstance |
localInstance() |
java.lang.String |
name() |
AccessPathLocal |
name(java.lang.String name) |
void |
setIsNeverNull() |
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 AccessPathLocal(polyglot.types.LocalInstance li, java.lang.String name, polyglot.util.Position pos)
public boolean isCanonical()
isCanonical
in class AccessPath
public AccessPath subst(AccessPathRoot r, AccessPath e)
AccessPath
subst
in class AccessPath
public AccessPathLocal name(java.lang.String name)
public boolean isNeverNull()
isNeverNull
in class AccessPath
public void setIsNeverNull()
public java.lang.String toString()
toString
in class java.lang.Object
public java.lang.String exprString()
exprString
in class AccessPath
public java.lang.String name()
public polyglot.types.LocalInstance localInstance()
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