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