jif.types.label

Interface ProviderLabel

All Superinterfaces:

ActsForParam, java.lang.Cloneable, polyglot.util.Copy<polyglot.types.TypeObject>, Label, Param, java.io.Serializable, polyglot.types.TypeObject

All Known Implementing Classes:

ProviderLabel_c

public interface ProviderLabel
extends Label

The label on a class, representing the trustworthiness of the class itself.

Nested Class Summary

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

polyglot.util.Copy.Util

Method Summary

Modifier and Type	Method and Description
JifClassType	classType()
boolean	isTrusted()
ProviderLabel	position(polyglot.util.Position pos)

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

position

ProviderLabel position(polyglot.util.Position pos)

classType

JifClassType classType()

Returns:

the class type labelled by this label.

isTrusted

boolean isTrusted()

Returns:

whether this is a trusted provider.