public interface LabelActsForPrincipalConstraintNode extends ActsForConstraintNode<Label,Principal>
ActsFor
constraint
between a label and a principal.
Grammar: actsFor (actor, granter)
The ActsFor constraint only appears in the where clause of a procedure header.
actor, actor, granter, granter
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