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)