/* {RT_DBG_ATTRIBUTE_RECORD}.to_string */ EIF_TYPED_VALUE F1021_21187 (EIF_REFERENCE Current) { GTCX char *l_feature_name = "to_string"; RTEX; EIF_INTEGER_16 loc1 = (EIF_INTEGER_16) 0; EIF_TYPED_VALUE up1x = {{0}, SK_POINTER}; #define up1 up1x.it_p EIF_TYPED_VALUE ui2_1x = {{0}, SK_INT16}; #define ui2_1 ui2_1x.it_i2 EIF_REFERENCE tr1 = NULL; EIF_INTEGER_32 ti4_1; EIF_INTEGER_16 ti2_1; EIF_REFERENCE Result = ((EIF_REFERENCE) 0); RTCDT; RTSN; RTDA; RTLD; RTLI(3); RTLR(0,Current); RTLR(1,tr1); RTLR(2,Result); RTLU (SK_REF, &Result); RTLU (SK_REF, &Current); RTLU(SK_INT16, &loc1); RTEAA(l_feature_name, 1020, Current, 1, 0, 16025); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(1020, Current, 16025); RTIV(Current, RTAL); RTHOOK(1); RTDBGAL(Current, 1, 0x14000000, 0, 0); /* loc1 */ loc1 = *(EIF_INTEGER_16 *)(Current + RTWA(18349, dtype)); RTHOOK(2); ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(18319, dtype)); switch (ti4_1) { case 1L: RTHOOK(3); if (EIF_TRUE) { RTHOOK(4); RTDBGAL(Current, 0, 0xF8000185, 0,0); /* Result */ tr1 = c_outp((EIF_INTEGER_16 *) &(loc1)); Result = (EIF_REFERENCE) RTCCL(tr1); } else { RTHOOK(5); RTDBGAL(Current, 0, 0xF8000185, 0,0); /* Result */ Result = RTMS_EX_H("Void",4,1450142052); } break; case 7L: if (RTAL & CK_CHECK) { RTHOOK(6); RTCT("expanded_value_attached", EX_CHECK); ti2_1 = *(EIF_INTEGER_16 *)(Current + RTWA(18349, dtype)); if (EIF_TRUE) { RTCK; } else { RTCF; } } RTHOOK(7); if (EIF_TRUE) { RTHOOK(8); RTDBGAL(Current, 0, 0xF8000185, 0,0); /* Result */ tr1 = c_outp((EIF_INTEGER_16 *) &(loc1)); Result = (EIF_REFERENCE) RTCCL(tr1); } else { RTHOOK(9); RTDBGAL(Current, 0, 0xF8000185, 0,0); /* Result */ tr1 = RTLN(389); (FUNCTION_CAST(void, (EIF_REFERENCE)) RTWC(15571, Dtype(tr1)))(tr1); RTNHOOK(9,1); Result = (EIF_REFERENCE) RTCCL(tr1); } break; default: RTHOOK(10); if (EIF_TRUE) { RTHOOK(11); RTDBGAL(Current, 0, 0xF8000185, 0,0); /* Result */ ui2_1 = loc1; Result = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(18352, dtype))(Current, ui2_1x)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); } else { if (RTAL & CK_CHECK) { RTHOOK(12); RTCT("should_not_be_void", EX_CHECK); RTCF; } RTHOOK(13); RTDBGAL(Current, 0, 0xF8000185, 0,0); /* Result */ tr1 = RTLN(389); (FUNCTION_CAST(void, (EIF_REFERENCE)) RTWC(15571, Dtype(tr1)))(tr1); RTNHOOK(13,1); Result = (EIF_REFERENCE) RTCCL(tr1); } break; } if (RTAL & CK_ENSURE) { RTHOOK(14); RTCT("result_attached", EX_POST); if ((EIF_BOOLEAN)(Result != NULL)) { RTCK; } else { RTCF; } } RTVI(Current, RTAL); RTRS; RTHOOK(15); RTDBGLE; RTMD(0); RTLE; RTLO(3); RTEE; { EIF_TYPED_VALUE r; r.type = SK_REF; r.it_r = Result; return r; } #undef up1 #undef ui2_1 }
/* {FUNCTION}.item */ EIF_TYPED_VALUE F238_4736 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x) { GTCX char *l_feature_name = "item"; RTEX; EIF_INTEGER_32 loc1 = (EIF_INTEGER_32) 0; EIF_REFERENCE loc2 = (EIF_REFERENCE) 0; #define arg1 arg1x.it_r EIF_TYPED_VALUE up1x = {{0}, SK_POINTER}; #define up1 up1x.it_p EIF_TYPED_VALUE up2x = {{0}, SK_POINTER}; #define up2 up2x.it_p EIF_TYPED_VALUE up3x = {{0}, SK_POINTER}; #define up3 up3x.it_p EIF_TYPED_VALUE up4x = {{0}, SK_POINTER}; #define up4 up4x.it_p EIF_TYPED_VALUE up5x = {{0}, SK_POINTER}; #define up5 up5x.it_p EIF_TYPED_VALUE up6x = {{0}, SK_POINTER}; #define up6 up6x.it_p EIF_TYPED_VALUE up7x = {{0}, SK_POINTER}; #define up7 up7x.it_p EIF_TYPED_VALUE ur1x = {{0}, SK_REF}; #define ur1 ur1x.it_r EIF_TYPED_VALUE ui4_1x = {{0}, SK_INT32}; #define ui4_1 ui4_1x.it_i4 EIF_TYPED_VALUE ui4_2x = {{0}, SK_INT32}; #define ui4_2 ui4_2x.it_i4 EIF_TYPED_VALUE ui4_3x = {{0}, SK_INT32}; #define ui4_3 ui4_3x.it_i4 EIF_TYPED_VALUE ui4_4x = {{0}, SK_INT32}; #define ui4_4 ui4_4x.it_i4 EIF_TYPED_VALUE ub1x = {{0}, SK_BOOL}; #define ub1 ub1x.it_b EIF_POINTER tp1; EIF_POINTER tp2; EIF_REFERENCE tr1 = NULL; EIF_REFERENCE tr2 = NULL; EIF_INTEGER_32 ti4_1; EIF_INTEGER_32 ti4_2; EIF_INTEGER_32 ti4_3; EIF_BOOLEAN tb1; EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0); RTCDT; RTSN; RTDA; RTLD; RTLI(6); RTLR(0,arg1); RTLR(1,ur1); RTLR(2,Current); RTLR(3,loc2); RTLR(4,tr1); RTLR(5,tr2); RTLU (SK_BOOL, &Result); RTLU(SK_REF,&arg1); RTLU (SK_REF, &Current); RTLU(SK_INT32, &loc1); RTLU(SK_REF, &loc2); RTEAA(l_feature_name, 237, Current, 2, 1, 9694); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(237, Current, 9694); RTCC(arg1, 237, l_feature_name, 1, eif_non_attached_type(RTWCT(3587, dtype, Dftype(Current)))); RTIV(Current, RTAL); if ((RTAL & CK_REQUIRE) || RTAC) { RTHOOK(1); RTCT("valid_operands", EX_PRE); ur1 = RTCCL(arg1); tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(3557, dtype))(Current, ur1x)).it_b); RTTE(tb1, label_1); RTCK; RTJB; label_1: RTCF; } body:; RTHOOK(2); RTDBGAL(Current, 2, 0xF80000A7, 0, 0); /* loc2 */ loc2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(3567, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); RTHOOK(3); if ((EIF_BOOLEAN)(loc2 != NULL)) { RTHOOK(4); RTDBGAL(Current, 1, 0x10000000, 1, 0); /* loc1 */ ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(2844, "count", loc2))(loc2)).it_i4); loc1 = (EIF_INTEGER_32) ti4_1; } RTHOOK(5); RTDBGAL(Current, 0, 0x04000000, 0,0); /* Result */ tp1 = *(EIF_POINTER *)(Current + RTWA(3572, dtype)); up1 = tp1; tp2 = *(EIF_POINTER *)(Current + RTWA(3570, dtype)); up2 = tp2; tr1 = ((up3x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(3567, dtype))(Current)), (((up3x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up3x.it_r = RTBU(up3x))), (up3x.type = SK_POINTER), up3x.it_r); up4 = tr1; up5 = arg1; ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(3573, dtype)); ui4_1 = ti4_1; tb1 = *(EIF_BOOLEAN *)(Current + RTWA(3574, dtype)); ub1 = tb1; ti4_2 = *(EIF_INTEGER_32 *)(Current + RTWA(3575, dtype)); ui4_2 = ti4_2; ui4_3 = loc1; ti4_3 = *(EIF_INTEGER_32 *)(Current + RTWA(3560, dtype)); ui4_4 = ti4_3; tr2 = ((up6x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(3571, dtype))(Current)), (((up6x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up6x.it_r = RTBU(up6x))), (up6x.type = SK_POINTER), up6x.it_r); up7 = tr2; Result = EIF_TEST ((((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE, EIF_TYPED_VALUE, EIF_TYPED_VALUE, EIF_TYPED_VALUE, EIF_TYPED_VALUE, EIF_TYPED_VALUE, EIF_TYPED_VALUE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTWF(3594, dtype))(Current, up1x, up2x, up4x, up5x, ui4_1x, ub1x, ui4_2x, ui4_3x, ui4_4x, up7x))).it_b); RTVI(Current, RTAL); RTRS; RTHOOK(6); RTDBGLE; RTMD(0); RTLE; RTLO(5); RTEE; { EIF_TYPED_VALUE r; r.type = SK_BOOL; r.it_b = Result; return r; } #undef up1 #undef up2 #undef up3 #undef up4 #undef up5 #undef up6 #undef up7 #undef ur1 #undef ui4_1 #undef ui4_2 #undef ui4_3 #undef ui4_4 #undef ub1 #undef arg1 }
/* {FUNCTION}.is_equal */ EIF_TYPED_VALUE F238_4738 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x) { GTCX char *l_feature_name = "is_equal"; RTEX; #define arg1 arg1x.it_r EIF_TYPED_VALUE ur1x = {{0}, SK_REF}; #define ur1 ur1x.it_r EIF_BOOLEAN tb1; EIF_BOOLEAN tb2; EIF_BOOLEAN tb3; EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0); RTCDT; RTSN; RTDA; RTLD; RTLI(3); RTLR(0,arg1); RTLR(1,ur1); RTLR(2,Current); RTLU (SK_BOOL, &Result); RTLU(SK_REF,&arg1); RTLU (SK_REF, &Current); RTEAA(l_feature_name, 237, Current, 0, 1, 9696); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(237, Current, 9696); RTCC(arg1, 237, l_feature_name, 1, eif_attached_type(Dftype(Current))); RTIV(Current, RTAL); if ((RTAL & CK_REQUIRE) || RTAC) { RTHOOK(1); RTCT("other_not_void", EX_PRE); RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1); RTCK; RTJB; label_1: RTCF; } body:; RTHOOK(2); RTDBGAL(Current, 0, 0x04000000, 1,0); /* Result */ tb1 = '\0'; ur1 = RTCCL(arg1); tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(11, 236))(Current, ur1x)).it_b); if (tb2) { tb2 = *(EIF_BOOLEAN *)(Current + RTWA(3589, dtype)); tb3 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(3589, "last_result", arg1))(arg1)).it_b); tb1 = (tb2 == tb3); } Result = (EIF_BOOLEAN) tb1; if (RTAL & CK_ENSURE) { RTHOOK(3); RTCT("symmetric", EX_POST); if ((!(Result) || (RTEQ(arg1, Current)))) { RTCK; } else { RTCF; } RTHOOK(4); RTCT("consistent", EX_POST); tb1 = '\01'; ur1 = RTCCL(arg1); tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(12, dtype))(Current, ur1x)).it_b); if (tb2) { tb1 = Result; } if (tb1) { RTCK; } else { RTCF; } } RTVI(Current, RTAL); RTRS; RTHOOK(5); RTDBGLE; RTMD(0); RTLE; RTLO(3); RTEE; { EIF_TYPED_VALUE r; r.type = SK_BOOL; r.it_b = Result; return r; } #undef ur1 #undef arg1 }
/* {KL_STDERR_FILE}.make */ void F2347_32355 (EIF_REFERENCE Current) { GTCX char *l_feature_name = "make"; RTEX; EIF_TYPED_VALUE up1x = {{0}, SK_POINTER}; #define up1 up1x.it_p EIF_TYPED_VALUE ur1x = {{0}, SK_REF}; #define ur1 ur1x.it_r EIF_REFERENCE tr1 = NULL; EIF_REFERENCE tr2 = NULL; EIF_BOOLEAN tb1; RTCDT; RTSN; RTDA; RTLD; RTLI(4); RTLR(0,tr1); RTLR(1,ur1); RTLR(2,Current); RTLR(3,tr2); RTLIU(4); RTLU (SK_VOID, NULL); RTLU (SK_REF, &Current); RTEAA(l_feature_name, 2346, Current, 0, 0, 37433); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(2346, Current, 37433); RTIV(Current, RTAL); RTHOOK(1); tr1 = RTMS_EX_H("stderr",6,1911360114); ur1 = tr1; (FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(20070, dtype))(Current, ur1x); if (RTAL & CK_ENSURE) { RTHOOK(2); RTCT("name_set", EX_POST); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(23699, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); RTNHOOK(2,1); tr2 = RTMS_EX_H("stderr",6,1911360114); ur1 = tr2; tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(11, "is_equal", tr1))(tr1, ur1x)).it_b); if (tb1) { RTCK; } else { RTCF; } RTHOOK(3); RTCT("is_open_write", EX_POST); tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(23697, dtype))(Current)).it_b); if (tb1) { RTCK; } else { RTCF; } } RTVI(Current, RTAL); RTRS; RTHOOK(4); RTDBGLE; RTMD(0); RTLE; RTLO(2); RTEE; #undef up1 #undef ur1 }
/* {SEQUENCE}.put */ void F737_1716 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x) { GTCX char *l_feature_name = "put"; RTEX; #define arg1 arg1x.it_c4 EIF_TYPED_VALUE uw1x = {{0}, SK_CHAR32}; #define uw1 uw1x.it_c4 EIF_REFERENCE tr1 = NULL; EIF_INTEGER_32 ti4_1; EIF_INTEGER_32 ti4_2; EIF_BOOLEAN tb1; RTCDT; RTSN; RTDA; RTLD; if ((arg1x.type & SK_HEAD) == SK_REF) arg1x.it_c4 = * (EIF_CHARACTER_32 *) arg1x.it_r; RTLI(2); RTLR(0,Current); RTLR(1,tr1); RTLU (SK_VOID, NULL); RTLU(SK_CHAR32,&arg1); RTLU (SK_REF, &Current); RTEAA(l_feature_name, 736, Current, 0, 1, 2255); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(736, Current, 2255); RTIV(Current, RTAL); if ((RTAL & CK_REQUIRE) || RTAC) { RTHOOK(1); RTCT("extendible", EX_PRE); tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1472, dtype))(Current)).it_b); RTTE(tb1, label_1); RTCK; RTJB; label_1: RTCF; } body:; if (RTAL & CK_ENSURE) { in_assertion = ~0; RTE_OT ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1463, dtype))(Current)).it_i4); ti4_1 = ti4_2; tr1 = NULL; RTE_O tr1 = RTLA; RTE_OE in_assertion = 0; } RTHOOK(2); uw1 = arg1; (FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(1476, dtype))(Current, uw1x); if (RTAL & CK_ENSURE) { RTHOOK(3); RTCT("item_inserted", EX_POST); uw1 = arg1; tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(1474, dtype))(Current, uw1x)).it_b); if (tb1) { RTCK; } else { RTCF; } RTHOOK(4); RTCT("new_count", EX_POST); ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1463, dtype))(Current)).it_i4); RTCO(tr1); if ((EIF_BOOLEAN)(ti4_2 == (EIF_INTEGER_32) (ti4_1 + ((EIF_INTEGER_32) 1L)))) { RTCK; } else { RTCF; } } RTVI(Current, RTAL); RTRS; RTHOOK(5); RTDBGLE; RTMD(0); RTLE; RTLO(3); RTEE; #undef uw1 #undef arg1 }
/* {EV_GAUGE}.make_with_value_range */ void F1264_11735 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x) { GTCX char *l_feature_name = "make_with_value_range"; RTEX; #define arg1 arg1x.it_r EIF_TYPED_VALUE up1x = {{0}, SK_POINTER}; #define up1 up1x.it_p EIF_TYPED_VALUE ui4_1x = {{0}, SK_INT32}; #define ui4_1 ui4_1x.it_i4 EIF_TYPED_VALUE ui4_2x = {{0}, SK_INT32}; #define ui4_2 ui4_2x.it_i4 EIF_REFERENCE tr1 = NULL; EIF_INTEGER_32 ti4_1; EIF_INTEGER_32 ti4_2; EIF_BOOLEAN tb1; RTCDT; RTSN; RTDA; RTLD; RTLI(3); RTLR(0,arg1); RTLR(1,Current); RTLR(2,tr1); RTLU (SK_VOID, NULL); RTLU(SK_REF,&arg1); RTLU (SK_REF, &Current); RTEAA(l_feature_name, 1263, Current, 0, 1, 17638); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(1263, Current, 17638); RTCC(arg1, 1263, l_feature_name, 1, eif_attached_type(147)); RTIV(Current, RTAL); if ((RTAL & CK_REQUIRE) || RTAC) { RTHOOK(1); RTCT("a_value_range_not_void", EX_PRE); RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1); RTCK; RTHOOK(2); RTCT("a_value_range_not_empty", EX_PRE); tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(1693, "is_empty", arg1))(arg1)).it_b); RTTE((EIF_BOOLEAN) !tb1, label_1); RTCK; RTJB; label_1: RTCF; } body: ; RTHOOK(3); (FUNCTION_CAST(void, (EIF_REFERENCE)) RTWF(32, dtype))(Current); RTHOOK(4); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9062, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); RTNHOOK(4,1); ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(2439, "lower", arg1))(arg1)).it_i4); ui4_1 = ti4_1; ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(2441, "upper", arg1))(arg1)).it_i4); ui4_2 = ti4_2; (FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTVF(2444, "resize_exactly", tr1))(tr1, ui4_1x, ui4_2x); RTVI(Current, RTAL); RTRS; RTHOOK(5); RTDBGLE; RTMD(0); RTLE; RTLO(3); RTEE; #undef up1 #undef ui4_1 #undef ui4_2 #undef arg1 }
/* {EV_GAUGE}.set_proportion */ void F1264_11745 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x) { GTCX char *l_feature_name = "set_proportion"; RTEX; #define arg1 arg1x.it_r4 EIF_TYPED_VALUE up1x = {{0}, SK_POINTER}; #define up1 up1x.it_p EIF_TYPED_VALUE ur4_1x = {{0}, SK_REAL32}; #define ur4_1 ur4_1x.it_r4 EIF_REFERENCE tr1 = NULL; EIF_REAL_32 tr4_1; EIF_BOOLEAN tb1; RTCDT; RTSN; RTDA; RTLD; if ((arg1x.type & SK_HEAD) == SK_REF) arg1x.it_r4 = * (EIF_REAL_32 *) arg1x.it_r; RTLI(2); RTLR(0,Current); RTLR(1,tr1); RTLU (SK_VOID, NULL); RTLU(SK_REAL32,&arg1); RTLU (SK_REF, &Current); RTEAA(l_feature_name, 1263, Current, 0, 1, 17648); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(1263, Current, 17648); RTIV(Current, RTAL); if ((RTAL & CK_REQUIRE) || RTAC) { RTHOOK(1); RTCT("not_destroyed", EX_PRE); tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8387, dtype))(Current)).it_b); RTTE((EIF_BOOLEAN) !tb1, label_1); RTCK; RTHOOK(2); RTCT("a_proportion_within_range", EX_PRE); tb1 = '\0'; tr4_1 = (EIF_REAL_32) (((EIF_INTEGER_32) 0L)); if ((EIF_BOOLEAN) (arg1 >= tr4_1)) { tr4_1 = (EIF_REAL_32) (((EIF_INTEGER_32) 1L)); tb1 = (EIF_BOOLEAN) (arg1 <= tr4_1); } RTTE(tb1, label_1); RTCK; RTJB; label_1: RTCF; } body: ; RTHOOK(3); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8388, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); RTNHOOK(3,1); ur4_1 = arg1; (FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(10574, "set_proportion", tr1))(tr1, ur4_1x); RTVI(Current, RTAL); RTRS; RTHOOK(4); RTDBGLE; RTMD(0); RTLE; RTLO(3); RTEE; #undef up1 #undef ur4_1 #undef arg1 }
/* {RT_DBG_LOCAL_RECORD}.make */ void F652_5624 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x, EIF_TYPED_VALUE arg2x, EIF_TYPED_VALUE arg3x, EIF_TYPED_VALUE arg4x) { GTCX char *l_feature_name = "make"; RTEX; #define arg1 arg1x.it_i4 #define arg2 arg2x.it_i4 #define arg3 arg3x.it_i4 #define arg4 arg4x.it_n4 RTCDT; RTSN; RTDA; RTLD; if ((arg4x.type & SK_HEAD) == SK_REF) arg4x.it_n4 = * (EIF_NATURAL_32 *) arg4x.it_r; if ((arg3x.type & SK_HEAD) == SK_REF) arg3x.it_i4 = * (EIF_INTEGER_32 *) arg3x.it_r; if ((arg2x.type & SK_HEAD) == SK_REF) arg2x.it_i4 = * (EIF_INTEGER_32 *) arg2x.it_r; if ((arg1x.type & SK_HEAD) == SK_REF) arg1x.it_i4 = * (EIF_INTEGER_32 *) arg1x.it_r; RTLI(1); RTLR(0,Current); RTLU (SK_VOID, NULL); RTLU(SK_INT32,&arg1); RTLU(SK_INT32,&arg2); RTLU(SK_INT32,&arg3); RTLU(SK_UINT32,&arg4); RTLU (SK_REF, &Current); RTEAA(l_feature_name, 651, Current, 0, 4, 10693); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(651, Current, 10693); RTIV(Current, RTAL); RTHOOK(1); RTDBGAA(Current, dtype, 4267, 0x10000000, 1); /* callstack_depth */ *(EIF_INTEGER_32 *)(Current + RTWA(4267, dtype)) = (EIF_INTEGER_32) arg1; RTHOOK(2); RTDBGAA(Current, dtype, 4251, 0x10000000, 1); /* position */ *(EIF_INTEGER_32 *)(Current + RTWA(4251, dtype)) = (EIF_INTEGER_32) arg2; RTHOOK(3); RTDBGAA(Current, dtype, 4252, 0x10000000, 1); /* type */ *(EIF_INTEGER_32 *)(Current + RTWA(4252, dtype)) = (EIF_INTEGER_32) arg3; RTHOOK(4); RTDBGAA(Current, dtype, 4268, 0x38000000, 1); /* rt_type */ *(EIF_NATURAL_32 *)(Current + RTWA(4268, dtype)) = (EIF_NATURAL_32) arg4; RTVI(Current, RTAL); RTRS; RTHOOK(5); RTDBGLE; RTMD(0); RTLE; RTLO(6); RTEE; #undef arg4 #undef arg3 #undef arg2 #undef arg1 }
/* {RT_DBG_LOCAL_RECORD}.debug_output */ EIF_TYPED_VALUE F652_5634 (EIF_REFERENCE Current) { GTCX char *l_feature_name = "debug_output"; RTEX; EIF_TYPED_VALUE up1x = {{0}, SK_POINTER}; #define up1 up1x.it_p EIF_TYPED_VALUE up2x = {{0}, SK_POINTER}; #define up2 up2x.it_p EIF_TYPED_VALUE ur1x = {{0}, SK_REF}; #define ur1 ur1x.it_r EIF_REFERENCE tr1 = NULL; EIF_REFERENCE tr2 = NULL; EIF_INTEGER_32 ti4_1; EIF_REFERENCE Result = ((EIF_REFERENCE) 0); RTCDT; RTSN; RTDA; RTLD; RTLI(5); RTLR(0,Current); RTLR(1,tr1); RTLR(2,tr2); RTLR(3,ur1); RTLR(4,Result); RTLU (SK_REF, &Result); RTLU (SK_REF, &Current); RTEAA(l_feature_name, 651, Current, 0, 0, 10703); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(651, Current, 10703); RTIV(Current, RTAL); RTHOOK(1); RTDBGAL(Current, 0, 0xF80000E4, 0,0); /* Result */ tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(2492, 237))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); tr2 = RTMS_EX_H(" (depth=",8,749294653); ur1 = tr2; tr2 = ((up2x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(3791, "plus", tr1))(tr1, ur1x)), (((up2x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up2x.it_r = RTBU(up2x))), (up2x.type = SK_POINTER), up2x.it_r); ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(4267, dtype)); tr1 = c_outi(ti4_1); ur1 = RTCCL(tr1); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(3791, "plus", tr2))(tr2, ur1x)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); tr2 = RTMS_EX_H(")",1,41); ur1 = tr2; tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(3791, "plus", tr1))(tr1, ur1x)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); Result = (EIF_REFERENCE) RTCCL(tr2); if (RTAL & CK_ENSURE) { RTHOOK(2); RTCT("result_not_void", EX_POST); if ((EIF_BOOLEAN)(Result != NULL)) { RTCK; } else { RTCF; } } RTVI(Current, RTAL); RTRS; RTHOOK(3); RTDBGLE; RTMD(0); RTLE; RTLO(2); RTEE; { EIF_TYPED_VALUE r; r.type = SK_REF; r.it_r = Result; return r; } #undef up1 #undef up2 #undef ur1 }
/* {RT_DBG_LOCAL_RECORD}.set_local_value_at */ void F652_5626 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x, EIF_TYPED_VALUE arg2x, EIF_TYPED_VALUE arg3x, EIF_TYPED_VALUE arg4x) { GTCX char *l_feature_name = "set_local_value_at"; RTEX; EIF_INTEGER_32 loc1 = (EIF_INTEGER_32) 0; EIF_INTEGER_32 loc2 = (EIF_INTEGER_32) 0; #define arg1 arg1x.it_i4 #define arg2 arg2x.it_i4 #define arg3 arg3x.it_n4 #define arg4 arg4x.it_n8 EIF_TYPED_VALUE ur1x = {{0}, SK_REF}; #define ur1 ur1x.it_r EIF_TYPED_VALUE ui4_1x = {{0}, SK_INT32}; #define ui4_1 ui4_1x.it_i4 EIF_TYPED_VALUE ui4_2x = {{0}, SK_INT32}; #define ui4_2 ui4_2x.it_i4 EIF_TYPED_VALUE ui4_3x = {{0}, SK_INT32}; #define ui4_3 ui4_3x.it_i4 EIF_TYPED_VALUE uu4_1x = {{0}, SK_UINT32}; #define uu4_1 uu4_1x.it_n4 RTCDT; RTSN; RTDA; RTLD; if ((arg4x.type & SK_HEAD) == SK_REF) arg4x.it_n8 = * (EIF_NATURAL_64 *) arg4x.it_r; if ((arg3x.type & SK_HEAD) == SK_REF) arg3x.it_n4 = * (EIF_NATURAL_32 *) arg3x.it_r; if ((arg2x.type & SK_HEAD) == SK_REF) arg2x.it_i4 = * (EIF_INTEGER_32 *) arg2x.it_r; if ((arg1x.type & SK_HEAD) == SK_REF) arg1x.it_i4 = * (EIF_INTEGER_32 *) arg1x.it_r; RTLI(2); RTLR(0,Current); RTLR(1,ur1); RTLU (SK_VOID, NULL); RTLU(SK_INT32,&arg1); RTLU(SK_INT32,&arg2); RTLU(SK_UINT32,&arg3); RTLU(SK_UINT64,&arg4); RTLU (SK_REF, &Current); RTLU(SK_INT32, &loc1); RTLU(SK_INT32, &loc2); RTEAA(l_feature_name, 651, Current, 2, 4, 10695); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(651, Current, 10695); RTIV(Current, RTAL); RTHOOK(1); if ((EIF_BOOLEAN)(arg2 == ((EIF_INTEGER_32) 0L))) { RTHOOK(2); RTDBGAL(Current, 1, 0x10000000, 1, 0); /* loc1 */ loc1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(4125, 234))(Current)).it_i4); loc1 = (EIF_INTEGER_32) loc1; } else { RTHOOK(3); RTDBGAL(Current, 1, 0x10000000, 1, 0); /* loc1 */ loc1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(4124, 234))(Current)).it_i4); loc1 = (EIF_INTEGER_32) loc1; } RTHOOK(4); RTDBGAL(Current, 2, 0x10000000, 1, 0); /* loc2 */ ui4_1 = arg1; ui4_2 = loc1; ui4_3 = arg2; uu4_1 = arg3; ur1 = RTLN(188); *(EIF_NATURAL_64 *)ur1 = arg4; loc2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE, EIF_TYPED_VALUE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTWF(4126, dtype))(Current, ui4_1x, ui4_2x, ui4_3x, uu4_1x, ur1x)).it_i4); if (RTAL & CK_CHECK) { RTHOOK(5); RTCT(NULL, EX_CHECK); if ((EIF_BOOLEAN)(loc2 == ((EIF_INTEGER_32) 0L))) { RTCK; } else { RTCF; } } RTVI(Current, RTAL); RTRS; RTHOOK(6); RTDBGLE; RTMD(0); RTLE; RTLO(8); RTEE; #undef ur1 #undef ui4_1 #undef ui4_2 #undef ui4_3 #undef uu4_1 #undef arg4 #undef arg3 #undef arg2 #undef arg1 }
/* {RT_DBG_LOCAL_RECORD}.is_same_as */ EIF_TYPED_VALUE F652_5633 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x) { GTCX char *l_feature_name = "is_same_as"; RTEX; EIF_REFERENCE loc1 = (EIF_REFERENCE) 0; #define arg1 arg1x.it_r EIF_NATURAL_64 tu8_1; EIF_NATURAL_64 tu8_2; EIF_INTEGER_32 ti4_1; EIF_INTEGER_32 ti4_2; EIF_BOOLEAN tb1; EIF_BOOLEAN tb2; EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0); RTCFDT; RTCDT; RTSN; RTDA; RTLD; RTLI(3); RTLR(0,arg1); RTLR(1,loc1); RTLR(2,Current); RTLU (SK_BOOL, &Result); RTLU(SK_REF,&arg1); RTLU (SK_REF, &Current); RTLU(SK_REF, &loc1); RTEAA(l_feature_name, 651, Current, 1, 1, 10702); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(651, Current, 10702); if (arg1) { RTCC(arg1, 651, l_feature_name, 1, 237); } RTIV(Current, RTAL); if ((RTAL & CK_REQUIRE) || RTAC) { RTHOOK(1); RTCT("other_attached", EX_PRE); RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1); RTCK; RTJB; label_1: RTCF; } body:; RTHOOK(2); RTDBGAL(Current, 0, 0x04000000, 1,0); /* Result */ tb1 = '\0'; tb2 = '\0'; loc1 = RTCCL(arg1); loc1 = RTRV(eif_non_attached_type(dftype),loc1); if (EIF_TEST(loc1)) { ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(4251, dtype)); ti4_2 = *(EIF_INTEGER_32 *)(loc1 + RTVA(4251, "position", loc1)); tb2 = (EIF_BOOLEAN)(ti4_1 == ti4_2); } if (tb2) { tu8_1 = *(EIF_NATURAL_64 *)(Current + RTWA(4266, dtype)); tu8_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(4266, "value", loc1))(loc1)).it_n8); tb1 = (EIF_BOOLEAN)(tu8_1 == tu8_2); } Result = (EIF_BOOLEAN) tb1; if (RTAL & CK_ENSURE) { RTHOOK(3); RTCT("same_type", EX_POST); tb1 = '\01'; if (Result) { ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(4252, dtype)); ti4_2 = *(EIF_INTEGER_32 *)(arg1 + RTVA(4252, "type", arg1)); tb1 = (EIF_BOOLEAN)(ti4_1 == ti4_2); } if (tb1) { RTCK; } else { RTCF; } } RTVI(Current, RTAL); RTRS; RTHOOK(4); RTDBGLE; RTMD(0); RTLE; RTLO(4); RTEE; { EIF_TYPED_VALUE r; r.type = SK_BOOL; r.it_b = Result; return r; } #undef arg1 }
/* {RT_DBG_LOCAL_RECORD}.local_value_at */ EIF_TYPED_VALUE F652_5625 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x, EIF_TYPED_VALUE arg2x, EIF_TYPED_VALUE arg3x) { GTCX char *l_feature_name = "local_value_at"; RTEX; EIF_INTEGER_32 loc1 = (EIF_INTEGER_32) 0; #define arg1 arg1x.it_i4 #define arg2 arg2x.it_i4 #define arg3 arg3x.it_n4 EIF_TYPED_VALUE up1x = {{0}, SK_POINTER}; #define up1 up1x.it_p EIF_TYPED_VALUE ui4_1x = {{0}, SK_INT32}; #define ui4_1 ui4_1x.it_i4 EIF_TYPED_VALUE ui4_2x = {{0}, SK_INT32}; #define ui4_2 ui4_2x.it_i4 EIF_TYPED_VALUE ui4_3x = {{0}, SK_INT32}; #define ui4_3 ui4_3x.it_i4 EIF_TYPED_VALUE uu4_1x = {{0}, SK_UINT32}; #define uu4_1 uu4_1x.it_n4 EIF_INTEGER_32 ti4_1; EIF_REFERENCE Result = ((EIF_REFERENCE) 0); RTCDT; RTSN; RTDA; RTLD; if ((arg3x.type & SK_HEAD) == SK_REF) arg3x.it_n4 = * (EIF_NATURAL_32 *) arg3x.it_r; if ((arg2x.type & SK_HEAD) == SK_REF) arg2x.it_i4 = * (EIF_INTEGER_32 *) arg2x.it_r; if ((arg1x.type & SK_HEAD) == SK_REF) arg1x.it_i4 = * (EIF_INTEGER_32 *) arg1x.it_r; RTLI(2); RTLR(0,Current); RTLR(1,Result); RTLU (SK_REF, &Result); RTLU(SK_INT32,&arg1); RTLU(SK_INT32,&arg2); RTLU(SK_UINT32,&arg3); RTLU (SK_REF, &Current); RTLU(SK_INT32, &loc1); RTEAA(l_feature_name, 651, Current, 1, 3, 10694); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(651, Current, 10694); RTIV(Current, RTAL); if ((RTAL & CK_REQUIRE) || RTAC) { RTHOOK(1); RTCT("index_large_enough", EX_PRE); RTTE((EIF_BOOLEAN) (arg2 >= ((EIF_INTEGER_32) 0L)), label_1); RTCK; RTJB; label_1: RTCF; } body:; RTHOOK(2); if ((EIF_BOOLEAN)(arg2 == ((EIF_INTEGER_32) 0L))) { RTHOOK(3); RTDBGAL(Current, 1, 0x10000000, 1, 0); /* loc1 */ loc1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(4125, 234))(Current)).it_i4); loc1 = (EIF_INTEGER_32) loc1; } else { RTHOOK(4); RTDBGAL(Current, 1, 0x10000000, 1, 0); /* loc1 */ loc1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(4124, 234))(Current)).it_i4); loc1 = (EIF_INTEGER_32) loc1; } RTHOOK(5); ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(4125, 234))(Current)).it_i4); if ((EIF_BOOLEAN)(loc1 != ti4_1)) { RTHOOK(6); RTDBGAL(Current, 0, 0xF8000000, 0,0); /* Result */ ui4_1 = arg1; ui4_2 = loc1; ui4_3 = arg2; uu4_1 = arg3; Result = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTWF(4111, dtype))(Current, ui4_1x, ui4_2x, ui4_3x, uu4_1x)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); } RTVI(Current, RTAL); RTRS; RTHOOK(7); RTDBGLE; RTMD(0); RTLE; RTLO(6); RTEE; { EIF_TYPED_VALUE r; r.type = SK_REF; r.it_r = Result; return r; } #undef up1 #undef ui4_1 #undef ui4_2 #undef ui4_3 #undef uu4_1 #undef arg3 #undef arg2 #undef arg1 }
/* {RT_DBG_ATTRIBUTE_RECORD}.get_value */ void F1021_21188 (EIF_REFERENCE Current) { GTCX char *l_feature_name = "get_value"; RTEX; EIF_INTEGER_16 loc1 = (EIF_INTEGER_16) 0; EIF_TYPED_VALUE up1x = {{0}, SK_POINTER}; #define up1 up1x.it_p EIF_TYPED_VALUE ur1x = {{0}, SK_REF}; #define ur1 ur1x.it_r EIF_TYPED_VALUE ui4_1x = {{0}, SK_INT32}; #define ui4_1 ui4_1x.it_i4 EIF_TYPED_VALUE uu4_1x = {{0}, SK_UINT32}; #define uu4_1 uu4_1x.it_n4 EIF_REFERENCE tr1 = NULL; EIF_REFERENCE tr2 = NULL; EIF_INTEGER_32 ti4_1; EIF_NATURAL_32 tu4_1; EIF_INTEGER_16 ti2_1; EIF_BOOLEAN tb1; RTCDT; RTSN; RTDA; RTLD; RTLI(4); RTLR(0,Current); RTLR(1,tr1); RTLR(2,tr2); RTLR(3,ur1); RTLU (SK_VOID, NULL); RTLU (SK_REF, &Current); RTLU(SK_INT16, &loc1); RTEAA(l_feature_name, 1020, Current, 1, 0, 16026); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(1020, Current, 16026); RTIV(Current, RTAL); RTHOOK(1); ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(18318, dtype)); ui4_1 = ti4_1; tu4_1 = *(EIF_NATURAL_32 *)(Current + RTWA(18350, dtype)); uu4_1 = tu4_1; tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(18348, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); ur1 = RTCCL(tr2); tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTWF(18177, dtype))(Current, ui4_1x, uu4_1x, ur1x)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); tr1 = RTCCL(tr2); RTOB(*(EIF_INTEGER_16 *), RTWCT(18349, dtype, Dftype(Current)), tr1, loc1, tb1); if (tb1) { RTHOOK(2); RTDBGAA(Current, dtype, 18349, 0x14000000, 0); /* value */ *(EIF_INTEGER_16 *)(Current + RTWA(18349, dtype)) = (EIF_INTEGER_16) loc1; } else { RTHOOK(3); RTDBGAA(Current, dtype, 18349, 0x14000000, 0); /* value */ ti2_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(18353, dtype))(Current)).it_i2); *(EIF_INTEGER_16 *)(Current + RTWA(18349, dtype)) = (EIF_INTEGER_16) ti2_1; } RTVI(Current, RTAL); RTRS; RTHOOK(4); RTDBGLE; RTMD(0); RTLE; RTLO(3); RTEE; #undef up1 #undef ur1 #undef ui4_1 #undef uu4_1 }
/* {RT_DBG_ATTRIBUTE_RECORD}.make */ void F1021_21178 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x, EIF_TYPED_VALUE arg2x, EIF_TYPED_VALUE arg3x, EIF_TYPED_VALUE arg4x, EIF_TYPED_VALUE arg5x) { GTCX char *l_feature_name = "make"; RTEX; #define arg1 arg1x.it_r #define arg2 arg2x.it_i4 #define arg3 arg3x.it_i4 #define arg4 arg4x.it_n4 #define arg5 arg5x.it_i2 RTCDT; RTSN; RTDA; RTLD; if ((arg5x.type & SK_HEAD) == SK_REF) arg5x.it_i2 = * (EIF_INTEGER_16 *) arg5x.it_r; if ((arg4x.type & SK_HEAD) == SK_REF) arg4x.it_n4 = * (EIF_NATURAL_32 *) arg4x.it_r; if ((arg3x.type & SK_HEAD) == SK_REF) arg3x.it_i4 = * (EIF_INTEGER_32 *) arg3x.it_r; if ((arg2x.type & SK_HEAD) == SK_REF) arg2x.it_i4 = * (EIF_INTEGER_32 *) arg2x.it_r; RTLI(2); RTLR(0,arg1); RTLR(1,Current); RTLU (SK_VOID, NULL); RTLU(SK_REF,&arg1); RTLU(SK_INT32,&arg2); RTLU(SK_INT32,&arg3); RTLU(SK_UINT32,&arg4); RTLU(SK_INT16,&arg5); RTLU (SK_REF, &Current); RTEAA(l_feature_name, 1020, Current, 0, 5, 16016); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(1020, Current, 16016); RTIV(Current, RTAL); if ((RTAL & CK_REQUIRE) || RTAC) { RTHOOK(1); RTCT("obj_attached", EX_PRE); RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1); RTCK; RTJB; label_1: RTCF; } body:; RTHOOK(2); RTDBGAA(Current, dtype, 18348, 0xF8000000, 0); /* object */ RTAR(Current, arg1); *(EIF_REFERENCE *)(Current + RTWA(18348, dtype)) = (EIF_REFERENCE) RTCCL(arg1); RTHOOK(3); RTDBGAA(Current, dtype, 18318, 0x10000000, 1); /* offset */ *(EIF_INTEGER_32 *)(Current + RTWA(18318, dtype)) = (EIF_INTEGER_32) arg2; RTHOOK(4); RTDBGAA(Current, dtype, 18319, 0x10000000, 1); /* type */ *(EIF_INTEGER_32 *)(Current + RTWA(18319, dtype)) = (EIF_INTEGER_32) arg3; RTHOOK(5); RTDBGAA(Current, dtype, 18350, 0x38000000, 1); /* rt_type */ *(EIF_NATURAL_32 *)(Current + RTWA(18350, dtype)) = (EIF_NATURAL_32) arg4; RTHOOK(6); RTDBGAA(Current, dtype, 18349, 0x14000000, 0); /* value */ *(EIF_INTEGER_16 *)(Current + RTWA(18349, dtype)) = (EIF_INTEGER_16) arg5; RTVI(Current, RTAL); RTRS; RTHOOK(7); RTDBGLE; RTMD(0); RTLE; RTLO(7); RTEE; #undef arg5 #undef arg4 #undef arg3 #undef arg2 #undef arg1 }
/* {EV_GAUGE}.value_range */ EIF_TYPED_VALUE F1264_11739 (EIF_REFERENCE Current) { GTCX char *l_feature_name = "value_range"; RTEX; EIF_TYPED_VALUE up1x = {{0}, SK_POINTER}; #define up1 up1x.it_p EIF_TYPED_VALUE up2x = {{0}, SK_POINTER}; #define up2 up2x.it_p EIF_TYPED_VALUE ur1x = {{0}, SK_REF}; #define ur1 ur1x.it_r EIF_REFERENCE tr1 = NULL; EIF_REFERENCE tr2 = NULL; EIF_BOOLEAN tb1; EIF_BOOLEAN tb2; EIF_REFERENCE Result = ((EIF_REFERENCE) 0); RTCDT; RTSN; RTDA; RTLD; RTLI(5); RTLR(0,Current); RTLR(1,tr1); RTLR(2,tr2); RTLR(3,Result); RTLR(4,ur1); RTLU (SK_REF, &Result); RTLU (SK_REF, &Current); RTEAA(l_feature_name, 1263, Current, 0, 0, 17642); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(1263, Current, 17642); RTIV(Current, RTAL); if ((RTAL & CK_REQUIRE) || RTAC) { RTHOOK(1); RTCT("not_destroyed", EX_PRE); tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8387, dtype))(Current)).it_b); RTTE((EIF_BOOLEAN) !tb1, label_1); RTCK; RTJB; label_1: RTCF; } body: ; RTHOOK(2); RTDBGAL(Current, 0, 0xF8000093, 0,0); /* Result */ tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8388, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); RTNHOOK(2,1); tr2 = ((up2x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(10565, "value_range", tr1))(tr1)), (((up2x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up2x.it_r = RTBU(up2x))), (up2x.type = SK_POINTER), up2x.it_r); Result = (EIF_REFERENCE) RTCCL(tr2); if (RTAL & CK_ENSURE) { RTHOOK(3); RTCT("bridge_ok", EX_POST); tb1 = '\0'; if ((EIF_BOOLEAN)(Result != NULL)) { tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8388, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); RTNHOOK(3,1); tr2 = ((up2x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(10565, "value_range", tr1))(tr1)), (((up2x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up2x.it_r = RTBU(up2x))), (up2x.type = SK_POINTER), up2x.it_r); ur1 = RTCCL(tr2); tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(11, "is_equal", Result))(Result, ur1x)).it_b); tb1 = tb2; } if (tb1) { RTCK; } else { RTCF; } } RTVI(Current, RTAL); RTRS; RTHOOK(4); RTDBGLE; RTMD(0); RTLE; RTLO(2); RTEE; { EIF_TYPED_VALUE r; r.type = SK_REF; r.it_r = Result; return r; } #undef up1 #undef up2 #undef ur1 }
/* {RT_DBG_LOCAL_RECORD}.to_string */ EIF_TYPED_VALUE F652_5635 (EIF_REFERENCE Current) { GTCX char *l_feature_name = "to_string"; RTEX; EIF_NATURAL_64 loc1 = (EIF_NATURAL_64) 0; EIF_TYPED_VALUE up1x = {{0}, SK_POINTER}; #define up1 up1x.it_p EIF_TYPED_VALUE uu8_1x = {{0}, SK_UINT64}; #define uu8_1 uu8_1x.it_n8 EIF_REFERENCE tr1 = NULL; EIF_NATURAL_64 tu8_1; EIF_INTEGER_32 ti4_1; EIF_REFERENCE Result = ((EIF_REFERENCE) 0); RTCDT; RTSN; RTDA; RTLD; RTLI(3); RTLR(0,Current); RTLR(1,tr1); RTLR(2,Result); RTLU (SK_REF, &Result); RTLU (SK_REF, &Current); RTLU(SK_UINT64, &loc1); RTEAA(l_feature_name, 651, Current, 1, 0, 10704); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(651, Current, 10704); RTIV(Current, RTAL); RTHOOK(1); RTDBGAL(Current, 1, 0x3C000000, 0, 0); /* loc1 */ loc1 = *(EIF_NATURAL_64 *)(Current + RTWA(4266, dtype)); RTHOOK(2); ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(4252, dtype)); switch (ti4_1) { case 1L: RTHOOK(3); if (EIF_TRUE) { RTHOOK(4); RTDBGAL(Current, 0, 0xF80000E4, 0,0); /* Result */ tr1 = c_outp((EIF_NATURAL_64 *) &(loc1)); Result = (EIF_REFERENCE) RTCCL(tr1); } else { RTHOOK(5); RTDBGAL(Current, 0, 0xF80000E4, 0,0); /* Result */ Result = RTMS_EX_H("Void",4,1450142052); } break; case 7L: if (RTAL & CK_CHECK) { RTHOOK(6); RTCT("value_attached", EX_CHECK); tu8_1 = *(EIF_NATURAL_64 *)(Current + RTWA(4266, dtype)); if (EIF_TRUE) { RTCK; } else { RTCF; } } RTHOOK(7); if (EIF_TRUE) { RTHOOK(8); RTDBGAL(Current, 0, 0xF80000E4, 0,0); /* Result */ tr1 = c_outp((EIF_NATURAL_64 *) &(loc1)); Result = (EIF_REFERENCE) RTCCL(tr1); } else { RTHOOK(9); RTDBGAL(Current, 0, 0xF80000E4, 0,0); /* Result */ tr1 = RTLN(228); (FUNCTION_CAST(void, (EIF_REFERENCE)) RTWC(3713, Dtype(tr1)))(tr1); RTNHOOK(9,1); Result = (EIF_REFERENCE) RTCCL(tr1); } break; default: RTHOOK(10); if (EIF_TRUE) { RTHOOK(11); RTDBGAL(Current, 0, 0xF80000E4, 0,0); /* Result */ uu8_1 = loc1; Result = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(4270, dtype))(Current, uu8_1x)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); } else { RTHOOK(12); RTDBGAL(Current, 0, 0xF80000E4, 0,0); /* Result */ tr1 = RTLN(228); (FUNCTION_CAST(void, (EIF_REFERENCE)) RTWC(3713, Dtype(tr1)))(tr1); RTNHOOK(12,1); Result = (EIF_REFERENCE) RTCCL(tr1); } break; } if (RTAL & CK_ENSURE) { RTHOOK(13); RTCT("result_attached", EX_POST); if ((EIF_BOOLEAN)(Result != NULL)) { RTCK; } else { RTCF; } } RTVI(Current, RTAL); RTRS; RTHOOK(14); RTDBGLE; RTMD(0); RTLE; RTLO(3); RTEE; { EIF_TYPED_VALUE r; r.type = SK_REF; r.it_r = Result; return r; } #undef up1 #undef uu8_1 }
/* {EV_GAUGE}.proportion */ EIF_TYPED_VALUE F1264_11740 (EIF_REFERENCE Current) { GTCX char *l_feature_name = "proportion"; RTEX; EIF_TYPED_VALUE up1x = {{0}, SK_POINTER}; #define up1 up1x.it_p EIF_REFERENCE tr1 = NULL; EIF_REAL_32 tr4_1; EIF_BOOLEAN tb1; EIF_REAL_32 Result = ((EIF_REAL_32) 0); RTCDT; RTSN; RTDA; RTLD; RTLI(2); RTLR(0,Current); RTLR(1,tr1); RTLU (SK_REAL32, &Result); RTLU (SK_REF, &Current); RTEAA(l_feature_name, 1263, Current, 0, 0, 17643); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(1263, Current, 17643); RTIV(Current, RTAL); if ((RTAL & CK_REQUIRE) || RTAC) { RTHOOK(1); RTCT("not_destroyed", EX_PRE); tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8387, dtype))(Current)).it_b); RTTE((EIF_BOOLEAN) !tb1, label_1); RTCK; RTJB; label_1: RTCF; } body: ; RTHOOK(2); RTDBGAL(Current, 0, 0x18000000, 1,0); /* Result */ tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8388, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); RTNHOOK(2,1); tr4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(10566, "proportion", tr1))(tr1)).it_r4); Result = (EIF_REAL_32) tr4_1; if (RTAL & CK_ENSURE) { RTHOOK(3); RTCT("bridge_ok", EX_POST); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8388, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); RTNHOOK(3,1); tr4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(10566, "proportion", tr1))(tr1)).it_r4); if ((EIF_BOOLEAN)(Result == tr4_1)) { RTCK; } else { RTCF; } } RTVI(Current, RTAL); RTRS; RTHOOK(4); RTDBGLE; RTMD(0); RTLE; RTLO(2); RTEE; { EIF_TYPED_VALUE r; r.type = SK_REAL32; r.it_r4 = Result; return r; } #undef up1 }
/* {RT_DBG_LOCAL_RECORD}.get_value */ void F652_5636 (EIF_REFERENCE Current) { GTCX char *l_feature_name = "get_value"; RTEX; EIF_NATURAL_64 loc1 = (EIF_NATURAL_64) 0; EIF_TYPED_VALUE up1x = {{0}, SK_POINTER}; #define up1 up1x.it_p EIF_TYPED_VALUE ui4_1x = {{0}, SK_INT32}; #define ui4_1 ui4_1x.it_i4 EIF_TYPED_VALUE ui4_2x = {{0}, SK_INT32}; #define ui4_2 ui4_2x.it_i4 EIF_TYPED_VALUE uu4_1x = {{0}, SK_UINT32}; #define uu4_1 uu4_1x.it_n4 EIF_REFERENCE tr1 = NULL; EIF_REFERENCE tr2 = NULL; EIF_NATURAL_64 tu8_1; EIF_INTEGER_32 ti4_1; EIF_INTEGER_32 ti4_2; EIF_NATURAL_32 tu4_1; EIF_BOOLEAN tb1; RTCDT; RTSN; RTDA; RTLD; RTLI(3); RTLR(0,Current); RTLR(1,tr1); RTLR(2,tr2); RTLU (SK_VOID, NULL); RTLU (SK_REF, &Current); RTLU(SK_UINT64, &loc1); RTEAA(l_feature_name, 651, Current, 1, 0, 10705); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(651, Current, 10705); RTIV(Current, RTAL); RTHOOK(1); ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(4267, dtype)); ui4_1 = ti4_1; ti4_2 = *(EIF_INTEGER_32 *)(Current + RTWA(4251, dtype)); ui4_2 = ti4_2; tu4_1 = *(EIF_NATURAL_32 *)(Current + RTWA(4268, dtype)); uu4_1 = tu4_1; tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTWF(4264, dtype))(Current, ui4_1x, ui4_2x, uu4_1x)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); tr1 = RTCCL(tr2); RTOB(*(EIF_NATURAL_64 *), RTWCT(4266, dtype, Dftype(Current)), tr1, loc1, tb1); if (tb1) { RTHOOK(2); RTDBGAA(Current, dtype, 4266, 0x3C000000, 0); /* value */ *(EIF_NATURAL_64 *)(Current + RTWA(4266, dtype)) = (EIF_NATURAL_64) loc1; } else { RTHOOK(3); RTDBGAA(Current, dtype, 4266, 0x3C000000, 0); /* value */ tu8_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(4271, dtype))(Current)).it_n8); *(EIF_NATURAL_64 *)(Current + RTWA(4266, dtype)) = (EIF_NATURAL_64) tu8_1; } RTVI(Current, RTAL); RTRS; RTHOOK(4); RTDBGLE; RTMD(0); RTLE; RTLO(3); RTEE; #undef up1 #undef ui4_1 #undef ui4_2 #undef uu4_1 }
/* {EV_GAUGE}.leap_backward */ void F1264_11744 (EIF_REFERENCE Current) { GTCX char *l_feature_name = "leap_backward"; RTEX; EIF_TYPED_VALUE up1x = {{0}, SK_POINTER}; #define up1 up1x.it_p EIF_TYPED_VALUE ui4_1x = {{0}, SK_INT32}; #define ui4_1 ui4_1x.it_i4 EIF_REFERENCE tr1 = NULL; EIF_REFERENCE tr2 = NULL; EIF_INTEGER_32 ti4_1; EIF_INTEGER_32 ti4_2; EIF_INTEGER_32 ti4_3; EIF_INTEGER_32 ti4_4; EIF_BOOLEAN tb1; RTCDT; RTSN; RTDA; RTLD; RTLI(3); RTLR(0,Current); RTLR(1,tr1); RTLR(2,tr2); RTLU (SK_VOID, NULL); RTLU (SK_REF, &Current); RTEAA(l_feature_name, 1263, Current, 0, 0, 17647); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(1263, Current, 17647); RTIV(Current, RTAL); if ((RTAL & CK_REQUIRE) || RTAC) { RTHOOK(1); RTCT("not_destroyed", EX_PRE); tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8387, dtype))(Current)).it_b); RTTE((EIF_BOOLEAN) !tb1, label_1); RTCK; RTJB; label_1: RTCF; } body: ; if (RTAL & CK_ENSURE) { in_assertion = ~0; RTE_OT ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9059, dtype))(Current)).it_i4); ti4_1 = ti4_2; tr1 = NULL; RTE_O tr1 = RTLA; RTE_OE in_assertion = 0; } RTHOOK(2); tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8388, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); RTNHOOK(2,1); (FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(10570, "leap_backward", tr2))(tr2); if (RTAL & CK_ENSURE) { RTHOOK(3); RTCT("decremented", EX_POST); ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9059, dtype))(Current)).it_i4); tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9062, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); RTNHOOK(3,1); ti4_3 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(2439, "lower", tr2))(tr2)).it_i4); RTNHOOK(3,2); RTCO(tr1); ti4_4 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9061, dtype))(Current)).it_i4); ui4_1 = (EIF_INTEGER_32) (ti4_1 - ti4_4); ti4_4 = eif_max_int32 (ti4_3,ui4_1); if ((EIF_BOOLEAN)(ti4_2 == ti4_4)) { RTCK; } else { RTCF; } } RTVI(Current, RTAL); RTRS; RTHOOK(4); RTDBGLE; RTMD(0); RTLE; RTLO(2); RTEE; #undef up1 #undef ui4_1 }
/* {KL_LINKABLE}.put_right */ void F2586_30196 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x) { GTCX char *l_feature_name = "put_right"; RTEX; #define arg1 arg1x.it_r EIF_TYPED_VALUE up1x = {{0}, SK_POINTER}; #define up1 up1x.it_p EIF_REFERENCE tr1 = NULL; RTCDT; RTSN; RTDA; RTLD; RTLI(3); RTLR(0,arg1); RTLR(1,Current); RTLR(2,tr1); RTLIU(3); RTLU (SK_VOID, NULL); RTLU(SK_REF,&arg1); RTLU (SK_REF, &Current); RTEAA(l_feature_name, 2585, Current, 0, 1, 34981); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(2585, Current, 34981); RTCC(arg1, 2585, l_feature_name, 1, eif_new_type(Dftype(Current), 0), 0x00); RTIV(Current, RTAL); if ((RTAL & CK_REQUIRE) || RTAC) { RTHOOK(1); RTCT("other_not_void", EX_PRE); RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1); RTCK; RTJB; label_1: RTCF; } body:; RTHOOK(2); RTDBGAA(Current, dtype, 23884, 0xF8000A19, 0); /* right */ RTAR(Current, arg1); *(EIF_REFERENCE *)(Current + RTWA(23884, dtype)) = (EIF_REFERENCE) RTCCL(arg1); if (RTAL & CK_ENSURE) { RTHOOK(3); RTCT("linked", EX_POST); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(23884, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); if (RTCEQ(tr1, arg1)) { RTCK; } else { RTCF; } } RTVI(Current, RTAL); RTRS; RTHOOK(4); RTDBGLE; RTMD(0); RTLE; RTLO(3); RTEE; #undef up1 #undef arg1 }
/* {KL_STDERR_FILE}.put_string */ void F2347_32359 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x) { GTCX char *l_feature_name = "put_string"; RTEX; EIF_REFERENCE loc1 = (EIF_REFERENCE) 0; #define arg1 arg1x.it_r EIF_TYPED_VALUE up1x = {{0}, SK_POINTER}; #define up1 up1x.it_p EIF_TYPED_VALUE up2x = {{0}, SK_POINTER}; #define up2 up2x.it_p EIF_TYPED_VALUE ur1x = {{0}, SK_REF}; #define ur1 ur1x.it_r EIF_REFERENCE tr1 = NULL; EIF_REFERENCE tr2 = NULL; EIF_BOOLEAN tb1; RTCDT; RTSN; RTDA; RTLD; RTLI(6); RTLR(0,arg1); RTLR(1,Current); RTLR(2,loc1); RTLR(3,tr1); RTLR(4,ur1); RTLR(5,tr2); RTLIU(6); RTLU (SK_VOID, NULL); RTLU(SK_REF,&arg1); RTLU (SK_REF, &Current); RTLU(SK_REF, &loc1); RTEAA(l_feature_name, 2346, Current, 1, 1, 37437); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(2346, Current, 37437); if (arg1) { RTCC(arg1, 2346, l_feature_name, 1, eif_new_type(915, 0x00), 0x00); } RTIV(Current, RTAL); if ((RTAL & CK_REQUIRE) || RTAC) { RTHOOK(1); RTCT("is_open_write", EX_PRE); tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(23697, dtype))(Current)).it_b); RTTE(tb1, label_1); RTCK; RTHOOK(2); RTCT("a_string_not_void", EX_PRE); RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1); RTCK; RTJB; label_1: RTCF; } body:; RTHOOK(3); RTDBGAL(Current, 1, 0xF8000393, 0, 0); /* loc1 */ tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(24595, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); RTNHOOK(3,1); ur1 = RTCCL(arg1); tr2 = ((up2x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(24763, "as_string", tr1))(tr1, ur1x)), (((up2x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up2x.it_r = RTBU(up2x))), (up2x.type = SK_POINTER), up2x.it_r); loc1 = (EIF_REFERENCE) RTCCL(tr2); RTHOOK(4); ur1 = RTCCL(loc1); (FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(11306, dtype))(Current, ur1x); RTVI(Current, RTAL); RTRS; RTHOOK(5); RTDBGLE; RTMD(0); RTLE; RTLO(4); RTEE; #undef up1 #undef up2 #undef ur1 #undef arg1 }
/* {EV_GAUGE}.set_leap */ void F1264_11748 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x) { GTCX char *l_feature_name = "set_leap"; RTEX; #define arg1 arg1x.it_i4 EIF_TYPED_VALUE up1x = {{0}, SK_POINTER}; #define up1 up1x.it_p EIF_TYPED_VALUE ui4_1x = {{0}, SK_INT32}; #define ui4_1 ui4_1x.it_i4 EIF_REFERENCE tr1 = NULL; EIF_INTEGER_32 ti4_1; EIF_BOOLEAN tb1; RTCDT; RTSN; RTDA; RTLD; if ((arg1x.type & SK_HEAD) == SK_REF) arg1x.it_i4 = * (EIF_INTEGER_32 *) arg1x.it_r; RTLI(2); RTLR(0,Current); RTLR(1,tr1); RTLU (SK_VOID, NULL); RTLU(SK_INT32,&arg1); RTLU (SK_REF, &Current); RTEAA(l_feature_name, 1263, Current, 0, 1, 17651); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(1263, Current, 17651); RTIV(Current, RTAL); if ((RTAL & CK_REQUIRE) || RTAC) { RTHOOK(1); RTCT("not_destroyed", EX_PRE); tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8387, dtype))(Current)).it_b); RTTE((EIF_BOOLEAN) !tb1, label_1); RTCK; RTHOOK(2); RTCT("a_leap_positive", EX_PRE); RTTE((EIF_BOOLEAN) (arg1 > ((EIF_INTEGER_32) 0L)), label_1); RTCK; RTJB; label_1: RTCF; } body: ; RTHOOK(3); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8388, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); RTNHOOK(3,1); ui4_1 = arg1; (FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(10573, "set_leap", tr1))(tr1, ui4_1x); if (RTAL & CK_ENSURE) { RTHOOK(4); RTCT("a_leap_assigned", EX_POST); ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9061, dtype))(Current)).it_i4); if ((EIF_BOOLEAN)(ti4_1 == arg1)) { RTCK; } else { RTCF; } } RTVI(Current, RTAL); RTRS; RTHOOK(5); RTDBGLE; RTMD(0); RTLE; RTLO(3); RTEE; #undef up1 #undef ui4_1 #undef arg1 }
/* {SEQUENCE}.append */ void F737_1715 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x) { GTCX char *l_feature_name = "append"; RTEX; EIF_REFERENCE loc1 = (EIF_REFERENCE) 0; #define arg1 arg1x.it_r EIF_TYPED_VALUE up1x = {{0}, SK_POINTER}; #define up1 up1x.it_p EIF_TYPED_VALUE uw1x = {{0}, SK_CHAR32}; #define uw1 uw1x.it_c4 EIF_REFERENCE tr1 = NULL; EIF_INTEGER_32 ti4_1; EIF_INTEGER_32 ti4_2; EIF_CHARACTER_32 tw1; EIF_BOOLEAN tb1; RTCDT; RTSN; RTDA; RTLD; RTLI(4); RTLR(0,arg1); RTLR(1,Current); RTLR(2,tr1); RTLR(3,loc1); RTLU (SK_VOID, NULL); RTLU(SK_REF,&arg1); RTLU (SK_REF, &Current); RTLU(SK_REF, &loc1); RTEAA(l_feature_name, 736, Current, 1, 1, 2254); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(736, Current, 2254); if (arg1) { { EIF_TYPE_INDEX typarr0[] = {736,0,0xFFFF}; EIF_TYPE_INDEX typres0; typarr0[1] = RTWCT(1441, dtype, Dftype(Current)); typres0 = eif_compound_id(Dftype(Current), typarr0); RTCC(arg1, 736, l_feature_name, 1, typres0); } } RTIV(Current, RTAL); if ((RTAL & CK_REQUIRE) || RTAC) { RTHOOK(1); RTCT("argument_not_void", EX_PRE); RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1); RTCK; RTJB; label_1: RTCF; } body:; if (RTAL & CK_ENSURE) { in_assertion = ~0; RTE_OT ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1463, dtype))(Current)).it_i4); ti4_1 = ti4_2; tr1 = NULL; RTE_O tr1 = RTLA; RTE_OE in_assertion = 0; } RTHOOK(2); RTDBGAL(Current, 1, 0xF80002E0, 0, 0); /* loc1 */ loc1 = (EIF_REFERENCE) RTCCL(arg1); RTHOOK(3); if (RTCEQ(arg1, Current)) { RTHOOK(4); RTDBGAL(Current, 1, 0xF80002E0, 0, 0); /* loc1 */ loc1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(17, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); } RTHOOK(5); (FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(1444, "start", loc1))(loc1); for (;;) { RTHOOK(6); tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(1454, "exhausted", loc1))(loc1)).it_b); if (tb1) break; RTHOOK(7); tw1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(1489, "item", loc1))(loc1)).it_c4); uw1 = tw1; (FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(1476, dtype))(Current, uw1x); RTHOOK(8); (FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(1457, "forth", loc1))(loc1); } if (RTAL & CK_ENSURE) { RTHOOK(9); RTCT("new_count", EX_POST); ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1463, dtype))(Current)).it_i4); RTCO(tr1); if ((EIF_BOOLEAN) (ti4_2 >= ti4_1)) { RTCK; } else { RTCF; } } RTVI(Current, RTAL); RTRS; RTHOOK(10); RTDBGLE; RTMD(0); RTLE; RTLO(4); RTEE; #undef up1 #undef uw1 #undef arg1 }
/* {EV_GAUGE}.is_in_default_state */ EIF_TYPED_VALUE F1264_11749 (EIF_REFERENCE Current) { GTCX char *l_feature_name = "is_in_default_state"; RTEX; EIF_TYPED_VALUE up1x = {{0}, SK_POINTER}; #define up1 up1x.it_p EIF_TYPED_VALUE up2x = {{0}, SK_POINTER}; #define up2 up2x.it_p EIF_TYPED_VALUE ur1x = {{0}, SK_REF}; #define ur1 ur1x.it_r EIF_TYPED_VALUE ui4_1x = {{0}, SK_INT32}; #define ui4_1 ui4_1x.it_i4 EIF_REFERENCE tr1 = NULL; EIF_REFERENCE tr2 = NULL; EIF_REFERENCE tr3 = NULL; EIF_REAL_32 tr4_1; EIF_REAL_32 tr4_2; EIF_INTEGER_32 ti4_1; EIF_BOOLEAN tb1; EIF_BOOLEAN tb2; EIF_BOOLEAN tb3; EIF_BOOLEAN tb4; EIF_BOOLEAN tb5; EIF_BOOLEAN tb6; EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0); RTCDT; RTSN; RTDA; RTLD; RTLI(5); RTLR(0,Current); RTLR(1,tr1); RTLR(2,tr2); RTLR(3,tr3); RTLR(4,ur1); RTLU (SK_BOOL, &Result); RTLU (SK_REF, &Current); RTEAA(l_feature_name, 1263, Current, 0, 0, 17634); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(1263, Current, 17634); RTIV(Current, RTAL); RTHOOK(1); RTDBGAL(Current, 0, 0x04000000, 1,0); /* Result */ tb1 = '\0'; tb2 = '\0'; tb3 = '\0'; tb4 = '\0'; tb5 = '\0'; tb6 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8393, 1262))(Current)).it_b); if (tb6) { tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9062, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); RTNHOOK(1,1); ui4_1 = ((EIF_INTEGER_32) 100L); tr2 = RTLN(205); *(EIF_INTEGER_32 *)tr2 = ((EIF_INTEGER_32) 0L); tr3 = ((up2x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4120, "interval", tr2))(tr2, ui4_1x)), (((up2x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up2x.it_r = RTBU(up2x))), (up2x.type = SK_POINTER), up2x.it_r); ur1 = RTCCL(tr3); tb6 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(11, "is_equal", tr1))(tr1, ur1x)).it_b); tb5 = tb6; } if (tb5) { ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9059, dtype))(Current)).it_i4); tb4 = (EIF_BOOLEAN)(ti4_1 == ((EIF_INTEGER_32) 0L)); } if (tb4) { ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9060, dtype))(Current)).it_i4); tb3 = (EIF_BOOLEAN)(ti4_1 == ((EIF_INTEGER_32) 1L)); } if (tb3) { ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9061, dtype))(Current)).it_i4); tb2 = (EIF_BOOLEAN)(ti4_1 == ((EIF_INTEGER_32) 10L)); } if (tb2) { tr4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9063, dtype))(Current)).it_r4); tr4_2 = (EIF_REAL_32) (((EIF_INTEGER_32) 0L)); tb1 = (EIF_BOOLEAN)(tr4_1 == tr4_2); } Result = (EIF_BOOLEAN) tb1; RTVI(Current, RTAL); RTRS; RTHOOK(2); RTDBGLE; RTMD(0); RTLE; RTLO(2); RTEE; { EIF_TYPED_VALUE r; r.type = SK_BOOL; r.it_b = Result; return r; } #undef up1 #undef up2 #undef ur1 #undef ui4_1 }
/* {EV_SIMPLE_HELP_ENGINE}.show */ void F999_9055 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x) { GTCX char *l_feature_name = "show"; RTEX; EIF_REFERENCE loc1 = (EIF_REFERENCE) 0; #define arg1 arg1x.it_r EIF_TYPED_VALUE up1x = {{0}, SK_POINTER}; #define up1 up1x.it_p EIF_TYPED_VALUE ur1x = {{0}, SK_REF}; #define ur1 ur1x.it_r EIF_TYPED_VALUE ui4_1x = {{0}, SK_INT32}; #define ui4_1 ui4_1x.it_i4 EIF_REFERENCE tr1 = NULL; EIF_REFERENCE tr2 = NULL; EIF_REFERENCE tr3 = NULL; EIF_REFERENCE tr4 = NULL; RTCDT; RTSN; RTDA; RTLD; RTLI(8); RTLR(0,arg1); RTLR(1,loc1); RTLR(2,tr1); RTLR(3,ur1); RTLR(4,Current); RTLR(5,tr2); RTLR(6,tr3); RTLR(7,tr4); RTLU (SK_VOID, NULL); RTLU(SK_REF,&arg1); RTLU (SK_REF, &Current); RTLU(SK_REF, &loc1); RTEAA(l_feature_name, 998, Current, 1, 1, 14617); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(998, Current, 14617); RTCC(arg1, 998, l_feature_name, 1, eif_attached_type(1202)); RTIV(Current, RTAL); if ((RTAL & CK_REQUIRE) || RTAC) { RTHOOK(1); RTCT("a_help_context_not_void", EX_PRE); RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1); RTCK; RTJB; label_1: RTCF; } body:; RTHOOK(2); RTDBGAL(Current, 1, 0xF80004ED, 0, 0); /* loc1 */ tr1 = RTLN(1261); ur1 = RTCCL(arg1); (FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWC(9030, Dtype(tr1)))(tr1, ur1x); RTNHOOK(2,1); loc1 = (EIF_REFERENCE) RTCCL(tr1); RTHOOK(3); ui4_1 = ((EIF_INTEGER_32) 1L); { static EIF_TYPE_INDEX typarr0[] = {242,0xFF11,216,0xFFFF}; EIF_TYPE_INDEX typres0; static EIF_TYPE_INDEX typcache0 = INVALID_DTYPE; typres0 = (typcache0 != INVALID_DTYPE ? typcache0 : (typcache0 = eif_compound_id(Dftype(Current), typarr0))); tr2 = RTLNSP2(eif_non_attached_type(typres0),EO_REF,ui4_1,sizeof(EIF_REFERENCE), EIF_FALSE); RT_SPECIAL_COUNT(tr2) = 1L; memset(tr2, 0, RT_SPECIAL_VISIBLE_SIZE(tr2)); } tr4 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(6914, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); tr3 = RTCCL(tr4); *((EIF_REFERENCE *)tr2+0) = (EIF_REFERENCE) tr3; RTAR(tr2,tr3); tr1 = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(2397, Dtype(tr2)))(tr2).it_r; ur1 = RTCCL(tr1); (FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(9038, "set_buttons", loc1))(loc1, ur1x); RTHOOK(4); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(6914, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); ur1 = RTCCL(tr1); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(9041, "button", loc1))(loc1, ur1x)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); ur1 = RTCCL(tr1); (FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(9018, "set_default_push_button", loc1))(loc1, ur1x); RTHOOK(5); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(6929, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); ur1 = RTCCL(tr1); (FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(8944, "set_title", loc1))(loc1, ur1x); RTHOOK(6); (FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(8938, "disable_user_resize", loc1))(loc1); RTHOOK(7); (FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(8822, "show", loc1))(loc1); RTVI(Current, RTAL); RTRS; RTHOOK(8); RTDBGLE; RTMD(0); RTLE; RTLO(4); RTEE; #undef up1 #undef ur1 #undef ui4_1 #undef arg1 }
/* {EV_GAUGE}.delta */ EIF_TYPED_VALUE F1264_11750 (EIF_REFERENCE Current) { GTCX char *l_feature_name = "delta"; RTEX; EIF_TYPED_VALUE up1x = {{0}, SK_POINTER}; #define up1 up1x.it_p EIF_REFERENCE tr1 = NULL; EIF_REAL_32 tr4_1; EIF_INTEGER_32 ti4_1; EIF_INTEGER_32 ti4_2; EIF_INTEGER_32 ti4_3; EIF_REAL_32 Result = ((EIF_REAL_32) 0); RTCDT; RTSN; RTDA; RTLD; RTLI(2); RTLR(0,Current); RTLR(1,tr1); RTLU (SK_REAL32, &Result); RTLU (SK_REF, &Current); RTEAA(l_feature_name, 1263, Current, 0, 0, 17635); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(1263, Current, 17635); RTIV(Current, RTAL); RTHOOK(1); RTDBGAL(Current, 0, 0x18000000, 1,0); /* Result */ tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9062, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); RTNHOOK(1,1); ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(2441, "upper", tr1))(tr1)).it_i4); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9062, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); RTNHOOK(1,2); ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(2439, "lower", tr1))(tr1)).it_i4); ti4_3 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9060, dtype))(Current)).it_i4); tr4_1 = (EIF_REAL_32) (((EIF_REAL_64) ((EIF_REAL_64) ((EIF_INTEGER_32) (ti4_1 - ti4_2)) / (EIF_REAL_64) ((EIF_INTEGER_32) (ti4_3 * ((EIF_INTEGER_32) 10000L)))))); Result = (EIF_REAL_32) tr4_1; RTVI(Current, RTAL); RTRS; RTHOOK(2); RTDBGLE; RTMD(0); RTLE; RTLO(2); RTEE; { EIF_TYPED_VALUE r; r.type = SK_REAL32; r.it_r4 = Result; return r; } #undef up1 }
/* {FUNCTION}.apply */ void F238_4737 (EIF_REFERENCE Current) { GTCX char *l_feature_name = "apply"; RTEX; EIF_TYPED_VALUE up1x = {{0}, SK_POINTER}; #define up1 up1x.it_p EIF_TYPED_VALUE ur1x = {{0}, SK_REF}; #define ur1 ur1x.it_r EIF_REFERENCE tr1 = NULL; EIF_BOOLEAN tb1; RTCDT; RTSN; RTDA; RTLD; RTLI(3); RTLR(0,Current); RTLR(1,tr1); RTLR(2,ur1); RTLU (SK_VOID, NULL); RTLU (SK_REF, &Current); RTEAA(l_feature_name, 237, Current, 0, 0, 9695); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(237, Current, 9695); RTIV(Current, RTAL); if ((RTAL & CK_REQUIRE) || RTAC) { RTHOOK(1); RTCT("valid_operands", EX_PRE); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(3551, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); ur1 = RTCCL(tr1); tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(3557, dtype))(Current, ur1x)).it_b); RTTE(tb1, label_1); RTCK; RTJB; label_1: RTCF; } body:; RTHOOK(2); RTDBGAA(Current, dtype, 3589, 0x04000000, 0); /* last_result */ tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(3551, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); ur1 = RTCCL(tr1); tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(3590, dtype))(Current, ur1x)).it_b); *(EIF_BOOLEAN *)(Current + RTWA(3589, dtype)) = (EIF_BOOLEAN) tb1; RTVI(Current, RTAL); RTRS; RTHOOK(3); RTDBGLE; RTMD(0); RTLE; RTLO(2); RTEE; #undef up1 #undef ur1 }
/* {EV_GAUGE}._invariant */ void F1264_16392 (EIF_REFERENCE Current, int where) { GTCX char *l_feature_name = "_invariant"; RTEX; EIF_TYPED_VALUE up1x = {{0}, SK_POINTER}; #define up1 up1x.it_p EIF_TYPED_VALUE ui4_1x = {{0}, SK_INT32}; #define ui4_1 ui4_1x.it_i4 EIF_REFERENCE tr1 = NULL; EIF_REAL_64 tr8_1; EIF_REAL_64 tr8_2; EIF_REAL_64 tr8_3; EIF_REAL_32 tr4_1; EIF_REAL_32 tr4_2; EIF_INTEGER_32 ti4_1; EIF_INTEGER_32 ti4_2; EIF_INTEGER_32 ti4_3; EIF_INTEGER_32 ti4_4; EIF_BOOLEAN tb1; EIF_BOOLEAN tb2; EIF_BOOLEAN tb3; RTCDT; RTLD; RTDA; RTLI(2); RTLR(0,Current); RTLR(1,tr1); RTLU (SK_VOID, NULL); RTLU (SK_REF, &Current); RTEAINV(l_feature_name, 1263, Current, 0, 16391); RTSA(dtype); RTME(dtype, 0); RTIT("range_not_void", Current); tb1 = '\01'; tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8396, dtype))(Current)).it_b); if (tb2) { tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9062, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); tb1 = (EIF_BOOLEAN)(tr1 != NULL); } if (tb1) { RTCK; } else { RTCF; } RTIT("range_not_empty", Current); tb1 = '\01'; tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8396, dtype))(Current)).it_b); if (tb2) { tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9062, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(1693, "is_empty", tr1))(tr1)).it_b); tb1 = (EIF_BOOLEAN) !tb2; } if (tb1) { RTCK; } else { RTCF; } RTIT("value_in_range", Current); tb1 = '\01'; tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8396, dtype))(Current)).it_b); if (tb2) { tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9062, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9059, dtype))(Current)).it_i4); ui4_1 = ti4_1; tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(1692, "has", tr1))(tr1, ui4_1x)).it_b); tb1 = tb2; } if (tb1) { RTCK; } else { RTCF; } RTIT("step_positive", Current); tb1 = '\01'; tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8396, dtype))(Current)).it_b); if (tb2) { ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9060, dtype))(Current)).it_i4); tb1 = (EIF_BOOLEAN) (ti4_1 > ((EIF_INTEGER_32) 0L)); } if (tb1) { RTCK; } else { RTCF; } RTIT("leap_positive", Current); tb1 = '\01'; tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8396, dtype))(Current)).it_b); if (tb2) { ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9061, dtype))(Current)).it_i4); tb1 = (EIF_BOOLEAN) (ti4_1 > ((EIF_INTEGER_32) 0L)); } if (tb1) { RTCK; } else { RTCF; } RTIT("change_actions_not_void", Current); tb1 = '\01'; tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8396, dtype))(Current)).it_b); if (tb2) { tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(6230, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); tb1 = (EIF_BOOLEAN)(tr1 != NULL); } if (tb1) { RTCK; } else { RTCF; } RTIT("proportion_within_range", Current); tb1 = '\01'; tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8396, dtype))(Current)).it_b); if (tb2) { tb2 = '\0'; tr4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9063, dtype))(Current)).it_r4); tr4_2 = (EIF_REAL_32) ((EIF_REAL_64) 0.0); if ((EIF_BOOLEAN) (tr4_1 >= tr4_2)) { tr4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9063, dtype))(Current)).it_r4); tr4_2 = (EIF_REAL_32) ((EIF_REAL_64) 1.0); tb2 = (EIF_BOOLEAN) (tr4_1 <= tr4_2); } tb1 = tb2; } if (tb1) { RTCK; } else { RTCF; } RTIT("proportion_definition", Current); tb1 = '\01'; tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8396, dtype))(Current)).it_b); if (tb2) { tb2 = '\01'; tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9062, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(2441, "upper", tr1))(tr1)).it_i4); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9062, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(2439, "lower", tr1))(tr1)).it_i4); if ((EIF_BOOLEAN)(ti4_1 == ti4_2)) { tr4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9063, dtype))(Current)).it_r4); tr4_2 = (EIF_REAL_32) ((EIF_REAL_64) 0.0); tb2 = (EIF_BOOLEAN)(tr4_1 == tr4_2); } tb1 = tb2; } if (tb1) { RTCK; } else { RTCF; } RTIT("proportion_correct_value", Current); tb1 = '\01'; tb2 = '\0'; tb3 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8396, dtype))(Current)).it_b); if (tb3) { tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9062, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(2441, "upper", tr1))(tr1)).it_i4); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9062, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(2439, "lower", tr1))(tr1)).it_i4); tb2 = (EIF_BOOLEAN)(ti4_1 != ti4_2); } if (tb2) { ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9059, dtype))(Current)).it_i4); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9062, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(2439, "lower", tr1))(tr1)).it_i4); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9062, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); ti4_3 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(2441, "upper", tr1))(tr1)).it_i4); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9062, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); ti4_4 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(2439, "lower", tr1))(tr1)).it_i4); tr8_1 = eif_abs_real64 (((EIF_REAL_64) ((EIF_REAL_64) ((EIF_INTEGER_32) (ti4_1 - ti4_2)) / (EIF_REAL_64) ((EIF_INTEGER_32) (ti4_3 - ti4_4))))); tr4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9063, dtype))(Current)).it_r4); tr8_2 = (EIF_REAL_64) (tr4_1); tr4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9072, dtype))(Current)).it_r4); tr8_3 = (EIF_REAL_64) (tr4_1); tb1 = (EIF_BOOLEAN) ((EIF_REAL_64) (tr8_1 - tr8_2) < tr8_3); } if (tb1) { RTCK; } else { RTCF; } RTLO(2); RTMD(0); RTLE; RTEE; #undef up1 #undef ui4_1 }
/* {INDEXABLE_ITERATION_CURSOR}.reverse */ void F331_2012 (EIF_REFERENCE Current) { GTCX char *l_feature_name = "reverse"; RTEX; EIF_REFERENCE tr1 = NULL; EIF_BOOLEAN tb1; EIF_BOOLEAN tb2; RTCDT; RTSN; RTDA; RTLD; RTLI(2); RTLR(0,Current); RTLR(1,tr1); RTLU (SK_VOID, NULL); RTLU (SK_REF, &Current); RTEAA(l_feature_name, 330, Current, 0, 0, 2723); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(330, Current, 2723); RTIV(Current, RTAL); if (RTAL & CK_ENSURE) { in_assertion = ~0; RTE_OT tb2 = *(EIF_BOOLEAN *)(Current + RTWA(1703, dtype)); tb1 = tb2; tr1 = NULL; RTE_O tr1 = RTLA; RTE_OE in_assertion = 0; } RTHOOK(1); RTDBGAA(Current, dtype, 1703, 0x04000000, 1); /* is_reversed */ tb2 = *(EIF_BOOLEAN *)(Current + RTWA(1703, dtype)); *(EIF_BOOLEAN *)(Current + RTWA(1703, dtype)) = (EIF_BOOLEAN) (EIF_BOOLEAN) !tb2; if (RTAL & CK_ENSURE) { RTHOOK(2); RTCT("is_reversed", EX_POST); tb2 = *(EIF_BOOLEAN *)(Current + RTWA(1703, dtype)); RTCO(tr1); if ((EIF_BOOLEAN)(tb2 == (EIF_BOOLEAN) !tb1)) { RTCK; } else { RTCF; } } RTVI(Current, RTAL); RTRS; RTHOOK(3); RTDBGLE; RTMD(0); RTLE; RTLO(2); RTEE; }
/* {RT_DBG_ATTRIBUTE_RECORD}.debug_output */ EIF_TYPED_VALUE F1021_21186 (EIF_REFERENCE Current) { GTCX char *l_feature_name = "debug_output"; RTEX; EIF_TYPED_VALUE up1x = {{0}, SK_POINTER}; #define up1 up1x.it_p EIF_TYPED_VALUE up2x = {{0}, SK_POINTER}; #define up2 up2x.it_p EIF_TYPED_VALUE ur1x = {{0}, SK_REF}; #define ur1 ur1x.it_r EIF_REFERENCE tr1 = NULL; EIF_REFERENCE tr2 = NULL; EIF_REFERENCE tr3 = NULL; EIF_REFERENCE Result = ((EIF_REFERENCE) 0); RTCDT; RTSN; RTDA; RTLD; RTLI(6); RTLR(0,Current); RTLR(1,tr1); RTLR(2,tr2); RTLR(3,ur1); RTLR(4,tr3); RTLR(5,Result); RTLU (SK_REF, &Result); RTLU (SK_REF, &Current); RTEAA(l_feature_name, 1020, Current, 0, 0, 16024); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(1020, Current, 16024); RTIV(Current, RTAL); RTHOOK(1); RTDBGAL(Current, 0, 0xF8000185, 0,0); /* Result */ tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(16809, 474))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); tr2 = RTMS_EX_H(" (object=",9,1677333821); ur1 = tr2; tr2 = ((up2x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(15649, "plus", tr1))(tr1, ur1x)), (((up2x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up2x.it_r = RTBU(up2x))), (up2x.type = SK_POINTER), up2x.it_r); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(18348, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); RTNHOOK(1,1); tr3 = ((up2x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(8, "generating_type", tr1))(tr1)), (((up2x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up2x.it_r = RTBU(up2x))), (up2x.type = SK_POINTER), up2x.it_r); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(17122, "to_string_8", tr3))(tr3)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); ur1 = RTCCL(tr1); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(15649, "plus", tr2))(tr2, ur1x)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); tr2 = RTMS_EX_H(")",1,41); ur1 = tr2; tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(15649, "plus", tr1))(tr1, ur1x)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); Result = (EIF_REFERENCE) RTCCL(tr2); if (RTAL & CK_ENSURE) { RTHOOK(2); RTCT("result_not_void", EX_POST); if ((EIF_BOOLEAN)(Result != NULL)) { RTCK; } else { RTCF; } } RTVI(Current, RTAL); RTRS; RTHOOK(3); RTDBGLE; RTMD(0); RTLE; RTLO(2); RTEE; { EIF_TYPED_VALUE r; r.type = SK_REF; r.it_r = Result; return r; } #undef up1 #undef up2 #undef ur1 }