public interface Label
Modifier and Type | Method and Description |
---|---|
ConfPolicy |
confPolicy() |
IntegPolicy |
integPolicy() |
Label |
join(Label l) |
Label |
join(Label l,
boolean simplify) |
Label |
meet(Label l) |
Label |
meet(Label l,
boolean simplify) |
boolean |
relabelsTo(Label l,
java.util.Set<jif.lang.PrincipalUtil.DelegationPair> s)
Returns true iff this <= l.
|
boolean relabelsTo(Label l, java.util.Set<jif.lang.PrincipalUtil.DelegationPair> s)
ConfPolicy confPolicy()
IntegPolicy integPolicy()