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)