jif.types.label
Class AccessPathRoot

java.lang.Object
  extended by jif.types.label.AccessPath
      extended by jif.types.label.AccessPathRoot
All Implemented Interfaces:
java.io.Serializable
Direct Known Subclasses:
AccessPathClass, AccessPathConstant, AccessPathLocal, AccessPathThis, AccessPathUninterpreted

public abstract class AccessPathRoot
extends AccessPath

Represents a final access path root.

See Also:
AccessPath, Serialized Form

Constructor Summary
protected AccessPathRoot(polyglot.util.Position pos)
           
 
Method Summary
 boolean isUninterpreted()
           
 PathMap labelcheck(JifContext A, LabelChecker lc)
           
 AccessPathRoot root()
           
 
Methods inherited from class jif.types.label.AccessPath
exprString, hashCode, isCanonical, isNeverNull, position, subst, throwTypes, type, verify
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

AccessPathRoot

protected AccessPathRoot(polyglot.util.Position pos)
Method Detail

isUninterpreted

public boolean isUninterpreted()
Specified by:
isUninterpreted in class AccessPath

root

public final AccessPathRoot root()
Specified by:
root in class AccessPath

labelcheck

public PathMap labelcheck(JifContext A,
                          LabelChecker lc)
Specified by:
labelcheck in class AccessPath