jif.ast

## Interface EndorseStmt

- All Superinterfaces:
    java.lang.Cloneable, polyglot.ast.CompoundStmt, polyglot.util.Copy<polyglot.ast.Node>, DowngradeStmt, polyglot.ast.Node, polyglot.ast.NodeOps, java.io.Serializable, polyglot.ast.Stmt, polyglot.ast.Term
  All Known Subinterfaces:
    CheckedEndorseStmt
  All Known Implementing Classes:
    CheckedEndorseStmt_c, EndorseStmt_c

      public interface EndorseStmt
      extends DowngradeStmt

  An immutable representation of the Jif `endorse` statement.

  Grammar: `endorse(label_to, label_from) stmt`

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

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

      `body, body, bound, bound, downgradeKind, label, label`

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