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
Interface Label

All Known Implementing Classes:
  PairLabel

    public interface Label

A Label is the runtime representation of a Jif label.

Method Summary
`ConfPolicy` | `confPolicy()`
`IntegPolicy` | `integPolicy()`
`Label` | `join(Label l)`
`Label` | `meet(Label l)`
`boolean` | `relabelsTo(Label l, java.util.Set s)` Returns true iff this <= l.

Method Detail

### relabelsTo

    boolean relabelsTo(Label l,
                       java.util.Set s)

  Returns true iff this <= l. If the method returns true, then s has all of the delegations (i.e., DelegationPairs) added to it that the result depends upon. If the method returns false, then s has no eleents added to it.

### join

    Label join(Label l)

### meet

    Label meet(Label l)

### confPolicy

    ConfPolicy confPolicy()

### integPolicy

    IntegPolicy integPolicy()

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