/* {PROCESS_OUTPUT_LISTENER_THREAD}.make */ void F790_6518 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x) { GTCX char *l_feature_name = "make"; RTEX; #define arg1 arg1x.it_r 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, 789, Current, 0, 1, 12043); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(789, Current, 12043); RTCC(arg1, 789, l_feature_name, 1, eif_attached_type(784)); RTIV(Current, RTAL); if ((RTAL & CK_REQUIRE) || RTAC) { RTHOOK(1); RTCT("thread_capable", EX_PRE); tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1183, 110))(Current)).it_b); RTTE(tb1, label_1); RTCK; RTHOOK(2); RTCT("process_launcher_not_null", EX_PRE); RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1); RTCK; RTJB; label_1: RTCF; } body:; RTHOOK(3); (FUNCTION_CAST(void, (EIF_REFERENCE)) RTWF(715, dtype))(Current); RTHOOK(4); RTDBGAA(Current, dtype, 5048, 0xF8000310, 0); /* process_launcher */ RTAR(Current, arg1); *(EIF_REFERENCE *)(Current + RTWA(5048, dtype)) = (EIF_REFERENCE) RTCCL(arg1); RTHOOK(5); RTDBGAA(Current, dtype, 5049, 0x04000000, 1); /* should_exit_signal */ *(EIF_BOOLEAN *)(Current + RTWA(5049, dtype)) = (EIF_BOOLEAN) (EIF_BOOLEAN) 0; RTHOOK(6); RTDBGAA(Current, dtype, 5051, 0x10000000, 1); /* sleep_time */ ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5052, dtype))(Current)).it_i4); *(EIF_INTEGER_32 *)(Current + RTWA(5051, dtype)) = (EIF_INTEGER_32) ti4_1; RTHOOK(7); RTDBGAA(Current, dtype, 5050, 0xF8000085, 0); /* mutex */ tr1 = RTLNSMART(eif_non_attached_type(RTWCT(5050, dtype, Dftype(Current)))); (FUNCTION_CAST(void, (EIF_REFERENCE)) RTWC(1645, Dtype(tr1)))(tr1); RTNHOOK(7,1); RTAR(Current, tr1); *(EIF_REFERENCE *)(Current + RTWA(5050, dtype)) = (EIF_REFERENCE) RTCCL(tr1); if (RTAL & CK_ENSURE) { RTHOOK(8); RTCT("process_launched_set", EX_POST); if (RTCEQ(arg1, arg1)) { RTCK; } else { RTCF; } RTHOOK(9); RTCT("should_exit_signal_set_to_false", EX_POST); tb1 = *(EIF_BOOLEAN *)(Current + RTWA(5049, dtype)); if ((EIF_BOOLEAN) !tb1) { RTCK; } else { RTCF; } RTHOOK(10); RTCT("sleep_time_set", EX_POST); ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(5051, dtype)); ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5052, dtype))(Current)).it_i4); if ((EIF_BOOLEAN)(ti4_1 == ti4_2)) { RTCK; } else { RTCF; } } RTVI(Current, RTAL); RTRS; RTHOOK(11); RTDBGLE; RTMD(0); RTLE; RTLO(3); RTEE; #undef arg1 }
/* {DS_LINKABLE}.put_right */ void F2595_29999 (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, 2594, Current, 0, 1, 34827); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(2594, Current, 34827); RTCC(arg1, 2594, 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, 23687, 0xF8000A22, 0); /* right */ RTAR(Current, arg1); *(EIF_REFERENCE *)(Current + RTWA(23687, 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(23687, 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 }
/* {EV_DOCKABLE_SOURCE}.set_real_source */ void F1223_11157 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x) { GTCX char *l_feature_name = "set_real_source"; 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; RTCDT; RTSN; RTDA; RTLD; RTLI(4); RTLR(0,arg1); RTLR(1,Current); RTLR(2,ur1); RTLR(3,tr1); RTLU (SK_VOID, NULL); RTLU(SK_REF,&arg1); RTLU (SK_REF, &Current); RTEAA(l_feature_name, 1222, Current, 0, 1, 17062); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(1222, Current, 17062); RTCC(arg1, 1222, l_feature_name, 1, eif_attached_type(1222)); 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("is_dockable", EX_PRE); tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8631, dtype))(Current)).it_b); RTTE(tb1, label_1); RTCK; RTHOOK(3); RTCT("dockable_source_not_void", EX_PRE); RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1); RTCK; RTHOOK(4); RTCT("dockable_source_is_parent_recursive", EX_PRE); ur1 = RTCCL(arg1); tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(8643, dtype))(Current, ur1x)).it_b); RTTE(tb1, label_1); RTCK; RTJB; label_1: RTCF; } body:; RTHOOK(5); 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(5,1); ur1 = RTCCL(arg1); (FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(10014, "set_real_source", tr1))(tr1, ur1x); if (RTAL & CK_ENSURE) { RTHOOK(6); RTCT("real_source_assigned", EX_POST); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8632, 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(7); RTDBGLE; RTMD(0); RTLE; RTLO(3); RTEE; #undef up1 #undef ur1 #undef arg1 }
/* {EV_DYNAMIC_LIST_CURSOR}.make */ void F1539_10090 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x, EIF_TYPED_VALUE arg2x, EIF_TYPED_VALUE arg3x) { GTCX char *l_feature_name = "make"; RTEX; #define arg1 arg1x.it_r #define arg2 arg2x.it_b #define arg3 arg3x.it_b EIF_TYPED_VALUE up1x = {{0}, SK_POINTER}; #define up1 up1x.it_p EIF_REFERENCE tr1 = NULL; EIF_BOOLEAN tb1; RTCDT; RTSN; RTDA; RTLD; if ((arg3x.type & SK_HEAD) == SK_REF) arg3x.it_b = * (EIF_BOOLEAN *) arg3x.it_r; if ((arg2x.type & SK_HEAD) == SK_REF) arg2x.it_b = * (EIF_BOOLEAN *) arg2x.it_r; RTLI(3); RTLR(0,arg1); RTLR(1,Current); RTLR(2,tr1); RTLU (SK_VOID, NULL); RTLU(SK_REF,&arg1); RTLU(SK_BOOL,&arg2); RTLU(SK_BOOL,&arg3); RTLU (SK_REF, &Current); RTEAA(l_feature_name, 1538, Current, 0, 3, 15726); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(1538, Current, 15726); RTCC(arg1, 1538, l_feature_name, 1, eif_non_attached_type(RTWCT(7810, dtype, Dftype(Current)))); RTIV(Current, RTAL); if ((RTAL & CK_REQUIRE) || RTAC) { RTHOOK(1); RTCT("item_void_equals_before_or_after", EX_PRE); RTTE((EIF_BOOLEAN)((EIF_BOOLEAN)(arg1 == NULL) == (EIF_BOOLEAN) (arg2 || arg3)), label_1); RTCK; RTJB; label_1: RTCF; } body:; RTHOOK(2); RTDBGAA(Current, dtype, 7807, 0xF8000000, 0); /* item */ RTAR(Current, arg1); *(EIF_REFERENCE *)(Current + RTWA(7807, dtype)) = (EIF_REFERENCE) RTCCL(arg1); RTHOOK(3); RTDBGAA(Current, dtype, 7808, 0x04000000, 1); /* after */ *(EIF_BOOLEAN *)(Current + RTWA(7808, dtype)) = (EIF_BOOLEAN) arg3; RTHOOK(4); RTDBGAA(Current, dtype, 7809, 0x04000000, 1); /* before */ *(EIF_BOOLEAN *)(Current + RTWA(7809, dtype)) = (EIF_BOOLEAN) arg2; if (RTAL & CK_ENSURE) { RTHOOK(5); RTCT("item_assigned", EX_POST); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(7807, 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; } RTHOOK(6); RTCT("after_assigned", EX_POST); tb1 = *(EIF_BOOLEAN *)(Current + RTWA(7808, dtype)); if ((EIF_BOOLEAN)(tb1 == arg3)) { RTCK; } else { RTCF; } RTHOOK(7); RTCT("before_assigned", EX_POST); tb1 = *(EIF_BOOLEAN *)(Current + RTWA(7809, dtype)); if ((EIF_BOOLEAN)(tb1 == arg2)) { RTCK; } else { RTCF; } } RTVI(Current, RTAL); RTRS; RTHOOK(8); RTDBGLE; RTMD(0); RTLE; RTLO(5); RTEE; #undef up1 #undef arg3 #undef arg2 #undef arg1 }
/* {EV_ANY_I}.assign_interface */ void F1306_12124 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x) { GTCX char *l_feature_name = "assign_interface"; RTEX; #define arg1 arg1x.it_r EIF_TYPED_VALUE up1x = {{0}, SK_POINTER}; #define up1 up1x.it_p EIF_TYPED_VALUE ui1_1x = {{0}, SK_INT8}; #define ui1_1 ui1_1x.it_i1 EIF_TYPED_VALUE ub1x = {{0}, SK_BOOL}; #define ub1 ub1x.it_b EIF_REFERENCE tr1 = NULL; EIF_INTEGER_8 ti1_1; 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, 1305, Current, 0, 1, 18031); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(1305, Current, 18031); RTCC(arg1, 1305, l_feature_name, 1, eif_attached_type(RTWCT(9319, dtype, Dftype(Current)))); RTIV(Current, RTAL); if ((RTAL & CK_REQUIRE) || RTAC) { RTHOOK(1); RTCT("an_interface_not_void", EX_PRE); RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1); RTCK; RTHOOK(2); RTCT("not_already_called", EX_PRE); tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9329, dtype))(Current)).it_b); RTTE((EIF_BOOLEAN)(tb1 == (EIF_BOOLEAN) 0), label_1); RTCK; RTJB; label_1: RTCF; } body:; RTHOOK(3); ti1_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9321, dtype))(Current)).it_i1); ui1_1 = ti1_1; ub1 = (EIF_BOOLEAN) 1; (FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTWF(9327, dtype))(Current, ui1_1x, ub1x); RTHOOK(4); RTDBGAA(Current, dtype, 9319, 0xF80004B4, 0); /* interface */ RTAR(Current, arg1); *(EIF_REFERENCE *)(Current + RTWA(9319, dtype)) = (EIF_REFERENCE) RTCCL(arg1); if (RTAL & CK_ENSURE) { RTHOOK(5); RTCT("interface_assigned", EX_POST); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9319, 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; } RTHOOK(6); RTCT("called_flag_set", EX_POST); tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9329, dtype))(Current)).it_b); if ((EIF_BOOLEAN)(tb1 == (EIF_BOOLEAN) 1)) { RTCK; } else { RTCF; } } RTVI(Current, RTAL); RTRS; RTHOOK(7); RTDBGLE; RTMD(0); RTLE; RTLO(3); RTEE; #undef up1 #undef ui1_1 #undef ub1 #undef arg1 }
/* {PROXY_COMPARABLE}.make */ void F1562_1522 (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_REFERENCE tr1 = NULL; RTCDT; RTSN; RTDA; RTLD; RTLI(4); RTLR(0,arg1); RTLR(1,arg2); RTLR(2,Current); RTLR(3,tr1); RTLU (SK_VOID, NULL); RTLU(SK_REF,&arg1); RTLU(SK_REF,&arg2); RTLU (SK_REF, &Current); RTEAA(l_feature_name, 1561, Current, 0, 2, 15416); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(1561, Current, 15416); RTCC(arg1, 1561, l_feature_name, 1, RTWCT(1345, dtype, Dftype(Current))); { static EIF_TYPE_INDEX typarr0[] = {273,0xFF11,0,0xFF11,0xFFF9,2,173,0,0,0xFFFF}; EIF_TYPE_INDEX typres0; typarr0[7] = RTWCT(1345, dtype, Dftype(Current)); typarr0[8] = RTWCT(1345, dtype, Dftype(Current)); typres0 = eif_compound_id(Dftype(Current), typarr0); RTCC(arg2, 1561, l_feature_name, 2, eif_attached_type(typres0)); } RTIV(Current, RTAL); if ((RTAL & CK_REQUIRE) || RTAC) { RTHOOK(1); RTCT("a_item_not_void", EX_PRE); RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1); RTCK; RTHOOK(2); RTCT("a_less_than_comparator", EX_PRE); RTTE((EIF_BOOLEAN)(arg2 != NULL), label_1); RTCK; RTJB; label_1: RTCF; } body:; RTHOOK(3); RTDBGAA(Current, dtype, 1345, 0xF8000000, 0); /* item */ RTAR(Current, arg1); *(EIF_REFERENCE *)(Current + RTWA(1345, dtype)) = (EIF_REFERENCE) RTCCL(arg1); RTHOOK(4); RTDBGAA(Current, dtype, 1346, 0xF8000111, 0); /* less_than_comparator */ RTAR(Current, arg2); *(EIF_REFERENCE *)(Current + RTWA(1346, dtype)) = (EIF_REFERENCE) RTCCL(arg2); if (RTAL & CK_ENSURE) { RTHOOK(5); RTCT("item_set", EX_POST); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1345, 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; } RTHOOK(6); RTCT("comparator_set", EX_POST); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1346, 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, arg2)) { RTCK; } else { RTCF; } } RTVI(Current, RTAL); RTRS; RTHOOK(7); RTDBGLE; RTMD(0); RTLE; RTLO(4); RTEE; #undef up1 #undef arg2 #undef arg1 }
/* {STRING_SEARCHER}.substring_index */ EIF_TYPED_VALUE F131_1910 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x, EIF_TYPED_VALUE arg2x, EIF_TYPED_VALUE arg3x, EIF_TYPED_VALUE arg4x) { GTCX char *l_feature_name = "substring_index"; RTEX; #define arg1 arg1x.it_r #define arg2 arg2x.it_r #define arg3 arg3x.it_i4 #define arg4 arg4x.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 ur2x = {{0}, SK_REF}; #define ur2 ur2x.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_REFERENCE tr1 = NULL; EIF_INTEGER_32 ti4_1; EIF_INTEGER_32 Result = ((EIF_INTEGER_32) 0); RTCDT; RTSN; RTDA; RTLD; if ((arg4x.type & SK_HEAD) == SK_REF) arg4x.it_i4 = * (EIF_INTEGER_32 *) arg4x.it_r; if ((arg3x.type & SK_HEAD) == SK_REF) arg3x.it_i4 = * (EIF_INTEGER_32 *) arg3x.it_r; RTLI(6); RTLR(0,arg1); RTLR(1,arg2); RTLR(2,ur1); RTLR(3,Current); RTLR(4,tr1); RTLR(5,ur2); RTLU (SK_INT32, &Result); RTLU(SK_REF,&arg1); RTLU(SK_REF,&arg2); RTLU(SK_INT32,&arg3); RTLU(SK_INT32,&arg4); RTLU (SK_REF, &Current); RTEAA(l_feature_name, 130, Current, 0, 4, 1853); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(130, Current, 1853); RTCC(arg1, 130, l_feature_name, 1, RTWCT(1742, dtype, Dftype(Current))); if (arg2) { RTCC(arg2, 130, l_feature_name, 2, 306); } RTIV(Current, RTAL); if ((RTAL & CK_REQUIRE) || RTAC) { RTHOOK(1); RTCT("a_string_not_void", EX_PRE); RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1); RTCK; RTHOOK(2); RTCT("a_pattern_not_void", EX_PRE); RTTE((EIF_BOOLEAN)(arg2 != NULL), label_1); RTCK; RTHOOK(3); RTCT("start_large_enough", EX_PRE); RTTE((EIF_BOOLEAN) (arg3 >= ((EIF_INTEGER_32) 1L)), label_1); RTCK; RTHOOK(4); RTCT("end_pos_large_enough", EX_PRE); RTTE((EIF_BOOLEAN) (arg3 <= (EIF_INTEGER_32) (arg4 + ((EIF_INTEGER_32) 1L))), label_1); RTCK; RTHOOK(5); RTCT("end_pos_small_enough", EX_PRE); ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(4595, "count", arg1))(arg1)).it_i4); RTTE((EIF_BOOLEAN) (arg4 <= ti4_1), label_1); RTCK; RTJB; label_1: RTCF; } body:; RTHOOK(6); if (RTCEQ(arg1, arg2)) { RTHOOK(7); if ((EIF_BOOLEAN)(arg3 == ((EIF_INTEGER_32) 1L))) { RTHOOK(8); RTDBGAL(Current, 0, 0x10000000, 1,0); /* Result */ Result = (EIF_INTEGER_32) ((EIF_INTEGER_32) 1L); } } else { RTHOOK(9); ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(4595, "count", arg2))(arg2)).it_i4); if ((EIF_BOOLEAN)(ti4_1 == ((EIF_INTEGER_32) 0L))) { RTHOOK(10); RTDBGAL(Current, 0, 0x10000000, 1,0); /* Result */ Result = (EIF_INTEGER_32) arg3; } else { RTHOOK(11); ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(4595, "count", arg2))(arg2)).it_i4); if ((EIF_BOOLEAN) (ti4_1 <= (EIF_INTEGER_32) ((EIF_INTEGER_32) (arg4 - arg3) + ((EIF_INTEGER_32) 1L)))) { RTHOOK(12); ur1 = RTCCL(arg2); ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(4595, "count", arg2))(arg2)).it_i4); ui4_1 = ti4_1; tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1748, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); ur2 = tr1; (FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTWF(1750, dtype))(Current, ur1x, ui4_1x, ur2x); RTHOOK(13); RTDBGAL(Current, 0, 0x10000000, 1,0); /* Result */ ur1 = RTCCL(arg1); ur2 = RTCCL(arg2); ui4_1 = arg3; ui4_2 = arg4; Result = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTWF(1745, dtype))(Current, ur1x, ur2x, ui4_1x, ui4_2x)).it_i4); } } }
/* {LINKED_QUEUE}.force */ void F438_3583 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x) { GTCX char *l_feature_name = "force"; 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_REFERENCE tr3 = NULL; EIF_INTEGER_32 ti4_1; EIF_INTEGER_32 ti4_2; EIF_BOOLEAN tb1; EIF_BOOLEAN tb2; RTCDT; RTSN; RTDA; RTLD; RTLI(6); RTLR(0,arg1); RTLR(1,Current); RTLR(2,tr1); RTLR(3,tr2); RTLR(4,ur1); RTLR(5,tr3); RTLU (SK_VOID, NULL); RTLU(SK_REF,&arg1); RTLU (SK_REF, &Current); RTEAA(l_feature_name, 437, Current, 0, 1, 5120); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(437, Current, 5120); RTCC(arg1, 437, l_feature_name, 1, RTWCT(1943, 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: RTCK; RTHOOK(2); RTCT("extendible", EX_PRE); tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1944, dtype))(Current)).it_b); RTTE(tb1, label_2); RTCK; RTJB; label_2: RTCF; } body:; if (RTAL & CK_ENSURE) { in_assertion = ~0; RTE_OT tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1936, dtype))(Current)).it_b); tb1 = tb2; tr1 = NULL; RTE_O tr1 = RTLA; RTE_OE RTE_OT ti4_2 = *(EIF_INTEGER_32 *)(Current + RTWA(2773, dtype)); ti4_1 = ti4_2; tr2 = NULL; RTE_O tr2 = RTLA; RTE_OE in_assertion = 0; } RTHOOK(3); ur1 = RTCCL(arg1); (FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(2707, dtype))(Current, ur1x); RTHOOK(4); RTDBGAA(Current, dtype, 2771, 0x04000000, 1); /* before */ *(EIF_BOOLEAN *)(Current + RTWA(2771, dtype)) = (EIF_BOOLEAN) (EIF_BOOLEAN) 0; RTHOOK(5); RTDBGAA(Current, dtype, 2772, 0x04000000, 1); /* after */ *(EIF_BOOLEAN *)(Current + RTWA(2772, dtype)) = (EIF_BOOLEAN) (EIF_BOOLEAN) 1; if (RTAL & CK_ENSURE) { RTHOOK(6); RTCT("item_inserted", EX_POST); ur1 = RTCCL(arg1); tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(1946, dtype))(Current, ur1x)).it_b); if (tb2) { RTCK; } else { RTCF; } RTHOOK(7); RTCT("new_count", EX_POST); ti4_2 = *(EIF_INTEGER_32 *)(Current + RTWA(2773, dtype)); RTCO(tr2); if ((EIF_BOOLEAN)(ti4_2 == (EIF_INTEGER_32) (ti4_1 + ((EIF_INTEGER_32) 1L)))) { RTCK; } else { RTCF; } RTHOOK(8); RTCT("item_inserted", EX_POST); ur1 = RTCCL(arg1); tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(1935, dtype))(Current, ur1x)).it_b); if (tb2) { RTCK; } else { RTCF; } RTHOOK(9); RTCT("single_item_constraint", EX_POST); tb2 = '\01'; RTCO(tr1); if (tb1) { tr3 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1984, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); tb2 = RTCEQ(tr3, arg1); } if (tb2) { RTCK; } else { RTCF; } } RTVI(Current, RTAL); RTRS; RTHOOK(10); RTDBGLE; RTMD(0); RTLE; RTLO(3); RTEE; #undef up1 #undef ur1 #undef arg1 }
/* {LINKED_QUEUE}.copy */ void F438_3586 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x) { GTCX char *l_feature_name = "copy"; 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_BOOLEAN tb1; RTCDT; RTSN; RTDA; RTLD; RTLI(6); RTLR(0,arg1); RTLR(1,ur1); RTLR(2,Current); RTLR(3,loc2); RTLR(4,tr1); RTLR(5,loc1); RTLU (SK_VOID, NULL); RTLU(SK_REF,&arg1); RTLU (SK_REF, &Current); RTLU(SK_REF, &loc1); RTLU(SK_REF, &loc2); RTEAA(l_feature_name, 437, Current, 2, 1, 5123); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(437, Current, 5123); RTCC(arg1, 437, 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; 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); tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(1936, "is_empty", arg1))(arg1)).it_b); if ((EIF_BOOLEAN) !tb1) { RTHOOK(6); (FUNCTION_CAST(void, (EIF_REFERENCE)) RTWF(2770, dtype))(Current); RTHOOK(7); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(1990, "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(tr1); loc2 = RTRV(eif_non_attached_type(RTWCT(1990, dtype, Dftype(Current))),loc2); if (EIF_TEST(loc2)) { RTHOOK(8); RTDBGAL(Current, 1, 0xF80001B9, 0, 0); /* loc1 */ loc1 = (EIF_REFERENCE) RTCCL(loc2); } RTHOOK(9); (FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(2017, "start", arg1))(arg1); for (;;) { RTHOOK(10); tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(2016, "off", arg1))(arg1)).it_b); if (tb1) break; RTHOOK(11); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(2779, "ll_item", arg1))(arg1)), (((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)) RTWF(2781, dtype))(Current, ur1x); RTHOOK(12); (FUNCTION_CAST(void, (EIF_REFERENCE)) RTWF(2033, dtype))(Current); RTHOOK(13); (FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(2033, "forth", arg1))(arg1); } RTHOOK(14); if ((EIF_BOOLEAN)(loc1 != NULL)) { RTHOOK(15); ur1 = RTCCL(loc1); (FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(1992, "go_to", arg1))(arg1, ur1x); }
/* {EQA_PARTIAL_RESULT}.make */ void F998_9043 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x, EIF_TYPED_VALUE arg2x, EIF_TYPED_VALUE arg3x) { GTCX char *l_feature_name = "make"; RTEX; #define arg1 arg1x.it_r #define arg2 arg2x.it_r #define arg3 arg3x.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; RTCDT; RTSN; RTDA; RTLD; RTLI(6); RTLR(0,arg1); RTLR(1,arg2); RTLR(2,arg3); RTLR(3,Current); RTLR(4,tr1); RTLR(5,ur1); RTLIU(6); RTLU (SK_VOID, NULL); RTLU(SK_REF,&arg1); RTLU(SK_REF,&arg2); RTLU(SK_REF,&arg3); RTLU (SK_REF, &Current); RTEAA(l_feature_name, 997, Current, 0, 3, 14459); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(997, Current, 14459); RTCC(arg1, 997, l_feature_name, 1, RTWCT(6585, dtype, Dftype(Current)), 0x00); RTCC(arg2, 997, l_feature_name, 2, RTWCT(6588, dtype, Dftype(Current)), 0x01); RTCC(arg3, 997, l_feature_name, 3, eif_new_type(218, 0x01), 0x01); RTIV(Current, RTAL); if ((RTAL & CK_REQUIRE) || RTAC) { RTHOOK(1); RTCT("a_setup_response_attached", EX_PRE); RTTE((EIF_BOOLEAN)(arg2 != NULL), label_1); RTCK; RTHOOK(2); RTCT("an_output_attached", EX_PRE); RTTE((EIF_BOOLEAN)(arg3 != NULL), label_1); RTCK; RTJB; label_1: RTCF; } body:; RTHOOK(3); RTDBGAA(Current, dtype, 6585, 0xF80003F2, 0); /* start_date */ RTAR(Current, arg1); *(EIF_REFERENCE *)(Current + RTWA(6585, dtype)) = (EIF_REFERENCE) RTCCL(arg1); RTHOOK(4); RTDBGAA(Current, dtype, 6588, 0xF8000394, 0); /* setup_response */ RTAR(Current, arg2); *(EIF_REFERENCE *)(Current + RTWA(6588, dtype)) = (EIF_REFERENCE) RTCCL(arg2); RTHOOK(5); RTDBGAA(Current, dtype, 6589, 0xF80000E4, 0); /* output */ tr1 = RTLNSMART(RTWCT(6589, dtype, Dftype(Current)).id); ur1 = RTCCL(arg3); (FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWC(4439, Dtype(tr1)))(tr1, ur1x); RTNHOOK(5,1); RTAR(Current, tr1); *(EIF_REFERENCE *)(Current + RTWA(6589, dtype)) = (EIF_REFERENCE) tr1; RTHOOK(6); RTDBGAA(Current, dtype, 6586, 0xF80003F2, 0); /* finish_date */ tr1 = RTLNSMART(RTWCT(6586, dtype, Dftype(Current)).id); (FUNCTION_CAST(void, (EIF_REFERENCE)) RTWC(6776, Dtype(tr1)))(tr1); RTNHOOK(6,1); RTAR(Current, tr1); *(EIF_REFERENCE *)(Current + RTWA(6586, dtype)) = (EIF_REFERENCE) RTCCL(tr1); if (RTAL & CK_ENSURE) { RTHOOK(7); RTCT("start_date_set", EX_POST); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(6585, 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; } RTHOOK(8); RTCT("setup_response_set", EX_POST); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(6588, 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, arg2)) { RTCK; } else { RTCF; } RTHOOK(9); RTCT("output_set", EX_POST); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(6589, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); RTNHOOK(9,1); ur1 = RTCCL(arg3); tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4454, "same_string", tr1))(tr1, ur1x)).it_b); if (tb1) { RTCK; } else { RTCF; } } RTVI(Current, RTAL); RTRS; RTHOOK(10); RTDBGLE; RTMD(0); RTLE; RTLO(5); RTEE; #undef up1 #undef ur1 #undef arg3 #undef arg2 #undef arg1 }
/* {SEQUENCE}.append */ void F326_1195 (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 ur8_1x = {{0}, SK_REAL64}; #define ur8_1 ur8_1x.it_r8 EIF_REFERENCE tr1 = NULL; EIF_REAL_64 tr8_1; 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,loc1); RTLU (SK_VOID, NULL); RTLU(SK_REF,&arg1); RTLU (SK_REF, &Current); RTLU(SK_REF, &loc1); RTEAA(l_feature_name, 325, Current, 1, 1, 1723); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(325, Current, 1723); { EIF_TYPE_INDEX typarr0[] = {325,0,0xFFFF}; EIF_TYPE_INDEX typres0; typarr0[1] = RTWCT(977, dtype, Dftype(Current)); typres0 = eif_compound_id(Dftype(Current), typarr0); RTCC(arg1, 325, l_feature_name, 1, eif_attached_type(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(999, dtype))(Current)).it_i4); ti4_1 = ti4_2; tr1 = NULL; RTE_O tr1 = RTLA; RTE_OE in_assertion = 0; } RTHOOK(2); RTDBGAL(Current, 1, 0xF8000145, 0, 0); /* loc1 */ loc1 = (EIF_REFERENCE) RTCCL(arg1); RTHOOK(3); if (RTCEQ(arg1, Current)) { RTHOOK(4); RTDBGAL(Current, 1, 0xF8000145, 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(980, "start", loc1))(loc1); for (;;) { RTHOOK(6); tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(990, "exhausted", loc1))(loc1)).it_b); if (tb1) break; RTHOOK(7); tr8_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(1025, "item", loc1))(loc1)).it_r8); ur8_1 = tr8_1; (FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(1012, dtype))(Current, ur8_1x); RTHOOK(8); (FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(993, "forth", loc1))(loc1); } if (RTAL & CK_ENSURE) { RTHOOK(9); RTCT("new_count", EX_POST); ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(999, 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 ur8_1 #undef arg1 }
/* {EV_TOOL_BAR_BUTTON}.parent */ EIF_TYPED_VALUE F1282_11928 (EIF_REFERENCE Current) { GTCX char *l_feature_name = "parent"; 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_REFERENCE tr1 = NULL; EIF_REFERENCE tr2 = NULL; EIF_BOOLEAN tb1; EIF_BOOLEAN tb2; EIF_REFERENCE Result = ((EIF_REFERENCE) 0); RTCDT; RTSN; RTDA; RTLD; RTLI(4); RTLR(0,Current); RTLR(1,Result); RTLR(2,tr1); RTLR(3,tr2); RTLU (SK_REF, &Result); RTLU (SK_REF, &Current); RTEAA(l_feature_name, 1281, Current, 0, 0, 17831); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(1281, Current, 17831); 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, 0xF800050D, 0,0); /* Result */ Result = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8566, 1279))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); Result = RTRV(eif_non_attached_type(1293), Result); if (RTAL & CK_ENSURE) { RTHOOK(3); RTCT("correct", EX_POST); tb1 = '\01'; tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8570, dtype))(Current)).it_b); if (tb2) { tb1 = (EIF_BOOLEAN)(Result != NULL); } if (tb1) { RTCK; } else { RTCF; } RTHOOK(4); RTCT("correct", EX_POST); tb1 = '\01'; tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8570, dtype))(Current)).it_b); if ((EIF_BOOLEAN) !tb2) { tb1 = (EIF_BOOLEAN)(Result == NULL); } if (tb1) { RTCK; } else { RTCF; } RTHOOK(5); 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(5,1); tr2 = ((up2x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(10840, "parent", tr1))(tr1)), (((up2x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up2x.it_r = RTBU(up2x))), (up2x.type = SK_POINTER), up2x.it_r); if (RTCEQ(Result, tr2)) { RTCK; } else { RTCF; } } RTVI(Current, RTAL); RTRS; RTHOOK(6); 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 }
/* {EV_TOOL_BAR_BUTTON}.set_gray_pixmap */ void F1282_11930 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x) { GTCX char *l_feature_name = "set_gray_pixmap"; 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_REFERENCE tr1 = NULL; EIF_BOOLEAN tb1; EIF_BOOLEAN tb2; EIF_BOOLEAN tb3; RTCDT; RTSN; RTDA; RTLD; RTLI(5); RTLR(0,arg1); RTLR(1,Current); RTLR(2,tr1); RTLR(3,ur1); RTLR(4,loc1); RTLU (SK_VOID, NULL); RTLU(SK_REF,&arg1); RTLU (SK_REF, &Current); RTLU(SK_REF, &loc1); RTEAA(l_feature_name, 1281, Current, 1, 1, 17833); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(1281, Current, 17833); RTCC(arg1, 1281, l_feature_name, 1, eif_attached_type(1270)); 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("gray_pixmap_not_void", EX_PRE); RTTE((EIF_BOOLEAN)(arg1 != NULL), 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); ur1 = RTCCL(arg1); (FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(10915, "set_gray_pixmap", tr1))(tr1, ur1x); if (RTAL & CK_ENSURE) { RTHOOK(4); RTCT("pixmap_assigned", EX_POST); tb1 = '\0'; tb2 = '\0'; tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9193, 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); tb3 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(11, "is_equal", arg1))(arg1, ur1x)).it_b); tb2 = tb3; } if (tb2) { tb1 = !RTCEQ(loc1, arg1); } if (tb1) { RTCK; } else { RTCF; } } RTVI(Current, RTAL); RTRS; RTHOOK(5); RTDBGLE; RTMD(0); RTLE; RTLO(4); RTEE; #undef up1 #undef ur1 #undef arg1 }
/* {BILINEAR}.search */ void F208_1106 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x) { GTCX char *l_feature_name = "search"; 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 tb2; EIF_BOOLEAN tb3; RTCDT; RTSN; RTDA; RTLD; RTLI(4); RTLR(0,arg1); RTLR(1,Current); RTLR(2,ur1); RTLR(3,tr1); RTLU (SK_VOID, NULL); RTLU(SK_REF,&arg1); RTLU (SK_REF, &Current); RTEAA(l_feature_name, 207, Current, 0, 1, 1434); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(207, Current, 1434); RTCC(arg1, 207, l_feature_name, 1, RTWCT(977, dtype, Dftype(Current))); RTIV(Current, RTAL); RTHOOK(1); tb1 = '\0'; tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(993, dtype))(Current)).it_b); if (tb2) { tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(969, dtype))(Current)).it_b); tb1 = (EIF_BOOLEAN) !tb2; } if (tb1) { RTHOOK(2); (FUNCTION_CAST(void, (EIF_REFERENCE)) RTWF(992, dtype))(Current); } RTHOOK(3); ur1 = RTCCL(arg1); (FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(995, dtype))(Current, ur1x); if (RTAL & CK_ENSURE) { RTHOOK(4); RTCT("object_found", EX_POST); tb1 = '\01'; tb2 = '\0'; tb3 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(989, dtype))(Current)).it_b); if ((EIF_BOOLEAN) !tb3) { tb3 = *(EIF_BOOLEAN *)(Current + RTWA(971, dtype)); tb2 = tb3; } if (tb2) { tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(977, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); tb1 = RTEQ(arg1, tr1); } if (tb1) { RTCK; } else { RTCF; } RTHOOK(5); RTCT("item_found", EX_POST); tb1 = '\01'; tb2 = '\0'; tb3 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(989, dtype))(Current)).it_b); if ((EIF_BOOLEAN) !tb3) { tb3 = *(EIF_BOOLEAN *)(Current + RTWA(971, dtype)); tb2 = (EIF_BOOLEAN) !tb3; } if (tb2) { tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(977, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); tb1 = RTCEQ(arg1, tr1); } if (tb1) { RTCK; } else { RTCF; } } RTVI(Current, RTAL); RTRS; RTHOOK(6); RTDBGLE; RTMD(0); RTLE; RTLO(3); RTEE; #undef up1 #undef ur1 #undef arg1 }
/* {RT_DBG_FIELD_RECORD}.is_same_as */ EIF_TYPED_VALUE F812_21152 (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_TYPED_VALUE up1x = {{0}, SK_POINTER}; #define up1 up1x.it_p EIF_TYPED_VALUE up2x = {{0}, SK_POINTER}; #define up2 up2x.it_p EIF_REFERENCE tr1 = NULL; EIF_REFERENCE tr2 = NULL; 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(5); RTLR(0,arg1); RTLR(1,loc1); RTLR(2,Current); RTLR(3,tr1); RTLR(4,tr2); RTLU (SK_BOOL, &Result); RTLU(SK_REF,&arg1); RTLU (SK_REF, &Current); RTLU(SK_REF, &loc1); RTEAA(l_feature_name, 811, Current, 1, 1, 15430); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(811, Current, 15430); if (arg1) { RTCC(arg1, 811, l_feature_name, 1, 474); } 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(18318, dtype)); ti4_2 = *(EIF_INTEGER_32 *)(loc1 + RTVA(18318, "index", loc1)); tb2 = (EIF_BOOLEAN)(ti4_1 == ti4_2); } if (tb2) { tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(18332, 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(18332, "value", loc1))(loc1)), (((up2x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up2x.it_r = RTBU(up2x))), (up2x.type = SK_POINTER), up2x.it_r); tb1 = RTCEQ(tr1, tr2); } 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(18319, dtype)); ti4_2 = *(EIF_INTEGER_32 *)(arg1 + RTVA(18319, "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 up1 #undef up2 #undef arg1 }
/* {LINKED_QUEUE}.item */ EIF_TYPED_VALUE F438_3580 (EIF_REFERENCE Current) { GTCX char *l_feature_name = "item"; RTEX; EIF_REFERENCE loc1 = (EIF_REFERENCE) 0; 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_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,loc1); RTLR(2,tr1); RTLR(3,Result); RTLR(4,tr2); RTLU (SK_REF, &Result); RTLU (SK_REF, &Current); RTLU(SK_REF, &loc1); RTEAA(l_feature_name, 437, Current, 1, 0, 5117); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(437, Current, 5117); RTIV(Current, RTAL); if ((RTAL & CK_REQUIRE) || RTAC) { RTHOOK(1); RTCT("readable", EX_PRE); tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1985, dtype))(Current)).it_b); RTTE(tb1, label_1); RTCK; RTJB; label_1: RTCF; } body:; RTHOOK(2); RTCT0(NULL, EX_CHECK); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(2767, 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)) { RTCK0; } else { RTCF0; } RTHOOK(3); RTDBGAL(Current, 0, 0xF8000000, 0,0); /* Result */ tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(1913, "item", loc1))(loc1)), (((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(tr1); if (RTAL & CK_ENSURE) { RTHOOK(4); RTCT("last_element_if_not_empty", EX_POST); tb1 = '\01'; tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1936, dtype))(Current)).it_b); if ((EIF_BOOLEAN) !tb2) { tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(2767, 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)) RTWF(2768, dtype))(Current)), (((up2x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up2x.it_r = RTBU(up2x))), (up2x.type = SK_POINTER), up2x.it_r); tb1 = RTCEQ(tr1, tr2); } 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_REF; r.it_r = Result; return r; } #undef up1 #undef up2 }
/* {HEAP_PRIORITY_QUEUE}.is_equal */ EIF_BOOLEAN F490_5168 (EIF_REFERENCE Current, EIF_REFERENCE arg1) { GTCX EIF_REFERENCE loc1 = (EIF_REFERENCE) 0; EIF_REFERENCE loc2 = (EIF_REFERENCE) 0; EIF_REFERENCE tr1 = NULL; EIF_REFERENCE tr2 = NULL; EIF_INTEGER_32 ti4_1; EIF_BOOLEAN tb1; EIF_BOOLEAN tb2; EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0); RTLD; RTLI(6); RTLR(0,arg1); RTLR(1,Current); RTLR(2,loc1); RTLR(3,loc2); RTLR(4,tr1); RTLR(5,tr2); RTGC; if ((EIF_BOOLEAN)(arg1 == Current)) { RTLE; return (EIF_BOOLEAN) (EIF_BOOLEAN) 1; } else { tb1 = '\0'; tb2 = *(EIF_BOOLEAN *)(RTCV(arg1)+ _CHROFF_1_0_); if ((EIF_BOOLEAN)(*(EIF_BOOLEAN *)(Current+ _CHROFF_1_0_) == tb2)) { ti4_1 = F490_5161(RTCV(arg1)); tb1 = (EIF_BOOLEAN)(F490_5161(Current) == ti4_1); } if (tb1) { ti4_1 = F490_5161(Current); loc1 = F490_5179(Current, ti4_1); ti4_1 = F490_5161(Current); loc2 = F490_5179(RTCV(arg1), ti4_1); Result = (EIF_BOOLEAN) (EIF_BOOLEAN) 1; for (;;) { tb1 = '\01'; if (!(EIF_BOOLEAN) !Result) { tb2 = F407_5127(RTCV(loc1)); tb1 = tb2; } if (tb1) break; if (*(EIF_BOOLEAN *)(Current+ _CHROFF_1_0_)) { tr1 = F490_5159(RTCV(loc1)); tr2 = F490_5159(RTCV(loc2)); Result = (EIF_BOOLEAN) RTEQ(tr1, tr2); } else { tr1 = F490_5159(RTCV(loc1)); tr2 = F490_5159(RTCV(loc2)); Result = (EIF_BOOLEAN) RTCEQ(tr1, tr2); } F490_5173(RTCV(loc1)); F490_5173(RTCV(loc2)); } } } RTLE; return Result; }
/* {EQA_SYSTEM_EXECUTION_PROCESS}.make */ void F865_7037 (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_r #define arg3 arg3x.it_r #define arg4 arg4x.it_r #define arg5 arg5x.it_r EIF_TYPED_VALUE up1x = {{0}, SK_POINTER}; #define up1 up1x.it_p EIF_REFERENCE tr1 = NULL; EIF_BOOLEAN tb1; EIF_BOOLEAN tb2; RTCDT; RTSN; RTDA; RTLD; RTLI(7); RTLR(0,arg1); RTLR(1,arg2); RTLR(2,arg3); RTLR(3,arg4); RTLR(4,arg5); RTLR(5,Current); RTLR(6,tr1); RTLU (SK_VOID, NULL); RTLU(SK_REF,&arg1); RTLU(SK_REF,&arg2); RTLU(SK_REF,&arg3); RTLU(SK_REF,&arg4); RTLU(SK_REF,&arg5); RTLU (SK_REF, &Current); RTEAA(l_feature_name, 864, Current, 0, 5, 12577); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(864, Current, 12577); RTCC(arg1, 864, l_feature_name, 1, RTWCT(864, 39, Current)); RTCC(arg2, 864, l_feature_name, 2, RTWCT(864, 39, Current)); RTCC(arg3, 864, l_feature_name, 3, RTWCT(864, 41, Current)); RTCC(arg4, 864, l_feature_name, 4, RTWCT(864, 41, Current)); RTCC(arg5, 864, l_feature_name, 5, RTWCT(864, 41, Current)); RTIV(Current, RTAL); if ((RTAL & CK_REQUIRE) || RTAC) { RTHOOK(1); RTCT("output_file_valid", EX_PRE); tb1 = '\01'; if ((EIF_BOOLEAN)(arg3 != NULL)) { tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVPF(203, 25, "is_open_write", arg3))(arg3)).it_b); tb1 = tb2; } RTTE(tb1, label_1); RTCK; RTHOOK(2); RTCT("error_file_valid", EX_PRE); tb1 = '\01'; if ((EIF_BOOLEAN)(arg4 != NULL)) { tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVPF(203, 25, "is_open_write", arg4))(arg4)).it_b); tb1 = tb2; } RTTE(tb1, label_1); RTCK; RTHOOK(3); RTCT("input_file_valid", EX_PRE); tb1 = '\01'; if ((EIF_BOOLEAN)(arg5 != NULL)) { tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVPF(203, 24, "is_open_read", arg5))(arg5)).it_b); tb1 = tb2; } RTTE(tb1, label_1); RTCK; RTJB; label_1: RTCF; } body:; RTHOOK(4); RTDBGAA(Current, dtype, 864, 35, 0xF80003AA, 0); /* mutex */ tr1 = RTLNSMART(eif_non_attached_type(RTWCT(864, 35, Current))); (FUNCTION_CAST(void, (EIF_REFERENCE)) RTWC(938, 35, Dtype(tr1)))(tr1); RTNHOOK(4,1); RTAR(Current, tr1); *(EIF_REFERENCE *)(Current + RTWA(864, 35, dtype)) = (EIF_REFERENCE) RTCCL(tr1); RTHOOK(5); RTDBGAA(Current, dtype, 864, 36, 0xF80003A9, 0); /* consumer_signal */ tr1 = RTLNSMART(eif_non_attached_type(RTWCT(864, 36, Current))); (FUNCTION_CAST(void, (EIF_REFERENCE)) RTWC(937, 33, Dtype(tr1)))(tr1); RTNHOOK(5,1); RTAR(Current, tr1); *(EIF_REFERENCE *)(Current + RTWA(864, 36, dtype)) = (EIF_REFERENCE) RTCCL(tr1); RTHOOK(6); RTDBGAA(Current, dtype, 864, 37, 0xF80003A9, 0); /* producer_signal */ tr1 = RTLNSMART(eif_non_attached_type(RTWCT(864, 37, Current))); (FUNCTION_CAST(void, (EIF_REFERENCE)) RTWC(937, 33, Dtype(tr1)))(tr1); RTNHOOK(6,1); RTAR(Current, tr1); *(EIF_REFERENCE *)(Current + RTWA(864, 37, dtype)) = (EIF_REFERENCE) RTCCL(tr1); RTHOOK(7); RTDBGAA(Current, dtype, 864, 39, 0xF8000361, 0); /* output_processor */ RTAR(Current, arg1); *(EIF_REFERENCE *)(Current + RTWA(864, 39, dtype)) = (EIF_REFERENCE) RTCCL(arg1); RTHOOK(8); RTDBGAA(Current, dtype, 864, 40, 0xF8000361, 0); /* error_processor */ RTAR(Current, arg2); *(EIF_REFERENCE *)(Current + RTWA(864, 40, dtype)) = (EIF_REFERENCE) RTCCL(arg2); RTHOOK(9); RTDBGAA(Current, dtype, 864, 41, 0xF80000A2, 0); /* output_file */ RTAR(Current, arg3); *(EIF_REFERENCE *)(Current + RTWA(864, 41, dtype)) = (EIF_REFERENCE) RTCCL(arg3); RTHOOK(10); RTDBGAA(Current, dtype, 864, 42, 0xF80000A2, 0); /* error_file */ RTAR(Current, arg4); *(EIF_REFERENCE *)(Current + RTWA(864, 42, dtype)) = (EIF_REFERENCE) RTCCL(arg4); RTHOOK(11); RTDBGAA(Current, dtype, 864, 43, 0xF80000A2, 0); /* input_file */ RTAR(Current, arg5); *(EIF_REFERENCE *)(Current + RTWA(864, 43, dtype)) = (EIF_REFERENCE) RTCCL(arg5); if (RTAL & CK_ENSURE) { RTHOOK(12); RTCT("output_processor_set", EX_POST); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(864, 39, 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; } RTHOOK(13); RTCT("error_processor_set", EX_POST); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(864, 40, 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, arg2)) { RTCK; } else { RTCF; } RTHOOK(14); RTCT("output_file_set", EX_POST); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(864, 41, 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, arg3)) { RTCK; } else { RTCF; } RTHOOK(15); RTCT("error_file_set", EX_POST); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(864, 42, 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, arg4)) { RTCK; } else { RTCF; } RTHOOK(16); RTCT("input_file_set", EX_POST); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(864, 43, 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, arg5)) { RTCK; } else { RTCF; } } RTVI(Current, RTAL); RTRS; RTHOOK(17); RTDBGLE; RTMD(0); RTLE; RTLO(7); RTEE; #undef up1 #undef arg5 #undef arg4 #undef arg3 #undef arg2 #undef arg1 }
/* {PROCESS_TIMER}.set_process_launcher */ void F84_6955 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x) { GTCX char *l_feature_name = "set_process_launcher"; 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); RTLU (SK_VOID, NULL); RTLU(SK_REF,&arg1); RTLU (SK_REF, &Current); RTEAA(l_feature_name, 83, Current, 0, 1, 1329); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(83, Current, 1329); if (arg1) { RTCC(arg1, 83, l_feature_name, 1, 92); } RTIV(Current, RTAL); if ((RTAL & CK_REQUIRE) || RTAC) { RTHOOK(1); RTCT("prc_launcher_not_void", EX_PRE); RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1); RTCK; RTHOOK(2); RTCT("timer_destroyed", EX_PRE); tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(6842, dtype))(Current)).it_b); RTTE(tb1, label_1); RTCK; RTJB; label_1: RTCF; } body:; RTHOOK(3); RTDBGAA(Current, dtype, 6844, 0xF800005C, 0); /* process_launcher */ RTAR(Current, arg1); *(EIF_REFERENCE *)(Current + RTWA(6844, dtype)) = (EIF_REFERENCE) RTCCL(arg1); if (RTAL & CK_ENSURE) { RTHOOK(4); RTCT("process_launcher_set", EX_POST); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(6844, 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(5); RTDBGLE; RTMD(0); RTLE; RTLO(3); RTEE; #undef up1 #undef arg1 }
/* {EQA_SYSTEM_TEST_SET}.prepare_system */ void F937_7982 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x) { GTCX char *l_feature_name = "prepare_system"; RTEX; EIF_REFERENCE loc1 = (EIF_REFERENCE) 0; 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 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_BOOLEAN tb1; EIF_BOOLEAN tb2; RTCDT; RTSN; RTDA; RTLD; RTLI(13); RTLR(0,arg1); RTLR(1,tr1); RTLR(2,tr2); RTLR(3,loc1); RTLR(4,Current); RTLR(5,tr3); RTLR(6,ur1); RTLR(7,loc2); RTLR(8,tr4); RTLR(9,loc3); RTLR(10,loc4); RTLR(11,loc5); RTLR(12,tr5); RTLIU(13); 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, 936, Current, 5, 1, 13441); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(936, Current, 13441); RTCC(arg1, 936, l_feature_name, 1, eif_new_type(912, 0x01), 0x01); RTIV(Current, RTAL); if (RTAL & CK_ENSURE) { in_assertion = ~0; RTE_OT tr1 = arg1; tr2 = NULL; RTE_O tr2 = RTLA; RTE_OE in_assertion = 0; } RTHOOK(1); RTDBGAL(Current, 1, 0xF80003A2, 0, 0); /* loc1 */ tr3 = RTLNSMART(RTWCT(5742, dtype, Dftype(Current)).id); ur1 = RTCCL(Current); (FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWC(5689, Dtype(tr3)))(tr3, ur1x); RTNHOOK(1,1); loc1 = (EIF_REFERENCE) RTCCL(tr3); RTHOOK(2); ur1 = RTCCL(arg1); (FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(5666, "set_output_path", loc1))(loc1, ur1x); RTHOOK(3); RTDBGAA(Current, dtype, 5742, 0xF80003A2, 0); /* current_execution */ RTAR(Current, loc1); *(EIF_REFERENCE *)(Current + RTWA(5742, dtype)) = (EIF_REFERENCE) RTCCL(loc1); if (RTAL & CK_ENSURE) { RTHOOK(4); RTCT("current_execution_attached", EX_POST); tr3 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5742, 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)(tr3 != NULL)) { RTCK; } else { RTCF; } RTHOOK(5); RTCT("current_execution_uses_environment", EX_POST); tb1 = '\0'; tr3 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5742, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); loc2 = RTCCL(tr3); if (EIF_TEST(loc2)) { tr3 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(5650, "test_set", loc2))(loc2)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); RTNHOOK(5,1); tr4 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(5726, "environment", tr3))(tr3)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); tr3 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5726, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); tb1 = RTCEQ(tr4, tr3); } if (tb1) { RTCK; } else { RTCF; } RTHOOK(6); RTCT("current_execution_not_launched", EX_POST); tb1 = '\0'; tr3 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5742, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); loc3 = RTCCL(tr3); if (EIF_TEST(loc3)) { tb2 = *(EIF_BOOLEAN *)(loc3 + RTVA(5663, "is_launched", loc3)); tb1 = (EIF_BOOLEAN) !tb2; } if (tb1) { RTCK; } else { RTCF; } RTHOOK(7); RTCT("current_execution_uses_valid_output", EX_POST); tb1 = '\0'; tb2 = '\0'; tr3 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5742, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); loc4 = RTCCL(tr3); if (EIF_TEST(loc4)) { tr3 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(5653, "output_file_name", loc4))(loc4)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); loc5 = tr3; tb2 = EIF_TEST(loc5); } if (tb2) { tr3 = RTLN(eif_new_type(912, 0x01).id); ui4_1 = ((EIF_INTEGER_32) 1L); { static EIF_TYPE_INDEX typarr0[] = {243,0xFF01,229,0xFFFF}; EIF_TYPE typres0; static EIF_TYPE typcache0 = {INVALID_DTYPE, 0}; typres0 = (typcache0.id != INVALID_DTYPE ? typcache0 : (typcache0 = eif_compound_id(Dftype(Current), typarr0))); tr5 = RTLNSP2(typres0.id,EO_REF,ui4_1,sizeof(EIF_REFERENCE), EIF_FALSE); RT_SPECIAL_COUNT(tr5) = 1L; memset(tr5, 0, RT_SPECIAL_VISIBLE_SIZE(tr5)); } *((EIF_REFERENCE *)tr5+0) = (EIF_REFERENCE) loc5; RTAR(tr5,loc5); tr4 = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(2403, Dtype(tr5)))(tr5).it_r; ur1 = RTCCL(tr4); (FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWC(5376, Dtype(tr3)))(tr3, ur1x); RTNHOOK(7,1); RTCO(tr2); tb1 = RTEQ(tr3, tr1); } if (tb1) { RTCK; } else { RTCF; } }
/* {EV_DYNAMIC_LIST_CURSOR}.make_with_item */ void F1539_10091 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x) { GTCX char *l_feature_name = "make_with_item"; 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); RTLU (SK_VOID, NULL); RTLU(SK_REF,&arg1); RTLU (SK_REF, &Current); RTEAA(l_feature_name, 1538, Current, 0, 1, 15727); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(1538, Current, 15727); RTCC(arg1, 1538, l_feature_name, 1, RTWCT(7810, dtype, Dftype(Current))); RTIV(Current, RTAL); if ((RTAL & CK_REQUIRE) || RTAC) { RTHOOK(1); RTCT("an_item_not_void", EX_PRE); RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1); RTCK; RTJB; label_1: RTCF; } body:; RTHOOK(2); RTDBGAA(Current, dtype, 7807, 0xF8000000, 0); /* item */ RTAR(Current, arg1); *(EIF_REFERENCE *)(Current + RTWA(7807, dtype)) = (EIF_REFERENCE) RTCCL(arg1); if (RTAL & CK_ENSURE) { RTHOOK(3); RTCT("item_assigned", EX_POST); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(7807, 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; } RTHOOK(4); RTCT("not_after", EX_POST); tb1 = *(EIF_BOOLEAN *)(Current + RTWA(7808, dtype)); if ((EIF_BOOLEAN) !tb1) { RTCK; } else { RTCF; } RTHOOK(5); RTCT("not_before", EX_POST); tb1 = *(EIF_BOOLEAN *)(Current + RTWA(7809, dtype)); if ((EIF_BOOLEAN) !tb1) { RTCK; } else { RTCF; } } RTVI(Current, RTAL); RTRS; RTHOOK(6); RTDBGLE; RTMD(0); RTLE; RTLO(3); RTEE; #undef up1 #undef arg1 }
/* {EQA_SYSTEM_TEST_SET}.run_system */ void F937_7983 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x) { GTCX char *l_feature_name = "run_system"; RTEX; EIF_REFERENCE loc1 = (EIF_REFERENCE) 0; EIF_REFERENCE loc2 = (EIF_REFERENCE) 0; EIF_REFERENCE loc3 = (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; EIF_REFERENCE tr5 = NULL; EIF_REFERENCE tr6 = NULL; EIF_BOOLEAN tb1; EIF_BOOLEAN tb2; EIF_BOOLEAN tb3; RTCFDT; RTCDT; RTSN; RTDA; RTLD; RTLI(12); RTLR(0,arg1); RTLR(1,Current); RTLR(2,tr1); RTLR(3,loc1); RTLR(4,tr2); RTLR(5,loc2); RTLR(6,tr3); RTLR(7,tr4); RTLR(8,tr5); RTLR(9,tr6); RTLR(10,ur1); RTLR(11,loc3); RTLIU(12); RTLU (SK_VOID, NULL); RTLU(SK_REF,&arg1); RTLU (SK_REF, &Current); RTLU(SK_REF, &loc1); RTLU(SK_REF, &loc2); RTLU(SK_REF, &loc3); RTEAA(l_feature_name, 936, Current, 3, 1, 13442); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(936, Current, 13442); { static EIF_TYPE_INDEX typarr0[] = {0xFF01,250,0xFF01,220,0xFFFF}; EIF_TYPE typres0; static EIF_TYPE typcache0 = {INVALID_DTYPE, 0}; typres0 = (typcache0.id != INVALID_DTYPE ? typcache0 : (typcache0 = eif_compound_id(dftype, typarr0))); RTCC(arg1, 936, l_feature_name, 1, typres0, 0x01); } RTIV(Current, RTAL); if ((RTAL & CK_REQUIRE) || RTAC) { RTHOOK(1); RTCT("current_execution_attached", EX_PRE); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5742, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); RTTE((EIF_BOOLEAN)(tr1 != NULL), label_1); RTCK; RTHOOK(2); RTCT("current_execution_not_launched", EX_PRE); tb1 = '\0'; tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5742, 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)) { tb2 = *(EIF_BOOLEAN *)(loc1 + RTVA(5663, "is_launched", loc1)); tb1 = (EIF_BOOLEAN) !tb2; } RTTE(tb1, label_1); RTCK; RTJB; label_1: RTCF; } body:; if (RTAL & CK_ENSURE) { in_assertion = ~0; RTE_OT tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5742, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); tr1 = tr2; tr2 = NULL; RTE_O tr2 = RTLA; RTE_OE in_assertion = 0; } RTHOOK(3); RTCT0(NULL, EX_CHECK); tr3 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5742, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); loc2 = RTCCL(tr3); if (EIF_TEST(loc2)) { RTCK0; } else { RTCF0; } RTHOOK(4); (FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(5681, "clear_argument", loc2))(loc2); RTHOOK(5); { static EIF_TYPE_INDEX typarr0[] = {0xFFF9,2,174,0xFF01,0,0xFF01,0,0,0xFFFF}; EIF_TYPE typres0; typarr0[4] = dftype; { EIF_TYPE l_type; l_type = RTWCT(5742, dtype, dftype); typarr0[6] = l_type.annotations | 0xFF00; typarr0[7] = l_type.id; } typres0 = eif_compound_id(dftype, typarr0); tr3 = RTLNTS(typres0.id, 3, 0); } ((EIF_TYPED_VALUE *)tr3+1)->it_r = Current; RTAR(tr3,Current); ((EIF_TYPED_VALUE *)tr3+2)->it_r = loc2; RTAR(tr3,loc2); 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))); tr5 = RTLNSP2(typres0.id,0,ui4_1,sizeof(EIF_INTEGER_32), EIF_TRUE); RT_SPECIAL_COUNT(tr5) = 1L; memset(tr5, 0, RT_SPECIAL_VISIBLE_SIZE(tr5)); } *((EIF_INTEGER_32 *)tr5+0) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 2L); tr4 = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(2403, Dtype(tr5)))(tr5).it_r; { static EIF_TYPE_INDEX typarr0[] = {0xFF01,238,0xFF01,0,0xFF01,0xFFF9,1,174,0xFF01,220,0xFFFF}; EIF_TYPE typres0; typarr0[3] = dftype; typres0 = eif_compound_id(dftype, typarr0); tr6 = RTLNRW(typres0.id, 0, (EIF_POINTER) _A937_58_2, (EIF_POINTER)(0),6949, tr4, 0, 1, 936, tr3, 1); } ur1 = RTCCL(tr6); (FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(2627, "do_all", arg1))(arg1, ur1x); RTHOOK(6); (FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(5677, "launch", loc2))(loc2); RTHOOK(7); (FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(5679, "process_output_until_exit", loc2))(loc2); RTHOOK(8); RTDBGAA(Current, dtype, 5742, 0xF80003A2, 0); /* current_execution */ RTAR(Current, loc2); *(EIF_REFERENCE *)(Current + RTWA(5742, dtype)) = (EIF_REFERENCE) RTCCL(loc2); if (RTAL & CK_ENSURE) { RTHOOK(9); RTCT("current_execution_unchanged", EX_POST); tr3 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5742, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); RTCO(tr2); if (RTCEQ(tr3, tr1)) { RTCK; } else { RTCF; } RTHOOK(10); RTCT("current_execution_exited", EX_POST); tb1 = '\0'; tb2 = '\0'; tr3 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5742, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); loc3 = RTCCL(tr3); if (EIF_TEST(loc3)) { tb3 = *(EIF_BOOLEAN *)(loc3 + RTVA(5663, "is_launched", loc3)); tb2 = tb3; } if (tb2) { tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(5664, "has_exited", loc3))(loc3)).it_b); tb1 = tb2; } if (tb1) { RTCK; } else { RTCF; } } RTVI(Current, RTAL); RTRS; RTHOOK(11); RTDBGLE; RTMD(0); RTLE; RTLO(6); RTEE; #undef up1 #undef ur1 #undef ui4_1 #undef arg1 }
/* {EV_ANY_I}._invariant */ void F1306_16402 (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 up2x = {{0}, SK_POINTER}; #define up2 up2x.it_p EIF_REFERENCE tr1 = NULL; EIF_REFERENCE tr2 = NULL; EIF_BOOLEAN tb1; EIF_BOOLEAN tb2; RTCDT; RTLD; RTDA; RTLI(3); RTLR(0,Current); RTLR(1,tr1); RTLR(2,tr2); RTLU (SK_VOID, NULL); RTLU (SK_REF, &Current); RTEAINV(l_feature_name, 1305, Current, 0, 16401); RTSA(dtype); RTME(dtype, 0); RTIT("interface_coupled", Current); tb1 = '\01'; tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9338, dtype))(Current)).it_b); if (tb2) { tb2 = '\0'; tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9319, 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)) { tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9318, 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(8388, "implementation", tr1))(tr1)), (((up2x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up2x.it_r = RTBU(up2x))), (up2x.type = SK_POINTER), up2x.it_r); tb2 = RTCEQ(tr2, Current); } tb1 = tb2; } if (tb1) { RTCK; } else { RTCF; } RTIT("base_make_called", Current); tb1 = '\01'; tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9338, dtype))(Current)).it_b); if (tb2) { tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9329, dtype))(Current)).it_b); tb1 = tb2; } if (tb1) { RTCK; } else { RTCF; } RTLO(2); RTMD(0); RTLE; RTEE; #undef up1 #undef up2 }
/* {EV_HORIZONTAL_SEPARATOR_IMP}.old_make */ void F1434_14228 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x) { GTCX char *l_feature_name = "old_make"; 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; RTCDT; RTSN; RTDA; RTLD; RTLI(4); RTLR(0,arg1); RTLR(1,ur1); RTLR(2,Current); RTLR(3,tr1); RTLU (SK_VOID, NULL); RTLU(SK_REF,&arg1); RTLU (SK_REF, &Current); RTEAA(l_feature_name, 1433, Current, 0, 1, 19654); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(1433, Current, 19654); RTCC(arg1, 1433, l_feature_name, 1, RTWCT(9319, dtype, Dftype(Current))); RTIV(Current, RTAL); if ((RTAL & CK_REQUIRE) || RTAC) { RTHOOK(1); RTCT("an_interface_not_void", EX_PRE); RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1); RTCK; RTJB; label_1: RTCF; } body:; RTHOOK(2); ur1 = RTCCL(arg1); (FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(9312, dtype))(Current, ur1x); if (RTAL & CK_ENSURE) { RTHOOK(3); RTCT("interface_assigned", EX_POST); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9319, 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; } RTHOOK(4); RTCT("base_make_called", EX_POST); tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9329, dtype))(Current)).it_b); if (tb1) { RTCK; } else { RTCF; } } RTVI(Current, RTAL); RTRS; RTHOOK(5); RTDBGLE; RTMD(0); RTLE; RTLO(3); RTEE; #undef up1 #undef ur1 #undef arg1 }
/* {EV_ANY_I}.set_interface */ void F1306_12147 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x) { GTCX char *l_feature_name = "set_interface"; 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, 1305, Current, 0, 1, 18051); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(1305, Current, 18051); RTCC(arg1, 1305, l_feature_name, 1, eif_attached_type(RTWCT(9319, dtype, Dftype(Current)))); RTIV(Current, RTAL); if (RTAL & CK_CHECK) { RTHOOK(1); RTCT("called_by_replace_implementation_only", EX_CHECK); RTCF; } RTHOOK(2); RTDBGAA(Current, dtype, 9319, 0xF80004B4, 0); /* interface */ RTAR(Current, arg1); *(EIF_REFERENCE *)(Current + RTWA(9319, dtype)) = (EIF_REFERENCE) RTCCL(arg1); if (RTAL & CK_ENSURE) { RTHOOK(3); RTCT("interface_assigned", EX_POST); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9319, 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 }
/* {WSF_ROUTER_SELF_DOCUMENTATION_HANDLER}.make */ void F268_11463 (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; 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, 267, Current, 0, 1, 4316); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(267, Current, 4316); if (arg1) { RTCC(arg1, 267, l_feature_name, 1, 318); } RTIV(Current, RTAL); if ((RTAL & CK_REQUIRE) || RTAC) { RTHOOK(1); RTCT("a_router_attached", EX_PRE); RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1); RTCK; RTJB; label_1: RTCF; } body:; RTHOOK(2); RTDBGAA(Current, dtype, 10675, 0xF800013E, 0); /* router */ RTAR(Current, arg1); *(EIF_REFERENCE *)(Current + RTWA(10675, dtype)) = (EIF_REFERENCE) RTCCL(arg1); if (RTAL & CK_ENSURE) { RTHOOK(3); RTCT("router_aliased", EX_POST); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(10675, 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; } RTHOOK(4); RTCT("not_hidden", EX_POST); tb1 = *(EIF_BOOLEAN *)(Current + RTWA(10677, dtype)); if ((EIF_BOOLEAN) !tb1) { RTCK; } else { RTCF; } } RTVI(Current, RTAL); RTRS; RTHOOK(5); RTDBGLE; RTMD(0); RTLE; RTLO(3); RTEE; #undef up1 #undef arg1 }
/* {EV_DOCKABLE_SOURCE}.real_source */ EIF_TYPED_VALUE F1223_11152 (EIF_REFERENCE Current) { GTCX char *l_feature_name = "real_source"; 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_REFERENCE tr1 = NULL; EIF_REFERENCE tr2 = NULL; EIF_BOOLEAN tb1; EIF_REFERENCE Result = ((EIF_REFERENCE) 0); RTCDT; RTSN; RTDA; RTLD; RTLI(4); RTLR(0,Current); RTLR(1,tr1); RTLR(2,tr2); RTLR(3,Result); RTLU (SK_REF, &Result); RTLU (SK_REF, &Current); RTEAA(l_feature_name, 1222, Current, 0, 0, 17057); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(1222, Current, 17057); 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, 0xF80004C6, 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(10002, "real_source", 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); 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(10002, "real_source", tr1))(tr1)), (((up2x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up2x.it_r = RTBU(up2x))), (up2x.type = SK_POINTER), up2x.it_r); if (RTCEQ(Result, tr2)) { 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 }
/* {STRING_ITERATION_CURSOR}.make_from_substring */ void F169_2989 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x, EIF_TYPED_VALUE arg2x, EIF_TYPED_VALUE arg3x) { GTCX char *l_feature_name = "make_from_substring"; RTEX; #define arg1 arg1x.it_r #define arg2 arg2x.it_i4 #define arg3 arg3x.it_i4 EIF_TYPED_VALUE up1x = {{0}, SK_POINTER}; #define up1 up1x.it_p EIF_REFERENCE tr1 = NULL; EIF_INTEGER_32 ti4_1; EIF_INTEGER_32 ti4_2; RTCDT; RTSN; RTDA; RTLD; 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(3); RTLR(0,arg1); RTLR(1,Current); RTLR(2,tr1); RTLU (SK_VOID, NULL); RTLU(SK_REF,&arg1); RTLU(SK_INT32,&arg2); RTLU(SK_INT32,&arg3); RTLU (SK_REF, &Current); RTEAA(l_feature_name, 168, Current, 0, 3, 3508); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(168, Current, 3508); RTCC(arg1, 168, l_feature_name, 1, RTWCT(2512, dtype, Dftype(Current))); RTIV(Current, RTAL); if ((RTAL & CK_REQUIRE) || RTAC) { RTHOOK(1); RTCT("s_attached", EX_PRE); RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1); RTCK; RTHOOK(2); RTCT("start_position_big_enough", EX_PRE); RTTE((EIF_BOOLEAN) (arg2 >= ((EIF_INTEGER_32) 1L)), label_1); RTCK; RTHOOK(3); RTCT("end_position_big_enough", EX_PRE); RTTE((EIF_BOOLEAN) (arg2 <= (EIF_INTEGER_32) (arg3 + ((EIF_INTEGER_32) 1L))), label_1); RTCK; RTJB; label_1: RTCF; } body:; RTHOOK(4); RTDBGAA(Current, dtype, 2512, 0xF80000DC, 0); /* target */ RTAR(Current, arg1); *(EIF_REFERENCE *)(Current + RTWA(2512, dtype)) = (EIF_REFERENCE) RTCCL(arg1); RTHOOK(5); RTDBGAA(Current, dtype, 2513, 0x10000000, 1); /* start_index */ *(EIF_INTEGER_32 *)(Current + RTWA(2513, dtype)) = (EIF_INTEGER_32) arg2; RTHOOK(6); RTDBGAA(Current, dtype, 2514, 0x10000000, 1); /* end_index */ *(EIF_INTEGER_32 *)(Current + RTWA(2514, dtype)) = (EIF_INTEGER_32) arg3; RTHOOK(7); RTDBGAA(Current, dtype, 2510, 0x10000000, 1); /* target_index */ ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(2513, dtype)); *(EIF_INTEGER_32 *)(Current + RTWA(2510, dtype)) = (EIF_INTEGER_32) ti4_1; if (RTAL & CK_ENSURE) { RTHOOK(8); RTCT("target_set", EX_POST); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(2512, 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; } RTHOOK(9); RTCT("starting_index_set", EX_POST); ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(2513, dtype)); if ((EIF_BOOLEAN)(ti4_1 == arg2)) { RTCK; } else { RTCF; } RTHOOK(10); RTCT("target_index_set", EX_POST); ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(2510, dtype)); ti4_2 = *(EIF_INTEGER_32 *)(Current + RTWA(2513, dtype)); if ((EIF_BOOLEAN)(ti4_1 == ti4_2)) { RTCK; } else { RTCF; } RTHOOK(11); RTCT("end_index_set", EX_POST); ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(2514, dtype)); if ((EIF_BOOLEAN)(ti4_1 == arg3)) { RTCK; } else { RTCF; } } RTVI(Current, RTAL); RTRS; RTHOOK(12); RTDBGLE; RTMD(0); RTLE; RTLO(5); RTEE; #undef up1 #undef arg3 #undef arg2 #undef arg1 }
/* {ES_BOOLEAN_TEST_CASE}.make */ void F899_7300 (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_REFERENCE tr1 = NULL; RTCDT; RTSN; RTDA; RTLD; RTLI(4); RTLR(0,arg1); RTLR(1,arg2); RTLR(2,Current); RTLR(3,tr1); RTLU (SK_VOID, NULL); RTLU(SK_REF,&arg1); RTLU(SK_REF,&arg2); RTLU (SK_REF, &Current); RTEAA(l_feature_name, 898, Current, 0, 2, 12910); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(898, Current, 12910); RTCC(arg1, 898, l_feature_name, 1, eif_attached_type(219)); { static EIF_TYPE_INDEX typarr0[] = {273,0xFF11,0,0xFF11,0xFFF9,0,173,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(arg2, 898, l_feature_name, 2, eif_attached_type(typres0)); } RTIV(Current, RTAL); RTHOOK(1); RTDBGAA(Current, dtype, 5195, 0xF8000111, 0); /* case */ RTAR(Current, arg2); *(EIF_REFERENCE *)(Current + RTWA(5195, dtype)) = (EIF_REFERENCE) RTCCL(arg2); RTHOOK(2); RTDBGAA(Current, dtype, 5191, 0xF80000DB, 0); /* case_name */ RTAR(Current, arg1); *(EIF_REFERENCE *)(Current + RTWA(5191, dtype)) = (EIF_REFERENCE) RTCCL(arg1); RTHOOK(3); RTDBGAA(Current, dtype, 5193, 0xF80000DB, 0); /* violation_tag */ tr1 = RTMS_EX_H("",0,0); RTAR(Current, tr1); *(EIF_REFERENCE *)(Current + RTWA(5193, dtype)) = (EIF_REFERENCE) tr1; RTHOOK(4); RTDBGAA(Current, dtype, 5192, 0xF80000DB, 0); /* bookmark_name */ tr1 = RTMS_EX_H("",0,0); RTAR(Current, tr1); *(EIF_REFERENCE *)(Current + RTWA(5192, dtype)) = (EIF_REFERENCE) tr1; if (RTAL & CK_ENSURE) { RTHOOK(5); RTCT("make_post_case", EX_POST); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5195, 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, arg2)) { RTCK; } else { RTCF; } RTHOOK(6); RTCT("make_post_case_name", EX_POST); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5191, 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(7); RTDBGLE; RTMD(0); RTLE; RTLO(4); RTEE; #undef up1 #undef arg2 #undef arg1 }
/* {LIST}.is_equal */ EIF_TYPED_VALUE F258_3145 (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 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 tr4 = NULL; 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; EIF_BOOLEAN tb4; EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0); RTCDT; RTSN; RTDA; RTLD; RTLI(9); RTLR(0,arg1); RTLR(1,Current); RTLR(2,tr1); RTLR(3,tr2); RTLR(4,loc1); RTLR(5,tr3); RTLR(6,loc2); RTLR(7,tr4); RTLR(8,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, 257, Current, 2, 1, 5495); RTSA(dtype); RTSC; RTME(dtype, 0); RTGC; RTDBGEAA(257, Current, 5495); RTCC(arg1, 257, 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(1380, 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(1380, "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(1363, dtype))(Current)).it_b); tb4 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(1363, "is_empty", arg1))(arg1)).it_b); if ((EIF_BOOLEAN)(tb3 == tb4)) { tb3 = *(EIF_BOOLEAN *)(Current + RTWA(1365, dtype)); tb4 = *(EIF_BOOLEAN *)(arg1 + RTVA(1365, "object_comparison", arg1)); tb2 = (EIF_BOOLEAN)(tb3 == tb4); } if (tb2) { ti4_3 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1392, dtype))(Current)).it_i4); ti4_4 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(1392, "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(1363, dtype))(Current)).it_b); tb1 = (EIF_BOOLEAN) !tb2; } if (tb1) { RTHOOK(6); tb1 = '\0'; tr3 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1435, 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(1435, "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(1373, dtype))(Current); RTHOOK(8); (FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(1373, "start", arg1))(arg1); for (;;) { RTHOOK(9); tb1 = '\01'; tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1384, dtype))(Current)).it_b); if (!tb2) { tb1 = (EIF_BOOLEAN) !Result; } if (tb1) break; RTHOOK(10); tb2 = *(EIF_BOOLEAN *)(Current + RTWA(1365, dtype)); if (tb2) { RTHOOK(11); RTDBGAL(Current, 0, 0x04000000, 1,0); /* Result */ tr3 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1418, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); tr4 = ((up2x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(1418, "item", arg1))(arg1)), (((up2x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up2x.it_r = RTBU(up2x))), (up2x.type = SK_POINTER), up2x.it_r); Result = (EIF_BOOLEAN) RTEQ(tr3, tr4); } else { RTHOOK(12); RTDBGAL(Current, 0, 0x04000000, 1,0); /* Result */ tr3 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1418, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); tr4 = ((up2x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(1418, "item", arg1))(arg1)), (((up2x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up2x.it_r = RTBU(up2x))), (up2x.type = SK_POINTER), up2x.it_r); Result = (EIF_BOOLEAN) RTCEQ(tr3, tr4); } RTHOOK(13); (FUNCTION_CAST(void, (EIF_REFERENCE)) RTWF(1386, dtype))(Current); RTHOOK(14); (FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(1386, "forth", arg1))(arg1); } RTHOOK(15); ur1 = RTCCL(loc1); (FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(1437, dtype))(Current, ur1x); RTHOOK(16); ur1 = RTCCL(loc2); (FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(1437, "go_to", arg1))(arg1, ur1x); } else { if (RTAL & CK_CHECK) { RTHOOK(17); RTCT("cursors_exist", EX_CHECK); RTCF; } } } else {