jif.types.label
Interface ConfPolicy

All Superinterfaces:

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

All Known Subinterfaces:

ReaderPolicy

All Known Implementing Classes:

ConfProjectionPolicy_c, JoinConfPolicy_c, MeetConfPolicy_c, ReaderPolicy_c

public interface ConfPolicy
extends Policy

This class represents a Jif confidentiality policy, which is a lattice over reader policies.

Method Summary

boolean	isBottomConfidentiality()
boolean	isTopConfidentiality()
ConfPolicy	join(ConfPolicy p)
boolean	leq_(ConfPolicy p, LabelEnv env, LabelEnv.SearchState state)
ConfPolicy	meet(ConfPolicy p)

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

isBottomConfidentiality

boolean isBottomConfidentiality()

isTopConfidentiality

boolean isTopConfidentiality()

leq_

boolean leq_(ConfPolicy p,
             LabelEnv env,
             LabelEnv.SearchState state)

join

ConfPolicy join(ConfPolicy p)

meet

ConfPolicy meet(ConfPolicy p)