jif.lang
Class AbstractPolicy

java.lang.Object
  jif.lang.AbstractPolicy

All Implemented Interfaces:

Policy

Direct Known Subclasses:

JoinConfPolicy, JoinIntegPolicy, MeetConfPolicy, MeetIntegPolicy, ReaderPolicy, WriterPolicy

public abstract class AbstractPolicy
extends java.lang.Object
implements Policy

A Label is the runtime representation of a Jif label. A Label consists of a set of components, each of which is a Policy.

Constructor Summary

AbstractPolicy()

Method Summary

abstract boolean	equals(java.lang.Object that)
abstract int	hashCode()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface jif.lang.Policy

relabelsTo

Constructor Detail

AbstractPolicy

public AbstractPolicy()

Method Detail

equals

public abstract boolean equals(java.lang.Object that)

Overrides:

equals in class java.lang.Object

hashCode

public abstract int hashCode()

Overrides:

hashCode in class java.lang.Object