# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1105401506 -3600
# Node ID e35d4948ff82711aa3657ea9db4d100814e22caa
# Parent  730107aae7345ae3a733dd0a0f216d268a5c2dfa
Added commented-out special method for conversion of HashMap to dictionary.

diff -r 730107aae734 -r e35d4948ff82 java/util.py
--- a/java/util.py	Mon Jan 10 23:53:19 2005 +0100
+++ b/java/util.py	Tue Jan 11 00:58:26 2005 +0100
@@ -116,6 +116,11 @@
     def items(self):
         return self.d.items()
 
+    # NOTE: Private interface for cases where the above methods are not enough.
+
+    # def as_dict(self):
+        # return self.d
+
 setattr(HashMap, "__init_____", HashMap.__init__)
 setattr(HashMap, "__init_____java__util__Map", HashMap.init_____java__util__Map)