jif.types.label
Class JoinConfPolicy_c
java.lang.Object
polyglot.types.TypeObject_c
jif.types.label.Policy_c
jif.types.label.JoinPolicy_c
jif.types.label.JoinConfPolicy_c
- All Implemented Interfaces:
- java.io.Serializable, java.lang.Cloneable, ConfPolicy, Policy, polyglot.types.TypeObject, polyglot.util.Copy
public class JoinConfPolicy_c
- extends JoinPolicy_c
- implements ConfPolicy
Represents the join of a number of confidentiality policies.
- See Also:
- Serialized Form
Fields inherited from class polyglot.types.TypeObject_c |
position, ts |
Methods inherited from class jif.types.label.JoinPolicy_c |
equalsImpl, hashCode, hasVariables, hasWritersToReaders, isBottom, isCanonical, isRuntimeRepresentable, isSingleton, isTop, joinComponents, labelCheck, leq_, simplifyImpl, subst, throwTypes, toString |
Methods inherited from class polyglot.types.TypeObject_c |
equals, position, typeSystem |
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Methods inherited from interface jif.types.label.Policy |
hasVariables, hasWritersToReaders, isBottom, isCanonical, isRuntimeRepresentable, isSingleton, isTop, labelCheck, simplify, subst, throwTypes, toString |
Methods inherited from interface polyglot.types.TypeObject |
equalsImpl, position, typeSystem |
Methods inherited from interface polyglot.util.Copy |
copy |
JoinConfPolicy_c
public JoinConfPolicy_c(java.util.Set components,
JifTypeSystem ts,
polyglot.util.Position pos)
constructJoinPolicy
protected Policy constructJoinPolicy(java.util.Set components,
polyglot.util.Position pos)
- Specified by:
constructJoinPolicy
in class JoinPolicy_c
isBottomConfidentiality
public boolean isBottomConfidentiality()
- Specified by:
isBottomConfidentiality
in interface ConfPolicy
isTopConfidentiality
public boolean isTopConfidentiality()
- Specified by:
isTopConfidentiality
in interface ConfPolicy
leq_
public boolean leq_(ConfPolicy p,
LabelEnv env,
LabelEnv.SearchState state)
- Specified by:
leq_
in interface ConfPolicy
meet
public ConfPolicy meet(ConfPolicy p)
- Specified by:
meet
in interface ConfPolicy
join
public ConfPolicy join(ConfPolicy p)
- Specified by:
join
in interface ConfPolicy