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 AbstractLabel

    java.lang.Object
      jif.lang.AbstractLabel

All Implemented Interfaces:
  Label

Direct Known Subclasses:
  JoinLabel, PrivacyPolicy, ReadableByPrinLabel

    public abstract class AbstractLabel

extends java.lang.Object
implements Label

A Label is the runtime representation of a Jif label. A Label consists of a set of components, each of which is a `Policy`.

Constructor Summary
`AbstractLabel()`

Method Summary
`Label` | `join(Label l)` Returns true iff this <= l
`java.lang.String` | `toString()`

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

Methods inherited from interface jif.lang.Label
`componentString, relabelsTo`

Constructor Detail

### AbstractLabel

    public AbstractLabel()

Method Detail

### toString

    public final java.lang.String toString()

  Overrides:
    `toString` in class `java.lang.Object`

### join

    public final Label join(Label l)

  Description copied from interface: `Label`
  Returns true iff this <= l

  Specified by:
    `join` in interface `Label`

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