/* {WSF_ANY}.make */ void F334_6425 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x, EIF_TYPED_VALUE arg2x) { GTCX char *l_feature_name = "make"; RTEX; #define arg1 arg1x.it_r #define arg2 arg2x.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_REFERENCE tr1 = NULL; RTCDT; RTSN; RTDA; RTLD; RTLI(5); RTLR(0,arg1); RTLR(1,arg2); RTLR(2,Current); RTLR(3,ur1); RTLR(4,tr1); RTLU (SK_VOID, NULL); RTLU(SK_REF,&arg1); RTLU(SK_REF,&arg2); RTLU (SK_REF, &Current); RTEAA(l_feature_name, 333, Current, 0, 2, 11056); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(333, Current, 11056); if (arg1) { RTCC(arg1, 333, l_feature_name, 1, 310); } RTCC(arg2, 333, l_feature_name, 2, RTWCT(5264, dtype, Dftype(Current))); RTIV(Current, RTAL); RTHOOK(1); RTDBGAA(Current, dtype, 5266, 0xF8000134, 0); /* name */ ur1 = RTCCL(arg1); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(5261, dtype))(Current, ur1x)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); RTAR(Current, tr1); *(EIF_REFERENCE *)(Current + RTWA(5266, dtype)) = (EIF_REFERENCE) RTCCL(tr1); RTHOOK(2); RTDBGAA(Current, dtype, 5265, 0xF8000136, 0); /* url_encoded_name */ RTAR(Current, arg1); *(EIF_REFERENCE *)(Current + RTWA(5265, dtype)) = (EIF_REFERENCE) RTCCL(arg1); RTHOOK(3); RTDBGAA(Current, dtype, 5264, 0xF8000000, 0); /* value */ RTAR(Current, arg2); *(EIF_REFERENCE *)(Current + RTWA(5264, dtype)) = (EIF_REFERENCE) RTCCL(arg2); RTVI(Current, RTAL); RTRS; RTHOOK(4); RTDBGLE; RTMD(0); RTLE; RTLO(4); RTEE; #undef up1 #undef ur1 #undef arg2 #undef arg1 }
/* {TYPE}.adapt */ EIF_TYPED_VALUE F931_6207 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x) { GTCX char *l_feature_name = "adapt"; RTEX; #define arg1 arg1x.it_r struct eif_ex_297 sarg1; EIF_REFERENCE earg1 = (EIF_REFERENCE) sarg1.data; EIF_REFERENCE tr1 = NULL; EIF_REFERENCE Result = ((EIF_REFERENCE) 0); RTCDT; RTSN; RTDA; RTLD; memcpy (&sarg1.overhead, HEADER(arg1), 8 + OVERHEAD); sarg1.overhead.ov_flags = EO_EXP | EO_STACK; sarg1.overhead.ov_size = 0; RTLI(4); RTLR(0,earg1); RTLR(1,Result); RTLR(2,tr1); RTLR(3,Current); RTLU (SK_REF, &Result); RTLU(SK_REF,&earg1); RTLU (SK_REF, &Current); RTEAA(l_feature_name, 930, Current, 0, 1, 10304); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(930, Current, 10304); RTCC(earg1, 930, l_feature_name, 1, RTWCT(5083, dtype, Dftype(Current))); RTIV(Current, RTAL); Result= RTLN(RTWCT(5083, dtype, Dftype(Current))); wstdinit(Result,Result); RTLXI(Result); RTHOOK(1); RTDBGAL(Current, 0, 0x80000129, 0,0); /* Result */ tr1 = RTRCL(earg1); RTXA(tr1, Result); if (RTAL & CK_ENSURE) { RTHOOK(2); RTCT("adapted", EX_POST); if (RTEQ(Result, earg1)) { RTCK; } else { RTCF; } } RTVI(Current, RTAL); RTRS; RTHOOK(3); RTDBGLE; RTMD(0); RTLE; RTLO(3); RTEE; { EIF_TYPED_VALUE r; r.type = SK_REF; r.it_r = Result; return r; } #undef arg1 }
/* {TYPE}.is_case_insensitive_equal */ EIF_TYPED_VALUE F517_2596 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x) { GTCX char *l_feature_name = "is_case_insensitive_equal"; RTEX; #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_REFERENCE tr1 = NULL; EIF_BOOLEAN tb1; EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0); RTCDT; RTSN; RTDA; RTLD; RTLI(4); RTLR(0,arg1); RTLR(1,Current); RTLR(2,tr1); RTLR(3,ur1); RTLU (SK_BOOL, &Result); RTLU(SK_REF,&arg1); RTLU (SK_REF, &Current); RTEAA(l_feature_name, 516, Current, 0, 1, 6819); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(516, Current, 6819); RTCC(arg1, 516, l_feature_name, 1, eif_attached_type(170)); 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 */ tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(2040, 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); ur1 = RTCCL(arg1); tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(3053, "is_case_insensitive_equal", tr1))(tr1, ur1x)).it_b); Result = (EIF_BOOLEAN) tb1; if (RTAL & CK_ENSURE) { RTHOOK(3); RTCT("definition", EX_POST); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(2040, 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); tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(3053, "is_case_insensitive_equal", tr1))(tr1, ur1x)).it_b); if ((EIF_BOOLEAN)(Result == tb1)) { RTCK; } else { RTCF; } } RTVI(Current, RTAL); RTRS; RTHOOK(4); RTDBGLE; RTMD(0); RTLE; RTLO(3); RTEE; { EIF_TYPED_VALUE r; r.type = SK_BOOL; r.it_b = Result; return r; } #undef up1 #undef ur1 #undef arg1 }
/* {LIST}.is_equal */ EIF_TYPED_VALUE F496_2228 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x) { GTCX char *l_feature_name = "is_equal"; RTEX; EIF_REFERENCE loc1 = (EIF_REFERENCE) 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 ur1x = {{0}, SK_REF}; #define ur1 ur1x.it_r EIF_REFERENCE tr1 = NULL; EIF_REFERENCE tr2 = NULL; EIF_REFERENCE tr3 = NULL; EIF_INTEGER_32 ti4_1; EIF_INTEGER_32 ti4_2; EIF_INTEGER_32 ti4_3; EIF_INTEGER_32 ti4_4; EIF_NATURAL_16 tu2_1; EIF_NATURAL_16 tu2_2; EIF_BOOLEAN tb1; EIF_BOOLEAN tb2; EIF_BOOLEAN tb3; EIF_BOOLEAN tb4; EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0); RTCDT; RTSN; RTDA; RTLD; RTLI(8); RTLR(0,arg1); RTLR(1,Current); RTLR(2,tr1); RTLR(3,tr2); RTLR(4,loc1); RTLR(5,tr3); RTLR(6,loc2); RTLR(7,ur1); RTLU (SK_BOOL, &Result); RTLU(SK_REF,&arg1); RTLU (SK_REF, &Current); RTLU(SK_REF, &loc1); RTLU(SK_REF, &loc2); RTEAA(l_feature_name, 495, Current, 2, 1, 4669); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(495, Current, 4669); RTCC(arg1, 495, 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:; if (RTAL & CK_ENSURE) { in_assertion = ~0; RTE_OT ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(987, dtype))(Current)).it_i4); ti4_1 = ti4_2; tr1 = NULL; RTE_O tr1 = RTLA; RTE_OE RTE_OT ti4_3 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(987, "index", arg1))(arg1)).it_i4); ti4_2 = ti4_3; tr2 = NULL; RTE_O tr2 = RTLA; RTE_OE in_assertion = 0; } RTHOOK(2); if (RTCEQ(Current, arg1)) { RTHOOK(3); RTDBGAL(Current, 0, 0x04000000, 1,0); /* Result */ Result = (EIF_BOOLEAN) (EIF_BOOLEAN) 1; } else { RTHOOK(4); RTDBGAL(Current, 0, 0x04000000, 1,0); /* Result */ tb1 = '\0'; tb2 = '\0'; tb3 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(970, dtype))(Current)).it_b); tb4 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(970, "is_empty", arg1))(arg1)).it_b); if ((EIF_BOOLEAN)(tb3 == tb4)) { tb3 = *(EIF_BOOLEAN *)(Current + RTWA(972, dtype)); tb4 = *(EIF_BOOLEAN *)(arg1 + RTVA(972, "object_comparison", arg1)); tb2 = (EIF_BOOLEAN)(tb3 == tb4); } if (tb2) { ti4_3 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(999, dtype))(Current)).it_i4); ti4_4 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(999, "count", arg1))(arg1)).it_i4); tb1 = (EIF_BOOLEAN)(ti4_3 == ti4_4); } Result = (EIF_BOOLEAN) tb1; RTHOOK(5); tb1 = '\0'; if (Result) { tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(970, dtype))(Current)).it_b); tb1 = (EIF_BOOLEAN) !tb2; } if (tb1) { RTHOOK(6); tb1 = '\0'; tr3 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1042, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); loc1 = RTCCL(tr3); if ((EIF_TRUE)) { tr3 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(1042, "cursor", arg1))(arg1)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); loc2 = RTCCL(tr3); tb1 = (EIF_TRUE); } if (tb1) { RTHOOK(7); (FUNCTION_CAST(void, (EIF_REFERENCE)) RTWF(980, dtype))(Current); RTHOOK(8); (FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(980, "start", arg1))(arg1); for (;;) { RTHOOK(9); tb1 = '\01'; tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(991, dtype))(Current)).it_b); if (!tb2) { tb1 = (EIF_BOOLEAN) !Result; } if (tb1) break; RTHOOK(10); tb2 = *(EIF_BOOLEAN *)(Current + RTWA(972, dtype)); if (tb2) { RTHOOK(11); RTDBGAL(Current, 0, 0x04000000, 1,0); /* Result */ tu2_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1025, dtype))(Current)).it_n2); tu2_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(1025, "item", arg1))(arg1)).it_n2); Result = (EIF_BOOLEAN) (tu2_1 == tu2_2); } else { RTHOOK(12); RTDBGAL(Current, 0, 0x04000000, 1,0); /* Result */ tu2_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1025, dtype))(Current)).it_n2); tu2_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(1025, "item", arg1))(arg1)).it_n2); Result = (EIF_BOOLEAN) (EIF_BOOLEAN)(tu2_1 == tu2_2); } RTHOOK(13); (FUNCTION_CAST(void, (EIF_REFERENCE)) RTWF(993, dtype))(Current); RTHOOK(14); (FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(993, "forth", arg1))(arg1); } RTHOOK(15); ur1 = RTCCL(loc1); (FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(1044, dtype))(Current, ur1x); RTHOOK(16); ur1 = RTCCL(loc2); (FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(1044, "go_to", arg1))(arg1, ur1x); } else { if (RTAL & CK_CHECK) { RTHOOK(17); RTCT("cursors_exist", EX_CHECK); RTCF; } } } else {
/* {COLLECTION}.fill */ void F671_2191 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x) { GTCX char *l_feature_name = "fill"; 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 ur4_1x = {{0}, SK_REAL32}; #define ur4_1 ur4_1x.it_r4 EIF_REFERENCE tr1 = NULL; EIF_REAL_32 tr4_1; EIF_BOOLEAN tb1; EIF_BOOLEAN tb2; RTCDT; RTSN; RTDA; RTLD; RTLI(4); RTLR(0,arg1); RTLR(1,Current); RTLR(2,loc1); RTLR(3,tr1); RTLU (SK_VOID, NULL); RTLU(SK_REF,&arg1); RTLU (SK_REF, &Current); RTLU(SK_REF, &loc1); RTEAA(l_feature_name, 670, Current, 1, 1, 2187); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(670, Current, 2187); { EIF_TYPE_INDEX typarr0[] = {668,0,0xFFFF}; EIF_TYPE_INDEX typres0; typarr0[1] = RTWCT(1943, dtype, Dftype(Current)); typres0 = eif_compound_id(Dftype(Current), typarr0); RTCC(arg1, 670, l_feature_name, 1, eif_attached_type(typres0)); } RTIV(Current, RTAL); if ((RTAL & CK_REQUIRE) || RTAC) { RTHOOK(1); RTCT("other_not_void", EX_PRE); RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1); RTCK; RTHOOK(2); RTCT("extendible", EX_PRE); tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1944, dtype))(Current)).it_b); RTTE(tb1, label_1); RTCK; RTJB; label_1: RTCF; } body:; RTHOOK(3); RTDBGAL(Current, 1, 0xF8000299, 0, 0); /* loc1 */ tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(1942, "linear_representation", arg1))(arg1)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); loc1 = (EIF_REFERENCE) RTCCL(tr1); RTHOOK(4); (FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(2017, "start", loc1))(loc1); for (;;) { RTHOOK(5); tb1 = '\01'; tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1944, dtype))(Current)).it_b); if (!(EIF_BOOLEAN) !tb2) { tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(2016, "off", loc1))(loc1)).it_b); tb1 = tb2; } if (tb1) break; RTHOOK(6); tr4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(2015, "item", loc1))(loc1)).it_r4); ur4_1 = tr4_1; (FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(1948, dtype))(Current, ur4_1x); RTHOOK(7); (FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(2033, "forth", loc1))(loc1); } RTVI(Current, RTAL); RTRS; RTHOOK(8); RTDBGLE; RTMD(0); RTLE; RTLO(4); RTEE; #undef up1 #undef ur4_1 #undef arg1 }
/* {RT_EXTENSION_COMMON}.dtrace */ void F56_992 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x) { GTCX char *l_feature_name = "dtrace"; RTEX; #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; RTCDT; RTSN; RTDA; RTLD; RTLI(5); RTLR(0,arg1); RTLR(1,Current); RTLR(2,tr1); RTLR(3,tr2); RTLR(4,ur1); RTLU (SK_VOID, NULL); RTLU(SK_REF,&arg1); RTLU (SK_REF, &Current); RTEAA(l_feature_name, 55, Current, 0, 1, 1056); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(55, Current, 1056); if (arg1) { RTCC(arg1, 55, l_feature_name, 1, 228); } RTIV(Current, RTAL); if ((RTAL & CK_REQUIRE) || RTAC) { RTHOOK(1); RTCT("m_attached", EX_PRE); RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1); RTCK; RTJB; label_1: RTCF; } body:; RTHOOK(2); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(27, 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(348, "error", tr1))(tr1)), (((up2x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up2x.it_r = RTBU(up2x))), (up2x.type = SK_POINTER), up2x.it_r); RTNHOOK(2,2); ur1 = RTCCL(arg1); (FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(1877, "put_string", tr2))(tr2, ur1x); RTVI(Current, RTAL); RTRS; RTHOOK(3); RTDBGLE; RTMD(0); RTLE; RTLO(3); RTEE; #undef up1 #undef up2 #undef ur1 #undef arg1 }
/* {TRAVERSABLE}.do_all */ void F582_1084 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x) { GTCX char *l_feature_name = "do_all"; RTEX; #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_REFERENCE tr1 = NULL; RTCDT; RTSN; RTDA; RTLD; RTLI(4); RTLR(0,arg1); RTLR(1,Current); RTLR(2,tr1); RTLR(3,ur1); RTLU (SK_VOID, NULL); RTLU(SK_REF,&arg1); RTLU (SK_REF, &Current); RTEAA(l_feature_name, 581, Current, 0, 1, 1276); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(581, Current, 1276); { EIF_TYPE_INDEX typarr0[] = {186,0xFF11,0,0xFF11,0xFFF9,1,119,0,0xFFFF}; EIF_TYPE_INDEX typres0; typarr0[7] = RTWCT(977, dtype, Dftype(Current)); typres0 = eif_compound_id(Dftype(Current), typarr0); RTCC(arg1, 581, l_feature_name, 1, eif_attached_type(typres0)); } RTIV(Current, RTAL); if ((RTAL & CK_REQUIRE) || RTAC) { RTHOOK(1); RTCT("action_exists", EX_PRE); RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1); RTCK; RTJB; label_1: RTCF; } body:; RTHOOK(2); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(976, 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); ur1 = RTCCL(arg1); (FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(981, "do_all", tr1))(tr1, ur1x); RTVI(Current, RTAL); RTRS; RTHOOK(3); RTDBGLE; RTMD(0); RTLE; RTLO(3); RTEE; #undef up1 #undef ur1 #undef arg1 }
/* {SEQUENCE}.append */ void F550_2562 (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 ub1x = {{0}, SK_BOOL}; #define ub1 ub1x.it_b EIF_REFERENCE tr1 = NULL; EIF_INTEGER_32 ti4_1; EIF_INTEGER_32 ti4_2; EIF_BOOLEAN tb1; EIF_BOOLEAN tb2; 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, 549, Current, 1, 1, 2950); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(549, Current, 2950); if (arg1) { { static EIF_TYPE_INDEX typarr0[] = {549,0,0xFFFF}; EIF_TYPE_INDEX typres0; typarr0[1] = RTWCT(2169, dtype, Dftype(Current)); typres0 = eif_compound_id(Dftype(Current), typarr0); RTCC(arg1, 549, 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(2191, dtype))(Current)).it_i4); ti4_1 = ti4_2; tr1 = NULL; RTE_O tr1 = RTLA; RTE_OE in_assertion = 0; } RTHOOK(2); RTDBGAL(Current, 1, 0xF8000225, 0, 0); /* loc1 */ loc1 = (EIF_REFERENCE) RTCCL(arg1); RTHOOK(3); if (RTCEQ(arg1, Current)) { RTHOOK(4); RTDBGAL(Current, 1, 0xF8000225, 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(2172, "start", loc1))(loc1); for (;;) { RTHOOK(6); tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(2182, "exhausted", loc1))(loc1)).it_b); if (tb1) break; RTHOOK(7); tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(2217, "item", loc1))(loc1)).it_b); ub1 = tb2; (FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(2204, dtype))(Current, ub1x); RTHOOK(8); (FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(2185, "forth", loc1))(loc1); } if (RTAL & CK_ENSURE) { RTHOOK(9); RTCT("new_count", EX_POST); ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(2191, 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 ub1 #undef arg1 }
/* {ES_HTML_GEN_SUITE}.make */ void F878_7141 (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_r #define arg2 arg2x.it_r #define arg3 arg3x.it_r #define arg4 arg4x.it_b EIF_TYPED_VALUE ur1x = {{0}, SK_REF}; #define ur1 ur1x.it_r EIF_TYPED_VALUE ur2x = {{0}, SK_REF}; #define ur2 ur2x.it_r EIF_TYPED_VALUE ub1x = {{0}, SK_BOOL}; #define ub1 ub1x.it_b RTCDT; RTSN; RTDA; RTLD; if ((arg4x.type & SK_HEAD) == SK_REF) arg4x.it_b = * (EIF_BOOLEAN *) arg4x.it_r; RTLI(6); RTLR(0,arg1); RTLR(1,arg2); RTLR(2,arg3); RTLR(3,ur1); RTLR(4,ur2); RTLR(5,Current); RTLU (SK_VOID, NULL); RTLU(SK_REF,&arg1); RTLU(SK_REF,&arg2); RTLU(SK_REF,&arg3); RTLU(SK_BOOL,&arg4); RTLU (SK_REF, &Current); RTEAA(l_feature_name, 877, Current, 0, 4, 12772); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(877, Current, 12772); RTCC(arg1, 877, l_feature_name, 1, eif_attached_type(219)); RTCC(arg2, 877, l_feature_name, 2, eif_attached_type(219)); { static EIF_TYPE_INDEX typarr0[] = {361,0xFF11,893,0xFFFF}; EIF_TYPE_INDEX typres0; static EIF_TYPE_INDEX typcache0 = INVALID_DTYPE; typres0 = (typcache0 != INVALID_DTYPE ? typcache0 : (typcache0 = eif_compound_id(Dftype(Current), typarr0))); RTCC(arg3, 877, l_feature_name, 3, eif_attached_type(typres0)); } RTIV(Current, RTAL); RTHOOK(1); ur1 = RTCCL(arg1); ur2 = RTCCL(arg2); ub1 = arg4; (FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTWF(5028, dtype))(Current, ur1x, ur2x, ub1x); RTHOOK(2); RTDBGAA(Current, dtype, 5058, 0xF8000169, 0); /* test_classes */ RTAR(Current, arg3); *(EIF_REFERENCE *)(Current + RTWA(5058, dtype)) = (EIF_REFERENCE) RTCCL(arg3); RTHOOK(3); (FUNCTION_CAST(void, (EIF_REFERENCE)) RTWF(5057, dtype))(Current); RTVI(Current, RTAL); RTRS; RTHOOK(4); RTDBGLE; RTMD(0); RTLE; RTLO(6); RTEE; #undef ur1 #undef ur2 #undef ub1 #undef arg4 #undef arg3 #undef arg2 #undef arg1 }
/* {BASE64}.valid_encoded_string */ EIF_TYPED_VALUE F19_462 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x) { GTCX char *l_feature_name = "valid_encoded_string"; RTEX; #define arg1 arg1x.it_r EIF_TYPED_VALUE ur1x = {{0}, SK_REF}; #define ur1 ur1x.it_r EIF_INTEGER_32 ti4_1; EIF_BOOLEAN tb1; EIF_BOOLEAN tb2; EIF_BOOLEAN tb3; EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0); 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, 18, Current, 0, 1, 544); RTSA(Dtype(Current)); RTSC; RTME(Dtype(Current), 0); RTGC; RTDBGEAA(18, Current, 544); RTCC(arg1, 18, l_feature_name, 1, eif_attached_type(218)); RTIV(Current, RTAL); RTHOOK(1); RTDBGAL(Current, 0, 0x04000000, 1,0); /* Result */ tb1 = '\0'; ur1 = RTCCL(arg1); tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(459, 365))(Current, ur1x)).it_b); if (tb2) { tb2 = '\01'; tb3 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(3613, "is_empty", arg1))(arg1)).it_b); if (!tb3) { ti4_1 = *(EIF_INTEGER_32 *)(arg1 + RTVA(3756, "count", arg1)); tb2 = (EIF_BOOLEAN) (ti4_1 >= ((EIF_INTEGER_32) 4L)); } tb1 = tb2; } Result = (EIF_BOOLEAN) tb1; RTVI(Current, RTAL); RTRS; RTHOOK(2); 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 }
/* {BASE64}.encoded_string */ EIF_TYPED_VALUE F19_463 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x) { GTCX char *l_feature_name = "encoded_string"; RTEX; EIF_INTEGER_32 loc1 = (EIF_INTEGER_32) 0; EIF_INTEGER_32 loc2 = (EIF_INTEGER_32) 0; EIF_INTEGER_32 loc3 = (EIF_INTEGER_32) 0; EIF_REFERENCE loc4 = (EIF_REFERENCE) 0; EIF_REFERENCE loc5 = (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_TYPED_VALUE ub1x = {{0}, SK_BOOL}; #define ub1 ub1x.it_b EIF_TYPED_VALUE uc1x = {{0}, SK_CHAR8}; #define uc1 uc1x.it_c1 EIF_REFERENCE tr1 = NULL; EIF_REFERENCE tr2 = NULL; EIF_REFERENCE tr3 = NULL; EIF_INTEGER_32 ti4_1; EIF_BOOLEAN tb1; EIF_CHARACTER_8 tc1; EIF_REFERENCE Result = ((EIF_REFERENCE) 0); RTCFDT; RTCDT; RTSN; RTDA; RTLD; RTLI(9); RTLR(0,arg1); RTLR(1,ur1); RTLR(2,Current); RTLR(3,tr1); RTLR(4,tr2); RTLR(5,loc5); RTLR(6,loc4); RTLR(7,tr3); RTLR(8,Result); RTLU (SK_REF, &Result); RTLU(SK_REF,&arg1); RTLU (SK_REF, &Current); RTLU(SK_INT32, &loc1); RTLU(SK_INT32, &loc2); RTLU(SK_INT32, &loc3); RTLU(SK_REF, &loc4); RTLU(SK_REF, &loc5); RTEAA(l_feature_name, 18, Current, 5, 1, 545); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(18, Current, 545); RTCC(arg1, 18, l_feature_name, 1, eif_attached_type(218)); RTIV(Current, RTAL); if ((RTAL & CK_REQUIRE) || RTAC) { RTHOOK(1); RTCT("valid_unencoded_string", EX_PRE); ur1 = RTCCL(arg1); tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(458, dtype))(Current, ur1x)).it_b); RTTE(tb1, label_1); RTCK; RTJB; label_1: RTCF; } body:; if (RTAL & CK_ENSURE) { in_assertion = ~0; RTE_OT tr1 = arg1; tr2 = NULL; RTE_O tr2 = RTLA; RTE_OE in_assertion = 0; } RTHOOK(2); RTDBGAA(Current, dtype, 469, 0x04000000, 1); /* has_error */ *(EIF_BOOLEAN *)(Current + RTWA(469, dtype)) = (EIF_BOOLEAN) (EIF_BOOLEAN) 0; RTHOOK(3); RTDBGAL(Current, 5, 0xF80000DA, 0, 0); /* loc5 */ loc5 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(468, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); RTHOOK(4); RTDBGAL(Current, 2, 0x10000000, 1, 0); /* loc2 */ ti4_1 = *(EIF_INTEGER_32 *)(arg1 + RTVA(3756, "count", arg1)); loc2 = (EIF_INTEGER_32) ti4_1; RTHOOK(5); RTDBGAL(Current, 1, 0x10000000, 1, 0); /* loc1 */ loc1 = (EIF_INTEGER_32) (EIF_INTEGER_32) ((EIF_INTEGER_32) (((EIF_INTEGER_32) 8L) * loc2) % ((EIF_INTEGER_32) 6L)); RTHOOK(6); if ((EIF_BOOLEAN) (loc1 > ((EIF_INTEGER_32) 0L))) { RTHOOK(7); RTDBGAL(Current, 4, 0xF80002AA, 0, 0); /* loc4 */ ub1 = (EIF_BOOLEAN) 0; ui4_1 = (EIF_INTEGER_32) ((EIF_INTEGER_32) (((EIF_INTEGER_32) 8L) * loc2) + (EIF_INTEGER_32) (((EIF_INTEGER_32) 6L) - loc1)); { static EIF_TYPE_INDEX typarr0[] = {682,202,0xFFFF}; EIF_TYPE_INDEX typres0; static EIF_TYPE_INDEX typcache0 = INVALID_DTYPE; typres0 = (typcache0 != INVALID_DTYPE ? typcache0 : (typcache0 = eif_compound_id(dftype, typarr0))); if (ui4_1< 0) { eraise ("non_negative_argument", EN_RT_CHECK); } tr3 = RTLNSP2(eif_non_attached_type(typres0),0,ui4_1,sizeof(EIF_BOOLEAN), EIF_TRUE); } (FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTWC(2474, Dtype(tr3)))(tr3, ub1x, ui4_1x); RTNHOOK(7,1); loc4 = (EIF_REFERENCE) tr3; } else {
/* {COLLECTION}.fill */ void F309_1651 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x) { GTCX char *l_feature_name = "fill"; 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 uc1x = {{0}, SK_CHAR8}; #define uc1 uc1x.it_c1 EIF_REFERENCE tr1 = NULL; EIF_BOOLEAN tb1; EIF_BOOLEAN tb2; EIF_CHARACTER_8 tc1; RTCDT; RTSN; RTDA; RTLD; RTLI(4); RTLR(0,arg1); RTLR(1,Current); RTLR(2,loc1); RTLR(3,tr1); RTLU (SK_VOID, NULL); RTLU(SK_REF,&arg1); RTLU (SK_REF, &Current); RTLU(SK_REF, &loc1); RTEAA(l_feature_name, 308, Current, 1, 1, 2074); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(308, Current, 2074); if (arg1) { { EIF_TYPE_INDEX typarr0[] = {305,0,0xFFFF}; EIF_TYPE_INDEX typres0; typarr0[1] = RTWCT(1441, dtype, Dftype(Current)); typres0 = eif_compound_id(Dftype(Current), typarr0); RTCC(arg1, 308, l_feature_name, 1, typres0); } } RTIV(Current, RTAL); if ((RTAL & CK_REQUIRE) || RTAC) { RTHOOK(1); RTCT("other_not_void", EX_PRE); RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1); RTCK; RTHOOK(2); 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:; RTHOOK(3); RTDBGAL(Current, 1, 0xF800012F, 0, 0); /* loc1 */ tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(1440, "linear_representation", arg1))(arg1)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); loc1 = (EIF_REFERENCE) RTCCL(tr1); RTHOOK(4); (FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(1444, "start", loc1))(loc1); for (;;) { RTHOOK(5); tb1 = '\01'; tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1472, dtype))(Current)).it_b); if (!(EIF_BOOLEAN) !tb2) { tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(1443, "off", loc1))(loc1)).it_b); tb1 = tb2; } if (tb1) break; RTHOOK(6); tc1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(1442, "item", loc1))(loc1)).it_c1); uc1 = tc1; (FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(1476, dtype))(Current, uc1x); RTHOOK(7); (FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(1457, "forth", loc1))(loc1); } RTVI(Current, RTAL); RTRS; RTHOOK(8); RTDBGLE; RTMD(0); RTLE; RTLO(4); RTEE; #undef up1 #undef uc1 #undef arg1 }
/* {SEQUENCE}.put */ void F307_2468 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x) { GTCX char *l_feature_name = "put"; RTEX; #define arg1 arg1x.it_r EIF_TYPED_VALUE ur1x = {{0}, SK_REF}; #define ur1 ur1x.it_r EIF_REFERENCE tr1 = NULL; EIF_INTEGER_32 ti4_1; EIF_INTEGER_32 ti4_2; EIF_BOOLEAN tb1; RTCDT; RTSN; RTDA; RTLD; RTLI(4); RTLR(0,arg1); RTLR(1,Current); RTLR(2,tr1); RTLR(3,ur1); RTLU (SK_VOID, NULL); RTLU(SK_REF,&arg1); RTLU (SK_REF, &Current); RTEAA(l_feature_name, 306, Current, 0, 1, 2740); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(306, Current, 2740); RTCC(arg1, 306, l_feature_name, 1, RTWCT(1984, dtype, Dftype(Current))); RTIV(Current, RTAL); if ((RTAL & CK_REQUIRE) || RTAC) { RTHOOK(1); RTCT("extendible", EX_PRE); tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1944, 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(1995, dtype))(Current)).it_i4); ti4_1 = ti4_2; tr1 = NULL; RTE_O tr1 = RTLA; RTE_OE in_assertion = 0; } RTHOOK(2); ur1 = RTCCL(arg1); (FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(1948, dtype))(Current, ur1x); if (RTAL & CK_ENSURE) { RTHOOK(3); RTCT("item_inserted", EX_POST); ur1 = RTCCL(arg1); tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(1946, dtype))(Current, ur1x)).it_b); if (tb1) { RTCK; } else { RTCF; } RTHOOK(4); RTCT("new_count", EX_POST); ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1995, 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 ur1 #undef arg1 }
/* {KL_ARRAY_ROUTINES}.make_from_array */ EIF_TYPED_VALUE F1579_10632 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x, EIF_TYPED_VALUE arg2x) { GTCX char *l_feature_name = "make_from_array"; RTEX; #define arg1 arg1x.it_r #define arg2 arg2x.it_i4 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 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_INTEGER_32 ti4_1; EIF_INTEGER_32 ti4_2; EIF_REFERENCE Result = ((EIF_REFERENCE) 0); RTCDT; RTSN; RTDA; RTLD; if ((arg2x.type & SK_HEAD) == SK_REF) arg2x.it_i4 = * (EIF_INTEGER_32 *) arg2x.it_r; RTLI(4); RTLR(0,arg1); RTLR(1,ur1); RTLR(2,Current); RTLR(3,Result); RTLU (SK_REF, &Result); RTLU(SK_REF,&arg1); RTLU(SK_INT32,&arg2); RTLU (SK_REF, &Current); RTEAA(l_feature_name, 1578, Current, 0, 2, 16469); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(1578, Current, 16469); { static EIF_TYPE_INDEX typarr0[] = {600,0,0xFFFF}; EIF_TYPE_INDEX typres0; typarr0[1] = RTWCT(8207, dtype, Dftype(Current)); typres0 = eif_compound_id(Dftype(Current), typarr0); RTCC(arg1, 1578, l_feature_name, 1, eif_attached_type(typres0)); } RTIV(Current, RTAL); if ((RTAL & CK_REQUIRE) || RTAC) { RTHOOK(1); RTCT("an_array_not_void", EX_PRE); RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1); RTCK; RTJB; label_1: RTCF; } body: ; RTHOOK(2); RTDBGAL(Current, 0, 0xF8000258, 0,0); /* Result */ ur1 = RTCCL(arg1); ti4_1 = *(EIF_INTEGER_32 *)(arg1 + RTVA(2611, "lower", arg1)); ui4_1 = ti4_1; ti4_2 = *(EIF_INTEGER_32 *)(arg1 + RTVA(2612, "upper", arg1)); ui4_2 = ti4_2; ui4_3 = arg2; Result = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTWF(8203, dtype))(Current, ur1x, ui4_1x, ui4_2x, ui4_3x)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); if (RTAL & CK_ENSURE) { RTHOOK(3); RTCT("array_not_void", EX_POST); if ((EIF_BOOLEAN)(Result != NULL)) { RTCK; } else { RTCF; } RTHOOK(4); RTCT("lower_set", EX_POST); ti4_1 = *(EIF_INTEGER_32 *)(Result + RTVA(2611, "lower", Result)); if ((EIF_BOOLEAN)(ti4_1 == arg2)) { RTCK; } else { RTCF; } RTHOOK(5); RTCT("count_set", EX_POST); ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(1752, "count", Result))(Result)).it_i4); ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(1752, "count", arg1))(arg1)).it_i4); if ((EIF_BOOLEAN)(ti4_1 == ti4_2)) { RTCK; } else { RTCF; } } RTVI(Current, RTAL); RTRS; RTHOOK(6); RTDBGLE; RTMD(0); RTLE; RTLO(4); RTEE; { EIF_TYPED_VALUE r; r.type = SK_REF; r.it_r = Result; return r; } #undef up1 #undef ur1 #undef ui4_1 #undef ui4_2 #undef ui4_3 #undef arg2 #undef arg1 }
/* {PACKET}.copy */ void F4_54 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x) { GTCX char *l_feature_name = "copy"; RTEX; #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_REFERENCE tr1 = NULL; EIF_REFERENCE tr2 = NULL; EIF_INTEGER_32 ti4_1; EIF_INTEGER_32 ti4_2; EIF_BOOLEAN tb1; RTCDT; RTSN; RTDA; RTLD; RTLI(5); RTLR(0,arg1); RTLR(1,ur1); RTLR(2,Current); RTLR(3,tr1); RTLR(4,tr2); RTLU (SK_VOID, NULL); RTLU(SK_REF,&arg1); RTLU (SK_REF, &Current); RTEAA(l_feature_name, 3, Current, 0, 1, 52); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(3, Current, 52); RTCC(arg1, 3, l_feature_name, 1, 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; RTHOOK(2); RTCT("type_identity", EX_PRE); ur1 = RTCCL(arg1); tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(10, dtype))(Current, ur1x)).it_b); RTTE(tb1, label_1); RTCK; RTJB; label_1: RTCF; } body:; RTHOOK(3); if (!RTCEQ(arg1, Current)) { RTHOOK(4); ur1 = RTCCL(arg1); (FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(19, dtype))(Current, ur1x); RTHOOK(5); RTDBGAA(Current, dtype, 56, 0xF800008D, 0); /* data */ tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(56, "data", arg1))(arg1)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); RTNHOOK(5,1); tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(17, "twin", tr1))(tr1)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); RTAR(Current, tr2); *(EIF_REFERENCE *)(Current + RTWA(56, dtype)) = (EIF_REFERENCE) RTCCL(tr2); }
/* {XM_DEFAULT_URI_SOURCE}.make */ void F2227_30210 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x) { GTCX char *l_feature_name = "make"; 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, 2226, Current, 0, 1, 34997); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(2226, Current, 34997); if (arg1) { RTCC(arg1, 2226, l_feature_name, 1, eif_new_type(915, 0x00), 0x00); } RTIV(Current, RTAL); if ((RTAL & CK_REQUIRE) || RTAC) { RTHOOK(1); RTCT("a_uri_not_void", EX_PRE); RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1); RTCK; RTJB; label_1: RTCF; } body:; RTHOOK(2); RTDBGAA(Current, dtype, 23900, 0xF8000393, 0); /* uri */ RTAR(Current, arg1); *(EIF_REFERENCE *)(Current + RTWA(23900, dtype)) = (EIF_REFERENCE) RTCCL(arg1); if (RTAL & CK_ENSURE) { RTHOOK(3); RTCT("uri_set", EX_POST); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(23900, 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 }
/* {HTTP_SERVER_CONFIGURATION_I}.set_http_server_name */ void F75_6820 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x) { GTCX char *l_feature_name = "set_http_server_name"; RTEX; #define arg1 arg1x.it_r EIF_TYPED_VALUE ur1x = {{0}, SK_REF}; #define ur1 ur1x.it_r EIF_REFERENCE tr1 = NULL; RTCDT; RTSN; RTDA; RTLD; RTLI(4); RTLR(0,arg1); RTLR(1,Current); RTLR(2,tr1); RTLR(3,ur1); RTLU (SK_VOID, NULL); RTLU(SK_REF,&arg1); RTLU (SK_REF, &Current); RTEAA(l_feature_name, 74, Current, 0, 1, 1195); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(74, Current, 1195); if (arg1) { RTCC(arg1, 74, l_feature_name, 1, 385); } RTIV(Current, RTAL); RTHOOK(1); if ((EIF_BOOLEAN)(arg1 == NULL)) { RTHOOK(2); RTDBGAA(Current, dtype, 6700, 0xF8000181, 0); /* http_server_name */ *(EIF_REFERENCE *)(Current + RTWA(6700, dtype)) = (EIF_REFERENCE) NULL; } else { RTHOOK(3); RTDBGAA(Current, dtype, 6700, 0xF8000181, 0); /* http_server_name */ tr1 = RTLN(386); ur1 = RTCCL(arg1); (FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWC(15701, Dtype(tr1)))(tr1, ur1x); RTNHOOK(3,1); RTAR(Current, tr1); *(EIF_REFERENCE *)(Current + RTWA(6700, dtype)) = (EIF_REFERENCE) tr1; } RTVI(Current, RTAL); RTRS; RTHOOK(4); RTDBGLE; RTMD(0); RTLE; RTLO(3); RTEE; #undef ur1 #undef arg1 }
/* {ES_SUITE}.add_test */ void F891_7225 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x) { GTCX char *l_feature_name = "add_test"; 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; RTCFDT; RTCDT; RTSN; RTDA; RTLD; RTLI(6); RTLR(0,arg1); RTLR(1,Current); RTLR(2,tr1); RTLR(3,tr2); RTLR(4,loc1); RTLR(5,ur1); RTLU (SK_VOID, NULL); RTLU(SK_REF,&arg1); RTLU (SK_REF, &Current); RTLU(SK_REF, &loc1); RTEAA(l_feature_name, 890, Current, 1, 1, 12838); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(890, Current, 12838); RTCC(arg1, 890, l_feature_name, 1, eif_attached_type(892)); RTIV(Current, RTAL); if ((RTAL & CK_REQUIRE) || RTAC) { RTHOOK(1); RTCT("unit_tests_class_exists", EX_PRE); RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1); RTCK; RTJB; label_1: RTCF; } body:; RTHOOK(2); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5135, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); if ((EIF_BOOLEAN)(tr1 == NULL)) { RTHOOK(3); RTDBGAA(Current, dtype, 5135, 0xF8000169, 0); /* classes */ tr1 = RTLNSMART(eif_non_attached_type(RTWCT(5135, dtype, dftype))); (FUNCTION_CAST(void, (EIF_REFERENCE)) RTWC(2540, Dtype(tr1)))(tr1); RTNHOOK(3,1); RTAR(Current, tr1); *(EIF_REFERENCE *)(Current + RTWA(5135, dtype)) = (EIF_REFERENCE) RTCCL(tr1); RTHOOK(4); RTDBGAA(Current, dtype, 5134, 0xF80000DB, 0); /* name */ tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8, 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); tr2 = ((up2x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(3527, "name", tr1))(tr1)), (((up2x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up2x.it_r = RTBU(up2x))), (up2x.type = SK_POINTER), up2x.it_r); RTNHOOK(4,2); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(17, "twin", tr2))(tr2)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); RTNHOOK(4,3); tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(4381, "as_string_8", tr1))(tr1)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); RTAR(Current, tr2); *(EIF_REFERENCE *)(Current + RTWA(5134, dtype)) = (EIF_REFERENCE) RTCCL(tr2); }
/* {TRAVERSABLE}.there_exists */ EIF_TYPED_VALUE F582_1086 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x) { GTCX char *l_feature_name = "there_exists"; RTEX; #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_REFERENCE tr1 = NULL; EIF_BOOLEAN tb1; EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0); RTCDT; RTSN; RTDA; RTLD; RTLI(4); RTLR(0,arg1); RTLR(1,Current); RTLR(2,tr1); RTLR(3,ur1); RTLU (SK_BOOL, &Result); RTLU(SK_REF,&arg1); RTLU (SK_REF, &Current); RTEAA(l_feature_name, 581, Current, 0, 1, 1273); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(581, Current, 1273); { EIF_TYPE_INDEX typarr0[] = {188,0xFF11,0,0xFF11,0xFFF9,1,119,0,157,0xFFFF}; EIF_TYPE_INDEX typres0; typarr0[7] = RTWCT(977, dtype, Dftype(Current)); typres0 = eif_compound_id(Dftype(Current), typarr0); RTCC(arg1, 581, l_feature_name, 1, eif_attached_type(typres0)); } RTIV(Current, RTAL); if ((RTAL & CK_REQUIRE) || RTAC) { RTHOOK(1); RTCT("test_exists", EX_PRE); RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1); RTCK; RTJB; label_1: RTCF; } body:; RTHOOK(2); RTDBGAL(Current, 0, 0x04000000, 1,0); /* Result */ tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(976, 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); ur1 = RTCCL(arg1); tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(983, "there_exists", tr1))(tr1, ur1x)).it_b); Result = (EIF_BOOLEAN) tb1; RTVI(Current, RTAL); RTRS; RTHOOK(3); RTDBGLE; RTMD(0); RTLE; RTLO(3); RTEE; { EIF_TYPED_VALUE r; r.type = SK_BOOL; r.it_b = Result; return r; } #undef up1 #undef ur1 #undef arg1 }
/* {EXCEPTION}.make_with_tag_and_trace */ void F90_1554 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x, EIF_TYPED_VALUE arg2x) { GTCX char *l_feature_name = "make_with_tag_and_trace"; RTEX; EIF_REFERENCE loc1 = (EIF_REFERENCE) 0; #define arg1 arg1x.it_r #define arg2 arg2x.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_REFERENCE tr1 = NULL; EIF_BOOLEAN tb1; EIF_BOOLEAN tb2; RTCDT; RTSN; RTDA; RTLD; RTLI(6); RTLR(0,arg1); RTLR(1,arg2); RTLR(2,ur1); RTLR(3,Current); RTLR(4,loc1); RTLR(5,tr1); RTLU (SK_VOID, NULL); RTLU(SK_REF,&arg1); RTLU(SK_REF,&arg2); RTLU (SK_REF, &Current); RTLU(SK_REF, &loc1); RTEAA(l_feature_name, 89, Current, 1, 2, 1490); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(89, Current, 1490); RTCC(arg1, 89, l_feature_name, 1, eif_attached_type(257)); RTCC(arg2, 89, l_feature_name, 2, eif_attached_type(257)); RTIV(Current, RTAL); if ((RTAL & CK_REQUIRE) || RTAC) { RTHOOK(1); RTCT("tag_not_void", EX_PRE); RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1); RTCK; RTHOOK(2); RTCT("trace_string_not_void", EX_PRE); RTTE((EIF_BOOLEAN)(arg2 != NULL), label_1); RTCK; RTJB; label_1: RTCF; } body:; RTHOOK(3); ur1 = RTCCL(arg1); (FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(1443, dtype))(Current, ur1x); if (RTAL & CK_ENSURE) { RTHOOK(4); RTCT("description_set", EX_POST); tb1 = '\0'; tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1432, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); loc1 = RTCCL(tr1); if (EIF_TEST(loc1)) { ur1 = RTCCL(loc1); tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4790, "same_string_general", arg1))(arg1, ur1x)).it_b); tb1 = tb2; } if (tb1) { RTCK; } else { RTCF; } } RTVI(Current, RTAL); RTRS; RTHOOK(5); RTDBGLE; RTMD(0); RTLE; RTLO(5); RTEE; #undef up1 #undef ur1 #undef arg2 #undef arg1 }
/* {TYPE}.is_strictly_conforming_to */ EIF_TYPED_VALUE F491_19363 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x) { GTCX char *l_feature_name = "is_strictly_conforming_to"; RTEX; #define arg1 arg1x.it_r EIF_TYPED_VALUE ur1x = {{0}, SK_REF}; #define ur1 ur1x.it_r EIF_INTEGER_32 ti4_1; EIF_INTEGER_32 ti4_2; EIF_BOOLEAN tb1; EIF_BOOLEAN tb2; EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0); RTCDT; RTSN; RTDA; RTLD; RTLI(3); RTLR(0,arg1); RTLR(1,Current); RTLR(2,ur1); RTLU (SK_BOOL, &Result); RTLU(SK_REF,&arg1); RTLU (SK_REF, &Current); RTEAA(l_feature_name, 490, Current, 0, 1, 11710); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(490, Current, 11710); RTCC(arg1, 490, l_feature_name, 1, Dftype(Current)); RTIV(Current, RTAL); if ((RTAL & CK_REQUIRE) || RTAC) { RTHOOK(1); RTCT("other_exists", 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'; ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(17108, dtype))(Current)).it_i4); ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(17108, "type_id", arg1))(arg1)).it_i4); if ((EIF_BOOLEAN)(ti4_1 != ti4_2)) { ur1 = RTCCL(arg1); tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(10068, dtype))(Current, ur1x)).it_b); tb1 = tb2; } Result = (EIF_BOOLEAN) tb1; RTVI(Current, RTAL); RTRS; RTHOOK(3); 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 }
/* {EXCEPTION}.set_description */ void F90_1570 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x) { GTCX char *l_feature_name = "set_description"; RTEX; struct eif_ex_33 sloc1; EIF_REFERENCE loc1 = (EIF_REFERENCE) sloc1.data; EIF_REFERENCE loc2 = (EIF_REFERENCE) 0; EIF_REFERENCE loc3 = (EIF_REFERENCE) 0; EIF_REFERENCE loc4 = (EIF_REFERENCE) 0; EIF_REFERENCE loc5 = (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 ur2x = {{0}, SK_REF}; #define ur2 ur2x.it_r EIF_TYPED_VALUE ur3x = {{0}, SK_REF}; #define ur3 ur3x.it_r 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; EIF_BOOLEAN tb2; EIF_BOOLEAN tb3; RTCDT; RTSN; RTDA; RTLD; memset (&sloc1.overhead, 0, OVERHEAD + 0); sloc1.overhead.ov_flags = EO_EXP | EO_STACK; RT_DFS(&sloc1.overhead, 33); RTLI(11); RTLR(0,arg1); RTLR(1,loc3); RTLR(2,Current); RTLR(3,tr1); RTLR(4,loc2); RTLR(5,loc1); RTLR(6,ur1); RTLR(7,ur2); RTLR(8,ur3); RTLR(9,loc4); RTLR(10,loc5); RTLU (SK_VOID, NULL); RTLU(SK_REF,&arg1); RTLU (SK_REF, &Current); RTLU(SK_REF, &loc1); RTLU(SK_REF, &loc2); RTLU(SK_REF, &loc3); RTLU(SK_REF, &loc4); RTLU(SK_REF, &loc5); RTEAA(l_feature_name, 89, Current, 5, 1, 1474); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(89, Current, 1474); if (arg1) { RTCC(arg1, 89, l_feature_name, 1, eif_non_attached_type(254)); } RTIV(Current, RTAL); wstdinit(loc1,loc1); RTLXI(loc1); RTHOOK(1); if ((EIF_BOOLEAN)(arg1 != NULL)) { RTHOOK(2); RTDBGAL(Current, 3, 0xF800009D, 0, 0); /* loc3 */ tr1 = RTLNSMART(eif_non_attached_type(RTWCT(1453, dtype, Dftype(Current)))); ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(4784, "count", arg1))(arg1)).it_i4); ui4_1 = ti4_1; (FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWC(1789, Dtype(tr1)))(tr1, ui4_1x); RTNHOOK(2,1); loc3 = (EIF_REFERENCE) RTCCL(tr1); RTHOOK(3); RTDBGAL(Current, 2, 0xF800035B, 0, 0); /* loc2 */ { static EIF_TYPE_INDEX typarr0[] = {859,246,0xFFFF}; EIF_TYPE_INDEX typres0; static EIF_TYPE_INDEX typcache0 = INVALID_DTYPE; typres0 = (typcache0 != INVALID_DTYPE ? typcache0 : (typcache0 = eif_compound_id(Dftype(Current), typarr0))); tr1 = RTLN(typres0); } ui4_1 = ((EIF_INTEGER_32) 0L); (FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWC(1914, Dtype(tr1)))(tr1, ui4_1x); RTNHOOK(3,1); loc2 = (EIF_REFERENCE) RTCCL(tr1); RTHOOK(4); ur1 = RTCCL(arg1); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(1808, "managed_data", loc3))(loc3)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); ur2 = RTCCL(tr1); ui4_1 = ((EIF_INTEGER_32) 0L); ur3 = RTCCL(loc2); (FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTVF(552, "utf_32_string_into_utf_8_0_pointer", loc1))(loc1, ur1x, ur2x, ui4_1x, ur3x); RTHOOK(5); ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(1913, "item", loc2))(loc2)).it_i4); ui4_1 = ti4_1; (FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(1815, "set_count", loc3))(loc3, ui4_1x); RTHOOK(6); RTDBGAA(Current, dtype, 1453, 0xF800009D, 0); /* c_description */ RTAR(Current, loc3); *(EIF_REFERENCE *)(Current + RTWA(1453, dtype)) = (EIF_REFERENCE) RTCCL(loc3); } else {
/* {V_MAP}.exists_key */ EIF_TYPED_VALUE F904_7231 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x) { GTCX char *l_feature_name = "exists_key"; 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_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; EIF_REFERENCE tr5 = NULL; EIF_INTEGER_32 ti4_1; EIF_BOOLEAN tb1; EIF_BOOLEAN tb2; EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0); RTCFDT; RTCDT; RTSN; RTDA; RTLD; RTLI(9); RTLR(0,arg1); RTLR(1,Current); RTLR(2,tr1); RTLR(3,tr2); RTLR(4,tr3); RTLR(5,tr4); RTLR(6,tr5); RTLR(7,ur1); RTLR(8,loc1); RTLIU(9); RTLU (SK_BOOL, &Result); RTLU(SK_REF,&arg1); RTLU (SK_REF, &Current); RTLU(SK_REF, &loc1); RTEAA(l_feature_name, 903, Current, 1, 1, 13122); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(903, Current, 13122); { static EIF_TYPE_INDEX typarr0[] = {0xFF01,274,0xFF01,0,0xFF01,0xFFF9,1,174,0,0,0xFFFF}; EIF_TYPE typres0; { EIF_TYPE l_type; l_type = RTWCT(5119, dtype, dftype); typarr0[8] = l_type.annotations | 0xFF00; typarr0[9] = l_type.id; } typres0 = eif_compound_id(dftype, typarr0); RTCC(arg1, 903, l_feature_name, 1, typres0, 0x01); } RTIV(Current, RTAL); if ((RTAL & CK_REQUIRE) || RTAC) { RTHOOK(1); RTCT("pred_has_one_arg", EX_PRE); ti4_1 = *(EIF_INTEGER_32 *)(arg1 + RTVA(4307, "open_count", arg1)); RTTE((EIF_BOOLEAN)(ti4_1 == ((EIF_INTEGER_32) 1L)), label_1); RTCK; RTHOOK(2); RTCT("precondition_satisfied", EX_PRE); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5116, 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(4945, "domain", tr1))(tr1)), (((up2x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up2x.it_r = RTBU(up2x))), (up2x.type = SK_POINTER), up2x.it_r); RTNHOOK(2,2); { static EIF_TYPE_INDEX typarr0[] = {0xFFF9,2,174,0xFF01,0,0xFF01,274,0xFF01,0,0xFF01,0xFFF9,1,174,0,0,0xFFFF}; EIF_TYPE typres0; typarr0[4] = dftype; { EIF_TYPE l_type; l_type = RTWCT(5119, dtype, dftype); typarr0[13] = l_type.annotations | 0xFF00; typarr0[14] = l_type.id; } typres0 = eif_compound_id(dftype, typarr0); tr1 = RTLNTS(typres0.id, 3, 0); } ((EIF_TYPED_VALUE *)tr1+1)->it_r = Current; RTAR(tr1,Current); ((EIF_TYPED_VALUE *)tr1+2)->it_r = arg1; RTAR(tr1,arg1); ui4_1 = ((EIF_INTEGER_32) 1L); { static EIF_TYPE_INDEX typarr0[] = {279,206,0xFFFF}; EIF_TYPE typres0; static EIF_TYPE typcache0 = {INVALID_DTYPE, 0}; typres0 = (typcache0.id != INVALID_DTYPE ? typcache0 : (typcache0 = eif_compound_id(dftype, typarr0))); tr4 = RTLNSP2(typres0.id,0,ui4_1,sizeof(EIF_INTEGER_32), EIF_TRUE); RT_SPECIAL_COUNT(tr4) = 1L; memset(tr4, 0, RT_SPECIAL_VISIBLE_SIZE(tr4)); } *((EIF_INTEGER_32 *)tr4+0) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 2L); tr3 = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(2403, Dtype(tr4)))(tr4).it_r; { static EIF_TYPE_INDEX typarr0[] = {0xFF01,274,0xFF01,0,0xFF01,0xFFF9,1,174,206,0xFFFF}; EIF_TYPE typres0; typarr0[3] = dftype; typres0 = eif_compound_id(dftype, typarr0); tr5 = RTLNRW(typres0.id, 0, (EIF_POINTER) _A904_53_2, (EIF_POINTER)(0),5185, tr3, 0, 1, 903, tr1, 1); } ur1 = RTCCL(tr5); tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(5043, "for_all", tr2))(tr2, ur1x)).it_b); RTTE(tb1, label_1); RTCK; RTJB; label_1: RTCF; } body:; RTHOOK(3); RTDBGAL(Current, 0, 0x04000000, 1,0); /* Result */ Result = (EIF_BOOLEAN) (EIF_BOOLEAN) 0; RTHOOK(4); RTDBGAL(Current, 1, 0xF8000385, 0, 0); /* loc1 */ loc1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(2318, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); for (;;) { RTHOOK(5); tb1 = '\01'; tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(5073, "after", loc1))(loc1)).it_b); if (!tb2) { tb1 = Result; } if (tb1) break; RTHOOK(6); RTDBGAL(Current, 0, 0x04000000, 1,0); /* Result */ { static EIF_TYPE_INDEX typarr0[] = {0xFF01,0xFFF9,1,174,0,0,0xFFFF}; EIF_TYPE typres0; { EIF_TYPE l_type; l_type = RTWCT(5119, dtype, dftype); typarr0[4] = l_type.annotations | 0xFF00; typarr0[5] = l_type.id; } typres0 = eif_compound_id(dftype, typarr0); tr1 = RTLNTS(typres0.id, 2, 0); } ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(5085, "key", loc1))(loc1)).it_i4); ((EIF_TYPED_VALUE *)tr1+1)->it_i4 = ti4_1; ur1 = RTCCL(tr1); tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4337, "item", arg1))(arg1, ur1x)).it_b); Result = (EIF_BOOLEAN) tb2; RTHOOK(7); (FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(4912, "forth", loc1))(loc1); } if (RTAL & CK_ENSURE) { RTHOOK(8); RTCT("definition", EX_POST); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5116, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); RTNHOOK(8,1); tr2 = ((up2x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(4945, "domain", tr1))(tr1)), (((up2x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up2x.it_r = RTBU(up2x))), (up2x.type = SK_POINTER), up2x.it_r); RTNHOOK(8,2); ur1 = RTCCL(arg1); tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(5044, "exists", tr2))(tr2, ur1x)).it_b); if ((EIF_BOOLEAN)(Result == tb2)) { RTCK; } else { RTCF; } } RTVI(Current, RTAL); RTRS; RTHOOK(9); RTDBGLE; RTMD(0); RTLE; RTLO(4); RTEE; { EIF_TYPED_VALUE r; r.type = SK_BOOL; r.it_b = Result; return r; } #undef up1 #undef up2 #undef ur1 #undef ui4_1 #undef arg1 }
/* {EQA_TEST_INVOCATION_RESPONSE}.make_exceptional */ void F917_7649 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x) { GTCX char *l_feature_name = "make_exceptional"; RTEX; #define arg1 arg1x.it_r EIF_TYPED_VALUE up1x = {{0}, SK_POINTER}; #define up1 up1x.it_p EIF_REFERENCE tr1 = NULL; EIF_BOOLEAN tb1; 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, 916, Current, 0, 1, 13139); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(916, Current, 13139); RTCC(arg1, 916, l_feature_name, 1, RTWCT(5435, dtype, Dftype(Current)), 0x00); RTIV(Current, RTAL); RTHOOK(1); RTDBGAA(Current, dtype, 5436, 0xF80003F3, 0); /* internal_exception */ RTAR(Current, arg1); *(EIF_REFERENCE *)(Current + RTWA(5436, dtype)) = (EIF_REFERENCE) RTCCL(arg1); if (RTAL & CK_ENSURE) { RTHOOK(2); RTCT("exceptional", EX_POST); tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5437, dtype))(Current)).it_b); if (tb1) { RTCK; } else { RTCF; } RTHOOK(3); RTCT("exception_set", EX_POST); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5435, 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 }
/* {TYPE}.is_conforming_to */ EIF_TYPED_VALUE F931_6206 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x) { GTCX char *l_feature_name = "is_conforming_to"; RTEX; #define arg1 arg1x.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_INTEGER_32 ti4_1; EIF_INTEGER_32 ti4_2; EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0); RTCDT; RTSN; RTDA; RTLD; RTLI(2); RTLR(0,arg1); RTLR(1,Current); RTLU (SK_BOOL, &Result); RTLU(SK_REF,&arg1); RTLU (SK_REF, &Current); RTEAA(l_feature_name, 930, Current, 0, 1, 10303); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(930, Current, 10303); RTCC(arg1, 930, l_feature_name, 1, Dftype(Current)); RTIV(Current, RTAL); if ((RTAL & CK_REQUIRE) || RTAC) { RTHOOK(1); RTCT("other_exists", EX_PRE); RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1); RTCK; RTJB; label_1: RTCF; } body:; RTHOOK(2); RTDBGAL(Current, 0, 0x04000000, 1,0); /* Result */ ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5065, dtype))(Current)).it_i4); ui4_1 = ti4_1; ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(5065, "type_id", arg1))(arg1)).it_i4); ui4_2 = ti4_2; Result = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTWF(449, 30))(Current, ui4_1x, ui4_2x)).it_b); RTVI(Current, RTAL); RTRS; RTHOOK(3); RTDBGLE; RTMD(0); RTLE; RTLO(3); RTEE; { EIF_TYPED_VALUE r; r.type = SK_BOOL; r.it_b = Result; return r; } #undef ui4_1 #undef ui4_2 #undef arg1 }
/* {PACKET}.make_from_managed_pointer */ void F4_47 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x) { GTCX char *l_feature_name = "make_from_managed_pointer"; 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); RTLU (SK_VOID, NULL); RTLU(SK_REF,&arg1); RTLU (SK_REF, &Current); RTEAA(l_feature_name, 3, Current, 0, 1, 45); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(3, Current, 45); RTCC(arg1, 3, l_feature_name, 1, RTWCT(56, dtype, Dftype(Current))); RTIV(Current, RTAL); if ((RTAL & CK_REQUIRE) || RTAC) { RTHOOK(1); RTCT("a_data_not_void", EX_PRE); RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1); RTCK; RTJB; label_1: RTCF; } body:; RTHOOK(2); RTDBGAA(Current, dtype, 56, 0xF800008D, 0); /* data */ RTAR(Current, arg1); *(EIF_REFERENCE *)(Current + RTWA(56, dtype)) = (EIF_REFERENCE) RTCCL(arg1); if (RTAL & CK_ENSURE) { RTHOOK(3); RTCT("data_set", EX_POST); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(56, 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 }
/* {TYPE}.plus */ EIF_TYPED_VALUE F517_2594 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x) { GTCX char *l_feature_name = "plus"; RTEX; #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_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_BOOLEAN tb1; EIF_REFERENCE Result = ((EIF_REFERENCE) 0); RTCDT; RTSN; RTDA; RTLD; RTLI(6); RTLR(0,arg1); RTLR(1,tr1); RTLR(2,Current); RTLR(3,tr2); RTLR(4,Result); RTLR(5,ur1); RTLU (SK_REF, &Result); RTLU(SK_REF,&arg1); RTLU (SK_REF, &Current); RTEAA(l_feature_name, 516, Current, 0, 1, 6817); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(516, Current, 6817); RTCC(arg1, 516, l_feature_name, 1, eif_attached_type(170)); 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:; RTHOOK(2); RTDBGAL(Current, 0, 0xF80000AA, 0,0); /* Result */ tr1 = RTLN(170); tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(2040, 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); ti4_1 = *(EIF_INTEGER_32 *)(tr2 + RTVA(3069, "count", tr2)); ti4_2 = *(EIF_INTEGER_32 *)(arg1 + RTVA(3069, "count", arg1)); ui4_1 = (EIF_INTEGER_32) (ti4_1 + ti4_2); (FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWC(2838, Dtype(tr1)))(tr1, ui4_1x); RTNHOOK(2,2); Result = (EIF_REFERENCE) RTCCL(tr1); RTHOOK(3); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(2040, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); ur1 = tr1; (FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(3097, "append", Result))(Result, ur1x); RTHOOK(4); ur1 = RTCCL(arg1); (FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(3097, "append", Result))(Result, ur1x); if (RTAL & CK_ENSURE) { RTHOOK(5); RTCT("result_exists", EX_POST); if ((EIF_BOOLEAN)(Result != NULL)) { RTCK; } else { RTCF; } RTHOOK(6); RTCT("definition", EX_POST); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(2040, 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(arg1); tr2 = ((up2x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(2917, "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); ur1 = tr2; tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(3055, "same_string", Result))(Result, ur1x)).it_b); if (tb1) { RTCK; } else { RTCF; } } RTVI(Current, RTAL); RTRS; RTHOOK(7); RTDBGLE; RTMD(0); RTLE; RTLO(3); RTEE; { EIF_TYPED_VALUE r; r.type = SK_REF; r.it_r = Result; return r; } #undef up1 #undef up2 #undef ur1 #undef ui4_1 #undef arg1 }
/* {PACKET}.is_equal */ EIF_TYPED_VALUE F4_53 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x) { GTCX char *l_feature_name = "is_equal"; RTEX; #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; EIF_BOOLEAN tb2; EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0); RTCDT; RTSN; RTDA; RTLD; RTLI(5); RTLR(0,arg1); RTLR(1,Current); RTLR(2,tr1); RTLR(3,tr2); RTLR(4,ur1); RTLU (SK_BOOL, &Result); RTLU(SK_REF,&arg1); RTLU (SK_REF, &Current); RTEAA(l_feature_name, 3, Current, 0, 1, 51); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(3, Current, 51); RTCC(arg1, 3, l_feature_name, 1, 3); 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 */ tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(56, 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(56, "data", arg1))(arg1)), (((up2x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up2x.it_r = RTBU(up2x))), (up2x.type = SK_POINTER), up2x.it_r); ur1 = RTCCL(tr2); tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(11, "is_equal", tr1))(tr1, ur1x)).it_b); 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 up1 #undef up2 #undef ur1 #undef arg1 }
/* {TYPE}.is_equal */ EIF_TYPED_VALUE F517_2585 (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_INTEGER_32 ti4_1; EIF_INTEGER_32 ti4_2; EIF_BOOLEAN tb1; EIF_BOOLEAN tb2; EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0); RTCDT; RTSN; RTDA; RTLD; RTLI(3); RTLR(0,arg1); RTLR(1,Current); RTLR(2,ur1); RTLU (SK_BOOL, &Result); RTLU(SK_REF,&arg1); RTLU (SK_REF, &Current); RTEAA(l_feature_name, 516, Current, 0, 1, 6808); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(516, Current, 6808); RTCC(arg1, 516, 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 */ ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(2042, dtype))(Current)).it_i4); ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(2042, "type_id", arg1))(arg1)).it_i4); Result = (EIF_BOOLEAN) (EIF_BOOLEAN)(ti4_1 == ti4_2); 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 }
/* {WSF_ANY}.change_name */ void F334_6429 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x) { GTCX char *l_feature_name = "change_name"; RTEX; #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(5); RTLR(0,arg1); RTLR(1,Current); RTLR(2,ur1); RTLR(3,tr1); RTLR(4,tr2); RTLU (SK_VOID, NULL); RTLU(SK_REF,&arg1); RTLU (SK_REF, &Current); RTEAA(l_feature_name, 333, Current, 0, 1, 11060); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(333, Current, 11060); RTCC(arg1, 333, l_feature_name, 1, RTWCT(5266, dtype, Dftype(Current))); RTIV(Current, RTAL); RTHOOK(1); RTDBGAA(Current, dtype, 5266, 0xF8000134, 0); /* name */ ur1 = RTCCL(arg1); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(5261, dtype))(Current, ur1x)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); RTAR(Current, tr1); *(EIF_REFERENCE *)(Current + RTWA(5266, dtype)) = (EIF_REFERENCE) RTCCL(tr1); if (RTAL & CK_ENSURE) { RTHOOK(2); RTCT(NULL, EX_POST); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5265, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); tr2 = ((up2x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(4614, "as_readable_string_32", 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); tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4665, "same_string", arg1))(arg1, ur1x)).it_b); if (tb1) { RTCK; } else { RTCF; } } RTVI(Current, RTAL); RTRS; RTHOOK(3); RTDBGLE; RTMD(0); RTLE; RTLO(3); RTEE; #undef up1 #undef up2 #undef ur1 #undef arg1 }