integer test_bc587 array Comparison_nextFree941 integer Comparison_firstFree143 integer Comparison_maxIndex988 array Comparison_typeId205 integer test_bc587 = new_BoolComp883() integer Comparison_firstFree143 = 0 integer Comparison_maxIndex988 = 0 function initGlobals312() { Comparison_firstFree_143 = 0; Comparison_maxIndex_988 = 0; } function main714() { initGlobals312(); init_test314(); } function config150() { } function init_test314() { test_bc_587 = new_BoolComp883(); if dispatch_Comparison_test_Comparison_leq170(test_bc_587, booleanToIndex189(false), booleanToIndex189(true)) { testSuccess493(); } else { }; } function booleanToIndex189(boolean b510) returns integer { if b_510 { return 1; } else { }; return 0; } function booleanFromIndex116(integer i195) returns boolean { return (i_195 != 0); } IS_NATIVE function testSuccess493() { } function test_BoolComp_leq_wrapper513(integer this228, any t155, any u173) returns boolean { return BoolComp_leq429(this_228, booleanFromIndex116(t_155), booleanFromIndex116(u_173)); } function BoolComp_leq429(integer this753, boolean a131, boolean b495) returns boolean { return ((not a_131) or b_495); } function BoolComp_init440(integer this157) { } function new_BoolComp883() returns integer { local integer this203 this_203 = alloc_BoolComp901(); construct_BoolComp320(this_203); return this_203; } function construct_BoolComp320(integer this591) { construct_Comparison184(this_591); BoolComp_init440(this_591); } function Comparison_leq783(integer this378, any t125, any u190) returns boolean { return true; } function Comparison_init208(integer this191) { } function construct_Comparison184(integer this858) { Comparison_init208(this_858); } function alloc_BoolComp901() returns integer { local integer this446 if (Comparison_firstFree_143 == 0) { if (Comparison_maxIndex_988 < 32768) { Comparison_maxIndex_988 = (Comparison_maxIndex_988 + 1); this_446 = Comparison_maxIndex_988; Comparison_typeId_205[this_446] = 2; } else { error372("Out of memory: Could not create BoolComp."); this_446 = 0; }; } else { Comparison_firstFree_143 = (Comparison_firstFree_143 - 1); this_446 = Comparison_nextFree_941[Comparison_firstFree_143]; Comparison_typeId_205[this_446] = 2; }; return this_446; } function error372(string msg172) { $debugPrint112((msg_172 + (" " + #getStackTrace()))); } function dispatch_Comparison_test_Comparison_leq170(integer this565, any t176, any u212) returns boolean { local boolean test_Comparison_leq_result518 if (Comparison_typeId_205[this_565] == 0) { if (this_565 == 0) { error372("Nullpointer exception when calling Comparison.leq"); } else { error372("Called Comparison.leq on invalid object."); }; } else { }; if (Comparison_typeId_205[this_565] <= 1) { test_Comparison_leq_result_518 = Comparison_leq783(this_565, t_176, u_212); } else { test_Comparison_leq_result_518 = test_BoolComp_leq_wrapper513(this_565, t_176, u_212); }; return test_Comparison_leq_result_518; }