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, java.util.Set s) Returns true iff this <= l.

Method Detail

relabelsTo

boolean relabelsTo(Label l,
                   java.util.Set s)

Returns true iff this <= l. If the method returns true, then s has all of the delegations (i.e., DelegationPairs) added to it that the result depends upon. If the method returns false, then s has no eleents added to it.

join

Label join(Label l)

meet

Label meet(Label l)

confPolicy

ConfPolicy confPolicy()

integPolicy

IntegPolicy integPolicy()