JML

java.util
Class HashMap.Entry

java.lang.Object
  extended byjava.util.HashMap.Entry
All Implemented Interfaces:
Map.Entry
Enclosing class:
HashMap

static class HashMap.Entry
extends Object
implements Map.Entry


Field Summary
(package private)  int hash
           
(package private)  Object key
           
(package private)  HashMap.Entry next
           
(package private)  Object value
           
 
Constructor Summary
(package private) HashMap.Entry(int, Object, Object, HashMap.Entry)
           
 
Method Summary
 boolean equals(Object)
           
 Object getKey()
           
 Object getValue()
           
 int hashCode()
           
(package private)  void recordAccess(HashMap)
           
(package private)  void recordRemoval(HashMap)
           
 Object setValue(Object)
           
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

key

final Object key

next

HashMap.Entry next

value

Object value

hash

final int hash
Constructor Detail

HashMap.Entry

HashMap.Entry(int,
              Object,
              Object,
              HashMap.Entry)
Method Detail

getKey

public final Object getKey()
Specified by:
getKey in interface Map.Entry

getValue

public final Object getValue()
Specified by:
getValue in interface Map.Entry

setValue

public final Object setValue(Object)
Specified by:
setValue in interface Map.Entry

equals

public final boolean equals(Object)
Specified by:
equals in interface Map.Entry
Overrides:
equals in class Object

hashCode

public final int hashCode()
Specified by:
hashCode in interface Map.Entry
Overrides:
hashCode in class Object

toString

public final String toString()
Overrides:
toString in class Object

recordAccess

void recordAccess(HashMap)

recordRemoval

void recordRemoval(HashMap)

JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.