+
+ /**
+ @Begin
+ @Options:
+ LANG = CPP;
+ CLASS = HashMap;
+ @Global_define:
+ @DeclareVar:
+ IntegerMap *__map;
+ @InitVar:
+ __map = createIntegerMap();
+ @Finalize:
+ if (__map)
+ destroyIntegerMap(__map);
+ return true;
+ @Happens_before: Put -> Get
+ @Commutativity: Put <-> Put: _Method1.key != _Method2.key
+ @Commutativity: Put <-> Get: _Method1.key != _Method2.key
+ @Commutativity: Get <-> Get: true
+ @End
+ */
+