jif.types.label
Interface WriterPolicy

All Superinterfaces:
java.lang.Cloneable, polyglot.util.Copy, IntegPolicy, Policy, java.io.Serializable, polyglot.types.TypeObject
All Known Implementing Classes:
WriterPolicy_c

public interface WriterPolicy
extends IntegPolicy

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

owner

Principal owner()

writer

Principal writer()