jif.types.label

Class MeetIntegPolicy_c

java.lang.Object

polyglot.types.TypeObject_c

jif.types.label.Policy_c

jif.types.label.MeetPolicy_c<IntegPolicy>

jif.types.label.MeetIntegPolicy_c

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, IntegPolicy, MeetPolicy<IntegPolicy>, Policy, polyglot.types.TypeObject, polyglot.util.Copy<polyglot.types.TypeObject>

public class MeetIntegPolicy_c
extends MeetPolicy_c<IntegPolicy>
implements IntegPolicy

Represents the meet of a number of integrity policies.

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from interface polyglot.util.Copy

polyglot.util.Copy.Util

Field Summary

Fields inherited from class polyglot.types.TypeObject_c

position, ts

Constructor Summary

Constructors

Constructor and Description
MeetIntegPolicy_c(java.util.Set<IntegPolicy> components, JifTypeSystem ts, polyglot.util.Position pos)

Method Summary

Modifier and Type	Method and Description
protected Policy	constructMeetPolicy(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)

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, updateContextForComp

Methods inherited from class jif.types.label.Policy_c

copy, simplify, 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

Constructor Detail

MeetIntegPolicy_c

public MeetIntegPolicy_c(java.util.Set<IntegPolicy> components,
                         JifTypeSystem ts,
                         polyglot.util.Position pos)

Method Detail

constructMeetPolicy

protected Policy constructMeetPolicy(java.util.Set<IntegPolicy> components,
                                     polyglot.util.Position pos)

Specified by:

constructMeetPolicy in class MeetPolicy_c<IntegPolicy>

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