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