jif.types.label

Interface ConfProjectionPolicy

All Superinterfaces:

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

All Known Implementing Classes:

ConfProjectionPolicy_c

public interface ConfProjectionPolicy
extends ConfPolicy

The confidentiality projection of a (non meet, join or pair) label.

Nested Class Summary

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

polyglot.util.Copy.Util

Method Summary

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