jif.types.label

Interface MeetConfPolicy

All Superinterfaces:

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

All Known Implementing Classes:

MeetConfPolicy_c

public interface MeetConfPolicy
extends ConfPolicy, MeetPolicy<ConfPolicy>

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>	meetComponents()

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

meetComponents

java.util.Collection<ConfPolicy> meetComponents()

Specified by:

meetComponents in interface MeetPolicy<ConfPolicy>