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:
  AbstractLabel, JoinLabel, PrivacyPolicy, ReadableByPrinLabel

    public interface Label

A Label is the runtime representation of a Jif label.

Method Summary
`java.lang.String` | `componentString()` String to print if this label is a component of a larger label
`Label` | `join(Label l)` Returns true iff this <= l
`boolean` | `relabelsTo(Label l)` Returns true iff this <= l

Method Detail

### relabelsTo

    boolean relabelsTo(Label l)

  Returns true iff this <= l

### join

    Label join(Label l)

  Returns true iff this <= l

### componentString

    java.lang.String componentString()

  String to print if this label is a component of a larger label

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