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