|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface Key
This interface defines a Key. Keys are used by the
PushWithReturn
protocol to identify messages.
A key can correspond to all possible keys. For detecting such a key, called
"AllKey" this interface defines the isAll
method that returns
true
if this is the case.
Note: keys must implement equals
and
hashcode
methods.
Method Summary | |
---|---|
boolean |
isAll()
Checks whether this key correspond to all possible keys generated by the generator that made it. |
Method Detail |
---|
boolean isAll()
true
if this key correspond to all keys generated by
the generator that made it.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |