Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## jif.types
Interface JifVarInstance

All Superinterfaces:
  java.lang.Cloneable, polyglot.util.Copy, 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`

Method Summary
`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`

Method Detail

### label

    Label label()

### setLabel

    void setLabel(Label L)

### subst

    void subst(VarMap bounds)

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD