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 ReadableByPrinLabel

    java.lang.Object
      jif.lang.AbstractLabel
          jif.lang.ReadableByPrinLabel

All Implemented Interfaces:
  Label

    public class ReadableByPrinLabel

extends AbstractLabel
implements Label

Constructor Summary
`ReadableByPrinLabel(Principal reader)`

Method Summary
`java.lang.String` | `componentString()` String to print if this label is a component of a larger label
`boolean` | `equals(java.lang.Object o)`
`int` | `hashCode()`
`Principal` | `reader()`
`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, notify, notifyAll, wait, wait, wait`

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

Constructor Detail

### ReadableByPrinLabel

    public ReadableByPrinLabel(Principal reader)

Method Detail

### reader

    public Principal reader()

### relabelsTo

    public boolean relabelsTo(Label l)

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

  Specified by:
    `relabelsTo` in interface `Label`

### hashCode

    public int hashCode()

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

### 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