jif.types.label

Interface ReaderPolicy

All Superinterfaces:

java.lang.Cloneable, ConfPolicy, polyglot.util.Copy<polyglot.types.TypeObject>, 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

Nested Class Summary

Nested classes/interfaces inherited from interface polyglot.util.Copy

polyglot.util.Copy.Util

Method Summary

Modifier and Type	Method and Description
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()