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