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

## jif.lang
Class JoinConfPolicy

    java.lang.Object
      jif.lang.AbstractPolicy
          jif.lang.JoinPolicy
              jif.lang.JoinConfPolicy

All Implemented Interfaces:
  ConfPolicy, Policy

    public final class JoinConfPolicy

extends JoinPolicy
implements ConfPolicy

Represents the join of confidentiality policies

Field Summary

Fields inherited from class jif.lang.AbstractPolicy
`labelUtil`

Method Summary
`ConfPolicy` | `join(ConfPolicy p)`
`ConfPolicy` | `join(ConfPolicy p, java.util.Set s)` Return the join of this policy and p.
`ConfPolicy` | `meet(ConfPolicy p)`
`ConfPolicy` | `meet(ConfPolicy p, java.util.Set s)`

Methods inherited from class jif.lang.JoinPolicy
`equals, hashCode, joinComponents, relabelsTo, toString`

Methods inherited from class java.lang.Object
`clone, finalize, getClass, notify, notifyAll, wait, wait, wait`

Methods inherited from interface jif.lang.Policy
`relabelsTo`

Method Detail

### join

    public ConfPolicy join(ConfPolicy p,
                           java.util.Set s)

  Description copied from interface: `ConfPolicy`
  Return the join of this policy and p. The set s contains all delegations (i.e., DelegationPairs) that this join result depends upon.

  Specified by:
    `join` in interface `ConfPolicy`

### meet

    public ConfPolicy meet(ConfPolicy p,
                           java.util.Set s)

  Specified by:
    `meet` in interface `ConfPolicy`

### join

    public ConfPolicy join(ConfPolicy p)

  Specified by:
    `join` in interface `ConfPolicy`

### meet

    public ConfPolicy meet(ConfPolicy p)

  Specified by:
    `meet` in interface `ConfPolicy`

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