jif.ast

## Interface JifClassDecl

- All Superinterfaces:
    polyglot.ast.ClassDecl, polyglot.ast.ClassMember, java.lang.Cloneable, polyglot.util.Copy<polyglot.ast.Node>, polyglot.ast.Documentable, polyglot.ast.Node, polyglot.ast.NodeOps, java.io.Serializable, polyglot.ast.Term, polyglot.ast.TopLevelDecl
  All Known Implementing Classes:
    JifClassDecl_c

      public interface JifClassDecl
      extends polyglot.ast.ClassDecl

  An immutable representation of the Jif class declaration. It extends the Java class declaration with the label/principal parameters and the authority constraint.

- - ### Nested Class Summary

    - ### Nested classes/interfaces inherited from interface polyglot.ast.Term

      `polyglot.ast.Term.Instance`

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

      `polyglot.util.Copy.Util`

  - ### Field Summary

    - ### Fields inherited from interface polyglot.ast.Term

      `ENTRY, EXIT`

  - ### Method Summary

    All Methods Instance Methods Abstract Methods
    Modifier and Type | Method and Description
    --- | ---
    `JifContext` | `addAuthorityToContext(JifContext A)`
    `JifContext` | `addParamsToContext(JifContext A)`
    `java.util.List<PrincipalNode>` | `authority()`
    `JifClassDecl` | `authority(java.util.List<PrincipalNode> authority)`
    `java.util.List<ConstraintNode<Assertion>>` | `constraints()`
    `JifClassDecl` | `constraints(java.util.List<ConstraintNode<Assertion>> constraints)`
    `java.util.List<ParamDecl>` | `params()`
    `JifClassDecl` | `params(java.util.List<ParamDecl> params)`
    `JifClassDecl` | `type(polyglot.types.Type type)`

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

      `body, body, flags, flags, id, id, interfaces, interfaces, name, name, superClass, superClass, type, type`

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

      `javadoc, javadoc`

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

      `memberInstance`

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

      `exceptions, exceptions, reachable, reachable`

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

- - ### Method Detail

    - #### params

          java.util.List<ParamDecl> params()

    - #### params

          JifClassDecl params(java.util.List<ParamDecl> params)

    - #### authority

          java.util.List<PrincipalNode> authority()

    - #### authority

          JifClassDecl authority(java.util.List<PrincipalNode> authority)

    - #### constraints

          java.util.List<ConstraintNode<Assertion>> constraints()

    - #### constraints

          JifClassDecl constraints(java.util.List<ConstraintNode<Assertion>> constraints)

    - #### type

          JifClassDecl type(polyglot.types.Type type)

    - #### addParamsToContext

          JifContext addParamsToContext(JifContext A)

    - #### addAuthorityToContext

          JifContext addAuthorityToContext(JifContext A)