jif.types
Interface ActsForConstraint

All Superinterfaces:
Assertion, java.lang.Cloneable, polyglot.util.Copy, java.io.Serializable, polyglot.types.TypeObject
All Known Implementing Classes:
ActsForConstraint_c

public interface ActsForConstraint
extends Assertion

The acts-for constraint.


Method Summary
 Principal actor()
           
 ActsForConstraint actor(Principal actor)
           
 Principal granter()
           
 ActsForConstraint granter(Principal granter)
           
 boolean isEquiv()
           
 
Methods inherited from interface polyglot.types.TypeObject
equalsImpl, isCanonical, position, typeSystem
 
Methods inherited from interface polyglot.util.Copy
copy
 

Method Detail

actor

Principal actor()

actor

ActsForConstraint actor(Principal actor)

granter

Principal granter()

granter

ActsForConstraint granter(Principal granter)

isEquiv

boolean isEquiv()