Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## jif.types.label
Interface WritersToReadersLabel

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

All Known Implementing Classes:
  WritersToReadersLabel_c

    public interface WritersToReadersLabel

extends Label

Label that converts the writers of a label into readers. The label WritersToReaders(L) has the property that readers(WritersToReaders(L)) is a superset of writers(L).

Method Summary
`Label` | `label()` The nested label.
`Label` | `transform(LabelEnv env)` Apply this operator to the nested label.

Methods inherited from interface jif.types.label.Label
`componentString, componentString, confProjection, description, hasVariableComponents, hasVariables, hasWritersToReaders, integProjection, isBottom, isComparable, isCovariant, isDisambiguated, isEnumerable, isInvariant, isRuntimeRepresentable, isTop, labelCheck, leq_, normalize, setDescription, simplify, subst, throwTypes, toJava, toString, variableComponents, variables`

Methods inherited from interface jif.types.Param
`isCanonical`

Methods inherited from interface polyglot.types.TypeObject
`equalsImpl, position, typeSystem`

Methods inherited from interface polyglot.util.Copy
`copy`

Method Detail

### label

    Label label()

  The nested label.

### transform

    Label transform(LabelEnv env)

  Apply this operator to the nested label.

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD