public class LabelCache
extends java.lang.Object
Constructor and Description |
---|
LabelCache() |
Modifier and Type | Method and Description |
---|---|
Label |
getLabel(Triple<ConfPolicy,IntegPolicy,Store> triple) |
Label |
getLabelJoin(Triple<Label,Label,Store> triple) |
Label |
getLabelMeet(Triple<Label,Label,Store> triple) |
Policy |
getPolicyJoin(Triple<Policy,Policy,Store> triple) |
Policy |
getPolicyMeet(Triple<Policy,Policy,Store> triple) |
ConfPolicy |
getReaderPolicy(Triple<Principal,Principal,Store> triple) |
IntegPolicy |
getWriterPolicy(Triple<Principal,Principal,Store> triple) |