/* {EV_PIXMAP_IMP}.init_from_pixel_buffer */
void F1202_17195 (EIF_REFERENCE Current, EIF_REFERENCE arg1)
{
GTCX
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
EIF_POINTER tp1;
RTLD;
RTLI(3);
RTLR(0,loc1);
RTLR(1,arg1);
RTLR(2,Current);
RTGC;
loc1 = *(EIF_REFERENCE *)(RTCV(arg1) + _REFACS_1_);
loc1 = RTRV(eif_non_attached_type(1052), loc1);
RTCT0(NULL, EX_CHECK);
if ((EIF_BOOLEAN)(loc1 != NULL)) {
RTCK0;
} else {
RTCF0;
}
tp1 = *(EIF_POINTER *)(RTCV(loc1)+ _PTROFF_4_2_0_0_0_0_);
F1202_17209(Current, tp1);
RTLE;
}
/* {LINKED_STACK}.item */
EIF_REFERENCE F648_6062 (EIF_REFERENCE Current)
{
GTCX
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
EIF_REFERENCE tr1 = NULL;
EIF_REFERENCE Result = ((EIF_REFERENCE) 0);
RTCFDT;
RTLD;
RTLI(4);
RTLR(0,loc1);
RTLR(1,Current);
RTLR(2,tr1);
RTLR(3,Result);
RTGC;
RTCT0(NULL, EX_CHECK);
tr1 = *(EIF_REFERENCE *)(Current + O5147[Dtype(Current)-644]);
loc1 = tr1;
if (EIF_TEST(loc1)) {
RTCK0;
} else {
RTCF0;
}
Result = (FUNCTION_CAST(EIF_REFERENCE, (EIF_REFERENCE)) R3869[Dtype(loc1)-233])(RTCV(loc1));
RTLE;
return Result;
}
/* {EV_PIXMAP_IMP}.copy_pixmap */
void F1202_17208 (EIF_REFERENCE Current, EIF_REFERENCE arg1)
{
GTCX
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
EIF_POINTER tp1;
EIF_POINTER tp2;
EIF_INTEGER_32 ti4_1;
EIF_INTEGER_32 ti4_2;
RTLD;
RTLI(3);
RTLR(0,loc1);
RTLR(1,arg1);
RTLR(2,Current);
RTGC;
loc1 = *(EIF_REFERENCE *)(RTCV(arg1) + _REFACS_3_);
loc1 = RTRV(eif_non_attached_type(1201), loc1);
RTCT0(NULL, EX_CHECK);
if ((EIF_BOOLEAN)(loc1 != NULL)) {
RTCK0;
} else {
RTCF0;
}
tp1 = *(EIF_POINTER *)(RTCV(loc1)+ _PTROFF_46_11_12_3_0_5_);
tp2 = *(EIF_POINTER *)(RTCV(loc1)+ _PTROFF_46_11_12_3_0_4_);
ti4_1 = F1202_17199(RTCV(loc1));
ti4_2 = F1202_17200(RTCV(loc1));
F1202_17210(Current, tp1, tp2, ti4_1, ti4_2);
tp1 = *(EIF_POINTER *)(RTCV(loc1)+ _PTROFF_46_11_12_3_0_3_);
*(EIF_POINTER *)(Current+ _PTROFF_46_11_12_3_0_3_) = (EIF_POINTER) tp1;
RTLE;
}
/* {EV_NOTEBOOK_IMP}.select_item */
void F1106_14785 (EIF_REFERENCE Current, EIF_REFERENCE arg1)
{
GTCX
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
EIF_POINTER tp1;
EIF_POINTER tp2;
EIF_POINTER tp3;
EIF_INTEGER_32 ti4_1;
RTLD;
RTLI(3);
RTLR(0,loc1);
RTLR(1,arg1);
RTLR(2,Current);
RTGC;
loc1 = *(EIF_REFERENCE *)(RTCV(arg1) + O8345[Dtype(arg1)-929]);
loc1 = RTRV(eif_non_attached_type(1095), loc1);
RTCT0("an_item_has_implementation", EX_CHECK);
if ((EIF_BOOLEAN)(loc1 != NULL)) {
RTCK0;
} else {
RTCF0;
}
tp1 = F1079_14146(Current);
tp2 = F1079_14146(Current);
tp3 = *(EIF_POINTER *)(RTCV(loc1) + O10979[Dtype(loc1)-1078]);
ti4_1 = (EIF_INTEGER_32) gtk_notebook_page_num((GtkNotebook*) tp2, (GtkWidget*) tp3);
gtk_notebook_set_page((GtkNotebook*) tp1, (gint) ti4_1);
RTLE;
}
/* {EV_WIDGET_LIST_IMP}.insert_i_th */
void F1105_14769 (EIF_REFERENCE Current, EIF_REFERENCE arg1, EIF_INTEGER_32 arg2)
{
GTCX
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
EIF_POINTER tp1;
EIF_POINTER tp2;
EIF_REFERENCE tr1 = NULL;
RTCDT;
RTLD;
RTLI(4);
RTLR(0,loc1);
RTLR(1,arg1);
RTLR(2,Current);
RTLR(3,tr1);
RTGC;
loc1 = *(EIF_REFERENCE *)(RTCV(arg1) + O8345[Dtype(arg1)-929]);
loc1 = RTRV(eif_non_attached_type(1095), loc1);
RTCT0(NULL, EX_CHECK);
if ((EIF_BOOLEAN)(loc1 != NULL)) {
RTCK0;
} else {
RTCF0;
}
if ((EIF_BOOLEAN)(loc1 != NULL)) {
tp1 = F1105_14771(Current);
tp2 = *(EIF_POINTER *)(RTCV(loc1) + O10979[Dtype(loc1)-1078]);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_POINTER, EIF_POINTER, EIF_INTEGER_32)) R11391[dtype-1097])(Current, tp1, tp2, (EIF_INTEGER_32) (arg2 - ((EIF_INTEGER_32) 1L)));
tr1 = *(EIF_REFERENCE *)(Current + O10727[dtype-1057]);
F701_6613(RTCV(tr1), arg2);
tr1 = *(EIF_REFERENCE *)(Current + O10727[dtype-1057]);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_REFERENCE)) R5092[Dtype(tr1)-700])(RTCV(tr1), arg1);
F1098_14671(Current, loc1);
}
/* {EV_DYNAMIC_LIST_I}.go_to */
void F1057_13806 (EIF_REFERENCE Current, EIF_REFERENCE arg1)
{
GTCX
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
EIF_REFERENCE loc2 = (EIF_REFERENCE) 0;
EIF_REFERENCE tr1 = NULL;
EIF_INTEGER_32 ti4_1;
EIF_BOOLEAN tb1;
RTCFDT;
RTCDT;
RTLD;
RTLI(5);
RTLR(0,loc1);
RTLR(1,Current);
RTLR(2,arg1);
RTLR(3,loc2);
RTLR(4,tr1);
RTGC;
{
static EIF_TYPE_INDEX typarr0[] = {685,0,0xFFFF};
EIF_TYPE_INDEX typres0;
typarr0[1] = eif_final_id(Y10726,Y10726_gen_type,dftype,1056);
typres0 = eif_compound_id(dftype, typarr0);
loc1 = arg1;
loc1 = RTRV(eif_non_attached_type(typres0), loc1);
}
RTCT0("dlc_not_void", EX_CHECK);
if ((EIF_BOOLEAN)(loc1 != NULL)) {
RTCK0;
} else {
RTCF0;
}
tb1 = *(EIF_BOOLEAN *)(RTCV(loc1)+ _CHROFF_1_0_);
if (tb1) {
ti4_1 = (FUNCTION_CAST(EIF_INTEGER_32, (EIF_REFERENCE)) R10701[dtype-1057])(Current);
*(EIF_INTEGER_32 *)(Current + O10693[dtype-1056]) = (EIF_INTEGER_32) (EIF_INTEGER_32) (ti4_1 + ((EIF_INTEGER_32) 1L));
} else {
tb1 = *(EIF_BOOLEAN *)(RTCV(loc1)+ _CHROFF_1_1_);
if (tb1) {
*(EIF_INTEGER_32 *)(Current + O10693[dtype-1056]) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 0L);
} else {
tr1 = *(EIF_REFERENCE *)(RTCV(loc1));
loc2 = tr1;
if (EIF_TEST(loc2)) {
ti4_1 = F1057_13796(Current, loc2, ((EIF_INTEGER_32) 1L));
*(EIF_INTEGER_32 *)(Current + O10693[dtype-1056]) = (EIF_INTEGER_32) ti4_1;
} else {
}
}
}
RTLE;
}
/* {EV_SHARED_APPLICATION}.process_events_and_idle */
void F1056_9527 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "process_events_and_idle";
RTEX;
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_REFERENCE tr1 = NULL;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(3);
RTLR(0,loc1);
RTLR(1,Current);
RTLR(2,tr1);
RTLU (SK_VOID, NULL);
RTLU (SK_REF, &Current);
RTLU(SK_REF, &loc1);
RTEAA(l_feature_name, 1055, Current, 1, 0, 15021);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(1055, Current, 15021);
RTIV(Current, RTAL);
RTHOOK(1);
RTCT0(NULL, EX_CHECK);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(7300, 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_TRUE)) {
RTCK0;
} else {
RTCF0;
}
RTHOOK(2);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(8596, "process_events", loc1))(loc1);
RTVI(Current, RTAL);
RTRS;
RTHOOK(3);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(3);
RTEE;
#undef up1
}
/* {SED_TYPE_MISMATCH}.attribute_info */
EIF_TYPED_VALUE F12_95 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "attribute_info";
RTEX;
EIF_REFERENCE Result = ((EIF_REFERENCE) 0);
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(1);
RTLR(0,Current);
RTLU (SK_REF, &Result);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 11, Current, 0, 0, 95);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(11, Current, 95);
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("callable", EX_PRE);
RTTE((EIF_BOOLEAN) 0, label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(2);
RTCT0(NULL, EX_CHECK);
RTCF0;
RTVI(Current, RTAL);
RTRS;
RTHOOK(3);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(2);
RTEE;
{ EIF_TYPED_VALUE r; r.type = SK_REF; r.it_r = Result; return r; }
}
/* {EV_NOTEBOOK_IMP}.set_item_text */
void F1106_14790 (EIF_REFERENCE Current, EIF_REFERENCE arg1, EIF_REFERENCE arg2)
{
GTCX
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
EIF_REFERENCE loc2 = (EIF_REFERENCE) 0;
EIF_POINTER loc3 = (EIF_POINTER) 0;
EIF_POINTER loc4 = (EIF_POINTER) 0;
EIF_POINTER loc5 = (EIF_POINTER) 0;
EIF_POINTER loc6 = (EIF_POINTER) 0;
EIF_POINTER tp1;
EIF_POINTER tp2;
EIF_REFERENCE tr1 = NULL;
RTLD;
RTLI(6);
RTLR(0,loc1);
RTLR(1,arg1);
RTLR(2,loc2);
RTLR(3,tr1);
RTLR(4,arg2);
RTLR(5,Current);
RTGC;
loc1 = *(EIF_REFERENCE *)(RTCV(arg1) + O8345[Dtype(arg1)-929]);
loc1 = RTRV(eif_non_attached_type(1095), loc1);
RTCT0(NULL, EX_CHECK);
if ((EIF_BOOLEAN)(loc1 != NULL)) {
RTCK0;
} else {
RTCF0;
}
tr1 = RTLNS(780, 780, _OBJSIZ_0_1_0_1_0_1_0_0_);
F781_7428(RTCV(tr1), arg2);
loc2 = (EIF_REFERENCE) tr1;
tp1 = *(EIF_POINTER *)(RTCV(loc1) + O10979[Dtype(loc1)-1078]);
F1106_14788(Current, tp1);
tp1 = F1079_14146(Current);
tp2 = *(EIF_POINTER *)(RTCV(loc1) + O10979[Dtype(loc1)-1078]);
loc3 = (EIF_POINTER) gtk_notebook_get_tab_label((GtkNotebook*) tp1, (GtkWidget*) tp2);
loc4 = (EIF_POINTER) (((GtkBin *)loc3)->child);
loc5 = (EIF_POINTER) gtk_container_children((GtkContainer*) loc4);
loc6 = (EIF_POINTER) g_list_nth_data((GList*) loc5, (guint) ((EIF_INTEGER_32) 1L));
tp1 = *(EIF_POINTER *)(RTCV(loc2)+ _PTROFF_0_1_0_1_0_0_);
gtk_label_set_text((GtkLabel*) loc6, (gchar*) tp1);
g_list_free((GList*) loc5);
RTLE;
}
/* {EV_INTERMEDIARY_ROUTINES}.on_gauge_value_changed_intermediary */
void F790_8074 (EIF_REFERENCE Current, EIF_POINTER arg1)
{
GTCX
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
RTLD;
RTLI(1);
RTLR(0,loc1);
RTGC;
loc1 = (EIF_REFERENCE) c_ev_any_imp_get_eif_reference_from_object_id((GtkWidget*) arg1);
loc1 = RTRV(eif_non_attached_type(1155), loc1);
RTCT0(NULL, EX_CHECK);
if ((EIF_BOOLEAN)(loc1 != NULL)) {
RTCK0;
} else {
RTCF0;
}
F1156_16249(RTCV(loc1));
RTLE;
}
/* {EV_INTERMEDIARY_ROUTINES}.text_component_change_intermediary */
void F790_8077 (EIF_REFERENCE Current, EIF_POINTER arg1)
{
GTCX
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
RTLD;
RTLI(1);
RTLR(0,loc1);
RTGC;
loc1 = (EIF_REFERENCE) c_ev_any_imp_get_eif_reference_from_object_id((GtkWidget*) arg1);
loc1 = RTRV(eif_non_attached_type(1148), loc1);
RTCT0(NULL, EX_CHECK);
if ((EIF_BOOLEAN)(loc1 != NULL)) {
RTCK0;
} else {
RTCF0;
}
(FUNCTION_CAST(void, (EIF_REFERENCE)) R12245[Dtype(loc1)-1149])(RTCV(loc1));
RTLE;
}
/* {EV_INTERMEDIARY_ROUTINES}.on_notebook_page_switch_intermediary */
void F790_8072 (EIF_REFERENCE Current, EIF_POINTER arg1, EIF_NATURAL_32 arg2)
{
GTCX
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
EIF_INTEGER_32 ti4_1;
RTLD;
RTLI(1);
RTLR(0,loc1);
RTGC;
loc1 = (EIF_REFERENCE) c_ev_any_imp_get_eif_reference_from_object_id((GtkWidget*) arg1);
loc1 = RTRV(eif_non_attached_type(1105), loc1);
RTCT0(NULL, EX_CHECK);
if ((EIF_BOOLEAN)(loc1 != NULL)) {
RTCK0;
} else {
RTCF0;
}
ti4_1 = (EIF_INTEGER_32) arg2;
F1106_14792(RTCV(loc1), ti4_1);
RTLE;
}
/* {EV_NOTEBOOK_IMP}.set_item_pixmap */
void F1106_14791 (EIF_REFERENCE Current, EIF_REFERENCE arg1, EIF_REFERENCE arg2)
{
GTCX
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
EIF_POINTER loc2 = (EIF_POINTER) 0;
EIF_POINTER loc3 = (EIF_POINTER) 0;
EIF_POINTER loc4 = (EIF_POINTER) 0;
EIF_POINTER loc5 = (EIF_POINTER) 0;
EIF_POINTER loc6 = (EIF_POINTER) 0;
EIF_REFERENCE loc7 = (EIF_REFERENCE) 0;
EIF_POINTER tp1;
EIF_POINTER tp2;
RTLD;
RTLI(5);
RTLR(0,loc1);
RTLR(1,arg1);
RTLR(2,Current);
RTLR(3,arg2);
RTLR(4,loc7);
RTGC;
loc1 = *(EIF_REFERENCE *)(RTCV(arg1) + O8345[Dtype(arg1)-929]);
loc1 = RTRV(eif_non_attached_type(1095), loc1);
RTCT0(NULL, EX_CHECK);
if ((EIF_BOOLEAN)(loc1 != NULL)) {
RTCK0;
} else {
RTCF0;
}
tp1 = *(EIF_POINTER *)(RTCV(loc1) + O10979[Dtype(loc1)-1078]);
F1106_14788(Current, tp1);
tp1 = F1079_14146(Current);
tp2 = *(EIF_POINTER *)(RTCV(loc1) + O10979[Dtype(loc1)-1078]);
loc2 = (EIF_POINTER) gtk_notebook_get_tab_label((GtkNotebook*) tp1, (GtkWidget*) tp2);
loc3 = (EIF_POINTER) (((GtkBin *)loc2)->child);
loc5 = (EIF_POINTER) gtk_container_children((GtkContainer*) loc3);
loc4 = (EIF_POINTER) g_list_nth_data((GList*) loc5, (guint) ((EIF_INTEGER_32) 0L));
g_list_free((GList*) loc5);
if ((EIF_BOOLEAN)(arg2 != NULL)) {
loc7 = *(EIF_REFERENCE *)(RTCV(arg2) + _REFACS_3_);
loc7 = RTRV(eif_non_attached_type(1201), loc7);
RTCT0(NULL, EX_CHECK);
if ((EIF_BOOLEAN)(loc7 != NULL)) {
RTCK0;
} else {
RTCF0;
}
loc6 = F1198_17067(RTCV(loc7), *(EIF_INTEGER_32 *)(Current+ _LNGOFF_47_10_10_3_), *(EIF_INTEGER_32 *)(Current+ _LNGOFF_47_10_10_4_));
gtk_image_set_from_pixbuf((GtkImage*) loc4, (GdkPixbuf*) loc6);
} else {
{
/* INLINED CODE (default_pointer) */
tp1 = (EIF_POINTER) 0;
/* END INLINED CODE */
}
tp2 = tp1;
gtk_image_set_from_pixbuf((GtkImage*) loc4, (GdkPixbuf*) tp2);
}
RTLE;
}
/* {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
}
/* {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
}
/* {EV_NOTEBOOK_IMP}.item_text */
EIF_REFERENCE F1106_14779 (EIF_REFERENCE Current, EIF_REFERENCE arg1)
{
GTCX
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
EIF_POINTER loc2 = (EIF_POINTER) 0;
EIF_POINTER loc3 = (EIF_POINTER) 0;
EIF_POINTER loc4 = (EIF_POINTER) 0;
EIF_POINTER loc5 = (EIF_POINTER) 0;
EIF_REFERENCE loc6 = (EIF_REFERENCE) 0;
EIF_POINTER tp1;
EIF_POINTER tp2;
EIF_REFERENCE tr1 = NULL;
RTLD;
RTLI(5);
RTLR(0,loc1);
RTLR(1,arg1);
RTLR(2,Current);
RTLR(3,loc6);
RTLR(4,tr1);
RTGC;
loc1 = *(EIF_REFERENCE *)(RTCV(arg1) + O8345[Dtype(arg1)-929]);
loc1 = RTRV(eif_non_attached_type(1095), loc1);
RTCT0(NULL, EX_CHECK);
if ((EIF_BOOLEAN)(loc1 != NULL)) {
RTCK0;
} else {
RTCF0;
}
tp1 = F1079_14146(Current);
tp2 = *(EIF_POINTER *)(RTCV(loc1) + O10979[Dtype(loc1)-1078]);
loc2 = (EIF_POINTER) gtk_notebook_get_tab_label((GtkNotebook*) tp1, (GtkWidget*) tp2);
{
/* INLINED CODE (default_pointer) */
tp1 = (EIF_POINTER) 0;
/* END INLINED CODE */
}
if ((EIF_BOOLEAN)(loc2 != tp1)) {
loc3 = (EIF_POINTER) (((GtkBin *)loc2)->child);
loc4 = (EIF_POINTER) gtk_container_children((GtkContainer*) loc3);
loc5 = (EIF_POINTER) g_list_nth_data((GList*) loc4, (guint) ((EIF_INTEGER_32) 1L));
g_list_free((GList*) loc4);
}
{
/* INLINED CODE (default_pointer) */
tp1 = (EIF_POINTER) 0;
/* END INLINED CODE */
}
if ((EIF_BOOLEAN)(loc5 != tp1)) {
tr1 = RTLNS(780, 780, _OBJSIZ_0_1_0_1_0_1_0_0_);
tp1 = (EIF_POINTER) (((GtkLabel *)loc5)->label);
F781_7430(RTCV(tr1), tp1);
loc6 = (EIF_REFERENCE) tr1;
tr1 = F781_7426(RTCV(loc6));
RTLE;
return (EIF_REFERENCE) tr1;
} else {
tr1 = RTLNS(925, 925, _OBJSIZ_1_1_0_3_0_0_0_0_);
F920_10235(RTCV(tr1));
RTLE;
return (EIF_REFERENCE) tr1;
}/* NOTREACHED */
}
/* {EV_NOTEBOOK_IMP}.item_pixmap */
EIF_REFERENCE F1106_14780 (EIF_REFERENCE Current, EIF_REFERENCE arg1)
{
GTCX
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
EIF_POINTER loc2 = (EIF_POINTER) 0;
EIF_POINTER loc3 = (EIF_POINTER) 0;
EIF_POINTER loc4 = (EIF_POINTER) 0;
EIF_POINTER loc5 = (EIF_POINTER) 0;
EIF_POINTER loc6 = (EIF_POINTER) 0;
EIF_REFERENCE loc7 = (EIF_REFERENCE) 0;
EIF_POINTER tp1;
EIF_POINTER tp2;
EIF_REFERENCE tr1 = NULL;
EIF_REFERENCE Result = ((EIF_REFERENCE) 0);
RTLD;
RTLI(6);
RTLR(0,loc1);
RTLR(1,arg1);
RTLR(2,Current);
RTLR(3,tr1);
RTLR(4,Result);
RTLR(5,loc7);
RTGC;
loc1 = *(EIF_REFERENCE *)(RTCV(arg1) + O8345[Dtype(arg1)-929]);
loc1 = RTRV(eif_non_attached_type(1095), loc1);
RTCT0(NULL, EX_CHECK);
if ((EIF_BOOLEAN)(loc1 != NULL)) {
RTCK0;
} else {
RTCF0;
}
tp1 = F1079_14146(Current);
tp2 = *(EIF_POINTER *)(RTCV(loc1) + O10979[Dtype(loc1)-1078]);
loc2 = (EIF_POINTER) gtk_notebook_get_tab_label((GtkNotebook*) tp1, (GtkWidget*) tp2);
{
/* INLINED CODE (default_pointer) */
tp1 = (EIF_POINTER) 0;
/* END INLINED CODE */
}
if ((EIF_BOOLEAN)(loc2 != tp1)) {
loc3 = (EIF_POINTER) (((GtkBin *)loc2)->child);
loc4 = (EIF_POINTER) gtk_container_children((GtkContainer*) loc3);
loc5 = (EIF_POINTER) g_list_nth_data((GList*) loc4, (guint) ((EIF_INTEGER_32) 0L));
g_list_free((GList*) loc4);
loc6 = (EIF_POINTER) gtk_image_get_pixbuf((GtkImage*) loc5);
{
/* INLINED CODE (default_pointer) */
tp1 = (EIF_POINTER) 0;
/* END INLINED CODE */
}
if ((EIF_BOOLEAN)(loc6 != tp1)) {
tr1 = RTLNS(989, 989, _OBJSIZ_6_3_0_1_0_0_0_0_);
F930_10736(RTCV(tr1));
Result = (EIF_REFERENCE) tr1;
loc7 = *(EIF_REFERENCE *)(RTCV(Result) + _REFACS_3_);
loc7 = RTRV(eif_non_attached_type(1201), loc7);
RTCT0(NULL, EX_CHECK);
if ((EIF_BOOLEAN)(loc7 != NULL)) {
RTCK0;
} else {
RTCF0;
}
F1202_17209(RTCV(loc7), loc6);
}
}
RTLE;
return Result;
}
/* {ETF_GUI_ROOT_INTERFACE}.make */
void F945_8754 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "make";
RTEX;
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_REFERENCE tr1 = NULL;
EIF_REFERENCE tr2 = NULL;
EIF_BOOLEAN tb1;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(4);
RTLR(0,Current);
RTLR(1,tr1);
RTLR(2,loc1);
RTLR(3,tr2);
RTLU (SK_VOID, NULL);
RTLU (SK_REF, &Current);
RTLU(SK_REF, &loc1);
RTEAA(l_feature_name, 944, Current, 1, 0, 14383);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(944, Current, 14383);
RTIV(Current, RTAL);
RTHOOK(1);
RTDBGAA(Current, dtype, 6667, 0xF80004C4, 0); /* gui */
tr1 = RTLNSMART(eif_non_attached_type(RTWCT(6667, dtype, Dftype(Current))));
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTWC(32, Dtype(tr1)))(tr1);
RTNHOOK(1,1);
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + RTWA(6667, dtype)) = (EIF_REFERENCE) RTCCL(tr1);
RTHOOK(2);
RTCT0(NULL, EX_CHECK);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(6667, 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);
tb1 = *(EIF_BOOLEAN *)(Current + RTWA(6668, dtype));
if (tb1) {
RTHOOK(4);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(8623, "main_window", loc1))(loc1)), (((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 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(8980, "history", tr1))(tr1)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(4,2);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(8822, "show", tr2))(tr2);
} else {
/* {LINKED_LIST_ITERATION_CURSOR}.item */
EIF_TYPED_VALUE F545_3075 (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_REFERENCE tr1 = NULL;
EIF_BOOLEAN tb1;
EIF_REFERENCE Result = ((EIF_REFERENCE) 0);
RTCFDT;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(4);
RTLR(0,Current);
RTLR(1,Result);
RTLR(2,loc1);
RTLR(3,tr1);
RTLU (SK_REF, &Result);
RTLU (SK_REF, &Current);
RTLU(SK_REF, &loc1);
RTEAA(l_feature_name, 544, Current, 1, 0, 3871);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(544, Current, 3871);
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("valid_position", EX_PRE);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1634, dtype))(Current)).it_b);
RTTE((EIF_BOOLEAN) !tb1, label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(2);
tb1 = *(EIF_BOOLEAN *)(Current + RTWA(2576, dtype));
if (tb1) {
RTHOOK(3);
RTDBGAL(Current, 0, 0xF8000000, 0,0); /* Result */
Result = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1633, 240))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
} else {
RTHOOK(4);
RTCT0("active_attached", EX_CHECK);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(2585, 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(5);
RTDBGAL(Current, 0, 0xF8000000, 0,0); /* Result */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(711, "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);
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(6);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(3);
RTEE;
{ EIF_TYPED_VALUE r; r.type = SK_REF; r.it_r = Result; return r; }
#undef up1
}
/* {EV_ITEM}.attached_parent */
EIF_TYPED_VALUE F1277_11905 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "attached_parent";
RTEX;
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_REFERENCE tr1 = NULL;
EIF_REFERENCE Result = ((EIF_REFERENCE) 0);
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(4);
RTLR(0,Current);
RTLR(1,tr1);
RTLR(2,loc1);
RTLR(3,Result);
RTLU (SK_REF, &Result);
RTLU (SK_REF, &Current);
RTLU(SK_REF, &loc1);
RTEAA(l_feature_name, 1276, Current, 1, 0, 17807);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(1276, Current, 17807);
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT(NULL, EX_PRE);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8566, 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;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(2);
RTDBGAL(Current, 1, 0xF8000603, 0, 0); /* loc1 */
loc1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8566, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTHOOK(3);
RTCT0(NULL, EX_CHECK);
if ((EIF_BOOLEAN)(loc1 != NULL)) {
RTCK0;
} else {
RTCF0;
}
RTHOOK(4);
RTDBGAL(Current, 0, 0xF8000603, 0,0); /* Result */
Result = (EIF_REFERENCE) RTCCL(loc1);
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
}
/* {EV_SHARED_APPLICATION}.ev_application */
EIF_TYPED_VALUE F1056_9526 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "ev_application";
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_REFERENCE Result = ((EIF_REFERENCE) 0);
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(5);
RTLR(0,Current);
RTLR(1,tr1);
RTLR(2,tr2);
RTLR(3,loc1);
RTLR(4,Result);
RTLU (SK_REF, &Result);
RTLU (SK_REF, &Current);
RTLU(SK_REF, &loc1);
RTEAA(l_feature_name, 1055, Current, 1, 0, 15020);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(1055, Current, 15020);
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("application_exists", EX_PRE);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(7302, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(1,1);
tr2 = ((up2x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(8541, "application", tr1))(tr1)), (((up2x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up2x.it_r = RTBU(up2x))), (up2x.type = SK_POINTER), up2x.it_r);
RTTE((EIF_BOOLEAN)(tr2 != NULL), label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(2);
RTCT0(NULL, EX_CHECK);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(7302, 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(8541, "application", tr1))(tr1)), (((up2x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up2x.it_r = RTBU(up2x))), (up2x.type = SK_POINTER), up2x.it_r);
loc1 = RTCCL(tr2);
if (EIF_TEST(loc1)) {
RTCK0;
} else {
RTCF0;
}
RTHOOK(3);
RTDBGAL(Current, 0, 0xF80004C3, 0,0); /* Result */
Result = (EIF_REFERENCE) RTCCL(loc1);
RTVI(Current, RTAL);
RTRS;
RTHOOK(4);
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
}
void F1050_9490 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "run";
RTEX;
RTED;
EIF_BOOLEAN EIF_VOLATILE loc1 = (EIF_BOOLEAN) 0;
EIF_REFERENCE EIF_VOLATILE loc2 = (EIF_REFERENCE) 0;
EIF_REFERENCE EIF_VOLATILE loc3 = (EIF_REFERENCE) 0;
EIF_REFERENCE EIF_VOLATILE saved_except = (EIF_REFERENCE) 0;
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
#define ur1 ur1x.it_r
EIF_REFERENCE EIF_VOLATILE tr1 = NULL;
EIF_INTEGER_32 EIF_VOLATILE ti4_1;
EIF_BOOLEAN EIF_VOLATILE tb1;
RTCFDT;
RTCDT;
RTSN;
RTDA;
RTDT;
RTXD;
RTLXD;
RTXI(6);
RTLR(0,loc2);
RTLR(1,Current);
RTLR(2,tr1);
RTLR(3,ur1);
RTLR(4,loc3);
RTLR(5,saved_except);
RTLU (SK_VOID, NULL);
RTLU (SK_REF, &Current);
RTLU(SK_BOOL, &loc1);
RTLU(SK_REF, &loc2);
RTLU(SK_REF, &loc3);
RTLXL;
RTEAA(l_feature_name, 1049, Current, 3, 0, 14984);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(1049, Current, 14984);
RTIV(Current, RTAL);
RTE_T
RTHOOK(1);
if ((EIF_BOOLEAN) !loc1) {
RTHOOK(2);
RTCT0(NULL, EX_CHECK);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(7269, 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(tr1);
if ((EIF_TRUE)) {
RTCK0;
} else {
RTCF0;
}
RTHOOK(3);
{
static EIF_TYPE_INDEX typarr0[] = {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, typarr0)));
tr1 = RTLNTS(typres0, 1, 1);
}
ur1 = tr1;
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4323, "item", loc2))(loc2, ur1x)).it_b);
if (tb1) {
RTHOOK(4);
RTDBGAA(Current, dtype, 7263, 0x04000000, 1); /* passed */
*(EIF_BOOLEAN *)(Current + RTWA(7263, dtype)) = (EIF_BOOLEAN) (EIF_BOOLEAN) 1;
}
}
RTVI(Current, RTAL);
RTRS;
RTE_E
RTLXE;
RTXS(6);
RTHOOK(5);
RTDBGAA(Current, dtype, 7264, 0x04000000, 1); /* contract_violated */
*(EIF_BOOLEAN *)(Current + RTWA(7264, dtype)) = (EIF_BOOLEAN) (EIF_BOOLEAN) 1;
RTHOOK(6);
RTCT0(NULL, EX_CHECK);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1236, 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(tr1);
if (EIF_TEST(loc3)) {
RTCK0;
} else {
RTCF0;
}
RTHOOK(7);
RTDBGAA(Current, dtype, 7267, 0xF80000DB, 0); /* violation_tag */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(17, "twin", loc3))(loc3)), (((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(7267, dtype)) = (EIF_REFERENCE) RTCCL(tr1);
RTHOOK(8);
RTDBGAA(Current, dtype, 7268, 0x10000000, 1); /* violation_type */
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1235, dtype))(Current)).it_i4);
*(EIF_INTEGER_32 *)(Current + RTWA(7268, dtype)) = (EIF_INTEGER_32) ti4_1;
RTHOOK(9);
RTDBGAL(Current, 1, 0x04000000, 1, 0); /* loc1 */
loc1 = (EIF_BOOLEAN) (EIF_BOOLEAN) 1;
RTHOOK(10);
RTTS;
RTPS;
RTER;
RTMD(0);
/* NOTREACHED */
RTE_EE
RTHOOK(11);
RTDBGLE;
RTMD(0);
RTEOK;
RTXE;
RTLO(5);
#undef up1
#undef ur1
}
/* {EQA_SYSTEM_TEST_SET}.compare_output */
void F893_7470 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "compare_output";
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 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_TYPED_VALUE ub1x = {{0}, SK_BOOL};
#define ub1 ub1x.it_b
EIF_REFERENCE tr1 = NULL;
EIF_REFERENCE tr2 = NULL;
EIF_REFERENCE tr3 = NULL;
EIF_BOOLEAN tb1;
EIF_BOOLEAN tb2;
EIF_BOOLEAN tb3;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(13);
RTLR(0,arg1);
RTLR(1,Current);
RTLR(2,tr1);
RTLR(3,loc2);
RTLR(4,loc3);
RTLR(5,loc4);
RTLR(6,loc5);
RTLR(7,loc1);
RTLR(8,tr2);
RTLR(9,tr3);
RTLR(10,ur1);
RTLR(11,ur2);
RTLR(12,ur3);
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, 892, Current, 5, 1, 12987);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(892, Current, 12987);
RTCC(arg1, 892, l_feature_name, 1, eif_attached_type(216));
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(892, 48, 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_exited", EX_PRE);
tb1 = '\0';
tb2 = '\0';
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(892, 48, 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(tr1);
if (EIF_TEST(loc2)) {
tb3 = *(EIF_BOOLEAN *)(loc2 + RTVA(886, 45, "is_launched", loc2));
tb2 = tb3;
}
if (tb2) {
tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(886, 46, "has_exited", loc2))(loc2)).it_b);
tb1 = tb2;
}
RTTE(tb1, label_1);
RTCK;
RTHOOK(3);
RTCT("current_execution_stored_output", EX_PRE);
tb1 = '\0';
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(892, 48, 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(tr1);
if (EIF_TEST(loc3)) {
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(886, 35, "output_file_name", loc3))(loc3)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
tb1 = (EIF_BOOLEAN)(tr1 != NULL);
}
RTTE(tb1, label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(4);
RTCT0(NULL, EX_CHECK);
tb1 = '\0';
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(892, 48, 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(tr1);
if (EIF_TEST(loc4)) {
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(886, 35, "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 = tr1;
tb1 = EIF_TEST(loc5);
}
if (tb1) {
RTCK0;
} else {
RTCF0;
}
RTHOOK(5);
RTDBGAL(Current, 1, 0xF8000365, 0, 0); /* loc1 */
tr1 = RTLN(869);
ui4_1 = ((EIF_INTEGER_32) 1L);
{
static EIF_TYPE_INDEX typarr0[] = {892,255,0xFF11,227,0xFFFF};
EIF_TYPE_INDEX typres0;
static EIF_TYPE_INDEX typcache0 = INVALID_DTYPE;
typres0 = (typcache0 != INVALID_DTYPE ? typcache0 : (typcache0 = eif_compound_id(Dftype(Current), 255, typarr0)));
tr3 = RTLNSP2(eif_non_attached_type(typres0),EO_REF,ui4_1,sizeof(EIF_REFERENCE), EIF_FALSE);
RT_SPECIAL_COUNT(tr3) = 1L;
memset(tr3, 0, RT_SPECIAL_VISIBLE_SIZE(tr3));
}
*((EIF_REFERENCE *)tr3+0) = (EIF_REFERENCE) loc5;
RTAR(tr3,loc5);
tr2 = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWPF(2, 8, Dtype(tr3)))(tr3).it_r;
ur1 = RTCCL(tr2);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWC(869, 32, Dtype(tr1)))(tr1, ur1x);
RTNHOOK(5,1);
loc1 = (EIF_REFERENCE) RTCCL(tr1);
RTHOOK(6);
tr1 = RTMS_EX_H("identical_output",16,274343540);
ur1 = tr1;
tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(892, 33, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(6,1);
ur2 = RTCCL(loc1);
ur3 = RTCCL(arg1);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTVF(871, 39, "has_same_content_as_string", tr2))(tr2, ur2x, ur3x)).it_b);
ub1 = tb1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTWF(892, 40, dtype))(Current, ur1x, ub1x);
RTVI(Current, RTAL);
RTRS;
RTHOOK(7);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(8);
RTEE;
#undef up1
#undef ur1
#undef ur2
#undef ur3
#undef ui4_1
#undef ub1
#undef arg1
}
/* {EV_ANY_I}.attached_interface */
EIF_TYPED_VALUE F1306_12130 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "attached_interface";
RTEX;
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_REFERENCE tr1 = NULL;
EIF_REFERENCE Result = ((EIF_REFERENCE) 0);
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(3);
RTLR(0,Current);
RTLR(1,tr1);
RTLR(2,Result);
RTLU (SK_REF, &Result);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 1305, Current, 0, 0, 18034);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(1305, Current, 18034);
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("interface_attached", EX_PRE);
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);
RTTE((EIF_BOOLEAN)(tr1 != NULL), label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(2);
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)) {
RTHOOK(3);
RTDBGAL(Current, 0, 0xF80004B4, 0,0); /* Result */
Result = ((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);
} else {
RTHOOK(4);
RTCT0(NULL, EX_CHECK);
RTCF0;
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(5);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(2);
RTEE;
{ EIF_TYPED_VALUE r; r.type = SK_REF; r.it_r = Result; return r; }
#undef up1
}
/* {EV_DOCKABLE_SOURCE}.source_has_current_recursive */
EIF_TYPED_VALUE F1223_11164 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "source_has_current_recursive";
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;
#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(8);
RTLR(0,arg1);
RTLR(1,Current);
RTLR(2,loc1);
RTLR(3,loc2);
RTLR(4,loc4);
RTLR(5,tr1);
RTLR(6,ur1);
RTLR(7,loc3);
RTLU (SK_BOOL, &Result);
RTLU(SK_REF,&arg1);
RTLU (SK_REF, &Current);
RTLU(SK_REF, &loc1);
RTLU(SK_REF, &loc2);
RTLU(SK_REF, &loc3);
RTLU(SK_REF, &loc4);
RTEAA(l_feature_name, 1222, Current, 4, 1, 17052);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(1222, Current, 17052);
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("source_not_void", EX_PRE);
RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(3);
RTDBGAL(Current, 1, 0xF80004D9, 0, 0); /* loc1 */
loc1 = RTCCL(Current);
loc1 = RTRV(eif_non_attached_type(1241), loc1);
RTHOOK(4);
if ((EIF_BOOLEAN)(loc1 == NULL)) {
RTHOOK(5);
RTDBGAL(Current, 2, 0xF8000501, 0, 0); /* loc2 */
loc2 = RTCCL(Current);
loc2 = RTRV(eif_non_attached_type(1281), loc2);
RTHOOK(6);
RTCT0(NULL, EX_CHECK);
if ((EIF_BOOLEAN)(loc2 != NULL)) {
RTCK0;
} else {
RTCF0;
}
RTHOOK(7);
RTDBGAL(Current, 4, 0xF800050D, 0, 0); /* loc4 */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(8566, "parent", loc2))(loc2)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
loc4 = RTCCL(tr1);
loc4 = RTRV(eif_non_attached_type(1293), loc4);
RTHOOK(8);
RTCT0(NULL, EX_CHECK);
if ((EIF_BOOLEAN)(loc4 != NULL)) {
RTCK0;
} else {
RTCF0;
}
RTHOOK(9);
RTDBGAL(Current, 0, 0x04000000, 1,0); /* Result */
ur1 = RTCCL(loc2);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(1692, "has", loc4))(loc4, ur1x)).it_b);
Result = (EIF_BOOLEAN) tb1;
RTHOOK(10);
if ((EIF_BOOLEAN) !Result) {
RTHOOK(11);
RTDBGAL(Current, 1, 0xF80004D9, 0, 0); /* loc1 */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(8566, "parent", loc2))(loc2)), (((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(12);
if ((EIF_BOOLEAN)(loc1 != NULL)) {
RTHOOK(13);
RTDBGAL(Current, 3, 0xF80004DA, 0, 0); /* loc3 */
loc3 = RTCCL(arg1);
loc3 = RTRV(eif_non_attached_type(1242), loc3);
RTHOOK(14);
RTCT0("source_is_a_container", EX_CHECK);
if ((EIF_BOOLEAN)(loc3 != NULL)) {
RTCK0;
} else {
RTCF0;
}
RTHOOK(15);
RTDBGAL(Current, 0, 0x04000000, 1,0); /* Result */
ur1 = RTCCL(loc1);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(8840, "has_recursive", loc3))(loc3, ur1x)).it_b);
Result = (EIF_BOOLEAN) tb1;
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(16);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(7);
RTEE;
{ EIF_TYPED_VALUE r; r.type = SK_BOOL; r.it_b = Result; return r; }
#undef up1
#undef ur1
#undef arg1
}
/* {ES_VIOLATION_CASE}.make_with_tag */
void F898_7296 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x, EIF_TYPED_VALUE arg2x, EIF_TYPED_VALUE arg3x)
{
GTCX
char *l_feature_name = "make_with_tag";
RTEX;
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
#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_REFERENCE tr1 = NULL;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(6);
RTLR(0,arg1);
RTLR(1,arg2);
RTLR(2,arg3);
RTLR(3,Current);
RTLR(4,tr1);
RTLR(5,loc1);
RTLU (SK_VOID, NULL);
RTLU(SK_REF,&arg1);
RTLU(SK_REF,&arg2);
RTLU(SK_REF,&arg3);
RTLU (SK_REF, &Current);
RTLU(SK_REF, &loc1);
RTEAA(l_feature_name, 897, Current, 1, 3, 12906);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(897, Current, 12906);
RTCC(arg1, 897, l_feature_name, 1, eif_attached_type(219));
{
static EIF_TYPE_INDEX typarr0[] = {241,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, 897, l_feature_name, 2, eif_attached_type(typres0));
}
RTCC(arg3, 897, l_feature_name, 3, eif_attached_type(219));
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("make_pre_c", EX_PRE);
RTTE((EIF_BOOLEAN)(arg2 != NULL), label_1);
RTCK;
RTHOOK(2);
RTCT("make_pre_name", EX_PRE);
RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(3);
RTDBGAA(Current, dtype, 5195, 0xF80000F1, 0); /* case */
RTAR(Current, arg2);
*(EIF_REFERENCE *)(Current + RTWA(5195, dtype)) = (EIF_REFERENCE) RTCCL(arg2);
RTHOOK(4);
RTDBGAA(Current, dtype, 5191, 0xF80000DB, 0); /* case_name */
RTAR(Current, arg1);
*(EIF_REFERENCE *)(Current + RTWA(5191, dtype)) = (EIF_REFERENCE) RTCCL(arg1);
RTHOOK(5);
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(6);
RTCT0(NULL, EX_CHECK);
loc1 = RTCCL(arg3);
if ((EIF_TRUE)) {
RTCK0;
} else {
RTCF0;
}
RTHOOK(7);
RTDBGAA(Current, dtype, 5197, 0xF80000DB, 0); /* expected_tag_name */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(17, "twin", loc1))(loc1)), (((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(5197, dtype)) = (EIF_REFERENCE) RTCCL(tr1);
RTHOOK(8);
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;
RTVI(Current, RTAL);
RTRS;
RTHOOK(9);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(6);
RTEE;
#undef up1
#undef arg3
#undef arg2
#undef arg1
}
/* {ES_HTML_GEN_SUITE}.get_statistics */
void F878_7143 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "get_statistics";
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;
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_REFERENCE tr1 = NULL;
EIF_INTEGER_32 ti4_1;
EIF_BOOLEAN tb1;
EIF_BOOLEAN tb2;
EIF_BOOLEAN tb3;
RTCFDT;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(7);
RTLR(0,loc2);
RTLR(1,Current);
RTLR(2,tr1);
RTLR(3,loc1);
RTLR(4,loc3);
RTLR(5,loc4);
RTLR(6,loc5);
RTLU (SK_VOID, NULL);
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, 877, Current, 5, 0, 12774);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(877, Current, 12774);
RTIV(Current, RTAL);
RTHOOK(1);
RTCT0(NULL, EX_CHECK);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5058, 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(tr1);
if ((EIF_TRUE)) {
RTCK0;
} else {
RTCF0;
}
RTHOOK(2);
RTDBGAA(Current, dtype, 5050, 0x10000000, 1); /* number_of_boolean */
*(EIF_INTEGER_32 *)(Current + RTWA(5050, dtype)) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 0L);
RTHOOK(3);
RTDBGAA(Current, dtype, 5051, 0x10000000, 1); /* number_passed_boolean */
*(EIF_INTEGER_32 *)(Current + RTWA(5051, dtype)) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 0L);
RTHOOK(4);
RTDBGAA(Current, dtype, 5052, 0x10000000, 1); /* number_of_violation */
*(EIF_INTEGER_32 *)(Current + RTWA(5052, dtype)) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 0L);
RTHOOK(5);
RTDBGAA(Current, dtype, 5053, 0x10000000, 1); /* number_passed_violation */
*(EIF_INTEGER_32 *)(Current + RTWA(5053, dtype)) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 0L);
RTHOOK(6);
RTDBGAA(Current, dtype, 5054, 0x10000000, 1); /* number_of_tests */
*(EIF_INTEGER_32 *)(Current + RTWA(5054, dtype)) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 0L);
RTHOOK(7);
RTDBGAA(Current, dtype, 5055, 0x10000000, 1); /* number_passed_tests */
*(EIF_INTEGER_32 *)(Current + RTWA(5055, dtype)) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 0L);
RTHOOK(8);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(1774, "start", loc2))(loc2);
for (;;) {
RTHOOK(9);
tb1 = *(EIF_BOOLEAN *)(loc2 + RTVA(2554, "after", loc2));
if (tb1) break;
RTHOOK(10);
RTDBGAL(Current, 1, 0xF800037D, 0, 0); /* loc1 */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(1741, "item", loc2))(loc2)), (((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(11);
RTCT0(NULL, EX_CHECK);
loc3 = RTCCL(loc1);
if ((EIF_TRUE)) {
RTCK0;
} else {
RTCF0;
}
RTHOOK(12);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(5190, "cases", loc3))(loc3)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
loc4 = RTCCL(tr1);
if (EIF_TEST(loc4)) {
RTHOOK(13);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(1774, "start", loc4))(loc4);
for (;;) {
RTHOOK(14);
tb2 = *(EIF_BOOLEAN *)(loc4 + RTVA(2554, "after", loc4));
if (tb2) break;
RTHOOK(15);
RTCT0(NULL, EX_CHECK);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(1741, "item", loc4))(loc4)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
loc5 = RTCCL(tr1);
if ((EIF_TRUE)) {
RTCK0;
} else {
RTCF0;
}
RTHOOK(16);
tb3 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(5207, "is_violation_case", loc5))(loc5)).it_b);
if (tb3) {
RTHOOK(17);
tb3 = *(EIF_BOOLEAN *)(loc5 + RTVA(5210, "passed", loc5));
if (tb3) {
RTHOOK(18);
RTDBGAA(Current, dtype, 5053, 0x10000000, 1); /* number_passed_violation */
(*(EIF_INTEGER_32 *)(Current + RTWA(5053, dtype)))++;
RTHOOK(19);
RTDBGAA(Current, dtype, 5055, 0x10000000, 1); /* number_passed_tests */
(*(EIF_INTEGER_32 *)(Current + RTWA(5055, dtype)))++;
}
RTHOOK(20);
RTDBGAA(Current, dtype, 5052, 0x10000000, 1); /* number_of_violation */
(*(EIF_INTEGER_32 *)(Current + RTWA(5052, dtype)))++;
} else {
RTHOOK(21);
tb3 = *(EIF_BOOLEAN *)(loc5 + RTVA(5210, "passed", loc5));
if (tb3) {
RTHOOK(22);
RTDBGAA(Current, dtype, 5051, 0x10000000, 1); /* number_passed_boolean */
(*(EIF_INTEGER_32 *)(Current + RTWA(5051, dtype)))++;
RTHOOK(23);
RTDBGAA(Current, dtype, 5055, 0x10000000, 1); /* number_passed_tests */
(*(EIF_INTEGER_32 *)(Current + RTWA(5055, dtype)))++;
}
RTHOOK(24);
RTDBGAA(Current, dtype, 5050, 0x10000000, 1); /* number_of_boolean */
(*(EIF_INTEGER_32 *)(Current + RTWA(5050, dtype)))++;
}
RTHOOK(25);
RTDBGAA(Current, dtype, 5054, 0x10000000, 1); /* number_of_tests */
(*(EIF_INTEGER_32 *)(Current + RTWA(5054, dtype)))++;
RTHOOK(26);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(1790, "forth", loc4))(loc4);
}
}
RTHOOK(27);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(1790, "forth", loc2))(loc2);
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(28);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(7);
RTEE;
#undef up1
}
/* {EV_TREE_NODE_I}.parent_tree */
EIF_TYPED_VALUE F1448_14560 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "parent_tree";
RTEX;
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
EIF_REFERENCE loc2 = (EIF_REFERENCE) 0;
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_REFERENCE tr1 = NULL;
EIF_BOOLEAN tb1;
EIF_REFERENCE Result = ((EIF_REFERENCE) 0);
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(5);
RTLR(0,Result);
RTLR(1,Current);
RTLR(2,loc2);
RTLR(3,tr1);
RTLR(4,loc1);
RTLU (SK_REF, &Result);
RTLU (SK_REF, &Current);
RTLU(SK_REF, &loc1);
RTLU(SK_REF, &loc2);
RTEAA(l_feature_name, 1447, Current, 2, 0, 19978);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(1447, Current, 19978);
RTIV(Current, RTAL);
RTHOOK(1);
RTDBGAL(Current, 0, 0xF800050F, 0,0); /* Result */
Result = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(10840, dtype))(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(1295), Result);
RTHOOK(2);
tb1 = '\0';
if ((EIF_BOOLEAN)(Result == NULL)) {
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(10840, 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(tr1);
tb1 = EIF_TEST(loc2);
}
if (tb1) {
RTHOOK(3);
RTDBGAL(Current, 1, 0xF80005A7, 0, 0); /* loc1 */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(8388, "implementation", loc2))(loc2)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
loc1 = RTCCL(tr1);
loc1 = RTRV(eif_non_attached_type(1447), loc1);
RTHOOK(4);
RTCT0(NULL, EX_CHECK);
if ((EIF_BOOLEAN)(loc1 != NULL)) {
RTCK0;
} else {
RTCF0;
}
RTHOOK(5);
RTDBGAL(Current, 0, 0xF800050F, 0,0); /* Result */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(10852, "parent_tree", 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);
}
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
}
void F898_7297 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "run";
RTEX;
RTED;
EIF_BOOLEAN EIF_VOLATILE loc1 = (EIF_BOOLEAN) 0;
EIF_REFERENCE EIF_VOLATILE loc2 = (EIF_REFERENCE) 0;
EIF_REFERENCE EIF_VOLATILE loc3 = (EIF_REFERENCE) 0;
EIF_REFERENCE EIF_VOLATILE saved_except = (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_TYPED_VALUE ur1x = {{0}, SK_REF};
#define ur1 ur1x.it_r
EIF_TYPED_VALUE ur2x = {{0}, SK_REF};
#define ur2 ur2x.it_r
EIF_REFERENCE EIF_VOLATILE tr1 = NULL;
EIF_REFERENCE EIF_VOLATILE tr2 = NULL;
EIF_INTEGER_32 EIF_VOLATILE ti4_1;
EIF_BOOLEAN EIF_VOLATILE tb1;
EIF_BOOLEAN EIF_VOLATILE tb2;
RTCFDT;
RTCDT;
RTSN;
RTDA;
RTDT;
RTXD;
RTLXD;
RTXI(8);
RTLR(0,loc2);
RTLR(1,Current);
RTLR(2,tr1);
RTLR(3,ur1);
RTLR(4,tr2);
RTLR(5,ur2);
RTLR(6,loc3);
RTLR(7,saved_except);
RTLU (SK_VOID, NULL);
RTLU (SK_REF, &Current);
RTLU(SK_BOOL, &loc1);
RTLU(SK_REF, &loc2);
RTLU(SK_REF, &loc3);
RTLXL;
RTEAA(l_feature_name, 897, Current, 3, 0, 12907);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(897, Current, 12907);
RTIV(Current, RTAL);
RTE_T
RTHOOK(1);
if ((EIF_BOOLEAN) !loc1) {
RTHOOK(2);
RTCT0(NULL, EX_CHECK);
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);
loc2 = RTCCL(tr1);
if ((EIF_TRUE)) {
RTCK0;
} else {
RTCF0;
}
RTHOOK(3);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(4293, "apply", loc2))(loc2);
RTHOOK(4);
RTDBGAA(Current, dtype, 5189, 0x04000000, 1); /* passed */
*(EIF_BOOLEAN *)(Current + RTWA(5189, dtype)) = (EIF_BOOLEAN) (EIF_BOOLEAN) 0;
}
/* {ISE_EXCEPTION_MANAGER}.set_exception_data */
void F96_3068 (EIF_REFERENCE Current, EIF_INTEGER_32 arg1, EIF_BOOLEAN arg2, EIF_INTEGER_32 arg3, EIF_INTEGER_32 arg4, EIF_REFERENCE arg5, EIF_REFERENCE arg6, EIF_REFERENCE arg7, EIF_REFERENCE arg8, EIF_REFERENCE arg9, EIF_REFERENCE arg10, EIF_INTEGER_32 arg11, EIF_BOOLEAN arg12)
{
GTCX
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
EIF_REFERENCE loc2 = (EIF_REFERENCE) 0;
EIF_REFERENCE tr1 = NULL;
EIF_REFERENCE tr2 = NULL;
RTLD;
RTLI(11);
RTLR(0,Current);
RTLR(1,tr1);
RTLR(2,tr2);
RTLR(3,arg5);
RTLR(4,arg6);
RTLR(5,arg7);
RTLR(6,arg8);
RTLR(7,arg9);
RTLR(8,arg10);
RTLR(9,loc1);
RTLR(10,loc2);
RTGC;
tr1 = RTOSCF(3073,F96_3073,(Current));
{
static EIF_TYPE_INDEX typarr0[] = {0xFFF9,11,841,874,874,874,922,922,922,922,922,922,874,859,0xFFFF};
EIF_TYPE_INDEX typres0;
static EIF_TYPE_INDEX typcache0 = INVALID_DTYPE;
typres0 = (typcache0 != INVALID_DTYPE ? typcache0 : (typcache0 = eif_compound_id(Dftype(Current), typarr0)));
tr2 = RTLNTS(typres0, 12, 0);
}
((EIF_TYPED_VALUE *)tr2+1)->it_i4 = arg1;
((EIF_TYPED_VALUE *)tr2+2)->it_i4 = arg3;
((EIF_TYPED_VALUE *)tr2+3)->it_i4 = arg4;
((EIF_TYPED_VALUE *)tr2+4)->it_r = arg5;
RTAR(tr2,arg5);
((EIF_TYPED_VALUE *)tr2+5)->it_r = arg6;
RTAR(tr2,arg6);
((EIF_TYPED_VALUE *)tr2+6)->it_r = arg7;
RTAR(tr2,arg7);
((EIF_TYPED_VALUE *)tr2+7)->it_r = arg8;
RTAR(tr2,arg8);
((EIF_TYPED_VALUE *)tr2+8)->it_r = arg9;
RTAR(tr2,arg9);
((EIF_TYPED_VALUE *)tr2+9)->it_r = arg10;
RTAR(tr2,arg10);
((EIF_TYPED_VALUE *)tr2+10)->it_i4 = arg11;
((EIF_TYPED_VALUE *)tr2+11)->it_b = arg12;
F234_4165(RTCV(tr1), tr2);
if (arg2) {
tr1 = F96_3076(Current);
loc1 = tr1;
if (EIF_TEST(loc1)) {
F96_3067(Current, loc1);
}
} else {
RTCT0("last_exception_attached", EX_CHECK);
tr1 = F96_3055(Current);
loc2 = tr1;
if (EIF_TEST(loc2)) {
RTCK0;
} else {
RTCF0;
}
F117_3335(RTCV(loc2), arg10);
F117_3329(RTCV(loc2), arg6);
F117_3333(RTCV(loc2), arg7);
}
RTLE;
}
