public abstract class Policy_c extends polyglot.types.TypeObject_c implements Policy
PolicyLabel
interface.Constructor and Description |
---|
Policy_c(JifTypeSystem ts,
polyglot.util.Position pos) |
Modifier and Type | Method and Description |
---|---|
Policy_c |
copy() |
abstract boolean |
equalsImpl(polyglot.types.TypeObject t) |
boolean |
hasVariables() |
boolean |
hasWritersToReaders() |
Policy |
simplify() |
protected abstract Policy |
simplifyImpl() |
java.lang.String |
toString() |
abstract java.lang.String |
toString(java.util.Set<Label> printedLabels) |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
isBottom, isCanonical, isRuntimeRepresentable, isSingleton, isTop, labelCheck, subst, throwTypes
public Policy_c(JifTypeSystem ts, polyglot.util.Position pos)
public final java.lang.String toString()
toString
in class java.lang.Object
public abstract boolean equalsImpl(polyglot.types.TypeObject t)
equalsImpl
in interface polyglot.types.TypeObject
equalsImpl
in class polyglot.types.TypeObject_c
public boolean hasWritersToReaders()
hasWritersToReaders
in interface Policy
public boolean hasVariables()
hasVariables
in interface Policy
public abstract java.lang.String toString(java.util.Set<Label> printedLabels)
public Policy_c copy()
copy
in interface polyglot.util.Copy<polyglot.types.TypeObject>
copy
in class polyglot.types.TypeObject_c
protected abstract Policy simplifyImpl()