jif.types.label
Class Policy_c
java.lang.Object
polyglot.types.TypeObject_c
jif.types.label.Policy_c
- All Implemented Interfaces:
- java.io.Serializable, java.lang.Cloneable, Policy, polyglot.types.TypeObject, polyglot.util.Copy
- Direct Known Subclasses:
- ConfProjectionPolicy_c, IntegProjectionPolicy_c, JoinPolicy_c, MeetPolicy_c, ReaderPolicy_c, WriterPolicy_c
public abstract class Policy_c
- extends polyglot.types.TypeObject_c
- implements Policy
An implementation of the PolicyLabel
interface.
- See Also:
- Serialized Form
Fields inherited from class polyglot.types.TypeObject_c |
position, ts |
Methods inherited from class polyglot.types.TypeObject_c |
equals, hashCode, position, typeSystem |
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Methods inherited from interface polyglot.types.TypeObject |
position, typeSystem |
Policy_c
public Policy_c(JifTypeSystem ts,
polyglot.util.Position pos)
toString
public final java.lang.String toString()
- Overrides:
toString
in class java.lang.Object
equalsImpl
public abstract boolean equalsImpl(polyglot.types.TypeObject t)
- Specified by:
equalsImpl
in interface polyglot.types.TypeObject
- Overrides:
equalsImpl
in class polyglot.types.TypeObject_c
hasWritersToReaders
public boolean hasWritersToReaders()
- Specified by:
hasWritersToReaders
in interface Policy
hasVariables
public boolean hasVariables()
- Specified by:
hasVariables
in interface Policy
toString
public abstract java.lang.String toString(java.util.Set printedLabels)
- Specified by:
toString
in interface Policy
copy
public java.lang.Object copy()
- Specified by:
copy
in interface polyglot.util.Copy
- Overrides:
copy
in class polyglot.types.TypeObject_c
simplify
public final Policy simplify()
- Specified by:
simplify
in interface Policy
simplifyImpl
protected abstract Policy simplifyImpl()