jltools.ext.jif.types
Interface LabelOfVar

All Superinterfaces:

java.lang.Cloneable, Copy, Label, Param, java.io.Serializable, TypeObject

All Known Implementing Classes:

LabelOfVar_c

public interface LabelOfVar

extends Label

The label of a variable(runtime) label.

Method Summary

VarLabel

var()

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

bound, components, componentString, description, description, fold, hasVariables, isBottom, isComparable, isCovariant, isEnumerable, isEquiv, isInvariant, isMeetable, isSingleton, isTop, join, labelOf, leq_, leq, meet_, meet, minus, simplify, singletonComponent, subst, substArg, translate, variables

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

isCanonical, isRuntimeRepresentable

Methods inherited from interface jltools.types.TypeObject

position, restore, typeSystem

Methods inherited from interface jltools.util.Copy

copy

Method Detail

var

public VarLabel var()