jif.types
Interface JifVarInstance

All Superinterfaces:

java.lang.Cloneable, polyglot.util.Copy, 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.TypeObject

equalsImpl, isCanonical, position, typeSystem

Methods inherited from interface polyglot.util.Copy

copy

Method Detail

label

public Label label()

setLabel

public void setLabel(Label L)

subst

public void subst(VarMap bounds)