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()