Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## jif.lang
Class AbstractPolicy

    java.lang.Object
      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`

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD