jif.types.label
Class AccessPathRoot

java.lang.Object
  jif.types.label.AccessPath
      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)
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)

Specified by:

labelcheck in class AccessPath