jif.types

## Interface JifVarInstance

- All Superinterfaces:
    java.lang.Cloneable, polyglot.util.Copy<polyglot.types.TypeObject>, polyglot.types.Declaration, java.io.Serializable, polyglot.types.TypeObject, polyglot.types.VarInstance
  All Known Subinterfaces:
    JifFieldInstance, JifLocalInstance
  All Known Implementing Classes:
    JifFieldInstance_c, JifLocalInstance_c

      public interface JifVarInstance
      extends polyglot.types.VarInstance

  Jif variable instance. A shared super class of `JifLocalInstance` and `JifFieldInstance`

- - ### 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` | `label()`
    `void` | `setLabel(Label L)`
    `void` | `subst(VarMap bounds)`

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

      `constantValue, constantValueSet, flags, isConstant, name, setConstantValue, setFlags, setName, setNotConstant, setType, type`

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

      `declaration, setDeclaration`

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

      `equalsImpl, isCanonical, position, typeSystem`

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

      `copy`

- - ### Method Detail

    - #### label

          Label label()

    - #### setLabel

          void setLabel(Label L)

    - #### subst

          void subst(VarMap bounds)