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