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 JoinLabel

    java.lang.Object
      jif.lang.AbstractLabel
          jif.lang.JoinLabel

All Implemented Interfaces:
  Label

    public class JoinLabel

extends AbstractLabel
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`.

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

Methods inherited from class jif.lang.AbstractLabel
`join, toString`

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

Methods inherited from interface jif.lang.Label
`join`

Method Detail

### components

    public java.util.Set components()

### relabelsTo

    public boolean relabelsTo(Label l)

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

  Specified by:
    `relabelsTo` in interface `Label`

### equals

    public boolean equals(java.lang.Object o)

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

### componentString

    public java.lang.String componentString()

  Description copied from interface: `Label`
  String to print if this label is a component of a larger label

  Specified by:
    `componentString` 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