public interface Policy
extends polyglot.types.TypeObject
Modifier and Type | Method and Description |
---|---|
boolean |
hasVariables() |
boolean |
hasWritersToReaders() |
boolean |
isBottom() |
boolean |
isCanonical() |
boolean |
isRuntimeRepresentable() |
boolean |
isSingleton() |
boolean |
isTop() |
PathMap |
labelCheck(JifContext A,
LabelChecker lc) |
Policy |
simplify() |
Policy |
subst(LabelSubstitution substitution) |
java.util.List<polyglot.types.Type> |
throwTypes(polyglot.types.TypeSystem ts) |
java.lang.String |
toString(java.util.Set<Label> printedLabels) |
boolean isCanonical()
isCanonical
in interface polyglot.types.TypeObject
boolean isSingleton()
boolean isRuntimeRepresentable()
boolean isTop()
boolean isBottom()
boolean hasVariables()
boolean hasWritersToReaders()
java.util.List<polyglot.types.Type> throwTypes(polyglot.types.TypeSystem ts)
Policy subst(LabelSubstitution substitution) throws polyglot.types.SemanticException
polyglot.types.SemanticException
Policy simplify()
java.lang.String toString(java.util.Set<Label> printedLabels)
printedLabels
- the set of labels for which auxiliary information should be
omitted.PathMap labelCheck(JifContext A, LabelChecker lc)