jif.types.label

Interface WritersToReadersLabel

All Superinterfaces:

ActsForParam, java.lang.Cloneable, polyglot.util.Copy<polyglot.types.TypeObject>, 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).

Nested Class Summary

Nested classes/interfaces inherited from interface polyglot.util.Copy

polyglot.util.Copy.Util

Method Summary

Modifier and Type	Method and Description
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, copy, description, hasVariableComponents, hasVariables, hasWritersToReaders, integProjection, isBottom, isComparable, isCovariant, isDisambiguated, isEnumerable, isInvariant, isRuntimeRepresentable, isTop, labelCheck, leq_, normalize, setDescription, simplify, subst, throwTypes, toJava, toString, toString, variableComponents, variables

Methods inherited from interface jif.types.ActsForParam

toJava

Methods inherited from interface jif.types.Param

isCanonical, typeSystem

Methods inherited from interface polyglot.types.TypeObject

equalsImpl, position

Method Detail

label

Label label()

The nested label.

transform

Label transform(LabelEnv env)

Apply this operator to the nested label.