jif.types.label

Interface WriterPolicy

All Superinterfaces:

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

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	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()