jif.types
Class ActsForConstraint_c
java.lang.Object
polyglot.types.TypeObject_c
jif.types.ActsForConstraint_c
- All Implemented Interfaces:
- java.io.Serializable, java.lang.Cloneable, ActsForConstraint, Assertion, polyglot.types.TypeObject, polyglot.util.Copy
public class ActsForConstraint_c
- extends polyglot.types.TypeObject_c
- implements ActsForConstraint
An implementation of the ActsForConstraint
interface.
- See Also:
- Serialized Form
Fields inherited from class polyglot.types.TypeObject_c |
position, ts |
Methods inherited from class polyglot.types.TypeObject_c |
copy, equals, equalsImpl, 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 |
equalsImpl, position, typeSystem |
Methods inherited from interface polyglot.util.Copy |
copy |
granter
protected Principal granter
actor
protected Principal actor
isEquiv
protected final boolean isEquiv
ActsForConstraint_c
public ActsForConstraint_c(JifTypeSystem ts,
polyglot.util.Position pos,
Principal actor,
Principal granter,
boolean isEquiv)
actor
public ActsForConstraint actor(Principal actor)
- Specified by:
actor
in interface ActsForConstraint
granter
public ActsForConstraint granter(Principal granter)
- Specified by:
granter
in interface ActsForConstraint
actor
public Principal actor()
- Specified by:
actor
in interface ActsForConstraint
granter
public Principal granter()
- Specified by:
granter
in interface ActsForConstraint
isEquiv
public boolean isEquiv()
- Specified by:
isEquiv
in interface ActsForConstraint
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object
isCanonical
public boolean isCanonical()
- Specified by:
isCanonical
in interface polyglot.types.TypeObject