|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
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 |
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||