public interface ActsForConstraint<Actor extends ActsForParam,Granter extends ActsForParam> extends Assertion
Modifier and Type | Method and Description |
---|---|
Actor |
actor() |
ActsForConstraint<Actor,Granter> |
actor(Actor actor) |
Granter |
granter() |
ActsForConstraint<Actor,Granter> |
granter(Granter granter) |
boolean |
isEquiv() |
polyglot.ast.Expr |
toJava(JifToJavaRewriter rw) |
Actor actor()
ActsForConstraint<Actor,Granter> actor(Actor actor)
Granter granter()
ActsForConstraint<Actor,Granter> granter(Granter granter)
boolean isEquiv()
polyglot.ast.Expr toJava(JifToJavaRewriter rw) throws polyglot.types.SemanticException
polyglot.types.SemanticException