jif.types
Interface NotTaken

All Superinterfaces:

java.lang.Cloneable, polyglot.util.Copy, Label, Param, java.io.Serializable, polyglot.types.TypeObject

All Known Implementing Classes:

NotTaken_c

public interface NotTaken

extends Label

The class NotTaken is the label for paths which cannot be taken, for example, the path that includes statements following a return statement.

Methods inherited from interface jif.types.Label

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

Methods inherited from interface jif.types.Param

isCanonical, isRuntimeRepresentable

Methods inherited from interface polyglot.types.TypeObject

equalsImpl, position, typeSystem

Methods inherited from interface polyglot.util.Copy

copy