jif.ast

## Interface LabelActsForLabelConstraintNode

- All Superinterfaces:
    ActsForConstraintNode<Label,Label>, java.lang.Cloneable, ConstraintNode<ActsForConstraint<Label,Label>>, polyglot.util.Copy<polyglot.ast.Node>, polyglot.ast.Node, polyglot.ast.NodeOps, java.io.Serializable
  All Known Implementing Classes:
    LabelActsForLabelConstraintNode_c

      public interface LabelActsForLabelConstraintNode
      extends ActsForConstraintNode<Label,Label>

  An immutable representation of the Jif `ActsFor` constraint between two labels.

  Grammar: `actsFor (actor, granter)`

  The `ActsFor` constraint only appears in the `where` clause of a procedure header.

- - ### Nested Class Summary

    - ### Nested classes/interfaces inherited from interface polyglot.util.Copy

      `polyglot.util.Copy.Util`

  - ### Method Summary

    - ### Methods inherited from interface jif.ast.ActsForConstraintNode

      `actor, actor, granter, granter`

    - ### Methods inherited from interface jif.ast.ConstraintNode

      `constraints, constraints`

    - ### Methods inherited from interface polyglot.ast.Node

      `del, del, dump, error, error, ext, ext, ext, ext, isDisambiguated, isTypeChecked, position, position, visit, visitEdge`

    - ### Methods inherited from interface polyglot.ast.NodeOps

      `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`

    - ### Methods inherited from interface polyglot.util.Copy

      `copy`