- java.lang.Object
-
- de.uka.ilkd.key.symbolic_execution.util.DefaultEntry<K,V>
-
-
Method Summary
-
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
-
-
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>
Copyright © 2003-2019 The KeY-Project.