integer Bla_k580 array Bla_nextFree573 integer Bla_firstFree137 integer Bla_maxIndex924 array Bla_typeId880 array Bla_i936 array Bla_j703 integer Bla_k580 = 36 integer Bla_firstFree137 = 0 integer Bla_maxIndex924 = 0 function initGlobals127() { Bla_firstFree_137 = 0; Bla_maxIndex_924 = 0; } function main107() { initGlobals127(); init_test172(); } function config145() { } function init_test172() { local integer b171 Bla_k_580 = 36; b_171 = new_Bla517(14); if (dispatch_Bla_test_Bla_getI153(b_171) != 13) { testFail392("i"); } else { if (dispatch_Bla_test_Bla_getJ182(b_171) != 14) { testFail392("j"); } else { if (dispatch_Bla_test_Bla_getK458(b_171) != 36) { testFail392("k"); } else { testSuccess873(); }; }; }; } IS_NATIVE function testFail392(string msg146) { } IS_NATIVE function testSuccess873() { } function Bla_getI210(integer this520) returns integer { return Bla_i_936[this_520]; } function Bla_getJ146(integer this131) returns integer { return Bla_j_703[this_131]; } function Bla_getK162(integer this154) returns integer { return Bla_k_580; } function Bla_init105(integer this222) { Bla_i_936[this_222] = 13; Bla_j_703[this_222] = 27; } function new_Bla517(integer j892) returns integer { local integer this186 this_186 = alloc_Bla106(); construct_Bla819(this_186, j_892); return this_186; } function construct_Bla819(integer this207, integer j174) { Bla_init105(this_207); Bla_j_703[this_207] = j_174; } function alloc_Bla106() returns integer { local integer this173 if (Bla_firstFree_137 == 0) { if (Bla_maxIndex_924 < 32768) { Bla_maxIndex_924 = (Bla_maxIndex_924 + 1); this_173 = Bla_maxIndex_924; Bla_typeId_880[this_173] = 1; } else { error649("Out of memory: Could not create Bla."); this_173 = 0; }; } else { Bla_firstFree_137 = (Bla_firstFree_137 - 1); this_173 = Bla_nextFree_573[Bla_firstFree_137]; Bla_typeId_880[this_173] = 1; }; return this_173; } function error649(string msg762) { $debugPrint192((msg_762 + (" " + #getStackTrace()))); } function dispatch_Bla_test_Bla_getI153(integer this146) returns integer { local integer test_Bla_getI_result153 if (Bla_typeId_880[this_146] == 0) { if (this_146 == 0) { error649("Nullpointer exception when calling Bla.getI"); } else { error649("Called Bla.getI on invalid object."); }; } else { }; test_Bla_getI_result_153 = Bla_getI210(this_146); return test_Bla_getI_result_153; } function dispatch_Bla_test_Bla_getJ182(integer this105) returns integer { local integer test_Bla_getJ_result219 if (Bla_typeId_880[this_105] == 0) { if (this_105 == 0) { error649("Nullpointer exception when calling Bla.getJ"); } else { error649("Called Bla.getJ on invalid object."); }; } else { }; test_Bla_getJ_result_219 = Bla_getJ146(this_105); return test_Bla_getJ_result_219; } function dispatch_Bla_test_Bla_getK458(integer this200) returns integer { local integer test_Bla_getK_result171 if (Bla_typeId_880[this_200] == 0) { if (this_200 == 0) { error649("Nullpointer exception when calling Bla.getK"); } else { error649("Called Bla.getK on invalid object."); }; } else { }; test_Bla_getK_result_171 = Bla_getK162(this_200); return test_Bla_getK_result_171; }