jltools.ext.jif.types
Interface TopLabel

All Superinterfaces:

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

All Known Implementing Classes:

TopLabel_c

public interface TopLabel

extends Label

The class JifTopLabel is the label at the top of the label lattice.

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