de.uka.ilkd.key.symbolic_execution.util

Class DefaultEntry<K,V>

java.lang.Object

de.uka.ilkd.key.symbolic_execution.util.DefaultEntry<K,V>

All Implemented Interfaces:

java.util.Map.Entry<K,V>

public class DefaultEntry<K,V>
extends java.lang.Object
implements java.util.Map.Entry<K,V>

Field Summary

Fields

Modifier and Type	Field and Description
private K	key
private V	value

Constructor Summary

Constructors

Constructor and Description
DefaultEntry(K key, V value)

Method Summary

Modifier and Type	Method and Description
K	getKey()
V	getValue()
V	setValue(V value)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface java.util.Map.Entry

comparingByKey, comparingByKey, comparingByValue, comparingByValue, equals, hashCode

Field Detail

key

private K key

value

private V value

Constructor Detail

DefaultEntry

public DefaultEntry(K key,
                    V value)

Method Detail

getKey

public K getKey()

Specified by:

getKey in interface java.util.Map.Entry<K,V>

getValue

public V getValue()

Specified by:

getValue in interface java.util.Map.Entry<K,V>

setValue

public V setValue(V value)

Specified by:

setValue in interface java.util.Map.Entry<K,V>