jif.lang
Class AbstractPolicy

java.lang.Object
  extended by jif.lang.AbstractPolicy
All Implemented Interfaces:
Policy
Direct Known Subclasses:
JoinPolicy, MeetPolicy, 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.


Field Summary
protected  LabelUtil labelUtil
           
 
Constructor Summary
protected AbstractPolicy(LabelUtil labelUtil)
           
 
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
 

Field Detail

labelUtil

protected final LabelUtil labelUtil
Constructor Detail

AbstractPolicy

protected AbstractPolicy(LabelUtil labelUtil)
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