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.