jif.types.label
Interface ReaderPolicy

All Superinterfaces:

java.lang.Cloneable, ConfPolicy, polyglot.util.Copy, Policy, java.io.Serializable, polyglot.types.TypeObject

All Known Implementing Classes:

ReaderPolicy_c

public interface ReaderPolicy
extends ConfPolicy

The policy label of the form owner -> r1,...,rn

Method Summary

Principal	owner()
Principal	reader()

Methods inherited from interface jif.types.label.ConfPolicy

isBottomConfidentiality, isTopConfidentiality, 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()

reader

Principal reader()