array CounterImpl_nextFree147 integer CounterImpl_firstFree902 integer CounterImpl_maxIndex364 array CounterImpl_typeId115 array CounterImpl_Counter_count107 integer CounterImpl_firstFree902 = 0 integer CounterImpl_maxIndex364 = 0 function initGlobals175() { } function main143() { initGlobals175(); init_test158(); } function config305() { } function init_test158() { local integer c423 local integer this208 local integer this508 local integer this139 local integer this117 local integer this179 local integer test_CounterImpl_Counter_getCounter_result161 local integer this922 c_423 = new_CounterImpl201(); this_208 = c_423; if (CounterImpl_typeId_115[this_208] == 0) { if (this_208 == 0) { error971("Nullpointer exception when calling CounterImpl.incCounter"); } else { error971("Called CounterImpl.incCounter on invalid object."); }; } else { }; this_508 = this_208; CounterImpl_Counter_count_107[this_508] = (CounterImpl_Counter_count_107[this_508] + 1); this_139 = c_423; if (CounterImpl_typeId_115[this_139] == 0) { if (this_139 == 0) { error971("Nullpointer exception when calling CounterImpl.incCounter"); } else { error971("Called CounterImpl.incCounter on invalid object."); }; } else { }; this_117 = this_139; CounterImpl_Counter_count_107[this_117] = (CounterImpl_Counter_count_107[this_117] + 1); this_179 = c_423; if (CounterImpl_typeId_115[this_179] == 0) { if (this_179 == 0) { error971("Nullpointer exception when calling CounterImpl.getCounter"); } else { error971("Called CounterImpl.getCounter on invalid object."); }; } else { }; this_922 = this_179; test_CounterImpl_Counter_getCounter_result_161 = CounterImpl_Counter_count_107[this_922]; if (test_CounterImpl_Counter_getCounter_result_161 == 2) { testSuccess919(); } else { testFail180("defect in equality if"); }; } IS_NATIVE function testSuccess919() { } IS_NATIVE function testFail180(string msg103) { } function new_CounterImpl201() returns integer { local integer this141 local integer this145 local integer this116 local integer this178 if (CounterImpl_firstFree_902 == 0) { if (CounterImpl_maxIndex_364 < 32768) { CounterImpl_maxIndex_364 = (CounterImpl_maxIndex_364 + 1); this_145 = CounterImpl_maxIndex_364; CounterImpl_typeId_115[this_145] = 1; } else { error971("Out of memory: Could not create CounterImpl."); this_145 = 0; }; } else { CounterImpl_firstFree_902 = (CounterImpl_firstFree_902 - 1); this_145 = CounterImpl_nextFree_147[CounterImpl_firstFree_902]; CounterImpl_typeId_115[this_145] = 1; }; this_141 = this_145; this_116 = this_141; this_178 = this_116; CounterImpl_Counter_count_107[this_178] = 0; return this_141; } function error971(string msg126) { $debugPrint135((msg_126 + (" " + #getStackTrace()))); }