jltools.ext.jif.types
Interface JifLocalInstance

All Superinterfaces:

java.lang.Cloneable, Copy, JifVarInstance, LocalInstance, java.io.Serializable, TypeObject, VarInstance

All Known Implementing Classes:

JifLocalInstance_c

public interface JifLocalInstance

extends LocalInstance, JifVarInstance

Jif local instance. A wrapper of all the type information related to a local variable or a method argument.

Method Summary

JifLocalInstance	label(Label label)
JifLocalInstance	uid(UID uid)

Methods inherited from interface jltools.types.LocalInstance

constantValue, flags, name, type

Methods inherited from interface jltools.types.VarInstance

constantValue, flags, isConstant, name, setType, type

Methods inherited from interface jltools.types.TypeObject

isCanonical, position, restore, typeSystem

Methods inherited from interface jltools.util.Copy

copy

Methods inherited from interface jltools.ext.jif.types.JifVarInstance

label, uid

Method Detail

uid

public JifLocalInstance uid(UID uid)

label

public JifLocalInstance label(Label label)