jif.types.label
Class MeetIntegPolicy_c
java.lang.Object
polyglot.types.TypeObject_c
jif.types.label.Policy_c
jif.types.label.MeetPolicy_c
jif.types.label.MeetIntegPolicy_c
- All Implemented Interfaces:
- java.io.Serializable, java.lang.Cloneable, IntegPolicy, Policy, polyglot.types.TypeObject, polyglot.util.Copy
public class MeetIntegPolicy_c
- extends MeetPolicy_c
- implements IntegPolicy
Represents the meet of a number of integrity policies.
- See Also:
- Serialized Form
Fields inherited from class polyglot.types.TypeObject_c |
position, ts |
Methods inherited from class jif.types.label.MeetPolicy_c |
equalsImpl, hashCode, hasVariables, hasWritersToReaders, isBottom, isCanonical, isRuntimeRepresentable, isSingleton, isTop, labelCheck, leq_, meetComponents, 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 |
MeetIntegPolicy_c
public MeetIntegPolicy_c(java.util.Set components,
JifTypeSystem ts,
polyglot.util.Position pos)
constructMeetPolicy
protected Policy constructMeetPolicy(java.util.Set components,
polyglot.util.Position pos)
- Specified by:
constructMeetPolicy
in class MeetPolicy_c
isBottomIntegrity
public boolean isBottomIntegrity()
- Specified by:
isBottomIntegrity
in interface IntegPolicy
isTopIntegrity
public boolean isTopIntegrity()
- Specified by:
isTopIntegrity
in interface IntegPolicy
leq_
public boolean leq_(IntegPolicy p,
LabelEnv env,
LabelEnv.SearchState state)
- Specified by:
leq_
in interface IntegPolicy
meet
public IntegPolicy meet(IntegPolicy p)
- Specified by:
meet
in interface IntegPolicy
join
public IntegPolicy join(IntegPolicy p)
- Specified by:
join
in interface IntegPolicy