jif.types

## Interface ActsForConstraint<Actor extends ActsForParam,Granter extends ActsForParam>

- All Superinterfaces:
    Assertion, java.lang.Cloneable, polyglot.util.Copy<polyglot.types.TypeObject>, java.io.Serializable, polyglot.types.TypeObject
  All Known Implementing Classes:
    ActsForConstraint_c

      public interface ActsForConstraint<Actor extends ActsForParam,Granter extends ActsForParam>
      extends Assertion

  The acts-for constraint.

- - ### Nested Class Summary

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

      `polyglot.util.Copy.Util`

  - ### Method Summary

    All Methods Instance Methods Abstract Methods
    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)`

    - ### Methods inherited from interface polyglot.types.TypeObject

      `equalsImpl, isCanonical, position, typeSystem`

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

      `copy`

- - ### Method Detail

    - #### actor

          Actor actor()

    - #### actor

          ActsForConstraint<Actor,Granter> actor(Actor actor)

    - #### granter

          Granter granter()

    - #### granter

          ActsForConstraint<Actor,Granter> granter(Granter granter)

    - #### isEquiv

          boolean isEquiv()

    - #### toJava

          polyglot.ast.Expr toJava(JifToJavaRewriter rw)
                            throws polyglot.types.SemanticException

      Throws:
        `polyglot.types.SemanticException`