public class JoinIntegPolicy_c extends JoinPolicy_c<IntegPolicy> implements IntegPolicy
Constructor and Description |
---|
JoinIntegPolicy_c(java.util.Set<IntegPolicy> components,
JifTypeSystem ts,
polyglot.util.Position pos) |
Modifier and Type | Method and Description |
---|---|
protected Policy |
constructJoinPolicy(java.util.Set<IntegPolicy> components,
polyglot.util.Position pos) |
boolean |
isBottomIntegrity() |
boolean |
isTopIntegrity() |
IntegPolicy |
join(IntegPolicy p) |
boolean |
leq_(IntegPolicy p,
LabelEnv env,
LabelEnv.SearchState state) |
IntegPolicy |
meet(IntegPolicy p) |
equalsImpl, hashCode, hasVariables, hasWritersToReaders, isBottom, isCanonical, isRuntimeRepresentable, isSingleton, isTop, joinComponents, labelCheck, leq_, simplifyImpl, subst, throwTypes, toString, updateContextForComp
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
hasVariables, hasWritersToReaders, isBottom, isCanonical, isRuntimeRepresentable, isSingleton, isTop, labelCheck, simplify, subst, throwTypes, toString
public JoinIntegPolicy_c(java.util.Set<IntegPolicy> components, JifTypeSystem ts, polyglot.util.Position pos)
protected Policy constructJoinPolicy(java.util.Set<IntegPolicy> components, polyglot.util.Position pos)
constructJoinPolicy
in class JoinPolicy_c<IntegPolicy>
public boolean isBottomIntegrity()
isBottomIntegrity
in interface IntegPolicy
public boolean isTopIntegrity()
isTopIntegrity
in interface IntegPolicy
public boolean leq_(IntegPolicy p, LabelEnv env, LabelEnv.SearchState state)
leq_
in interface IntegPolicy
public IntegPolicy meet(IntegPolicy p)
meet
in interface IntegPolicy
public IntegPolicy join(IntegPolicy p)
join
in interface IntegPolicy