array Bla_nextFree430 integer Bla_firstFree146 integer Bla_maxIndex492 array Bla_typeId655 array Bla_i349 array Bla_j112 integer Bla_k402 = 36 integer Bla_firstFree146 = 0 integer Bla_maxIndex492 = 0 function initGlobals933() { } function main194() { initGlobals933(); init_test162(); } function config197() { } function init_test162() { local integer b384 b_384 = new_Bla915(14); if (dispatch_Bla_test_Bla_getI252(b_384) != 13) { testFail139("i"); } else { if (dispatch_Bla_test_Bla_getJ366(b_384) != 14) { testFail139("j"); } else { if (dispatch_Bla_test_Bla_getK152(b_384) != 36) { testFail139("k"); } else { testSuccess733(); }; }; }; } IS_NATIVE function testFail139(string msg859) { } IS_NATIVE function testSuccess733() { } function Bla_getI672(integer this921) returns integer { return Bla_i_349[this_921]; } function Bla_getJ205(integer this544) returns integer { return Bla_j_112[this_544]; } function Bla_getK123(integer this179) returns integer { return 36; } function Bla_init106(integer this178) { Bla_i_349[this_178] = 13; Bla_j_112[this_178] = 27; } function new_Bla915(integer j178) returns integer { local integer this500 this_500 = alloc_Bla123(); construct_Bla500(this_500, j_178); return this_500; } function construct_Bla500(integer this654, integer j337) { Bla_init106(this_654); Bla_j_112[this_654] = j_337; } function alloc_Bla123() returns integer { local integer this904 if (Bla_firstFree_146 == 0) { if (Bla_maxIndex_492 < 32768) { Bla_maxIndex_492 = (Bla_maxIndex_492 + 1); this_904 = Bla_maxIndex_492; Bla_typeId_655[this_904] = 1; } else { error120("Out of memory: Could not create Bla."); this_904 = 0; }; } else { Bla_firstFree_146 = (Bla_firstFree_146 - 1); this_904 = Bla_nextFree_430[Bla_firstFree_146]; Bla_typeId_655[this_904] = 1; }; return this_904; } function error120(string msg134) { $debugPrint120((msg_134 + (" " + #getStackTrace()))); } function dispatch_Bla_test_Bla_getI252(integer this800) returns integer { if (Bla_typeId_655[this_800] == 0) { if (this_800 == 0) { error120("Nullpointer exception when calling Bla.getI"); } else { error120("Called Bla.getI on invalid object."); }; } else { }; return Bla_getI672(this_800); } function dispatch_Bla_test_Bla_getJ366(integer this210) returns integer { if (Bla_typeId_655[this_210] == 0) { if (this_210 == 0) { error120("Nullpointer exception when calling Bla.getJ"); } else { error120("Called Bla.getJ on invalid object."); }; } else { }; return Bla_getJ205(this_210); } function dispatch_Bla_test_Bla_getK152(integer this157) returns integer { if (Bla_typeId_655[this_157] == 0) { if (this_157 == 0) { error120("Nullpointer exception when calling Bla.getK"); } else { error120("Called Bla.getK on invalid object."); }; } else { }; return Bla_getK123(this_157); }