jif.types.label
Interface IntegPolicy

All Superinterfaces:

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

All Known Subinterfaces:

WriterPolicy

All Known Implementing Classes:

IntegProjectionPolicy_c, JoinIntegPolicy_c, MeetIntegPolicy_c, WriterPolicy_c

public interface IntegPolicy
extends Policy

This class represents a Jif integrity policy which is a lattice over writer policies.

Method Summary

boolean	isBottomIntegrity()
boolean	isTopIntegrity()
IntegPolicy	join(IntegPolicy p)
boolean	leq_(IntegPolicy p, LabelEnv env, LabelEnv.SearchState state)
IntegPolicy	meet(IntegPolicy p)

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

isBottomIntegrity

boolean isBottomIntegrity()

isTopIntegrity

boolean isTopIntegrity()

leq_

boolean leq_(IntegPolicy p,
             LabelEnv env,
             LabelEnv.SearchState state)

join

IntegPolicy join(IntegPolicy p)

meet

IntegPolicy meet(IntegPolicy p)