jif.types.label

Class JoinConfPolicy_c

java.lang.Object

polyglot.types.TypeObject_c

jif.types.label.Policy_c

jif.types.label.JoinPolicy_c<ConfPolicy>

jif.types.label.JoinConfPolicy_c

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, ConfPolicy, JoinConfPolicy, JoinPolicy<ConfPolicy>, Policy, polyglot.types.TypeObject, polyglot.util.Copy<polyglot.types.TypeObject>

public class JoinConfPolicy_c
extends JoinPolicy_c<ConfPolicy>
implements JoinConfPolicy

Represents the join of a number of confidentiality 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
JoinConfPolicy_c(java.util.Set<ConfPolicy> components, JifTypeSystem ts, polyglot.util.Position pos)

Method Summary

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

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, 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.JoinConfPolicy

joinComponents

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

JoinConfPolicy_c

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

Method Detail

constructJoinPolicy

protected Policy constructJoinPolicy(java.util.Set<ConfPolicy> components,
                                     polyglot.util.Position pos)

Specified by:

constructJoinPolicy in class JoinPolicy_c<ConfPolicy>

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