public interface ActsForConstraintNode<Actor extends ActsForParam,Granter extends ActsForParam> extends ConstraintNode<ActsForConstraint<Actor,Granter>>
ActsFor constraint
.
Grammar: actsFor (actor, granter)
The ActsFor constraint only appears in the where clause of a procedure header.
Modifier and Type | Method and Description |
---|---|
ActsForParamNode<Actor> |
actor()
Gets the actor.
|
ActsForConstraintNode<Actor,Granter> |
actor(ActsForParamNode<Actor> actor)
Returns a copy of this node with the actor updated.
|
ActsForParamNode<Granter> |
granter()
Gets the granter.
|
ActsForConstraintNode<Actor,Granter> |
granter(ActsForParamNode<Granter> granter)
Returns a copy of this node with the granter updated.
|
constraints, constraints
del, del, dump, error, error, ext, ext, ext, ext, isDisambiguated, isTypeChecked, position, position, visit, visitEdge
addDecls, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, extRewrite, extRewriteEnter, extRewriteOverride, lang, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint, throwTypes, translate, typeCheck, typeCheckEnter, typeCheckOverride, visitChild, visitChildren, visitList
ActsForParamNode<Actor> actor()
ActsForConstraintNode<Actor,Granter> actor(ActsForParamNode<Actor> actor)
ActsForParamNode<Granter> granter()
ActsForConstraintNode<Actor,Granter> granter(ActsForParamNode<Granter> granter)