Interface WritersToReadersLabel

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

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
Methods inherited from interface polyglot.types.TypeObject
equalsImpl, position, typeSystem
Methods inherited from interface polyglot.util.Copy

Method Detail


Label label()
The nested label.


Label transform(LabelEnv env)
Apply this operator to the nested label.