public class IntegProjectionPolicy_c extends Policy_c implements IntegPolicy
Constructor and Description |
---|
IntegProjectionPolicy_c(Label label,
JifTypeSystem ts,
polyglot.util.Position pos) |
Modifier and Type | Method and Description |
---|---|
boolean |
equalsImpl(polyglot.types.TypeObject o) |
int |
hashCode() |
boolean |
hasVariables() |
boolean |
hasWritersToReaders() |
boolean |
isBottom() |
boolean |
isBottomIntegrity() |
boolean |
isCanonical() |
boolean |
isRuntimeRepresentable() |
boolean |
isSingleton() |
boolean |
isTop() |
boolean |
isTopIntegrity() |
IntegPolicy |
join(IntegPolicy p) |
Label |
label() |
PathMap |
labelCheck(JifContext A,
LabelChecker lc) |
boolean |
leq_(IntegPolicy p,
LabelEnv env,
LabelEnv.SearchState state) |
IntegPolicy |
meet(IntegPolicy p) |
protected Policy |
simplifyImpl() |
Policy |
subst(LabelSubstitution substitution) |
java.util.List<polyglot.types.Type> |
throwTypes(polyglot.types.TypeSystem ts) |
java.lang.String |
toString(java.util.Set<Label> printedLabels) |
public IntegProjectionPolicy_c(Label label, JifTypeSystem ts, polyglot.util.Position pos)
public Label label()
public boolean isSingleton()
isSingleton
in interface Policy
public boolean isCanonical()
isCanonical
in interface Policy
isCanonical
in interface polyglot.types.TypeObject
public boolean isRuntimeRepresentable()
isRuntimeRepresentable
in interface Policy
protected Policy simplifyImpl()
simplifyImpl
in class Policy_c
public boolean equalsImpl(polyglot.types.TypeObject o)
equalsImpl
in interface polyglot.types.TypeObject
equalsImpl
in class Policy_c
public int hashCode()
hashCode
in class polyglot.types.TypeObject_c
public boolean leq_(IntegPolicy p, LabelEnv env, LabelEnv.SearchState state)
leq_
in interface IntegPolicy
public java.lang.String toString(java.util.Set<Label> printedLabels)
public java.util.List<polyglot.types.Type> throwTypes(polyglot.types.TypeSystem ts)
throwTypes
in interface Policy
public Policy subst(LabelSubstitution substitution) throws polyglot.types.SemanticException
public PathMap labelCheck(JifContext A, LabelChecker lc)
labelCheck
in interface Policy
public boolean isBottomIntegrity()
isBottomIntegrity
in interface IntegPolicy
public boolean isTopIntegrity()
isTopIntegrity
in interface IntegPolicy
public boolean hasWritersToReaders()
hasWritersToReaders
in interface Policy
hasWritersToReaders
in class Policy_c
public boolean hasVariables()
hasVariables
in interface Policy
hasVariables
in class Policy_c
public IntegPolicy meet(IntegPolicy p)
meet
in interface IntegPolicy
public IntegPolicy join(IntegPolicy p)
join
in interface IntegPolicy