public interface ReaderPolicy extends ConfPolicy
owner -> r1,...,rn
Modifier and Type | Method and Description |
---|---|
Principal |
owner() |
Principal |
reader() |
isBottomConfidentiality, isTopConfidentiality, join, leq_, meet
hasVariables, hasWritersToReaders, isBottom, isCanonical, isRuntimeRepresentable, isSingleton, isTop, labelCheck, simplify, subst, throwTypes, toString