org.objectweb.dream.pushwithreturn
Interface Key

All Superinterfaces:
Serializable
All Known Implementing Classes:
KeyInteger

public interface Key
extends Serializable

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

isAll

boolean isAll()
Checks whether this key correspond to all possible keys generated by the generator that made it.

Returns:
true if this key correspond to all keys generated by the generator that made it.


Copyright © 2003, 2005 - INRIA Rhone-Alpes - All Rights Reserved.