jif.types

## Interface LabelLeAssertion

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

      public interface LabelLeAssertion
      extends Assertion

- - ### 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
    --- | ---
    `Label` | `lhs()`
    `LabelLeAssertion` | `lhs(Label lhs)`
    `Label` | `rhs()`
    `LabelLeAssertion` | `rhs(Label rhs)`
    `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

    - #### lhs

          Label lhs()

    - #### rhs

          Label rhs()

    - #### lhs

          LabelLeAssertion lhs(Label lhs)

    - #### rhs

          LabelLeAssertion rhs(Label rhs)

    - #### toJava

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

      Throws:
        `polyglot.types.SemanticException`