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()