|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
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 |
---|
boolean relabelsTo(Label l)
Label join(Label l)
Label meet(Label l)
ConfPolicy confPolicy()
IntegPolicy integPolicy()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |