org.objectweb.dream.pushwithreturn
Class KeyInteger

java.lang.Object
  extended byorg.objectweb.dream.pushwithreturn.KeyInteger
All Implemented Interfaces:
Key, Recyclable, Serializable

public class KeyInteger
extends Object
implements Key, Recyclable

Implementation of the Key interface that uses positive integers.

See Also:
Serialized Form

Constructor Summary
KeyInteger(int key, boolean isAll)
          Constructor.
 
Method Summary
 boolean equals(Object obj)
           
 int hashCode()
           
 boolean isAll()
          Checks whether this key correspond to all possible keys generated by the generator that made it.
 void recycle()
           
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

KeyInteger

public KeyInteger(int key,
                  boolean isAll)
Constructor.

Parameters:
key - the key.
isAll - boolean indicating if this is an "AllKey".
Method Detail

isAll

public boolean isAll()
Description copied from interface: Key
Checks whether this key correspond to all possible keys generated by the generator that made it.

Specified by:
isAll in interface Key
Returns:
true if this key correspond to all keys generated by the generator that made it.
See Also:
Key.isAll()

recycle

public void recycle()
Specified by:
recycle in interface Recyclable
See Also:
Recyclable.recycle()

equals

public boolean equals(Object obj)
See Also:
Object.equals(java.lang.Object)

hashCode

public int hashCode()
See Also:
Object.hashCode()


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