/* {EV_GAUGE}.leap_backward */
void F1264_11744 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "leap_backward";
RTEX;
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE ui4_1x = {{0}, SK_INT32};
#define ui4_1 ui4_1x.it_i4
EIF_REFERENCE tr1 = NULL;
EIF_REFERENCE tr2 = NULL;
EIF_INTEGER_32 ti4_1;
EIF_INTEGER_32 ti4_2;
EIF_INTEGER_32 ti4_3;
EIF_INTEGER_32 ti4_4;
EIF_BOOLEAN tb1;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(3);
RTLR(0,Current);
RTLR(1,tr1);
RTLR(2,tr2);
RTLU (SK_VOID, NULL);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 1263, Current, 0, 0, 17647);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(1263, Current, 17647);
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("not_destroyed", EX_PRE);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8387, dtype))(Current)).it_b);
RTTE((EIF_BOOLEAN) !tb1, label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:
;
if (RTAL & CK_ENSURE) {
in_assertion = ~0;
RTE_OT
ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9059, dtype))(Current)).it_i4);
ti4_1 = ti4_2;
tr1 = NULL;
RTE_O
tr1 = RTLA;
RTE_OE
in_assertion = 0;
}
RTHOOK(2);
tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8388, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(2,1);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(10570, "leap_backward", tr2))(tr2);
if (RTAL & CK_ENSURE) {
RTHOOK(3);
RTCT("decremented", EX_POST);
ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9059, dtype))(Current)).it_i4);
tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9062, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(3,1);
ti4_3 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(2439, "lower", tr2))(tr2)).it_i4);
RTNHOOK(3,2);
RTCO(tr1);
ti4_4 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9061, dtype))(Current)).it_i4);
ui4_1 = (EIF_INTEGER_32) (ti4_1 - ti4_4);
ti4_4 = eif_max_int32 (ti4_3,ui4_1);
if ((EIF_BOOLEAN)(ti4_2 == ti4_4)) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(4);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(2);
RTEE;
#undef up1
#undef ui4_1
}
/* {NETWORK_SOCKET_ADDRESS}.make_from_address_and_port */
void F872_7139 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x, EIF_TYPED_VALUE arg2x)
{
GTCX
char *l_feature_name = "make_from_address_and_port";
RTEX;
#define arg1 arg1x.it_r
#define arg2 arg2x.it_i4
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE ui4_1x = {{0}, SK_INT32};
#define ui4_1 ui4_1x.it_i4
EIF_REFERENCE tr1 = NULL;
RTCDT;
RTSN;
RTDA;
RTLD;
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_REF, &Current);
RTEAA(l_feature_name, 871, Current, 0, 2, 12662);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(871, Current, 12662);
RTCC(arg1, 871, l_feature_name, 1, eif_attached_type(865));
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("valid_address", EX_PRE);
RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
RTCK;
RTHOOK(2);
RTCT("valid_port", EX_PRE);
RTTE((EIF_BOOLEAN) ((EIF_BOOLEAN) (arg2 >= ((EIF_INTEGER_32) 0L)) && (EIF_BOOLEAN) (arg2 <= ((EIF_INTEGER_32) 65535L))), label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:
;
RTHOOK(3);
RTDBGAA(Current, dtype, 871, 149, 0xF8000095, 0); /* socket_address */
ui4_1 = arg2;
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(865, 48, "sockaddr", arg1))(arg1, ui4_1x)), (((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(871, 149, dtype)) = (EIF_REFERENCE) RTCCL(tr1);
if (RTAL & CK_ENSURE) {
RTHOOK(4);
RTCT(NULL, EX_POST);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(871, 149, 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)) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(5);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(4);
RTEE;
#undef up1
#undef ui4_1
#undef arg2
#undef arg1
}
/* {NODE}.getparent */
EIF_TYPED_VALUE F861_6978 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "getparent";
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,loc1);
RTLR(1,Current);
RTLR(2,tr1);
RTLR(3,Result);
RTLIU(4);
RTLU (SK_REF, &Result);
RTLU (SK_REF, &Current);
RTLU(SK_REF, &loc1);
RTEAA(l_feature_name, 860, Current, 1, 0, 12652);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(860, Current, 12652);
RTIV(Current, RTAL);
RTHOOK(1);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(4901, 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)) {
RTHOOK(2);
RTDBGAL(Current, 0, 0xF800035C, 0,0); /* Result */
Result = (EIF_REFERENCE) RTCCL(loc1);
}
if (RTAL & CK_ENSURE) {
RTHOOK(3);
RTCT(NULL, EX_POST);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(4901, 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(Result, tr1)) {
RTCK;
} else {
RTCF;
}
}
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
}
/* {NETWORK_SOCKET_ADDRESS}.make_from_hostname_and_port */
void F872_7140 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x, EIF_TYPED_VALUE arg2x)
{
GTCX
char *l_feature_name = "make_from_hostname_and_port";
RTEX;
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
EIF_REFERENCE loc2 = (EIF_REFERENCE) 0;
#define arg1 arg1x.it_r
#define arg2 arg2x.it_i4
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
#define ur1 ur1x.it_r
EIF_TYPED_VALUE ui4_1x = {{0}, SK_INT32};
#define ui4_1 ui4_1x.it_i4
EIF_REFERENCE tr1 = NULL;
EIF_INTEGER_32 ti4_1;
RTCDT;
RTSN;
RTDA;
RTLD;
if ((arg2x.type & SK_HEAD) == SK_REF) arg2x.it_i4 = * (EIF_INTEGER_32 *) arg2x.it_r;
RTLI(6);
RTLR(0,arg1);
RTLR(1,loc1);
RTLR(2,ur1);
RTLR(3,Current);
RTLR(4,loc2);
RTLR(5,tr1);
RTLU (SK_VOID, NULL);
RTLU(SK_REF,&arg1);
RTLU(SK_INT32,&arg2);
RTLU (SK_REF, &Current);
RTLU(SK_REF, &loc1);
RTLU(SK_REF, &loc2);
RTEAA(l_feature_name, 871, Current, 2, 2, 12663);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(871, Current, 12663);
RTCC(arg1, 871, l_feature_name, 1, eif_attached_type(218));
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("non_void_hostname", EX_PRE);
RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
RTCK;
RTHOOK(2);
RTCT("valid_port", EX_PRE);
RTTE((EIF_BOOLEAN) ((EIF_BOOLEAN) (arg2 >= ((EIF_INTEGER_32) 0L)) && (EIF_BOOLEAN) (arg2 <= ((EIF_INTEGER_32) 65535L))), label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:
;
RTHOOK(3);
RTDBGAL(Current, 1, 0xF8000361, 0, 0); /* loc1 */
ur1 = RTCCL(arg1);
loc1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(871, 132, dtype))(Current, ur1x)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTHOOK(4);
if ((EIF_BOOLEAN)(loc1 != NULL)) {
RTHOOK(5);
RTDBGAL(Current, 2, 0xF8000095, 0, 0); /* loc2 */
ui4_1 = arg2;
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(865, 48, "sockaddr", loc1))(loc1, ui4_1x)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
loc2 = (EIF_REFERENCE) RTCCL(tr1);
} else {
RTHOOK(6);
RTDBGAL(Current, 2, 0xF8000095, 0, 0); /* loc2 */
tr1 = RTLNSMART(eif_non_attached_type(RTWCT(871, 149, Current)));
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(871, 167, dtype))(Current)).it_i4);
ui4_1 = ti4_1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWPC(260, 0, Dtype(tr1)))(tr1, ui4_1x);
RTNHOOK(6,1);
loc2 = (EIF_REFERENCE) RTCCL(tr1);
}
RTHOOK(7);
RTDBGAA(Current, dtype, 871, 149, 0xF8000095, 0); /* socket_address */
RTAR(Current, loc2);
*(EIF_REFERENCE *)(Current + RTWA(871, 149, dtype)) = (EIF_REFERENCE) RTCCL(loc2);
if (RTAL & CK_ENSURE) {
RTHOOK(8);
RTCT(NULL, EX_POST);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(871, 149, 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)) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(9);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(6);
RTEE;
#undef up1
#undef ur1
#undef ui4_1
#undef arg2
#undef arg1
}
/* {NETWORK_SOCKET_ADDRESS}.host_address */
EIF_TYPED_VALUE F872_7145 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "host_address";
RTEX;
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_POINTER tp1;
EIF_REFERENCE tr1 = NULL;
EIF_REFERENCE Result = ((EIF_REFERENCE) 0);
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(4);
RTLR(0,loc1);
RTLR(1,Current);
RTLR(2,tr1);
RTLR(3,Result);
RTLU (SK_REF, &Result);
RTLU (SK_REF, &Current);
RTLU(SK_REF, &loc1);
RTEAA(l_feature_name, 871, Current, 1, 0, 12668);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(871, Current, 12668);
RTIV(Current, RTAL);
RTHOOK(1);
RTDBGAL(Current, 1, 0xF8000361, 0, 0); /* loc1 */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(871, 149, 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);
tp1 = *(EIF_POINTER *)(tr1 + RTVPA(260, 6, "item", tr1));
up1 = tp1;
loc1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(871, 134, dtype))(Current, up1x)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
if (RTAL & CK_CHECK) {
RTHOOK(2);
RTCT("l_address_attached", EX_CHECK);
if ((EIF_BOOLEAN)(loc1 != NULL)) {
RTCK;
} else {
RTCF;
}
}
RTHOOK(3);
RTDBGAL(Current, 0, 0xF8000361, 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
}
/* {INDEXABLE_ITERATION_CURSOR}.make */
void F331_1994 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "make";
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_REFERENCE tr1 = NULL;
EIF_INTEGER_32 ti4_1;
EIF_NATURAL_32 tu4_1;
EIF_BOOLEAN tb1;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(4);
RTLR(0,arg1);
RTLR(1,Current);
RTLR(2,loc1);
RTLR(3,tr1);
RTLU (SK_VOID, NULL);
RTLU(SK_REF,&arg1);
RTLU (SK_REF, &Current);
RTLU(SK_REF, &loc1);
RTEAA(l_feature_name, 330, Current, 1, 1, 2705);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(330, Current, 2705);
RTCC(arg1, 330, l_feature_name, 1, eif_attached_type(RTWCT(1710, 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;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(2);
RTDBGAA(Current, dtype, 1710, 0xF800014D, 0); /* target */
RTAR(Current, arg1);
*(EIF_REFERENCE *)(Current + RTWA(1710, dtype)) = (EIF_REFERENCE) RTCCL(arg1);
RTHOOK(3);
loc1 = RTCCL(arg1);
loc1 = RTRV(eif_non_attached_type(2),loc1);
if (EIF_TEST(loc1)) {
RTHOOK(4);
RTDBGAA(Current, dtype, 1702, 0x38000000, 1); /* version */
tu4_1 = *(EIF_NATURAL_32 *)(loc1 + RTVA(45, "version", loc1));
*(EIF_NATURAL_32 *)(Current + RTWA(1702, dtype)) = (EIF_NATURAL_32) tu4_1;
} else {
RTHOOK(5);
RTDBGAA(Current, dtype, 1702, 0x38000000, 1); /* version */
tu4_1 = (EIF_NATURAL_32) ((EIF_INTEGER_32) 0L);
*(EIF_NATURAL_32 *)(Current + RTWA(1702, dtype)) = (EIF_NATURAL_32) tu4_1;
}
RTHOOK(6);
RTDBGAA(Current, dtype, 1697, 0x10000000, 1); /* step */
*(EIF_INTEGER_32 *)(Current + RTWA(1697, dtype)) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 1L);
RTHOOK(7);
RTDBGAA(Current, dtype, 1703, 0x04000000, 1); /* is_reversed */
*(EIF_BOOLEAN *)(Current + RTWA(1703, dtype)) = (EIF_BOOLEAN) (EIF_BOOLEAN) 0;
if (RTAL & CK_ENSURE) {
RTHOOK(8);
RTCT("structure_set", EX_POST);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1710, 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("is_valid", EX_POST);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1704, dtype))(Current)).it_b);
if (tb1) {
RTCK;
} else {
RTCF;
}
RTHOOK(10);
RTCT("default_step", EX_POST);
ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(1697, dtype));
if ((EIF_BOOLEAN)(ti4_1 == ((EIF_INTEGER_32) 1L))) {
RTCK;
} else {
RTCF;
}
RTHOOK(11);
RTCT("ascending_traversal", EX_POST);
tb1 = *(EIF_BOOLEAN *)(Current + RTWA(1703, dtype));
if ((EIF_BOOLEAN) !tb1) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(12);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(4);
RTEE;
#undef up1
#undef arg1
}
/* {TABLE}.bag_put */
void F928_10078 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "bag_put";
RTEX;
#define arg1 arg1x.it_i8
EIF_TYPED_VALUE ui8_1x = {{0}, SK_INT64};
#define ui8_1 ui8_1x.it_i8
EIF_BOOLEAN tb1;
RTCDT;
RTSN;
RTDA;
RTLD;
if ((arg1x.type & SK_HEAD) == SK_REF) arg1x.it_i8 = * (EIF_INTEGER_64 *) arg1x.it_r;
RTLI(1);
RTLR(0,Current);
RTLU (SK_VOID, NULL);
RTLU(SK_INT64,&arg1);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 927, Current, 0, 1, 3403);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(927, Current, 3403);
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("extendible", EX_PRE);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9642, dtype))(Current)).it_b);
RTTE(tb1, label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
if (RTAL & CK_ENSURE) {
RTHOOK(2);
RTCT("item_inserted", EX_POST);
ui8_1 = arg1;
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(9644, dtype))(Current, ui8_1x)).it_b);
if (tb1) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(3);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(3);
RTEE;
#undef ui8_1
#undef arg1
}
/* {EV_SIMPLE_HELP_ENGINE}.show */
void F999_9055 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "show";
RTEX;
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
#define arg1 arg1x.it_r
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
#define ur1 ur1x.it_r
EIF_TYPED_VALUE ui4_1x = {{0}, SK_INT32};
#define ui4_1 ui4_1x.it_i4
EIF_REFERENCE tr1 = NULL;
EIF_REFERENCE tr2 = NULL;
EIF_REFERENCE tr3 = NULL;
EIF_REFERENCE tr4 = NULL;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(8);
RTLR(0,arg1);
RTLR(1,loc1);
RTLR(2,tr1);
RTLR(3,ur1);
RTLR(4,Current);
RTLR(5,tr2);
RTLR(6,tr3);
RTLR(7,tr4);
RTLU (SK_VOID, NULL);
RTLU(SK_REF,&arg1);
RTLU (SK_REF, &Current);
RTLU(SK_REF, &loc1);
RTEAA(l_feature_name, 998, Current, 1, 1, 14617);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(998, Current, 14617);
RTCC(arg1, 998, l_feature_name, 1, eif_attached_type(1202));
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("a_help_context_not_void", EX_PRE);
RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(2);
RTDBGAL(Current, 1, 0xF80004ED, 0, 0); /* loc1 */
tr1 = RTLN(1261);
ur1 = RTCCL(arg1);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWC(9030, Dtype(tr1)))(tr1, ur1x);
RTNHOOK(2,1);
loc1 = (EIF_REFERENCE) RTCCL(tr1);
RTHOOK(3);
ui4_1 = ((EIF_INTEGER_32) 1L);
{
static EIF_TYPE_INDEX typarr0[] = {242,0xFF11,216,0xFFFF};
EIF_TYPE_INDEX typres0;
static EIF_TYPE_INDEX typcache0 = INVALID_DTYPE;
typres0 = (typcache0 != INVALID_DTYPE ? typcache0 : (typcache0 = eif_compound_id(Dftype(Current), typarr0)));
tr2 = RTLNSP2(eif_non_attached_type(typres0),EO_REF,ui4_1,sizeof(EIF_REFERENCE), EIF_FALSE);
RT_SPECIAL_COUNT(tr2) = 1L;
memset(tr2, 0, RT_SPECIAL_VISIBLE_SIZE(tr2));
}
tr4 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(6914, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
tr3 = RTCCL(tr4);
*((EIF_REFERENCE *)tr2+0) = (EIF_REFERENCE) tr3;
RTAR(tr2,tr3);
tr1 = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(2397, Dtype(tr2)))(tr2).it_r;
ur1 = RTCCL(tr1);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(9038, "set_buttons", loc1))(loc1, ur1x);
RTHOOK(4);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(6914, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
ur1 = RTCCL(tr1);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(9041, "button", loc1))(loc1, ur1x)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
ur1 = RTCCL(tr1);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(9018, "set_default_push_button", loc1))(loc1, ur1x);
RTHOOK(5);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(6929, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
ur1 = RTCCL(tr1);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(8944, "set_title", loc1))(loc1, ur1x);
RTHOOK(6);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(8938, "disable_user_resize", loc1))(loc1);
RTHOOK(7);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(8822, "show", loc1))(loc1);
RTVI(Current, RTAL);
RTRS;
RTHOOK(8);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(4);
RTEE;
#undef up1
#undef ur1
#undef ui4_1
#undef arg1
}
/* {FUNCTION}.item */
EIF_TYPED_VALUE F238_4736 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "item";
RTEX;
EIF_INTEGER_32 loc1 = (EIF_INTEGER_32) 0;
EIF_REFERENCE loc2 = (EIF_REFERENCE) 0;
#define arg1 arg1x.it_r
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE up2x = {{0}, SK_POINTER};
#define up2 up2x.it_p
EIF_TYPED_VALUE up3x = {{0}, SK_POINTER};
#define up3 up3x.it_p
EIF_TYPED_VALUE up4x = {{0}, SK_POINTER};
#define up4 up4x.it_p
EIF_TYPED_VALUE up5x = {{0}, SK_POINTER};
#define up5 up5x.it_p
EIF_TYPED_VALUE up6x = {{0}, SK_POINTER};
#define up6 up6x.it_p
EIF_TYPED_VALUE up7x = {{0}, SK_POINTER};
#define up7 up7x.it_p
EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
#define ur1 ur1x.it_r
EIF_TYPED_VALUE ui4_1x = {{0}, SK_INT32};
#define ui4_1 ui4_1x.it_i4
EIF_TYPED_VALUE ui4_2x = {{0}, SK_INT32};
#define ui4_2 ui4_2x.it_i4
EIF_TYPED_VALUE ui4_3x = {{0}, SK_INT32};
#define ui4_3 ui4_3x.it_i4
EIF_TYPED_VALUE ui4_4x = {{0}, SK_INT32};
#define ui4_4 ui4_4x.it_i4
EIF_TYPED_VALUE ub1x = {{0}, SK_BOOL};
#define ub1 ub1x.it_b
EIF_POINTER tp1;
EIF_POINTER tp2;
EIF_REFERENCE tr1 = NULL;
EIF_REFERENCE tr2 = NULL;
EIF_INTEGER_32 ti4_1;
EIF_INTEGER_32 ti4_2;
EIF_INTEGER_32 ti4_3;
EIF_BOOLEAN tb1;
EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0);
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(6);
RTLR(0,arg1);
RTLR(1,ur1);
RTLR(2,Current);
RTLR(3,loc2);
RTLR(4,tr1);
RTLR(5,tr2);
RTLU (SK_BOOL, &Result);
RTLU(SK_REF,&arg1);
RTLU (SK_REF, &Current);
RTLU(SK_INT32, &loc1);
RTLU(SK_REF, &loc2);
RTEAA(l_feature_name, 237, Current, 2, 1, 9694);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(237, Current, 9694);
RTCC(arg1, 237, l_feature_name, 1, eif_non_attached_type(RTWCT(3587, dtype, Dftype(Current))));
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("valid_operands", EX_PRE);
ur1 = RTCCL(arg1);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(3557, dtype))(Current, ur1x)).it_b);
RTTE(tb1, label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(2);
RTDBGAL(Current, 2, 0xF80000A7, 0, 0); /* loc2 */
loc2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(3567, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTHOOK(3);
if ((EIF_BOOLEAN)(loc2 != NULL)) {
RTHOOK(4);
RTDBGAL(Current, 1, 0x10000000, 1, 0); /* loc1 */
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(2844, "count", loc2))(loc2)).it_i4);
loc1 = (EIF_INTEGER_32) ti4_1;
}
RTHOOK(5);
RTDBGAL(Current, 0, 0x04000000, 0,0); /* Result */
tp1 = *(EIF_POINTER *)(Current + RTWA(3572, dtype));
up1 = tp1;
tp2 = *(EIF_POINTER *)(Current + RTWA(3570, dtype));
up2 = tp2;
tr1 = ((up3x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(3567, dtype))(Current)), (((up3x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up3x.it_r = RTBU(up3x))), (up3x.type = SK_POINTER), up3x.it_r);
up4 = tr1;
up5 = arg1;
ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(3573, dtype));
ui4_1 = ti4_1;
tb1 = *(EIF_BOOLEAN *)(Current + RTWA(3574, dtype));
ub1 = tb1;
ti4_2 = *(EIF_INTEGER_32 *)(Current + RTWA(3575, dtype));
ui4_2 = ti4_2;
ui4_3 = loc1;
ti4_3 = *(EIF_INTEGER_32 *)(Current + RTWA(3560, dtype));
ui4_4 = ti4_3;
tr2 = ((up6x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(3571, dtype))(Current)), (((up6x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up6x.it_r = RTBU(up6x))), (up6x.type = SK_POINTER), up6x.it_r);
up7 = tr2;
Result = EIF_TEST ((((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE, EIF_TYPED_VALUE, EIF_TYPED_VALUE, EIF_TYPED_VALUE, EIF_TYPED_VALUE, EIF_TYPED_VALUE, EIF_TYPED_VALUE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTWF(3594, dtype))(Current, up1x, up2x, up4x, up5x, ui4_1x, ub1x, ui4_2x, ui4_3x, ui4_4x, up7x))).it_b);
RTVI(Current, RTAL);
RTRS;
RTHOOK(6);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(5);
RTEE;
{ EIF_TYPED_VALUE r; r.type = SK_BOOL; r.it_b = Result; return r; }
#undef up1
#undef up2
#undef up3
#undef up4
#undef up5
#undef up6
#undef up7
#undef ur1
#undef ui4_1
#undef ui4_2
#undef ui4_3
#undef ui4_4
#undef ub1
#undef arg1
}
/* {SEQUENCE}.append */
void F737_1715 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "append";
RTEX;
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
#define arg1 arg1x.it_r
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE uw1x = {{0}, SK_CHAR32};
#define uw1 uw1x.it_c4
EIF_REFERENCE tr1 = NULL;
EIF_INTEGER_32 ti4_1;
EIF_INTEGER_32 ti4_2;
EIF_CHARACTER_32 tw1;
EIF_BOOLEAN tb1;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(4);
RTLR(0,arg1);
RTLR(1,Current);
RTLR(2,tr1);
RTLR(3,loc1);
RTLU (SK_VOID, NULL);
RTLU(SK_REF,&arg1);
RTLU (SK_REF, &Current);
RTLU(SK_REF, &loc1);
RTEAA(l_feature_name, 736, Current, 1, 1, 2254);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(736, Current, 2254);
if (arg1) {
{
EIF_TYPE_INDEX typarr0[] = {736,0,0xFFFF};
EIF_TYPE_INDEX typres0;
typarr0[1] = RTWCT(1441, dtype, Dftype(Current));
typres0 = eif_compound_id(Dftype(Current), typarr0);
RTCC(arg1, 736, l_feature_name, 1, typres0);
}
}
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("argument_not_void", EX_PRE);
RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
if (RTAL & CK_ENSURE) {
in_assertion = ~0;
RTE_OT
ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1463, dtype))(Current)).it_i4);
ti4_1 = ti4_2;
tr1 = NULL;
RTE_O
tr1 = RTLA;
RTE_OE
in_assertion = 0;
}
RTHOOK(2);
RTDBGAL(Current, 1, 0xF80002E0, 0, 0); /* loc1 */
loc1 = (EIF_REFERENCE) RTCCL(arg1);
RTHOOK(3);
if (RTCEQ(arg1, Current)) {
RTHOOK(4);
RTDBGAL(Current, 1, 0xF80002E0, 0, 0); /* loc1 */
loc1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(17, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
}
RTHOOK(5);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(1444, "start", loc1))(loc1);
for (;;) {
RTHOOK(6);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(1454, "exhausted", loc1))(loc1)).it_b);
if (tb1) break;
RTHOOK(7);
tw1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(1489, "item", loc1))(loc1)).it_c4);
uw1 = tw1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(1476, dtype))(Current, uw1x);
RTHOOK(8);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(1457, "forth", loc1))(loc1);
}
if (RTAL & CK_ENSURE) {
RTHOOK(9);
RTCT("new_count", EX_POST);
ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1463, dtype))(Current)).it_i4);
RTCO(tr1);
if ((EIF_BOOLEAN) (ti4_2 >= ti4_1)) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(10);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(4);
RTEE;
#undef up1
#undef uw1
#undef arg1
}
/* {SEQUENCE}.put */
void F737_1716 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "put";
RTEX;
#define arg1 arg1x.it_c4
EIF_TYPED_VALUE uw1x = {{0}, SK_CHAR32};
#define uw1 uw1x.it_c4
EIF_REFERENCE tr1 = NULL;
EIF_INTEGER_32 ti4_1;
EIF_INTEGER_32 ti4_2;
EIF_BOOLEAN tb1;
RTCDT;
RTSN;
RTDA;
RTLD;
if ((arg1x.type & SK_HEAD) == SK_REF) arg1x.it_c4 = * (EIF_CHARACTER_32 *) arg1x.it_r;
RTLI(2);
RTLR(0,Current);
RTLR(1,tr1);
RTLU (SK_VOID, NULL);
RTLU(SK_CHAR32,&arg1);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 736, Current, 0, 1, 2255);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(736, Current, 2255);
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("extendible", EX_PRE);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1472, dtype))(Current)).it_b);
RTTE(tb1, label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
if (RTAL & CK_ENSURE) {
in_assertion = ~0;
RTE_OT
ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1463, dtype))(Current)).it_i4);
ti4_1 = ti4_2;
tr1 = NULL;
RTE_O
tr1 = RTLA;
RTE_OE
in_assertion = 0;
}
RTHOOK(2);
uw1 = arg1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(1476, dtype))(Current, uw1x);
if (RTAL & CK_ENSURE) {
RTHOOK(3);
RTCT("item_inserted", EX_POST);
uw1 = arg1;
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(1474, dtype))(Current, uw1x)).it_b);
if (tb1) {
RTCK;
} else {
RTCF;
}
RTHOOK(4);
RTCT("new_count", EX_POST);
ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1463, dtype))(Current)).it_i4);
RTCO(tr1);
if ((EIF_BOOLEAN)(ti4_2 == (EIF_INTEGER_32) (ti4_1 + ((EIF_INTEGER_32) 1L)))) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(5);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(3);
RTEE;
#undef uw1
#undef arg1
}
/* {KL_STDERR_FILE}.make */
void F2347_32355 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "make";
RTEX;
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
#define ur1 ur1x.it_r
EIF_REFERENCE tr1 = NULL;
EIF_REFERENCE tr2 = NULL;
EIF_BOOLEAN tb1;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(4);
RTLR(0,tr1);
RTLR(1,ur1);
RTLR(2,Current);
RTLR(3,tr2);
RTLIU(4);
RTLU (SK_VOID, NULL);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 2346, Current, 0, 0, 37433);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(2346, Current, 37433);
RTIV(Current, RTAL);
RTHOOK(1);
tr1 = RTMS_EX_H("stderr",6,1911360114);
ur1 = tr1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(20070, dtype))(Current, ur1x);
if (RTAL & CK_ENSURE) {
RTHOOK(2);
RTCT("name_set", EX_POST);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(23699, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(2,1);
tr2 = RTMS_EX_H("stderr",6,1911360114);
ur1 = tr2;
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(11, "is_equal", tr1))(tr1, ur1x)).it_b);
if (tb1) {
RTCK;
} else {
RTCF;
}
RTHOOK(3);
RTCT("is_open_write", EX_POST);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(23697, dtype))(Current)).it_b);
if (tb1) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(4);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(2);
RTEE;
#undef up1
#undef ur1
}
/* {KL_STDERR_FILE}.put_string */
void F2347_32359 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "put_string";
RTEX;
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
#define arg1 arg1x.it_r
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE up2x = {{0}, SK_POINTER};
#define up2 up2x.it_p
EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
#define ur1 ur1x.it_r
EIF_REFERENCE tr1 = NULL;
EIF_REFERENCE tr2 = NULL;
EIF_BOOLEAN tb1;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(6);
RTLR(0,arg1);
RTLR(1,Current);
RTLR(2,loc1);
RTLR(3,tr1);
RTLR(4,ur1);
RTLR(5,tr2);
RTLIU(6);
RTLU (SK_VOID, NULL);
RTLU(SK_REF,&arg1);
RTLU (SK_REF, &Current);
RTLU(SK_REF, &loc1);
RTEAA(l_feature_name, 2346, Current, 1, 1, 37437);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(2346, Current, 37437);
if (arg1) {
RTCC(arg1, 2346, l_feature_name, 1, eif_new_type(915, 0x00), 0x00);
}
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("is_open_write", EX_PRE);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(23697, dtype))(Current)).it_b);
RTTE(tb1, label_1);
RTCK;
RTHOOK(2);
RTCT("a_string_not_void", EX_PRE);
RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(3);
RTDBGAL(Current, 1, 0xF8000393, 0, 0); /* loc1 */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(24595, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(3,1);
ur1 = RTCCL(arg1);
tr2 = ((up2x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(24763, "as_string", tr1))(tr1, ur1x)), (((up2x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up2x.it_r = RTBU(up2x))), (up2x.type = SK_POINTER), up2x.it_r);
loc1 = (EIF_REFERENCE) RTCCL(tr2);
RTHOOK(4);
ur1 = RTCCL(loc1);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(11306, dtype))(Current, ur1x);
RTVI(Current, RTAL);
RTRS;
RTHOOK(5);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(4);
RTEE;
#undef up1
#undef up2
#undef ur1
#undef arg1
}
/* {EV_GAUGE}.set_proportion */
void F1264_11745 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "set_proportion";
RTEX;
#define arg1 arg1x.it_r4
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE ur4_1x = {{0}, SK_REAL32};
#define ur4_1 ur4_1x.it_r4
EIF_REFERENCE tr1 = NULL;
EIF_REAL_32 tr4_1;
EIF_BOOLEAN tb1;
RTCDT;
RTSN;
RTDA;
RTLD;
if ((arg1x.type & SK_HEAD) == SK_REF) arg1x.it_r4 = * (EIF_REAL_32 *) arg1x.it_r;
RTLI(2);
RTLR(0,Current);
RTLR(1,tr1);
RTLU (SK_VOID, NULL);
RTLU(SK_REAL32,&arg1);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 1263, Current, 0, 1, 17648);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(1263, Current, 17648);
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("not_destroyed", EX_PRE);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8387, dtype))(Current)).it_b);
RTTE((EIF_BOOLEAN) !tb1, label_1);
RTCK;
RTHOOK(2);
RTCT("a_proportion_within_range", EX_PRE);
tb1 = '\0';
tr4_1 = (EIF_REAL_32) (((EIF_INTEGER_32) 0L));
if ((EIF_BOOLEAN) (arg1 >= tr4_1)) {
tr4_1 = (EIF_REAL_32) (((EIF_INTEGER_32) 1L));
tb1 = (EIF_BOOLEAN) (arg1 <= tr4_1);
}
RTTE(tb1, label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:
;
RTHOOK(3);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8388, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(3,1);
ur4_1 = arg1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(10574, "set_proportion", tr1))(tr1, ur4_1x);
RTVI(Current, RTAL);
RTRS;
RTHOOK(4);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(3);
RTEE;
#undef up1
#undef ur4_1
#undef arg1
}
/* {INDEXABLE_ITERATION_CURSOR}.cursor_index */
EIF_TYPED_VALUE F331_1996 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "cursor_index";
RTEX;
EIF_INTEGER_32 ti4_1;
EIF_INTEGER_32 ti4_2;
EIF_INTEGER_32 ti4_3;
EIF_BOOLEAN tb1;
EIF_INTEGER_32 Result = ((EIF_INTEGER_32) 0);
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(1);
RTLR(0,Current);
RTLU (SK_INT32, &Result);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 330, Current, 0, 0, 2707);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(330, Current, 2707);
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("is_valid", EX_PRE);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1704, dtype))(Current)).it_b);
RTTE(tb1, label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(2);
RTDBGAL(Current, 0, 0x10000000, 1,0); /* Result */
ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(1694, dtype));
ti4_2 = *(EIF_INTEGER_32 *)(Current + RTWA(1695, dtype));
ti4_3 = eif_abs_int32 ((EIF_INTEGER_32) (ti4_1 - ti4_2));
Result = *(EIF_INTEGER_32 *)(Current + RTWA(1697, dtype));
ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(1697, dtype));
Result = (EIF_INTEGER_32) (EIF_INTEGER_32) ((EIF_INTEGER_32) ((EIF_INTEGER_32) ((EIF_INTEGER_32) (ti4_3 + Result) - ((EIF_INTEGER_32) 1L)) / ti4_1) + ((EIF_INTEGER_32) 1L));
if (RTAL & CK_ENSURE) {
RTHOOK(3);
RTCT("positive_index", EX_POST);
if ((EIF_BOOLEAN) (Result >= ((EIF_INTEGER_32) 0L))) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(4);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(2);
RTEE;
{ EIF_TYPED_VALUE r; r.type = SK_INT32; r.it_i4 = Result; return r; }
}
/* {FUNCTION}.apply */
void F238_4737 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "apply";
RTEX;
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
#define ur1 ur1x.it_r
EIF_REFERENCE tr1 = NULL;
EIF_BOOLEAN tb1;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(3);
RTLR(0,Current);
RTLR(1,tr1);
RTLR(2,ur1);
RTLU (SK_VOID, NULL);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 237, Current, 0, 0, 9695);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(237, Current, 9695);
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("valid_operands", EX_PRE);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(3551, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
ur1 = RTCCL(tr1);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(3557, dtype))(Current, ur1x)).it_b);
RTTE(tb1, label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(2);
RTDBGAA(Current, dtype, 3589, 0x04000000, 0); /* last_result */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(3551, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
ur1 = RTCCL(tr1);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(3590, dtype))(Current, ur1x)).it_b);
*(EIF_BOOLEAN *)(Current + RTWA(3589, dtype)) = (EIF_BOOLEAN) tb1;
RTVI(Current, RTAL);
RTRS;
RTHOOK(3);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(2);
RTEE;
#undef up1
#undef ur1
}
/* {INDEXABLE_ITERATION_CURSOR}.reversed */
EIF_TYPED_VALUE F331_2002 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "reversed";
RTEX;
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.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_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, 330, Current, 0, 0, 2713);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(330, Current, 2713);
RTIV(Current, RTAL);
RTHOOK(1);
RTDBGAL(Current, 0, 0xF800014A, 0,0); /* Result */
Result = ((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(2);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(1707, "reverse", Result))(Result);
if (RTAL & CK_ENSURE) {
RTHOOK(3);
RTCT("is_reversed", EX_POST);
tb1 = *(EIF_BOOLEAN *)(Result + RTVA(1703, "is_reversed", Result));
tb2 = *(EIF_BOOLEAN *)(Current + RTWA(1703, dtype));
if ((EIF_BOOLEAN)(tb1 == (EIF_BOOLEAN) !tb2)) {
RTCK;
} else {
RTCF;
}
RTHOOK(4);
RTCT("same_structure", EX_POST);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(1710, "target", Result))(Result)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1710, 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, tr2)) {
RTCK;
} else {
RTCF;
}
RTHOOK(5);
RTCT("same_step", EX_POST);
ti4_1 = *(EIF_INTEGER_32 *)(Result + RTVA(1697, "step", Result));
ti4_2 = *(EIF_INTEGER_32 *)(Current + RTWA(1697, dtype));
if ((EIF_BOOLEAN)(ti4_1 == ti4_2)) {
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
}
/* {FUNCTION}.is_equal */
EIF_TYPED_VALUE F238_4738 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "is_equal";
RTEX;
#define arg1 arg1x.it_r
EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
#define ur1 ur1x.it_r
EIF_BOOLEAN tb1;
EIF_BOOLEAN tb2;
EIF_BOOLEAN tb3;
EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0);
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(3);
RTLR(0,arg1);
RTLR(1,ur1);
RTLR(2,Current);
RTLU (SK_BOOL, &Result);
RTLU(SK_REF,&arg1);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 237, Current, 0, 1, 9696);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(237, Current, 9696);
RTCC(arg1, 237, l_feature_name, 1, eif_attached_type(Dftype(Current)));
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("other_not_void", EX_PRE);
RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(2);
RTDBGAL(Current, 0, 0x04000000, 1,0); /* Result */
tb1 = '\0';
ur1 = RTCCL(arg1);
tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(11, 236))(Current, ur1x)).it_b);
if (tb2) {
tb2 = *(EIF_BOOLEAN *)(Current + RTWA(3589, dtype));
tb3 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(3589, "last_result", arg1))(arg1)).it_b);
tb1 = (tb2 == tb3);
}
Result = (EIF_BOOLEAN) tb1;
if (RTAL & CK_ENSURE) {
RTHOOK(3);
RTCT("symmetric", EX_POST);
if ((!(Result) || (RTEQ(arg1, Current)))) {
RTCK;
} else {
RTCF;
}
RTHOOK(4);
RTCT("consistent", EX_POST);
tb1 = '\01';
ur1 = RTCCL(arg1);
tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(12, dtype))(Current, ur1x)).it_b);
if (tb2) {
tb1 = Result;
}
if (tb1) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(5);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(3);
RTEE;
{ EIF_TYPED_VALUE r; r.type = SK_BOOL; r.it_b = Result; return r; }
#undef ur1
#undef arg1
}
/* {INDEXABLE_ITERATION_CURSOR}.with_step */
EIF_TYPED_VALUE F331_2005 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "with_step";
RTEX;
#define arg1 arg1x.it_i4
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE ui4_1x = {{0}, SK_INT32};
#define ui4_1 ui4_1x.it_i4
EIF_REFERENCE tr1 = NULL;
EIF_REFERENCE tr2 = NULL;
EIF_INTEGER_32 ti4_1;
EIF_BOOLEAN tb1;
EIF_BOOLEAN tb2;
EIF_REFERENCE Result = ((EIF_REFERENCE) 0);
RTCDT;
RTSN;
RTDA;
RTLD;
if ((arg1x.type & SK_HEAD) == SK_REF) arg1x.it_i4 = * (EIF_INTEGER_32 *) arg1x.it_r;
RTLI(4);
RTLR(0,Current);
RTLR(1,Result);
RTLR(2,tr1);
RTLR(3,tr2);
RTLU (SK_REF, &Result);
RTLU(SK_INT32,&arg1);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 330, Current, 0, 1, 2716);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(330, Current, 2716);
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("n_positive", EX_PRE);
RTTE((EIF_BOOLEAN) (arg1 > ((EIF_INTEGER_32) 0L)), label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(2);
RTDBGAL(Current, 0, 0xF800014A, 0,0); /* Result */
Result = ((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(3);
ui4_1 = arg1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(1708, "set_step", Result))(Result, ui4_1x);
if (RTAL & CK_ENSURE) {
RTHOOK(4);
RTCT("step_set", EX_POST);
ti4_1 = *(EIF_INTEGER_32 *)(Result + RTVA(1697, "step", Result));
if ((EIF_BOOLEAN)(ti4_1 == arg1)) {
RTCK;
} else {
RTCF;
}
RTHOOK(5);
RTCT("same_structure", EX_POST);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(1710, "target", Result))(Result)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1710, 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, tr2)) {
RTCK;
} else {
RTCF;
}
RTHOOK(6);
RTCT("same_direction", EX_POST);
tb1 = *(EIF_BOOLEAN *)(Result + RTVA(1703, "is_reversed", Result));
tb2 = *(EIF_BOOLEAN *)(Current + RTWA(1703, dtype));
if ((EIF_BOOLEAN)(tb1 == tb2)) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(7);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(3);
RTEE;
{ EIF_TYPED_VALUE r; r.type = SK_REF; r.it_r = Result; return r; }
#undef up1
#undef ui4_1
#undef arg1
}
/* {INDEXABLE_ITERATION_CURSOR}.reverse */
void F331_2012 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "reverse";
RTEX;
EIF_REFERENCE tr1 = NULL;
EIF_BOOLEAN tb1;
EIF_BOOLEAN tb2;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(2);
RTLR(0,Current);
RTLR(1,tr1);
RTLU (SK_VOID, NULL);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 330, Current, 0, 0, 2723);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(330, Current, 2723);
RTIV(Current, RTAL);
if (RTAL & CK_ENSURE) {
in_assertion = ~0;
RTE_OT
tb2 = *(EIF_BOOLEAN *)(Current + RTWA(1703, dtype));
tb1 = tb2;
tr1 = NULL;
RTE_O
tr1 = RTLA;
RTE_OE
in_assertion = 0;
}
RTHOOK(1);
RTDBGAA(Current, dtype, 1703, 0x04000000, 1); /* is_reversed */
tb2 = *(EIF_BOOLEAN *)(Current + RTWA(1703, dtype));
*(EIF_BOOLEAN *)(Current + RTWA(1703, dtype)) = (EIF_BOOLEAN) (EIF_BOOLEAN) !tb2;
if (RTAL & CK_ENSURE) {
RTHOOK(2);
RTCT("is_reversed", EX_POST);
tb2 = *(EIF_BOOLEAN *)(Current + RTWA(1703, dtype));
RTCO(tr1);
if ((EIF_BOOLEAN)(tb2 == (EIF_BOOLEAN) !tb1)) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(3);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(2);
RTEE;
}
/* {APPLICATION}.make */
void F863_6993 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "make";
RTEX;
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
#define ur1 ur1x.it_r
EIF_TYPED_VALUE ui4_1x = {{0}, SK_INT32};
#define ui4_1 ui4_1x.it_i4
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,tr2);
RTLR(3,ur1);
RTLIU(4);
RTLU (SK_VOID, NULL);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 862, Current, 0, 0, 12674);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(862, Current, 12674);
RTIV(Current, RTAL);
RTHOOK(1);
RTDBGAA(Current, dtype, 4920, 0xF800035D, 0); /* tree */
tr1 = RTLNSMART(RTWCT(4920, dtype, Dftype(Current)).id);
ui4_1 = ((EIF_INTEGER_32) 10L);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWC(4912, Dtype(tr1)))(tr1, ui4_1x);
RTNHOOK(1,1);
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + RTWA(4920, dtype)) = (EIF_REFERENCE) RTCCL(tr1);
RTHOOK(2);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(4920, 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);
ui4_1 = ((EIF_INTEGER_32) 15L);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4915, "add", tr1))(tr1, ui4_1x);
RTHOOK(3);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(4920, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(3,1);
ui4_1 = ((EIF_INTEGER_32) 15L);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4915, "add", tr1))(tr1, ui4_1x);
RTHOOK(4);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(4920, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(4,1);
ui4_1 = ((EIF_INTEGER_32) 20L);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4915, "add", tr1))(tr1, ui4_1x);
RTHOOK(5);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(4920, 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);
ui4_1 = ((EIF_INTEGER_32) 17L);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4915, "add", tr1))(tr1, ui4_1x);
RTHOOK(6);
RTDBGAA(Current, dtype, 4921, 0x04000000, 1); /* res */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(4920, 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);
ui4_1 = ((EIF_INTEGER_32) 15L);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4913, "haselement", tr1))(tr1, ui4_1x)).it_b);
*(EIF_BOOLEAN *)(Current + RTWA(4921, dtype)) = (EIF_BOOLEAN) tb1;
RTHOOK(7);
tr1 = RTMS_EX_H("15 exist: ",10,1449834016);
tb1 = *(EIF_BOOLEAN *)(Current + RTWA(4921, dtype));
tr2 = (tb1 ? makestr ("True", 4) : makestr ("False", 5));
ur1 = RTCCL(tr2);
tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4422, "plus", tr1))(tr1, ur1x)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
ur1 = RTCCL(tr2);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(30, dtype))(Current, ur1x);
RTHOOK(8);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(27, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(8,1);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(173, "new_line", tr1))(tr1);
RTHOOK(9);
RTDBGAA(Current, dtype, 4921, 0x04000000, 1); /* res */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(4920, 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);
ui4_1 = ((EIF_INTEGER_32) 5L);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4913, "haselement", tr1))(tr1, ui4_1x)).it_b);
*(EIF_BOOLEAN *)(Current + RTWA(4921, dtype)) = (EIF_BOOLEAN) tb1;
RTHOOK(10);
tr1 = RTMS_EX_H("5 exist: ",9,307662368);
tb1 = *(EIF_BOOLEAN *)(Current + RTWA(4921, dtype));
tr2 = (tb1 ? makestr ("True", 4) : makestr ("False", 5));
ur1 = RTCCL(tr2);
tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4422, "plus", tr1))(tr1, ur1x)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
ur1 = RTCCL(tr2);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(30, dtype))(Current, ur1x);
RTHOOK(11);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(27, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(11,1);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(173, "new_line", tr1))(tr1);
RTHOOK(12);
RTDBGAA(Current, dtype, 4921, 0x04000000, 1); /* res */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(4920, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(12,1);
ui4_1 = ((EIF_INTEGER_32) 20L);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4913, "haselement", tr1))(tr1, ui4_1x)).it_b);
*(EIF_BOOLEAN *)(Current + RTWA(4921, dtype)) = (EIF_BOOLEAN) tb1;
RTHOOK(13);
tr1 = RTMS_EX_H("20 exist: ",10,1222057760);
tb1 = *(EIF_BOOLEAN *)(Current + RTWA(4921, dtype));
tr2 = (tb1 ? makestr ("True", 4) : makestr ("False", 5));
ur1 = RTCCL(tr2);
tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4422, "plus", tr1))(tr1, ur1x)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
ur1 = RTCCL(tr2);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(30, dtype))(Current, ur1x);
RTHOOK(14);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(27, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(14,1);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(172, "put_new_line", tr1))(tr1);
RTHOOK(15);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(4920, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(15,1);
ui4_1 = ((EIF_INTEGER_32) 15L);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4917, "remove", tr1))(tr1, ui4_1x);
RTHOOK(16);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(4920, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(16,1);
ui4_1 = ((EIF_INTEGER_32) 5L);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4917, "remove", tr1))(tr1, ui4_1x);
RTHOOK(17);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(4920, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(17,1);
ui4_1 = ((EIF_INTEGER_32) 20L);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4917, "remove", tr1))(tr1, ui4_1x);
RTHOOK(18);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(4920, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(18,1);
ui4_1 = ((EIF_INTEGER_32) 17L);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4917, "remove", tr1))(tr1, ui4_1x);
RTHOOK(19);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(27, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(19,1);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(173, "new_line", tr1))(tr1);
RTHOOK(20);
RTDBGAA(Current, dtype, 4922, 0x04000000, 1); /* res2 */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(4920, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(20,1);
ui4_1 = ((EIF_INTEGER_32) 15L);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4913, "haselement", tr1))(tr1, ui4_1x)).it_b);
*(EIF_BOOLEAN *)(Current + RTWA(4922, dtype)) = (EIF_BOOLEAN) tb1;
RTHOOK(21);
tr1 = RTMS_EX_H("15 exist: ",10,1449834016);
tb1 = *(EIF_BOOLEAN *)(Current + RTWA(4922, dtype));
tr2 = (tb1 ? makestr ("True", 4) : makestr ("False", 5));
ur1 = RTCCL(tr2);
tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4422, "plus", tr1))(tr1, ur1x)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
ur1 = RTCCL(tr2);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(30, dtype))(Current, ur1x);
RTHOOK(22);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(27, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(22,1);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(173, "new_line", tr1))(tr1);
RTHOOK(23);
RTDBGAA(Current, dtype, 4922, 0x04000000, 1); /* res2 */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(4920, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(23,1);
ui4_1 = ((EIF_INTEGER_32) 5L);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4913, "haselement", tr1))(tr1, ui4_1x)).it_b);
*(EIF_BOOLEAN *)(Current + RTWA(4922, dtype)) = (EIF_BOOLEAN) tb1;
RTHOOK(24);
tr1 = RTMS_EX_H("5 exist: ",9,307662368);
tb1 = *(EIF_BOOLEAN *)(Current + RTWA(4922, dtype));
tr2 = (tb1 ? makestr ("True", 4) : makestr ("False", 5));
ur1 = RTCCL(tr2);
tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4422, "plus", tr1))(tr1, ur1x)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
ur1 = RTCCL(tr2);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(30, dtype))(Current, ur1x);
RTHOOK(25);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(27, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(25,1);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(173, "new_line", tr1))(tr1);
RTHOOK(26);
RTDBGAA(Current, dtype, 4922, 0x04000000, 1); /* res2 */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(4920, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(26,1);
ui4_1 = ((EIF_INTEGER_32) 20L);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4913, "haselement", tr1))(tr1, ui4_1x)).it_b);
*(EIF_BOOLEAN *)(Current + RTWA(4922, dtype)) = (EIF_BOOLEAN) tb1;
RTHOOK(27);
tr1 = RTMS_EX_H("20 exist: ",10,1222057760);
tb1 = *(EIF_BOOLEAN *)(Current + RTWA(4922, dtype));
tr2 = (tb1 ? makestr ("True", 4) : makestr ("False", 5));
ur1 = RTCCL(tr2);
tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4422, "plus", tr1))(tr1, ur1x)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
ur1 = RTCCL(tr2);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(30, dtype))(Current, ur1x);
RTHOOK(28);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(27, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(28,1);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(173, "new_line", tr1))(tr1);
RTHOOK(29);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(4920, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(29,1);
ui4_1 = ((EIF_INTEGER_32) 10L);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4917, "remove", tr1))(tr1, ui4_1x);
RTHOOK(30);
RTDBGAA(Current, dtype, 4922, 0x04000000, 1); /* res2 */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(4920, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(30,1);
ui4_1 = ((EIF_INTEGER_32) 10L);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4913, "haselement", tr1))(tr1, ui4_1x)).it_b);
*(EIF_BOOLEAN *)(Current + RTWA(4922, dtype)) = (EIF_BOOLEAN) tb1;
RTHOOK(31);
tr1 = RTMS_EX_H("10 exist: ",10,1154922016);
tb1 = *(EIF_BOOLEAN *)(Current + RTWA(4922, dtype));
tr2 = (tb1 ? makestr ("True", 4) : makestr ("False", 5));
ur1 = RTCCL(tr2);
tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4422, "plus", tr1))(tr1, ur1x)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
ur1 = RTCCL(tr2);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(30, dtype))(Current, ur1x);
RTHOOK(32);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(27, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(32,1);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(173, "new_line", tr1))(tr1);
RTHOOK(33);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(27, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(33,1);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(172, "put_new_line", tr1))(tr1);
RTVI(Current, RTAL);
RTRS;
RTHOOK(34);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(2);
RTEE;
#undef up1
#undef ur1
#undef ui4_1
}
/* {INDEXABLE_ITERATION_CURSOR}.set_step */
void F331_2013 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "set_step";
RTEX;
#define arg1 arg1x.it_i4
EIF_INTEGER_32 ti4_1;
RTCDT;
RTSN;
RTDA;
RTLD;
if ((arg1x.type & SK_HEAD) == SK_REF) arg1x.it_i4 = * (EIF_INTEGER_32 *) arg1x.it_r;
RTLI(1);
RTLR(0,Current);
RTLU (SK_VOID, NULL);
RTLU(SK_INT32,&arg1);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 330, Current, 0, 1, 2724);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(330, Current, 2724);
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("v_positive", EX_PRE);
RTTE((EIF_BOOLEAN) (arg1 > ((EIF_INTEGER_32) 0L)), label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(2);
RTDBGAA(Current, dtype, 1697, 0x10000000, 1); /* step */
*(EIF_INTEGER_32 *)(Current + RTWA(1697, dtype)) = (EIF_INTEGER_32) arg1;
if (RTAL & CK_ENSURE) {
RTHOOK(3);
RTCT("step_set", EX_POST);
ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(1697, dtype));
if ((EIF_BOOLEAN)(ti4_1 == arg1)) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(4);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(3);
RTEE;
#undef arg1
}
/* {NETWORK_SOCKET_ADDRESS}.make_any_local */
void F872_7141 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "make_any_local";
RTEX;
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
#define arg1 arg1x.it_i4
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE ui4_1x = {{0}, SK_INT32};
#define ui4_1 ui4_1x.it_i4
EIF_REFERENCE tr1 = NULL;
RTCDT;
RTSN;
RTDA;
RTLD;
if ((arg1x.type & SK_HEAD) == SK_REF) arg1x.it_i4 = * (EIF_INTEGER_32 *) arg1x.it_r;
RTLI(3);
RTLR(0,loc1);
RTLR(1,Current);
RTLR(2,tr1);
RTLU (SK_VOID, NULL);
RTLU(SK_INT32,&arg1);
RTLU (SK_REF, &Current);
RTLU(SK_REF, &loc1);
RTEAA(l_feature_name, 871, Current, 1, 1, 12664);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(871, Current, 12664);
RTIV(Current, RTAL);
RTHOOK(1);
RTDBGAL(Current, 1, 0xF8000361, 0, 0); /* loc1 */
loc1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(871, 129, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTHOOK(2);
RTDBGAA(Current, dtype, 871, 149, 0xF8000095, 0); /* socket_address */
ui4_1 = arg1;
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(865, 48, "sockaddr", loc1))(loc1, ui4_1x)), (((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(871, 149, dtype)) = (EIF_REFERENCE) RTCCL(tr1);
if (RTAL & CK_ENSURE) {
RTHOOK(3);
RTCT(NULL, EX_POST);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(871, 149, 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)) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(4);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(4);
RTEE;
#undef up1
#undef ui4_1
#undef arg1
}
/* {INDEXABLE_ITERATION_CURSOR}.start */
void F331_2014 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "start";
RTEX;
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_INTEGER_32 ti4_1;
EIF_BOOLEAN tb1;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(2);
RTLR(0,loc1);
RTLR(1,Current);
RTLU (SK_VOID, NULL);
RTLU (SK_REF, &Current);
RTLU(SK_REF, &loc1);
RTEAA(l_feature_name, 330, Current, 1, 0, 2725);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(330, Current, 2725);
RTIV(Current, RTAL);
RTHOOK(1);
RTDBGAL(Current, 1, 0xF8000072, 0, 0); /* loc1 */
loc1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1711, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTHOOK(2);
tb1 = *(EIF_BOOLEAN *)(Current + RTWA(1703, dtype));
if (tb1) {
RTHOOK(3);
RTDBGAA(Current, dtype, 1695, 0x10000000, 1); /* first_index */
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(1765, "upper", loc1))(loc1)).it_i4);
*(EIF_INTEGER_32 *)(Current + RTWA(1695, dtype)) = (EIF_INTEGER_32) ti4_1;
RTHOOK(4);
RTDBGAA(Current, dtype, 1696, 0x10000000, 1); /* last_index */
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(1763, "lower", loc1))(loc1)).it_i4);
*(EIF_INTEGER_32 *)(Current + RTWA(1696, dtype)) = (EIF_INTEGER_32) ti4_1;
} else {
RTHOOK(5);
RTDBGAA(Current, dtype, 1696, 0x10000000, 1); /* last_index */
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(1765, "upper", loc1))(loc1)).it_i4);
*(EIF_INTEGER_32 *)(Current + RTWA(1696, dtype)) = (EIF_INTEGER_32) ti4_1;
RTHOOK(6);
RTDBGAA(Current, dtype, 1695, 0x10000000, 1); /* first_index */
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(1763, "lower", loc1))(loc1)).it_i4);
*(EIF_INTEGER_32 *)(Current + RTWA(1695, dtype)) = (EIF_INTEGER_32) ti4_1;
}
RTHOOK(7);
RTDBGAA(Current, dtype, 1694, 0x10000000, 1); /* target_index */
ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(1695, dtype));
*(EIF_INTEGER_32 *)(Current + RTWA(1694, dtype)) = (EIF_INTEGER_32) ti4_1;
if (RTAL & CK_ENSURE) {
RTHOOK(8);
RTCT("cursor_index_set_to_one", EX_POST);
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1693, dtype))(Current)).it_i4);
if ((EIF_BOOLEAN)(ti4_1 == ((EIF_INTEGER_32) 1L))) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(9);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(3);
RTEE;
#undef up1
}
/* {NETWORK_SOCKET_ADDRESS}.is_valid_host */
EIF_TYPED_VALUE F872_7146 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "is_valid_host";
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 Result = ((EIF_BOOLEAN) 0);
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(4);
RTLR(0,arg1);
RTLR(1,ur1);
RTLR(2,Current);
RTLR(3,tr1);
RTLU (SK_BOOL, &Result);
RTLU(SK_REF,&arg1);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 871, Current, 0, 1, 12669);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(871, Current, 12669);
RTCC(arg1, 871, l_feature_name, 1, eif_attached_type(218));
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("hostname_not_void", EX_PRE);
RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:
;
RTHOOK(2);
RTDBGAL(Current, 0, 0x04000000, 1,0); /* Result */
ur1 = RTCCL(arg1);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(871, 132, dtype))(Current, ur1x)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
Result = (EIF_BOOLEAN) (EIF_BOOLEAN)(tr1 != NULL);
RTVI(Current, RTAL);
RTRS;
RTHOOK(3);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(3);
RTEE;
{
EIF_TYPED_VALUE r;
r.type = SK_BOOL;
r.it_b = Result;
return r;
}
#undef up1
#undef ur1
#undef arg1
}
/* {INDEXABLE_ITERATION_CURSOR}.forth */
void F331_2015 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "forth";
RTEX;
EIF_REFERENCE tr1 = NULL;
EIF_INTEGER_32 ti4_1;
EIF_INTEGER_32 ti4_2;
EIF_INTEGER_32 ti4_3;
EIF_BOOLEAN tb1;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(2);
RTLR(0,Current);
RTLR(1,tr1);
RTLU (SK_VOID, NULL);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 330, Current, 0, 0, 2701);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(330, Current, 2701);
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("valid_position", EX_PRE);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1175, dtype))(Current)).it_b);
RTTE((EIF_BOOLEAN) !tb1, label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
if (RTAL & CK_ENSURE) {
in_assertion = ~0;
RTE_OT
ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1693, dtype))(Current)).it_i4);
ti4_1 = ti4_2;
tr1 = NULL;
RTE_O
tr1 = RTLA;
RTE_OE
in_assertion = 0;
}
RTHOOK(2);
tb1 = *(EIF_BOOLEAN *)(Current + RTWA(1703, dtype));
if (tb1) {
RTHOOK(3);
RTDBGAA(Current, dtype, 1694, 0x10000000, 1); /* target_index */
ti4_3 = *(EIF_INTEGER_32 *)(Current + RTWA(1697, dtype));
(*(EIF_INTEGER_32 *)(Current + RTWA(1694, dtype))) -= ti4_3;
} else {
RTHOOK(4);
RTDBGAA(Current, dtype, 1694, 0x10000000, 1); /* target_index */
ti4_3 = *(EIF_INTEGER_32 *)(Current + RTWA(1697, dtype));
(*(EIF_INTEGER_32 *)(Current + RTWA(1694, dtype))) += ti4_3;
}
if (RTAL & CK_ENSURE) {
RTHOOK(5);
RTCT("cursor_index_advanced", EX_POST);
ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1693, dtype))(Current)).it_i4);
RTCO(tr1);
if ((EIF_BOOLEAN)(ti4_2 == (EIF_INTEGER_32) (ti4_1 + ((EIF_INTEGER_32) 1L)))) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(6);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(2);
RTEE;
}
/* {NETWORK_SOCKET_ADDRESS}.set_port_from_name */
void F872_7147 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x, EIF_TYPED_VALUE arg2x)
{
GTCX
char *l_feature_name = "set_port_from_name";
RTEX;
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
EIF_REFERENCE loc2 = (EIF_REFERENCE) 0;
EIF_INTEGER_32 loc3 = (EIF_INTEGER_32) 0;
#define arg1 arg1x.it_r
#define arg2 arg2x.it_r
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE up2x = {{0}, SK_POINTER};
#define up2 up2x.it_p
EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
#define ur1 ur1x.it_r
EIF_TYPED_VALUE ui4_1x = {{0}, SK_INT32};
#define ui4_1 ui4_1x.it_i4
EIF_POINTER tp1;
EIF_POINTER tp2;
EIF_REFERENCE tr1 = NULL;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(7);
RTLR(0,arg1);
RTLR(1,arg2);
RTLR(2,loc1);
RTLR(3,tr1);
RTLR(4,ur1);
RTLR(5,loc2);
RTLR(6,Current);
RTLU (SK_VOID, NULL);
RTLU(SK_REF,&arg1);
RTLU(SK_REF,&arg2);
RTLU (SK_REF, &Current);
RTLU(SK_REF, &loc1);
RTLU(SK_REF, &loc2);
RTLU(SK_INT32, &loc3);
RTEAA(l_feature_name, 871, Current, 3, 2, 12670);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(871, Current, 12670);
RTCC(arg1, 871, l_feature_name, 1, eif_attached_type(218));
RTCC(arg2, 871, l_feature_name, 2, eif_attached_type(218));
RTIV(Current, RTAL);
RTHOOK(1);
RTDBGAL(Current, 1, 0xF800007D, 0, 0); /* loc1 */
tr1 = RTLN(125);
ur1 = RTCCL(arg1);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWPC(74, 0, Dtype(tr1)))(tr1, ur1x);
RTNHOOK(1,1);
loc1 = (EIF_REFERENCE) RTCCL(tr1);
RTHOOK(2);
RTDBGAL(Current, 2, 0xF800007D, 0, 0); /* loc2 */
tr1 = RTLN(125);
ur1 = RTCCL(arg2);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWPC(74, 0, Dtype(tr1)))(tr1, ur1x);
RTNHOOK(2,1);
loc2 = (EIF_REFERENCE) RTCCL(tr1);
RTHOOK(3);
RTDBGAL(Current, 3, 0x10000000, 1, 0); /* loc3 */
tp1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVPF(74, 19, "item", loc1))(loc1)).it_p);
up1 = tp1;
tp2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVPF(74, 19, "item", loc2))(loc2)).it_p);
up2 = tp2;
loc3 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTWF(871, 172, dtype))(Current, up1x, up2x)).it_i4);
RTHOOK(4);
ui4_1 = loc3;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(871, 165, dtype))(Current, ui4_1x);
RTVI(Current, RTAL);
RTRS;
RTHOOK(5);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(7);
RTEE;
#undef up1
#undef up2
#undef ur1
#undef ui4_1
#undef arg2
#undef arg1
}
/* {INDEXABLE_ITERATION_CURSOR}.item */
EIF_TYPED_VALUE F331_1995 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "item";
RTEX;
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE ui4_1x = {{0}, SK_INT32};
#define ui4_1 ui4_1x.it_i4
EIF_REFERENCE tr1 = NULL;
EIF_NATURAL_64 tu8_1;
EIF_INTEGER_32 ti4_1;
EIF_BOOLEAN tb1;
EIF_NATURAL_64 Result = ((EIF_NATURAL_64) 0);
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(2);
RTLR(0,Current);
RTLR(1,tr1);
RTLU (SK_UINT64, &Result);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 330, Current, 0, 0, 2706);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(330, Current, 2706);
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("valid_position", EX_PRE);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1175, dtype))(Current)).it_b);
RTTE((EIF_BOOLEAN) !tb1, label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(2);
RTDBGAL(Current, 0, 0x3C000000, 0,0); /* Result */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1710, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(2,1);
ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(1694, dtype));
ui4_1 = ti4_1;
tu8_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(1713, "item", tr1))(tr1, ui4_1x)).it_n8);
Result = (EIF_NATURAL_64) tu8_1;
RTVI(Current, RTAL);
RTRS;
RTHOOK(3);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(2);
RTEE;
{ EIF_TYPED_VALUE r; r.type = SK_UINT64; r.it_n8 = Result; return r; }
#undef up1
#undef ui4_1
}
/* {DS_TRAVERSABLE}.off */
EIF_TYPED_VALUE F2599_32406 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "off";
RTEX;
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
#define ur1 ur1x.it_r
EIF_REFERENCE tr1 = NULL;
EIF_BOOLEAN tb1;
EIF_BOOLEAN tb2;
EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0);
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(3);
RTLR(0,Current);
RTLR(1,tr1);
RTLR(2,ur1);
RTLIU(3);
RTLU (SK_BOOL, &Result);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 2598, Current, 0, 0, 37487);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(2598, Current, 37487);
RTIV(Current, RTAL);
RTHOOK(1);
RTDBGAL(Current, 0, 0x04000000, 1,0); /* Result */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(25464, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
ur1 = RTCCL(tr1);
Result = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(25466, dtype))(Current, ur1x)).it_b);
if (RTAL & CK_ENSURE) {
RTHOOK(2);
RTCT("empty_constraint", EX_POST);
tb1 = '\01';
tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(25427, dtype))(Current)).it_b);
if (tb2) {
tb1 = Result;
}
if (tb1) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(3);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(2);
RTEE;
{ EIF_TYPED_VALUE r; r.type = SK_BOOL; r.it_b = Result; return r; }
#undef up1
#undef ur1
}
/* {EV_GAUGE}.make_with_value_range */
void F1264_11735 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "make_with_value_range";
RTEX;
#define arg1 arg1x.it_r
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE ui4_1x = {{0}, SK_INT32};
#define ui4_1 ui4_1x.it_i4
EIF_TYPED_VALUE ui4_2x = {{0}, SK_INT32};
#define ui4_2 ui4_2x.it_i4
EIF_REFERENCE tr1 = NULL;
EIF_INTEGER_32 ti4_1;
EIF_INTEGER_32 ti4_2;
EIF_BOOLEAN tb1;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(3);
RTLR(0,arg1);
RTLR(1,Current);
RTLR(2,tr1);
RTLU (SK_VOID, NULL);
RTLU(SK_REF,&arg1);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 1263, Current, 0, 1, 17638);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(1263, Current, 17638);
RTCC(arg1, 1263, l_feature_name, 1, eif_attached_type(147));
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("a_value_range_not_void", EX_PRE);
RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
RTCK;
RTHOOK(2);
RTCT("a_value_range_not_empty", EX_PRE);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(1693, "is_empty", arg1))(arg1)).it_b);
RTTE((EIF_BOOLEAN) !tb1, label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:
;
RTHOOK(3);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTWF(32, dtype))(Current);
RTHOOK(4);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9062, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(4,1);
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(2439, "lower", arg1))(arg1)).it_i4);
ui4_1 = ti4_1;
ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(2441, "upper", arg1))(arg1)).it_i4);
ui4_2 = ti4_2;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTVF(2444, "resize_exactly", tr1))(tr1, ui4_1x, ui4_2x);
RTVI(Current, RTAL);
RTRS;
RTHOOK(5);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(3);
RTEE;
#undef up1
#undef ui4_1
#undef ui4_2
#undef arg1
}