jif.lang
Interface Label

All Known Implementing Classes:

PairLabel

public interface Label

A Label is the runtime representation of a Jif label.

Method Summary

ConfPolicy	confPolicy()
IntegPolicy	integPolicy()
Label	join(Label l)
Label	meet(Label 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)

meet

Label meet(Label l)

confPolicy

ConfPolicy confPolicy()

integPolicy

IntegPolicy integPolicy()