jif.lang
Interface Label

All Known Implementing Classes:

AbstractLabel, JoinLabel, PrivacyPolicy, ReadableByPrinLabel

public interface Label

A Label is the runtime representation of a Jif label.

Method Summary

java.lang.String	componentString() String to print if this label is a component of a larger label
Label	join(Label l) Returns true iff this <= l
boolean	relabelsTo(Label l) Returns true iff this <= l

Method Detail

relabelsTo

boolean relabelsTo(Label l)

Returns true iff this <= l

join

Label join(Label l)

Returns true iff this <= l

componentString

java.lang.String componentString()

String to print if this label is a component of a larger label