|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjif.lang.AbstractPolicy
public abstract class AbstractPolicy
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 |
---|
public AbstractPolicy()
Method Detail |
---|
public abstract boolean equals(java.lang.Object that)
equals
in class java.lang.Object
public abstract int hashCode()
hashCode
in class java.lang.Object
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |