jif.types.label

Interface JoinConfPolicy

All Superinterfaces:

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

All Known Implementing Classes:

JoinConfPolicy_c

public interface JoinConfPolicy
extends ConfPolicy, JoinPolicy<ConfPolicy>

Represents the join of a number of confidentiality policies.

Nested Class Summary

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

polyglot.util.Copy.Util

Method Summary

Modifier and Type	Method and Description
java.util.Collection<ConfPolicy>	joinComponents()

Methods inherited from interface jif.types.label.ConfPolicy

isBottomConfidentiality, isTopConfidentiality, join, leq_, meet

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

Method Detail

joinComponents

java.util.Collection<ConfPolicy> joinComponents()

Specified by:

joinComponents in interface JoinPolicy<ConfPolicy>