Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## 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)

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD