1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 | Index: PyStringMap.java =================================================================== --- PyStringMap.java (revision 3361) +++ PyStringMap.java (working copy) @@ -581,6 +581,12 @@ public synchronized PyObject itervalues() { return new PyStringMapIter(keys, values, PyStringMapIter.VALUES); } + + public synchronized PyObject pop(PyObject key) { + PyObject value = __getitem__(key); + __delitem__(key); + return value; + } } |