|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface WriterPolicy
The policy label of the form owner!: w1,...,wn
Method Summary | |
---|---|
Principal |
owner()
|
Principal |
writer()
|
Methods inherited from interface jif.types.label.IntegPolicy |
---|
isBottomIntegrity, isTopIntegrity, join, leq_, meet |
Methods inherited from interface jif.types.label.Policy |
---|
hasVariables, hasWritersToReaders, isBottom, isCanonical, isRuntimeRepresentable, isSingleton, isTop, labelCheck, simplify, subst, throwTypes, toString |
Methods inherited from interface polyglot.types.TypeObject |
---|
equalsImpl, position, typeSystem |
Methods inherited from interface polyglot.util.Copy |
---|
copy |
Method Detail |
---|
Principal owner()
Principal writer()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |