/* {STRING_TABLE}.is_equal */
EIF_TYPED_VALUE F599_2498 (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 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, 598, Current, 0, 1, 6097);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(598, Current, 6097);
RTCC(arg1, 598, 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);
tb1 = *(EIF_BOOLEAN *)(Current + RTWA(1970, dtype));
tb2 = *(EIF_BOOLEAN *)(arg1 + RTVA(1970, "is_case_insensitive", arg1));
if ((EIF_BOOLEAN)(tb1 == tb2)) {
RTHOOK(3);
RTDBGAL(Current, 0, 0x04000000, 1,0); /* Result */
ur1 = RTCCL(arg1);
Result = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(11, 599))(Current, ur1x)).it_b);
}
if (RTAL & CK_ENSURE) {
RTHOOK(4);
RTCT("symmetric", EX_POST);
if ((!(Result) || (RTEQ(arg1, Current)))) {
RTCK;
} else {
RTCF;
}
RTHOOK(5);
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(6);
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
}
/* {ITP_CONSTANT}.type_name */
EIF_TYPED_VALUE F958_8148 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "type_name";
RTEX;
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_REFERENCE tr1 = NULL;
EIF_REFERENCE tr2 = NULL;
EIF_BOOLEAN tb1;
EIF_REFERENCE Result = ((EIF_REFERENCE) 0);
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(5);
RTLR(0,loc1);
RTLR(1,Current);
RTLR(2,Result);
RTLR(3,tr1);
RTLR(4,tr2);
RTLIU(5);
RTLU (SK_REF, &Result);
RTLU (SK_REF, &Current);
RTLU(SK_REF, &loc1);
RTEAA(l_feature_name, 957, Current, 1, 0, 13587);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(957, Current, 13587);
RTIV(Current, RTAL);
RTHOOK(1);
RTDBGAL(Current, 1, 0xF8000000, 0, 0); /* loc1 */
loc1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5893, 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);
if ((EIF_BOOLEAN)(loc1 == NULL)) {
RTHOOK(3);
RTDBGAL(Current, 0, 0xF80000DC, 0,0); /* Result */
Result = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5891, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
} else {
RTHOOK(4);
RTDBGAL(Current, 0, 0xF80000DC, 0,0); /* Result */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(8, "generating_type", loc1))(loc1)), (((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)) RTVF(3561, "to_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);
Result = (EIF_REFERENCE) RTCCL(tr2);
}
if (RTAL & CK_ENSURE) {
RTHOOK(5);
RTCT("result_not_void", EX_POST);
if ((EIF_BOOLEAN)(Result != NULL)) {
RTCK;
} else {
RTCF;
}
RTHOOK(6);
RTCT("result_not_empty", EX_POST);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(4360, "is_empty", Result))(Result)).it_b);
if ((EIF_BOOLEAN) !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
}
EIF_TYPED_VALUE F864_7016 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "special_any_";
RTEX;
EIF_REFERENCE tr1 = NULL;
RTCDD;
RTSN;
RTDA;
RTLD;
#define Result RTOTRR
RTOTDR(F864_7016);
dtype = Dtype(Current);
RTLI(2);
RTLR(0,Current);
RTLR(1,tr1);
RTLIU(2);
RTLU (SK_REF, &Result);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 863, Current, 0, 0, 12695);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(863, Current, 12695);
RTIV(Current, RTAL);
RTOTP;
RTHOOK(1);
RTDBGAL(Current, 0, 0xF8000382, 0,0); /* Result */
{
static EIF_TYPE_INDEX typarr0[] = {0xFF01,898,0xFF01,0,0xFFFF};
EIF_TYPE typres0;
static EIF_TYPE typcache0 = {INVALID_DTYPE, 0};
typres0 = (typcache0.id != INVALID_DTYPE ? typcache0 : (typcache0 = eif_compound_id(Dftype(Current), typarr0)));
tr1 = RTLN(typres0.id);
}
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTWC(32, Dtype(tr1)))(tr1);
RTNHOOK(1,1);
Result = (EIF_REFERENCE) RTCCL(tr1);
if (RTAL & CK_ENSURE) {
RTHOOK(2);
RTCT("special_any_routines_not_void", EX_POST);
if ((EIF_BOOLEAN)(Result != NULL)) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTOTE;
RTHOOK(3);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(2);
RTEE;
{
EIF_TYPED_VALUE r;
r.type = SK_REF;
r.it_r = Result;
return r;
}
#undef Result
}
/* {LINKED_STACK}.duplicate */
EIF_TYPED_VALUE F540_4899 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "duplicate";
RTEX;
EIF_INTEGER_32 loc1 = (EIF_INTEGER_32) 0;
EIF_REFERENCE loc2 = (EIF_REFERENCE) 0;
EIF_REFERENCE loc3 = (EIF_REFERENCE) 0;
#define arg1 arg1x.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 ub1x = {{0}, SK_BOOL};
#define ub1 ub1x.it_b
EIF_REFERENCE tr1 = NULL;
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(6);
RTLR(0,Current);
RTLR(1,tr1);
RTLR(2,Result);
RTLR(3,loc2);
RTLR(4,loc3);
RTLR(5,ur1);
RTLU (SK_REF, &Result);
RTLU(SK_INT32,&arg1);
RTLU (SK_REF, &Current);
RTLU(SK_INT32, &loc1);
RTLU(SK_REF, &loc2);
RTLU(SK_REF, &loc3);
RTEAA(l_feature_name, 539, Current, 3, 1, 7125);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(539, Current, 7125);
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("not_off_unless_after", EX_PRE);
tb1 = '\01';
tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(2171, dtype))(Current)).it_b);
if (tb2) {
tb2 = *(EIF_BOOLEAN *)(Current + RTWA(4044, dtype));
tb1 = tb2;
}
RTTE(tb1, label_1);
RTCK;
RTHOOK(2);
RTCT("valid_subchain", EX_PRE);
RTTE((EIF_BOOLEAN) (arg1 >= ((EIF_INTEGER_32) 0L)), label_1);
RTCK;
RTJB;
label_1:
RTCK;
RTHOOK(3);
RTCT("positive_argument", EX_PRE);
RTTE((EIF_BOOLEAN) (arg1 > ((EIF_INTEGER_32) 0L)), label_2);
RTCK;
RTJB;
label_2:
RTCF;
}
body:;
RTHOOK(4);
RTDBGAL(Current, 0, 0xF800021B, 0,0); /* Result */
tr1 = RTLNSMART(Dftype(Current));
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTWC(4034, Dtype(tr1)))(tr1);
RTNHOOK(4,1);
Result = (EIF_REFERENCE) RTCCL(tr1);
RTHOOK(5);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(2162, dtype))(Current)).it_b);
if ((EIF_BOOLEAN) !tb1) {
RTHOOK(6);
RTDBGAL(Current, 2, 0xF80000CB, 0, 0); /* loc2 */
loc2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(2223, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTHOOK(7);
RTDBGAL(Current, 3, 0xF800023D, 0, 0); /* loc3 */
loc3 = (EIF_REFERENCE) RTCCL(Result);
RTHOOK(8);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTWF(2172, dtype))(Current);
for (;;) {
RTHOOK(9);
tb1 = *(EIF_BOOLEAN *)(Current + RTWA(4044, dtype));
if ((EIF_BOOLEAN) (tb1 || (EIF_BOOLEAN)(loc1 == arg1))) break;
RTHOOK(10);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(2184, "finish", loc3))(loc3);
RTHOOK(11);
tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(4052, dtype))(Current)).it_b);
ub1 = tb2;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4027, "put_right", loc3))(loc3, ub1x);
RTHOOK(12);
RTDBGAL(Current, 1, 0x10000000, 1, 0); /* loc1 */
loc1++;
RTHOOK(13);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTWF(2185, dtype))(Current);
}
RTHOOK(14);
ur1 = RTCCL(loc2);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(2225, dtype))(Current, ur1x);
}
/* {STORABLE}.retrieved */
EIF_TYPED_VALUE F89_1545 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "retrieved";
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;
EIF_REFERENCE Result = ((EIF_REFERENCE) 0);
RTSN;
RTDA;
RTLD;
RTLI(4);
RTLR(0,arg1);
RTLR(1,tr1);
RTLR(2,Result);
RTLR(3,Current);
RTLU (SK_REF, &Result);
RTLU(SK_REF,&arg1);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 88, Current, 0, 1, 1461);
RTSA(Dtype(Current));
RTSC;
RTME(Dtype(Current), 0);
RTGC;
RTDBGEAA(88, Current, 1461);
RTCC(arg1, 88, l_feature_name, 1, eif_attached_type(199));
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("medium_not_void", EX_PRE);
RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
RTCK;
RTHOOK(2);
RTCT("medium_exists", EX_PRE);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(3417, "exists", arg1))(arg1)).it_b);
RTTE(tb1, label_1);
RTCK;
RTHOOK(3);
RTCT("medium_is_open_read", EX_PRE);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(3418, "is_open_read", arg1))(arg1)).it_b);
RTTE(tb1, label_1);
RTCK;
RTHOOK(4);
RTCT("medium_supports_storable", EX_PRE);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(3426, "support_storable", arg1))(arg1)).it_b);
RTTE(tb1, label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(5);
RTDBGAL(Current, 0, 0xF8000000, 0,0); /* Result */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(3395, "retrieved", arg1))(arg1)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
Result = (EIF_REFERENCE) RTCCL(tr1);
RTVI(Current, RTAL);
RTRS;
RTHOOK(6);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(3);
RTEE;
{ EIF_TYPED_VALUE r; r.type = SK_REF; r.it_r = Result; return r; }
#undef up1
#undef arg1
}
/* {TYPE}.out */
EIF_TYPED_VALUE F827_19369 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "out";
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_REFERENCE Result = ((EIF_REFERENCE) 0);
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(5);
RTLR(0,tr1);
RTLR(1,Current);
RTLR(2,tr2);
RTLR(3,ur1);
RTLR(4,Result);
RTLU (SK_REF, &Result);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 826, Current, 0, 0, 12340);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(826, Current, 12340);
RTIV(Current, RTAL);
RTHOOK(1);
RTDBGAL(Current, 0, 0xF8000185, 0,0); /* Result */
tr1 = RTLN(389);
tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(17106, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
ur1 = tr2;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWC(15701, Dtype(tr1)))(tr1, ur1x);
RTNHOOK(1,1);
Result = (EIF_REFERENCE) RTCCL(tr1);
if (RTAL & CK_ENSURE) {
RTHOOK(2);
RTCT("out_not_void", EX_POST);
if ((EIF_BOOLEAN)(Result != NULL)) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(3);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(2);
RTEE;
{ EIF_TYPED_VALUE r; r.type = SK_REF; r.it_r = Result; return r; }
#undef up1
#undef ur1
}
/* {LINKED_STACK}.item */
EIF_TYPED_VALUE F540_4893 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "item";
RTEX;
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_REFERENCE tr1 = NULL;
EIF_BOOLEAN tb1;
EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0);
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(3);
RTLR(0,Current);
RTLR(1,loc1);
RTLR(2,tr1);
RTLU (SK_BOOL, &Result);
RTLU (SK_REF, &Current);
RTLU(SK_REF, &loc1);
RTEAA(l_feature_name, 539, Current, 1, 0, 7126);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(539, Current, 7126);
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("readable", EX_PRE);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(2218, dtype))(Current)).it_b);
RTTE(tb1, label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
if (RTAL & CK_CHECK) {
RTHOOK(2);
RTCT("not_empty", EX_CHECK);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(2162, dtype))(Current)).it_b);
if ((EIF_BOOLEAN) !tb1) {
RTCK;
} else {
RTCF;
}
}
RTHOOK(3);
RTCT0(NULL, EX_CHECK);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(4035, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
loc1 = RTCCL(tr1);
if (EIF_TEST(loc1)) {
RTCK0;
} else {
RTCF0;
}
RTHOOK(4);
RTDBGAL(Current, 0, 0x04000000, 0,0); /* Result */
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(1291, "item", loc1))(loc1)).it_b);
Result = (EIF_BOOLEAN) tb1;
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
}
/* {APP}.dofromfelix */
void F864_6998 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "dofromfelix";
RTEX;
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
EIF_REFERENCE loc2 = (EIF_REFERENCE) 0;
EIF_REFERENCE loc3 = (EIF_REFERENCE) 0;
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
#define ur1 ur1x.it_r
EIF_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;
RTCFDT;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(7);
RTLR(0,loc3);
RTLR(1,tr1);
RTLR(2,loc1);
RTLR(3,Current);
RTLR(4,tr2);
RTLR(5,ur1);
RTLR(6,loc2);
RTLIU(7);
RTLU (SK_VOID, NULL);
RTLU (SK_REF, &Current);
RTLU(SK_REF, &loc1);
RTLU(SK_REF, &loc2);
RTLU(SK_REF, &loc3);
RTEAA(l_feature_name, 863, Current, 3, 0, 12679);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(863, Current, 12679);
RTIV(Current, RTAL);
RTHOOK(1);
RTDBGAL(Current, 3, 0xF8000360, 0, 0); /* loc3 */
tr1 = RTLN(eif_new_type(864, 0x01).id);
ui4_1 = ((EIF_INTEGER_32) 1L);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWC(3422, Dtype(tr1)))(tr1, ui4_1x);
RTNHOOK(1,1);
loc3 = (EIF_REFERENCE) RTCCL(tr1);
RTHOOK(2);
RTDBGAL(Current, 1, 0xF800011D, 0, 0); /* loc1 */
{
static EIF_TYPE_INDEX typarr0[] = {0xFF01,285,206,0xFFFF};
EIF_TYPE typres0;
static EIF_TYPE typcache0 = {INVALID_DTYPE, 0};
typres0 = (typcache0.id != INVALID_DTYPE ? typcache0 : (typcache0 = eif_compound_id(dftype, typarr0)));
tr1 = RTLN(typres0.id);
}
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTWC(2610, Dtype(tr1)))(tr1);
RTNHOOK(2,1);
loc1 = (EIF_REFERENCE) RTCCL(tr1);
RTHOOK(3);
RTDBGAL(Current, 1, 0xF800011D, 0, 0); /* loc1 */
ui4_1 = ((EIF_INTEGER_32) 14L);
{
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)));
tr2 = RTLNSP2(typres0.id,0,ui4_1,sizeof(EIF_INTEGER_32), EIF_TRUE);
RT_SPECIAL_COUNT(tr2) = 14L;
memset(tr2, 0, RT_SPECIAL_VISIBLE_SIZE(tr2));
}
*((EIF_INTEGER_32 *)tr2+0) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 14L);
*((EIF_INTEGER_32 *)tr2+1) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 4L);
*((EIF_INTEGER_32 *)tr2+2) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 5345L);
*((EIF_INTEGER_32 *)tr2+3) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 4L);
*((EIF_INTEGER_32 *)tr2+4) = (EIF_INTEGER_32) ((EIF_INTEGER_32) -1324L);
*((EIF_INTEGER_32 *)tr2+5) = (EIF_INTEGER_32) ((EIF_INTEGER_32) -14L);
*((EIF_INTEGER_32 *)tr2+6) = (EIF_INTEGER_32) ((EIF_INTEGER_32) -4L);
*((EIF_INTEGER_32 *)tr2+7) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 0L);
*((EIF_INTEGER_32 *)tr2+8) = (EIF_INTEGER_32) ((EIF_INTEGER_32) -12L);
*((EIF_INTEGER_32 *)tr2+9) = (EIF_INTEGER_32) ((EIF_INTEGER_32) -16L);
*((EIF_INTEGER_32 *)tr2+10) = (EIF_INTEGER_32) ((EIF_INTEGER_32) -15L);
*((EIF_INTEGER_32 *)tr2+11) = (EIF_INTEGER_32) ((EIF_INTEGER_32) -17L);
*((EIF_INTEGER_32 *)tr2+12) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 999L);
*((EIF_INTEGER_32 *)tr2+13) = (EIF_INTEGER_32) ((EIF_INTEGER_32) -345439L);
tr1 = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(2403, Dtype(tr2)))(tr2).it_r;
loc1 = (EIF_REFERENCE) tr1;
RTHOOK(4);
ur1 = RTCCL(loc1);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4936, "fill_tree", loc3))(loc3, ur1x);
RTHOOK(5);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(4935, "getinorder", loc3))(loc3)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
ur1 = RTCCL(tr1);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(30, dtype))(Current, ur1x);
RTHOOK(6);
RTDBGAL(Current, 2, 0xF800035D, 0, 0); /* loc2 */
tr1 = RTLN(eif_new_type(861, 0x01).id);
ur1 = RTCCL(loc3);
ui4_1 = ((EIF_INTEGER_32) -14L);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTWC(4916, Dtype(tr1)))(tr1, ur1x, ui4_1x);
RTNHOOK(6,1);
loc2 = (EIF_REFERENCE) RTCCL(tr1);
RTHOOK(7);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(4917, "getsolution", loc2))(loc2)).it_b);
ur1 = RTLN(eif_new_type(191, 0x00).id);
*(EIF_BOOLEAN *)ur1 = tb1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(30, dtype))(Current, ur1x);
RTVI(Current, RTAL);
RTRS;
RTHOOK(8);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(5);
RTEE;
#undef up1
#undef ur1
#undef ui4_1
}
/* {APP}.make */
void F864_6994 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "make";
RTEX;
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
EIF_REFERENCE loc2 = (EIF_REFERENCE) 0;
EIF_REFERENCE loc3 = (EIF_REFERENCE) 0;
#define arg1 arg1x.it_r
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
#define ur1 ur1x.it_r
EIF_TYPED_VALUE ui4_1x = {{0}, SK_INT32};
#define ui4_1 ui4_1x.it_i4
EIF_REFERENCE tr1 = NULL;
EIF_INTEGER_32 ti4_1;
EIF_BOOLEAN tb1;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(7);
RTLR(0,arg1);
RTLR(1,loc1);
RTLR(2,Current);
RTLR(3,tr1);
RTLR(4,loc2);
RTLR(5,ur1);
RTLR(6,loc3);
RTLIU(7);
RTLU (SK_VOID, NULL);
RTLU(SK_REF,&arg1);
RTLU (SK_REF, &Current);
RTLU(SK_REF, &loc1);
RTLU(SK_REF, &loc2);
RTLU(SK_REF, &loc3);
RTEAA(l_feature_name, 863, Current, 3, 1, 12675);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(863, Current, 12675);
{
static EIF_TYPE_INDEX typarr0[] = {0xFF01,250,0xFF01,220,0xFFFF};
EIF_TYPE typres0;
static EIF_TYPE typcache0 = {INVALID_DTYPE, 0};
typres0 = (typcache0.id != INVALID_DTYPE ? typcache0 : (typcache0 = eif_compound_id(Dftype(Current), typarr0)));
RTCC(arg1, 863, l_feature_name, 1, typres0, 0x01);
}
RTIV(Current, RTAL);
RTHOOK(1);
RTDBGAL(Current, 1, 0xF800011D, 0, 0); /* loc1 */
{
static EIF_TYPE_INDEX typarr0[] = {0xFF01,285,206,0xFFFF};
EIF_TYPE typres0;
static EIF_TYPE typcache0 = {INVALID_DTYPE, 0};
typres0 = (typcache0.id != INVALID_DTYPE ? typcache0 : (typcache0 = eif_compound_id(Dftype(Current), typarr0)));
tr1 = RTLN(typres0.id);
}
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTWC(2610, Dtype(tr1)))(tr1);
RTNHOOK(1,1);
loc1 = (EIF_REFERENCE) RTCCL(tr1);
RTHOOK(2);
RTDBGAL(Current, 1, 0xF80000F4, 0, 0); /* loc2 */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(2318, "new_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 = (EIF_REFERENCE) RTCCL(tr1);
for (;;) {
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(1677, "after", loc2))(loc2)).it_b);
if (tb1) break;
RTHOOK(3);
RTDBGAL(Current, 1, 0xF800011D, 0, 0); /* loc1 */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(1676, "item", loc2))(loc2)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
ur1 = RTCCL(tr1);
loc1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(4925, 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);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(1678, "forth", loc2))(loc2);
}
RTHOOK(5);
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(1758, "count", loc1))(loc1)).it_i4);
if ((EIF_BOOLEAN) (ti4_1 > ((EIF_INTEGER_32) 1L))) {
RTHOOK(6);
RTDBGAA(Current, dtype, 4923, 0xF8000360, 0); /* treecommon */
tr1 = RTLNSMART(RTWCT(4923, dtype, Dftype(Current)).id);
ui4_1 = ((EIF_INTEGER_32) 1L);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWC(3422, Dtype(tr1)))(tr1, ui4_1x);
RTNHOOK(6,1);
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + RTWA(4923, dtype)) = (EIF_REFERENCE) RTCCL(tr1);
RTHOOK(7);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(4923, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
loc3 = RTCCL(tr1);
if (EIF_TEST(loc3)) {
}
}
/* {EV_RICH_TEXT_ACTION_SEQUENCES_I}.caret_move_actions */
EIF_TYPED_VALUE F911_8465 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "caret_move_actions";
RTEX;
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_REFERENCE tr1 = NULL;
EIF_REFERENCE Result = ((EIF_REFERENCE) 0);
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(3);
RTLR(0,Current);
RTLR(1,tr1);
RTLR(2,Result);
RTLU (SK_REF, &Result);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 910, Current, 0, 0, 14115);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(910, Current, 14115);
RTIV(Current, RTAL);
RTHOOK(1);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(6389, 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(2);
RTDBGAA(Current, dtype, 6389, 0xF8000452, 0); /* caret_move_actions_internal */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(6388, dtype))(Current)), (((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(6389, dtype)) = (EIF_REFERENCE) RTCCL(tr1);
}
RTHOOK(3);
RTDBGAL(Current, 0, 0xF8000452, 0,0); /* Result */
Result = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(6389, dtype))(Current)), (((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(4);
RTCT("not_void", EX_POST);
if ((EIF_BOOLEAN)(Result != NULL)) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(5);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(2);
RTEE;
{ EIF_TYPED_VALUE r; r.type = SK_REF; r.it_r = Result; return r; }
#undef up1
}
/* {APP}.parseinput */
EIF_TYPED_VALUE F864_6995 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "parseinput";
RTEX;
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
EIF_REFERENCE loc2 = (EIF_REFERENCE) 0;
EIF_REFERENCE loc3 = (EIF_REFERENCE) 0;
#define arg1 arg1x.it_r
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE 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 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;
EIF_BOOLEAN tb2;
EIF_REFERENCE Result = ((EIF_REFERENCE) 0);
RTSN;
RTDA;
RTLD;
RTLI(7);
RTLR(0,arg1);
RTLR(1,loc2);
RTLR(2,Current);
RTLR(3,tr1);
RTLR(4,loc1);
RTLR(5,loc3);
RTLR(6,Result);
RTLIU(7);
RTLU (SK_REF, &Result);
RTLU(SK_REF,&arg1);
RTLU (SK_REF, &Current);
RTLU(SK_REF, &loc1);
RTLU(SK_REF, &loc2);
RTLU(SK_REF, &loc3);
RTEAA(l_feature_name, 863, Current, 3, 1, 12676);
RTSA(Dtype(Current));
RTSC;
RTME(Dtype(Current), 0);
RTGC;
RTDBGEAA(863, Current, 12676);
RTCC(arg1, 863, l_feature_name, 1, eif_new_type(220, 0x01), 0x01);
RTIV(Current, RTAL);
RTHOOK(1);
RTDBGAL(Current, 2, 0xF800011D, 0, 0); /* loc2 */
{
static EIF_TYPE_INDEX typarr0[] = {0xFF01,285,206,0xFFFF};
EIF_TYPE typres0;
static EIF_TYPE typcache0 = {INVALID_DTYPE, 0};
typres0 = (typcache0.id != INVALID_DTYPE ? typcache0 : (typcache0 = eif_compound_id(Dftype(Current), typarr0)));
tr1 = RTLN(typres0.id);
}
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTWC(2610, Dtype(tr1)))(tr1);
RTNHOOK(1,1);
loc2 = (EIF_REFERENCE) RTCCL(tr1);
RTHOOK(2);
RTDBGAL(Current, 1, 0xF8000107, 0, 0); /* loc1 */
tw1 = (EIF_CHARACTER_32) (EIF_CHARACTER_8) ',';
uw1 = tw1;
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4421, "split", arg1))(arg1, uw1x)), (((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(3);
RTDBGAL(Current, 1, 0xF80000F4, 0, 0); /* loc3 */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(2318, "new_cursor", loc1))(loc1)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
loc3 = (EIF_REFERENCE) RTCCL(tr1);
for (;;) {
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(1677, "after", loc3))(loc3)).it_b);
if (tb1) break;
RTHOOK(4);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(1676, "item", loc3))(loc3)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(4,1);
tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(4374, "is_integer", tr1))(tr1)).it_b);
if (tb2) {
RTHOOK(5);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(1676, "item", loc3))(loc3)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(5,1);
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(4408, "to_integer", tr1))(tr1)).it_i4);
ui4_1 = ti4_1;
ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(1758, "count", loc2))(loc2)).it_i4);
ui4_2 = (EIF_INTEGER_32) (ti4_2 + ((EIF_INTEGER_32) 1L));
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTVF(2624, "force", loc2))(loc2, ui4_1x, ui4_2x);
}
RTHOOK(6);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(1678, "forth", loc3))(loc3);
}
RTHOOK(7);
RTDBGAL(Current, 0, 0xF800011D, 0,0); /* Result */
Result = (EIF_REFERENCE) RTCCL(loc2);
RTVI(Current, RTAL);
RTRS;
RTHOOK(8);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(6);
RTEE;
{ EIF_TYPED_VALUE r; r.type = SK_REF; r.it_r = Result; return r; }
#undef up1
#undef ui4_1
#undef ui4_2
#undef uw1
#undef arg1
}
/* {ETF_EVT_TOKENS}.token_name */
EIF_TYPED_VALUE F1525_15939 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "token_name";
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 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(2);
RTLR(0,Result);
RTLR(1,Current);
RTLU (SK_REF, &Result);
RTLU(SK_INT32,&arg1);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 1524, Current, 0, 1, 21169);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(1524, Current, 21169);
RTIV(Current, RTAL);
RTHOOK(1);
switch (arg1) {
case 0L:
RTHOOK(2);
RTDBGAL(Current, 0, 0xF80000DB, 0,0); /* Result */
Result = RTMS_EX_H("EOF token",9,451139182);
break;
case -1L:
RTHOOK(3);
RTDBGAL(Current, 0, 0xF80000DB, 0,0); /* Result */
Result = RTMS_EX_H("Error token",11,1176850798);
break;
case 258L:
RTHOOK(4);
RTDBGAL(Current, 0, 0xF80000DB, 0,0); /* Result */
Result = RTMS_EX_H("NUMBER",6,1450195794);
break;
case 259L:
RTHOOK(5);
RTDBGAL(Current, 0, 0xF80000DB, 0,0); /* Result */
Result = RTMS_EX_H("REAL",4,1380270412);
break;
case 260L:
RTHOOK(6);
RTDBGAL(Current, 0, 0xF80000DB, 0,0); /* Result */
Result = RTMS_EX_H("IDENT",5,1145953364);
break;
case 261L:
RTHOOK(7);
RTDBGAL(Current, 0, 0xF80000DB, 0,0); /* Result */
Result = RTMS_EX_H("CHAR_LIT",8,1474326612);
break;
case 262L:
RTHOOK(8);
RTDBGAL(Current, 0, 0xF80000DB, 0,0); /* Result */
Result = RTMS_EX_H("STR_LIT",7,590287188);
break;
case 263L:
RTHOOK(9);
RTDBGAL(Current, 0, 0xF80000DB, 0,0); /* Result */
Result = RTMS_EX_H("TK_SYSTEM",9,661771853);
break;
case 264L:
RTHOOK(10);
RTDBGAL(Current, 0, 0xF80000DB, 0,0); /* Result */
Result = RTMS_EX_H("TK_BOOL",7,589667660);
break;
case 265L:
RTHOOK(11);
RTDBGAL(Current, 0, 0xF80000DB, 0,0); /* Result */
Result = RTMS_EX_H("TK_BOOLEAN",10,1789796174);
break;
case 266L:
RTHOOK(12);
RTDBGAL(Current, 0, 0xF80000DB, 0,0); /* Result */
Result = RTMS_EX_H("TK_CHAR",7,605982546);
break;
case 267L:
RTHOOK(13);
RTDBGAL(Current, 0, 0xF80000DB, 0,0); /* Result */
Result = RTMS_EX_H("TK_CHARACTER",12,234055762);
break;
case 268L:
RTHOOK(14);
RTDBGAL(Current, 0, 0xF80000DB, 0,0); /* Result */
Result = RTMS_EX_H("TK_INT",6,1764366420);
break;
case 269L:
RTHOOK(15);
RTDBGAL(Current, 0, 0xF80000DB, 0,0); /* Result */
Result = RTMS_EX_H("TK_INTEGER",10,898815826);
break;
case 270L:
RTHOOK(16);
RTDBGAL(Current, 0, 0xF80000DB, 0,0); /* Result */
Result = RTMS_EX_H("TK_REAL",7,857444172);
break;
case 271L:
RTHOOK(17);
RTDBGAL(Current, 0, 0xF80000DB, 0,0); /* Result */
Result = RTMS_EX_H("TK_STR",6,1765023314);
break;
case 272L:
RTHOOK(18);
RTDBGAL(Current, 0, 0xF80000DB, 0,0); /* Result */
Result = RTMS_EX_H("TK_VALUE",8,396412741);
break;
case 273L:
RTHOOK(19);
RTDBGAL(Current, 0, 0xF80000DB, 0,0); /* Result */
Result = RTMS_EX_H("TK_TUPLE",8,732201541);
break;
case 274L:
RTHOOK(20);
RTDBGAL(Current, 0, 0xF80000DB, 0,0); /* Result */
Result = RTMS_EX_H("TK_ARRAY",8,681852249);
break;
case 275L:
RTHOOK(21);
RTDBGAL(Current, 0, 0xF80000DB, 0,0); /* Result */
Result = RTMS_EX_H("TK_TRUE",7,891855685);
break;
case 276L:
RTHOOK(22);
RTDBGAL(Current, 0, 0xF80000DB, 0,0); /* Result */
Result = RTMS_EX_H("TK_FALSE",8,396289349);
break;
case 277L:
RTHOOK(23);
RTDBGAL(Current, 0, 0xF80000DB, 0,0); /* Result */
Result = RTMS_EX_H("TK_TRUE_LOWER",13,1400247122);
break;
case 278L:
RTHOOK(24);
RTDBGAL(Current, 0, 0xF80000DB, 0,0); /* Result */
Result = RTMS_EX_H("TK_FALSE_LOWER",14,2066344786);
break;
case 279L:
RTHOOK(25);
RTDBGAL(Current, 0, 0xF80000DB, 0,0); /* Result */
Result = RTMS_EX_H("TK_COMMA",8,631211329);
break;
case 280L:
RTHOOK(26);
RTDBGAL(Current, 0, 0xF80000DB, 0,0); /* Result */
Result = RTMS_EX_H("TK_COLON",8,631146318);
break;
case 281L:
RTHOOK(27);
RTDBGAL(Current, 0, 0xF80000DB, 0,0); /* Result */
Result = RTMS_EX_H("TK_SEMI_COLON",13,429495630);
break;
case 282L:
RTHOOK(28);
RTDBGAL(Current, 0, 0xF80000DB, 0,0); /* Result */
Result = RTMS_EX_H("TK_LPAREN",9,345819214);
break;
case 283L:
RTHOOK(29);
RTDBGAL(Current, 0, 0xF80000DB, 0,0); /* Result */
Result = RTMS_EX_H("TK_RPAREN",9,357615694);
break;
case 284L:
RTHOOK(30);
RTDBGAL(Current, 0, 0xF80000DB, 0,0); /* Result */
Result = RTMS_EX_H("TK_LSBRAC",9,362618435);
break;
case 285L:
RTHOOK(31);
RTDBGAL(Current, 0, 0xF80000DB, 0,0); /* Result */
Result = RTMS_EX_H("TK_RSBRAC",9,374414915);
break;
case 286L:
RTHOOK(32);
RTDBGAL(Current, 0, 0xF80000DB, 0,0); /* Result */
Result = RTMS_EX_H("TK_LABRAC",9,362480195);
break;
case 287L:
RTHOOK(33);
RTDBGAL(Current, 0, 0xF80000DB, 0,0); /* Result */
Result = RTMS_EX_H("TK_RABRAC",9,374276675);
break;
case 288L:
RTHOOK(34);
RTDBGAL(Current, 0, 0xF80000DB, 0,0); /* Result */
Result = RTMS_EX_H("TK_LCBRAC",9,362495555);
break;
case 289L:
RTHOOK(35);
RTDBGAL(Current, 0, 0xF80000DB, 0,0); /* Result */
Result = RTMS_EX_H("TK_RCBRAC",9,374292035);
break;
case 290L:
RTHOOK(36);
RTDBGAL(Current, 0, 0xF80000DB, 0,0); /* Result */
Result = RTMS_EX_H("TK_DQUOTE",9,665449797);
break;
case 291L:
RTHOOK(37);
RTDBGAL(Current, 0, 0xF80000DB, 0,0); /* Result */
Result = RTMS_EX_H("TK_MINUS",8,530692435);
break;
case 292L:
RTHOOK(38);
RTDBGAL(Current, 0, 0xF80000DB, 0,0); /* Result */
Result = RTMS_EX_H("TK_UPTO",7,908501583);
break;
case 293L:
RTHOOK(39);
RTDBGAL(Current, 0, 0xF80000DB, 0,0); /* Result */
Result = RTMS_EX_H("TK_TYPE",7,892313157);
break;
case 294L:
RTHOOK(40);
RTDBGAL(Current, 0, 0xF80000DB, 0,0); /* Result */
Result = RTMS_EX_H("TK_EQ",5,1265179985);
break;
case 295L:
RTHOOK(41);
RTDBGAL(Current, 0, 0xF80000DB, 0,0); /* Result */
Result = RTMS_EX_H("EOL",3,4542284);
break;
default:
RTHOOK(42);
RTDBGAL(Current, 0, 0xF80000DB, 0,0); /* Result */
ui4_1 = arg1;
Result = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(11691, dtype))(Current, ui4_1x)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
break;
}
if (RTAL & CK_ENSURE) {
RTHOOK(43);
RTCT("token_name_not_void", EX_POST);
if ((EIF_BOOLEAN)(Result != NULL)) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(44);
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
}
/* {READABLE_INDEXABLE}.new_cursor */
EIF_TYPED_VALUE F536_2947 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "new_cursor";
RTEX;
EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
#define ur1 ur1x.it_r
EIF_REFERENCE tr1 = NULL;
EIF_REFERENCE Result = ((EIF_REFERENCE) 0);
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(4);
RTLR(0,Current);
RTLR(1,tr1);
RTLR(2,ur1);
RTLR(3,Result);
RTLU (SK_REF, &Result);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 535, Current, 0, 0, 3771);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(535, Current, 3771);
RTIV(Current, RTAL);
RTHOOK(1);
RTDBGAL(Current, 0, 0xF8000218, 0,0); /* Result */
{
EIF_TYPE_INDEX typarr0[] = {536,0,0xFFFF};
EIF_TYPE_INDEX typres0;
typarr0[1] = RTWCT(2391, dtype, Dftype(Current));
typres0 = eif_compound_id(Dftype(Current), typarr0);
tr1 = RTLN(typres0);
}
ur1 = RTCCL(Current);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWC(2449, Dtype(tr1)))(tr1, ur1x);
RTNHOOK(1,1);
Result = (EIF_REFERENCE) RTCCL(tr1);
RTHOOK(2);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(2466, "start", Result))(Result);
if (RTAL & CK_ENSURE) {
RTHOOK(3);
RTCT("result_attached", EX_POST);
if ((EIF_BOOLEAN)(Result != NULL)) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(4);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(2);
RTEE;
{ EIF_TYPED_VALUE r; r.type = SK_REF; r.it_r = Result; return r; }
#undef ur1
}
/* {XM_DTD_ELEMENT_CONTENT}.out */
EIF_TYPED_VALUE F2400_34317 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "out";
RTEX;
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE up2x = {{0}, SK_POINTER};
#define up2 up2x.it_p
EIF_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 uc1x = {{0}, SK_CHAR8};
#define uc1 uc1x.it_c1
EIF_REFERENCE tr1 = NULL;
EIF_REFERENCE tr2 = NULL;
EIF_REFERENCE tr3 = NULL;
EIF_BOOLEAN tb1;
EIF_BOOLEAN tb2;
EIF_CHARACTER_8 tc1;
EIF_REFERENCE Result = ((EIF_REFERENCE) 0);
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(8);
RTLR(0,Current);
RTLR(1,Result);
RTLR(2,tr1);
RTLR(3,tr2);
RTLR(4,ur1);
RTLR(5,loc1);
RTLR(6,tr3);
RTLR(7,ur2);
RTLIU(8);
RTLU (SK_REF, &Result);
RTLU (SK_REF, &Current);
RTLU(SK_REF, &loc1);
RTEAA(l_feature_name, 2399, Current, 1, 0, 39393);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(2399, Current, 39393);
RTIV(Current, RTAL);
RTHOOK(1);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(26506, dtype))(Current)).it_b);
if (tb1) {
RTHOOK(2);
RTDBGAL(Current, 0, 0xF8000393, 0,0); /* Result */
Result = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(26502, 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);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(26507, dtype))(Current)).it_b);
if ((EIF_BOOLEAN) !tb1) {
RTHOOK(4);
tc1 = *(EIF_CHARACTER_8 *)(Current + RTWA(26505, dtype));
uc1 = tc1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(15239, "append_character", Result))(Result, uc1x);
}
} else {
/* {TYPE}.adapt */
EIF_TYPED_VALUE F827_19365 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "adapt";
RTEX;
#define arg1 arg1x.it_r
struct eif_ex_40 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), 0 + 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, 826, Current, 0, 1, 12336);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(826, Current, 12336);
RTCC(earg1, 826, l_feature_name, 1, RTWCT(17126, dtype, Dftype(Current)));
RTIV(Current, RTAL);
Result= RTLN(RTWCT(17126, dtype, Dftype(Current)));
wstdinit(Result,Result);
RTLXI(Result);
RTHOOK(1);
RTDBGAL(Current, 0, 0x80000028, 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
}
/* {MEMORY_STRUCTURE}.item */
EIF_TYPED_VALUE F18_425 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "item";
RTEX;
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_POINTER tp1;
EIF_BOOLEAN tb1;
EIF_POINTER Result = ((EIF_POINTER) 0);
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(2);
RTLR(0,Current);
RTLR(1,loc1);
RTLU (SK_POINTER, &Result);
RTLU (SK_REF, &Current);
RTLU(SK_REF, &loc1);
RTEAA(l_feature_name, 17, Current, 1, 0, 507);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(17, Current, 507);
RTIV(Current, RTAL);
RTHOOK(1);
tb1 = *(EIF_BOOLEAN *)(Current + RTWA(426, dtype));
if (tb1) {
RTHOOK(2);
RTDBGAL(Current, 0, 0x40000000, 1,0); /* Result */
Result = *(EIF_POINTER *)(Current + RTWA(430, dtype));
} else {
RTHOOK(3);
RTDBGAL(Current, 1, 0xF800008D, 0, 0); /* loc1 */
loc1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(431, 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);
if ((EIF_BOOLEAN)(loc1 != NULL)) {
RTHOOK(5);
RTDBGAL(Current, 0, 0x40000000, 1,0); /* Result */
tp1 = *(EIF_POINTER *)(loc1 + RTVA(1750, "item", loc1));
Result = (EIF_POINTER) tp1;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(6);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(3);
RTEE;
{ EIF_TYPED_VALUE r; r.type = SK_POINTER; r.it_p = Result; return r; }
#undef up1
}
/* {TYPE}.attempt */
EIF_TYPED_VALUE F827_19366 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "attempt";
RTEX;
struct eif_ex_40 sloc1;
EIF_REFERENCE loc1 = (EIF_REFERENCE) sloc1.data;
#define arg1 arg1x.it_r
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_REFERENCE tr1 = NULL;
EIF_BOOLEAN tb1;
EIF_REFERENCE Result = ((EIF_REFERENCE) 0);
RTCDT;
RTSN;
RTDA;
RTLD;
memset (&sloc1.overhead, 0, OVERHEAD + 0);
sloc1.overhead.ov_flags = EO_EXP | EO_STACK;
RT_DFS(&sloc1.overhead, RTWCT(17126, dtype, Dftype(Current)));
RTLI(5);
RTLR(0,Result);
RTLR(1,loc1);
RTLR(2,Current);
RTLR(3,tr1);
RTLR(4,arg1);
RTLU (SK_REF, &Result);
RTLU(SK_REF,&arg1);
RTLU (SK_REF, &Current);
RTLU(SK_REF, &loc1);
RTEAA(l_feature_name, 826, Current, 1, 1, 12337);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(826, Current, 12337);
RTIV(Current, RTAL);
wstdinit(loc1,loc1);
RTLXI(loc1);
Result= RTLN(RTWCT(17126, dtype, Dftype(Current)));
wstdinit(Result,Result);
RTLXI(Result);
RTHOOK(1);
tr1 = RTCCL(arg1);
RTOE(RTWCT(17126, dtype, Dftype(Current)), tr1, loc1, tb1);
if (tb1) {
RTHOOK(2);
RTDBGAL(Current, 0, 0x80000028, 0,0); /* Result */
tr1 = RTRCL(loc1);
RTXA(tr1, Result);
}
if (RTAL & CK_ENSURE) {
RTHOOK(3);
RTCT("assigned_or_void", EX_POST);
tb1 = '\01';
if (!RTEQ(Result, arg1)) {
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(17115, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
tb1 = RTEQ(Result, tr1);
}
if (tb1) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(4);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(4);
RTEE;
{ EIF_TYPED_VALUE r; r.type = SK_REF; r.it_r = Result; return r; }
#undef up1
#undef arg1
}
/* {TIME_UTILITY}.mod */
EIF_TYPED_VALUE F871_7139 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x, EIF_TYPED_VALUE arg2x)
{
GTCX
char *l_feature_name = "mod";
RTEX;
#define arg1 arg1x.it_i4
#define arg2 arg2x.it_i4
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 Result = ((EIF_INTEGER_32) 0);
RTCDT;
RTSN;
RTDA;
RTLD;
if ((arg2x.type & SK_HEAD) == SK_REF) arg2x.it_i4 = * (EIF_INTEGER_32 *) arg2x.it_r;
if ((arg1x.type & SK_HEAD) == SK_REF) arg1x.it_i4 = * (EIF_INTEGER_32 *) arg1x.it_r;
RTLI(1);
RTLR(0,Current);
RTLU (SK_INT32, &Result);
RTLU(SK_INT32,&arg1);
RTLU(SK_INT32,&arg2);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 870, Current, 0, 2, 12699);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(870, Current, 12699);
RTIV(Current, RTAL);
RTHOOK(1);
RTDBGAL(Current, 0, 0x10000000, 1,0); /* Result */
Result = (EIF_INTEGER_32) (EIF_INTEGER_32) (arg1 % arg2);
RTHOOK(2);
if ((EIF_BOOLEAN) (Result < ((EIF_INTEGER_32) 0L))) {
RTHOOK(3);
RTDBGAL(Current, 0, 0x10000000, 1,0); /* Result */
Result += arg2;
}
if (RTAL & CK_ENSURE) {
RTHOOK(4);
RTCT("positive_result", EX_POST);
if ((EIF_BOOLEAN) (Result >= ((EIF_INTEGER_32) 0L))) {
RTCK;
} else {
RTCF;
}
RTHOOK(5);
RTCT("result_definition", EX_POST);
ui4_1 = arg1;
ui4_2 = arg2;
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTWF(5023, dtype))(Current, ui4_1x, ui4_2x)).it_i4);
if ((EIF_BOOLEAN)(arg1 == (EIF_INTEGER_32) ((EIF_INTEGER_32) (arg2 * ti4_1) + Result))) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(6);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(4);
RTEE;
{
EIF_TYPED_VALUE r;
r.type = SK_INT32;
r.it_i4 = Result;
return r;
}
#undef ui4_1
#undef ui4_2
#undef arg2
#undef arg1
}
/* {COLLECTION}.fill */
void F844_10067 (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 uu1_1x = {{0}, SK_UINT8};
#define uu1_1 uu1_1x.it_n1
EIF_REFERENCE tr1 = NULL;
EIF_NATURAL_8 tu1_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, 843, Current, 1, 1, 3371);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(843, Current, 3371);
if (arg1) {
{
EIF_TYPE_INDEX typarr0[] = {844,0,0xFFFF};
EIF_TYPE_INDEX typres0;
typarr0[1] = RTWCT(9630, dtype, Dftype(Current));
typres0 = eif_compound_id(Dftype(Current), typarr0);
RTCC(arg1, 843, 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(9642, dtype))(Current)).it_b);
RTTE(tb1, label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(3);
RTDBGAL(Current, 1, 0xF8000347, 0, 0); /* loc1 */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(9629, "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(9704, "start", loc1))(loc1);
for (;;) {
RTHOOK(5);
tb1 = '\01';
tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9642, dtype))(Current)).it_b);
if (!(EIF_BOOLEAN) !tb2) {
tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(9703, "off", loc1))(loc1)).it_b);
tb1 = tb2;
}
if (tb1) break;
RTHOOK(6);
tu1_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(9702, "item", loc1))(loc1)).it_n1);
uu1_1 = tu1_1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(9646, dtype))(Current, uu1_1x);
RTHOOK(7);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(9720, "forth", loc1))(loc1);
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(8);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(4);
RTEE;
#undef up1
#undef uu1_1
#undef arg1
}
/* {TYPE}.plus */
EIF_TYPED_VALUE F827_19371 (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, 826, Current, 0, 1, 12342);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(826, Current, 12342);
if (arg1) {
RTCC(arg1, 826, l_feature_name, 1, 389);
}
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, 0xF8000185, 0,0); /* Result */
tr1 = RTLN(389);
tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(17106, 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(15730, "count", tr2));
ti4_2 = *(EIF_INTEGER_32 *)(arg1 + RTVA(15730, "count", arg1));
ui4_1 = (EIF_INTEGER_32) (ti4_1 + ti4_2);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWC(15570, 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(17106, 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(15829, "append", Result))(Result, ur1x);
RTHOOK(4);
ur1 = RTCCL(arg1);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(15829, "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(17106, 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(15649, "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(15716, "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
}
/* {LINKED_STACK}.linear_representation */
EIF_TYPED_VALUE F540_4898 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "linear_representation";
RTEX;
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
#define ur1 ur1x.it_r
EIF_TYPED_VALUE ui4_1x = {{0}, SK_INT32};
#define ui4_1 ui4_1x.it_i4
EIF_TYPED_VALUE ub1x = {{0}, SK_BOOL};
#define ub1 ub1x.it_b
EIF_REFERENCE tr1 = NULL;
EIF_INTEGER_32 ti4_1;
EIF_BOOLEAN tb1;
EIF_BOOLEAN tb2;
EIF_REFERENCE Result = ((EIF_REFERENCE) 0);
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(5);
RTLR(0,loc1);
RTLR(1,Current);
RTLR(2,tr1);
RTLR(3,Result);
RTLR(4,ur1);
RTLU (SK_REF, &Result);
RTLU (SK_REF, &Current);
RTLU(SK_REF, &loc1);
RTEAA(l_feature_name, 539, Current, 1, 0, 7124);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(539, Current, 7124);
RTIV(Current, RTAL);
RTHOOK(1);
RTDBGAL(Current, 1, 0xF80000CB, 0, 0); /* loc1 */
loc1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(2223, 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);
RTDBGAL(Current, 0, 0xF800022A, 0,0); /* Result */
{
static EIF_TYPE_INDEX typarr0[] = {554,0,0xFFFF};
EIF_TYPE_INDEX typres0;
typarr0[1] = RTWCT(2169, dtype, Dftype(Current));
typres0 = eif_compound_id(Dftype(Current), typarr0);
tr1 = RTLN(typres0);
}
ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(4045, dtype));
ui4_1 = ti4_1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWC(4054, Dtype(tr1)))(tr1, ui4_1x);
RTNHOOK(2,1);
Result = (EIF_REFERENCE) RTCCL(tr1);
RTHOOK(3);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTWF(2172, dtype))(Current);
for (;;) {
RTHOOK(4);
tb1 = *(EIF_BOOLEAN *)(Current + RTWA(4044, dtype));
if (tb1) break;
RTHOOK(5);
tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(4052, dtype))(Current)).it_b);
ub1 = tb2;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(2204, "extend", Result))(Result, ub1x);
RTHOOK(6);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTWF(2185, dtype))(Current);
}
RTHOOK(7);
ur1 = RTCCL(loc1);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(2225, dtype))(Current, ur1x);
RTVI(Current, RTAL);
RTRS;
RTHOOK(8);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(3);
RTEE;
{ EIF_TYPED_VALUE r; r.type = SK_REF; r.it_r = Result; return r; }
#undef up1
#undef ur1
#undef ui4_1
#undef ub1
}
/* {TYPE}.is_case_insensitive_equal */
EIF_TYPED_VALUE F827_19373 (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, 826, Current, 0, 1, 12344);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(826, Current, 12344);
if (arg1) {
RTCC(arg1, 826, l_feature_name, 1, 389);
}
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(17106, 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(15714, "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(17106, 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(15714, "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
}
/* {STORABLE}.retrieve_by_name */
EIF_TYPED_VALUE F89_1546 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "retrieve_by_name";
RTEX;
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
#define arg1 arg1x.it_r
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
#define ur1 ur1x.it_r
EIF_REFERENCE tr1 = NULL;
EIF_BOOLEAN tb1;
EIF_BOOLEAN tb2;
EIF_REFERENCE Result = ((EIF_REFERENCE) 0);
RTSN;
RTDA;
RTLD;
RTLI(6);
RTLR(0,arg1);
RTLR(1,loc1);
RTLR(2,tr1);
RTLR(3,ur1);
RTLR(4,Result);
RTLR(5,Current);
RTLU (SK_REF, &Result);
RTLU(SK_REF,&arg1);
RTLU (SK_REF, &Current);
RTLU(SK_REF, &loc1);
RTEAA(l_feature_name, 88, Current, 1, 1, 1462);
RTSA(Dtype(Current));
RTSC;
RTME(Dtype(Current), 0);
RTGC;
RTDBGEAA(88, Current, 1462);
RTCC(arg1, 88, l_feature_name, 1, eif_attached_type(257));
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("file_name_exists", EX_PRE);
RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
RTCK;
RTHOOK(2);
RTCT("file_name_meaningful", EX_PRE);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(4762, "is_empty", arg1))(arg1)).it_b);
RTTE((EIF_BOOLEAN) !tb1, label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(3);
RTDBGAL(Current, 1, 0xF80000CA, 0, 0); /* loc1 */
tr1 = RTLN(202);
ur1 = RTCCL(arg1);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWC(3499, Dtype(tr1)))(tr1, ur1x);
RTNHOOK(3,1);
loc1 = (EIF_REFERENCE) RTCCL(tr1);
RTHOOK(4);
tb1 = '\0';
tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(3417, "exists", loc1))(loc1)).it_b);
if (tb2) {
tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(3420, "is_readable", loc1))(loc1)).it_b);
tb1 = tb2;
}
if (tb1) {
RTHOOK(5);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(3545, "open_read", loc1))(loc1);
RTHOOK(6);
RTDBGAL(Current, 0, 0xF8000000, 0,0); /* Result */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(3395, "retrieved", loc1))(loc1)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
Result = (EIF_REFERENCE) RTCCL(tr1);
RTHOOK(7);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(3427, "close", loc1))(loc1);
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(8);
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 arg1
}
/* {TYPE}.is_equal */
EIF_TYPED_VALUE F827_19362 (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, 826, Current, 0, 1, 12333);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(826, Current, 12333);
RTCC(arg1, 826, 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;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(2);
RTDBGAL(Current, 0, 0x04000000, 1,0); /* Result */
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);
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
}
/* {STORABLE}.store_by_name */
void F89_1553 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "store_by_name";
RTEX;
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
EIF_REFERENCE loc2 = (EIF_REFERENCE) 0;
#define arg1 arg1x.it_r
EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
#define ur1 ur1x.it_r
EIF_REFERENCE tr1 = NULL;
EIF_BOOLEAN tb1;
EIF_BOOLEAN tb2;
EIF_BOOLEAN tb3;
RTSN;
RTDA;
RTLD;
RTLI(6);
RTLR(0,arg1);
RTLR(1,loc1);
RTLR(2,tr1);
RTLR(3,ur1);
RTLR(4,Current);
RTLR(5,loc2);
RTLU (SK_VOID, NULL);
RTLU(SK_REF,&arg1);
RTLU (SK_REF, &Current);
RTLU(SK_REF, &loc1);
RTLU(SK_REF, &loc2);
RTEAA(l_feature_name, 88, Current, 2, 1, 1460);
RTSA(Dtype(Current));
RTSC;
RTME(Dtype(Current), 0);
RTGC;
RTDBGEAA(88, Current, 1460);
RTCC(arg1, 88, l_feature_name, 1, eif_attached_type(257));
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("file_name_not_void", EX_PRE);
RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
RTCK;
RTHOOK(2);
RTCT("file_name_meaningful", EX_PRE);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(4762, "is_empty", arg1))(arg1)).it_b);
RTTE((EIF_BOOLEAN) !tb1, label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(3);
RTDBGAL(Current, 1, 0xF80000CA, 0, 0); /* loc1 */
tr1 = RTLN(202);
ur1 = RTCCL(arg1);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWC(3499, Dtype(tr1)))(tr1, ur1x);
RTNHOOK(3,1);
loc1 = (EIF_REFERENCE) RTCCL(tr1);
RTHOOK(4);
tb1 = '\01';
tb2 = '\0';
tb3 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(3417, "exists", loc1))(loc1)).it_b);
if (tb3) {
tb3 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(3422, "is_writable", loc1))(loc1)).it_b);
tb2 = tb3;
}
if (!(tb2)) {
tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(3523, "is_creatable", loc1))(loc1)).it_b);
tb1 = tb2;
}
if (tb1) {
RTHOOK(5);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(3546, "open_write", loc1))(loc1);
RTHOOK(6);
ur1 = RTCCL(Current);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(3398, "independent_store", loc1))(loc1, ur1x);
RTHOOK(7);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(3427, "close", loc1))(loc1);
} else {
/* {TYPE}.name */
EIF_TYPED_VALUE F827_19354 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "name";
RTEX;
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
#define ur1 ur1x.it_r
EIF_REFERENCE tr1 = NULL;
EIF_REFERENCE tr2 = NULL;
EIF_REFERENCE Result = ((EIF_REFERENCE) 0);
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(6);
RTLR(0,loc1);
RTLR(1,Current);
RTLR(2,tr1);
RTLR(3,Result);
RTLR(4,tr2);
RTLR(5,ur1);
RTLU (SK_REF, &Result);
RTLU (SK_REF, &Current);
RTLU(SK_REF, &loc1);
RTEAA(l_feature_name, 826, Current, 1, 0, 12325);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(826, Current, 12325);
RTIV(Current, RTAL);
RTHOOK(1);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(17124, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
loc1 = tr1;
if (EIF_TEST(loc1)) {
RTHOOK(2);
RTDBGAL(Current, 0, 0xF8000182, 0,0); /* Result */
Result = (EIF_REFERENCE) loc1;
} else {
RTHOOK(3);
RTDBGAL(Current, 0, 0xF8000182, 0,0); /* Result */
tr1 = RTLN(386);
tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(17125, 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(tr2);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWC(15701, Dtype(tr1)))(tr1, ur1x);
RTNHOOK(3,1);
Result = (EIF_REFERENCE) tr1;
RTHOOK(4);
RTDBGAA(Current, dtype, 17124, 0xF8000182, 0); /* internal_name */
RTAR(Current, Result);
*(EIF_REFERENCE *)(Current + RTWA(17124, dtype)) = (EIF_REFERENCE) Result;
}
if (RTAL & CK_ENSURE) {
RTHOOK(5);
RTCT("name_not_void", EX_POST);
if ((EIF_BOOLEAN)(Result != NULL)) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(6);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(3);
RTEE;
{ EIF_TYPED_VALUE r; r.type = SK_REF; r.it_r = Result; return r; }
#undef up1
#undef ur1
}
/* {BASIC_ROUTINES}.rsign */
EIF_TYPED_VALUE F66_6678 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "rsign";
RTEX;
#define arg1 arg1x.it_r4
EIF_REAL_32 tr4_1;
EIF_INTEGER_32 Result = ((EIF_INTEGER_32) 0);
RTCDT;
RTSN;
RTDA;
RTLD;
if ((arg1x.type & SK_HEAD) == SK_REF) arg1x.it_r4 = * (EIF_REAL_32 *) arg1x.it_r;
RTLI(1);
RTLR(0,Current);
RTLU (SK_INT32, &Result);
RTLU(SK_REAL32,&arg1);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 65, Current, 0, 1, 1072);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(65, Current, 1072);
RTIV(Current, RTAL);
RTHOOK(1);
tr4_1 = (EIF_REAL_32) (((EIF_INTEGER_32) 0L));
if ((EIF_BOOLEAN) (arg1 < tr4_1)) {
RTHOOK(2);
RTDBGAL(Current, 0, 0x10000000, 1,0); /* Result */
Result = (EIF_INTEGER_32) ((EIF_INTEGER_32) -1L);
} else {
RTHOOK(3);
tr4_1 = (EIF_REAL_32) (((EIF_INTEGER_32) 0L));
if ((EIF_BOOLEAN) (arg1 > tr4_1)) {
RTHOOK(4);
RTDBGAL(Current, 0, 0x10000000, 1,0); /* Result */
Result = (EIF_INTEGER_32) ((EIF_INTEGER_32) 1L);
}
}
if (RTAL & CK_ENSURE) {
RTHOOK(5);
RTCT("correct_negative", EX_POST);
tr4_1 = (EIF_REAL_32) (((EIF_INTEGER_32) 0L));
if ((EIF_BOOLEAN)((EIF_BOOLEAN) (arg1 < tr4_1) == (EIF_BOOLEAN)(Result == ((EIF_INTEGER_32) -1L)))) {
RTCK;
} else {
RTCF;
}
RTHOOK(6);
RTCT("correct_zero", EX_POST);
tr4_1 = (EIF_REAL_32) (((EIF_INTEGER_32) 0L));
if ((EIF_BOOLEAN)((EIF_BOOLEAN)(arg1 == tr4_1) == (EIF_BOOLEAN)(Result == ((EIF_INTEGER_32) 0L)))) {
RTCK;
} else {
RTCF;
}
RTHOOK(7);
RTCT("correct_positive", EX_POST);
tr4_1 = (EIF_REAL_32) (((EIF_INTEGER_32) 0L));
if ((EIF_BOOLEAN)((EIF_BOOLEAN) (arg1 > tr4_1) == (EIF_BOOLEAN)(Result == ((EIF_INTEGER_32) 1L)))) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(8);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(3);
RTEE;
{ EIF_TYPED_VALUE r; r.type = SK_INT32; r.it_i4 = Result; return r; }
#undef arg1
}
/* {TYPE}.is_conforming_to */
EIF_TYPED_VALUE F827_19364 (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, 826, Current, 0, 1, 12335);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(826, Current, 12335);
RTCC(arg1, 826, 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(17108, dtype))(Current)).it_i4);
ui4_1 = ti4_1;
ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(17108, "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(4251, 46))(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
}
/* {HTTP_SERVER}.new_listening_socket */
EIF_TYPED_VALUE F130_1816 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x, EIF_TYPED_VALUE arg2x)
{
GTCX
char *l_feature_name = "new_listening_socket";
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 up2x = {{0}, SK_POINTER};
#define up2 up2x.it_p
EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
#define ur1 ur1x.it_r
EIF_TYPED_VALUE ur2x = {{0}, SK_REF};
#define ur2 ur2x.it_r
EIF_TYPED_VALUE ur3x = {{0}, SK_REF};
#define ur3 ur3x.it_r
EIF_TYPED_VALUE ui4_1x = {{0}, SK_INT32};
#define ui4_1 ui4_1x.it_i4
EIF_TYPED_VALUE uu4_1x = {{0}, SK_UINT32};
#define uu4_1 uu4_1x.it_n4
EIF_REFERENCE tr1 = NULL;
EIF_REFERENCE tr2 = NULL;
EIF_REFERENCE tr3 = NULL;
EIF_REFERENCE tr4 = NULL;
EIF_NATURAL_32 tu4_1;
EIF_BOOLEAN tb1;
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(10);
RTLR(0,arg1);
RTLR(1,Current);
RTLR(2,tr1);
RTLR(3,ur1);
RTLR(4,tr2);
RTLR(5,tr3);
RTLR(6,ur2);
RTLR(7,tr4);
RTLR(8,ur3);
RTLR(9,Result);
RTLU (SK_REF, &Result);
RTLU(SK_REF,&arg1);
RTLU(SK_INT32,&arg2);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 129, Current, 0, 2, 2349);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(129, Current, 2349);
if (arg1) {
RTCC(arg1, 129, l_feature_name, 1, 70);
}
RTIV(Current, RTAL);
RTHOOK(1);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1570, 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);
tb1 = *(EIF_BOOLEAN *)(tr1 + RTVA(628, "is_secure", tr1));
if (tb1) {
RTHOOK(2);
if ((EIF_BOOLEAN)(arg1 != NULL)) {
RTHOOK(3);
RTDBGAL(Current, 0, 0xF8000022, 0,0); /* Result */
tr1 = RTLN(35);
ur1 = RTCCL(arg1);
ui4_1 = arg2;
tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1570, 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);
tu4_1 = *(EIF_NATURAL_32 *)(tr2 + RTVA(631, "ssl_protocol", tr2));
uu4_1 = tu4_1;
tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1570, 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,2);
tr3 = ((up2x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(629, "ca_crt", tr2))(tr2)), (((up2x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up2x.it_r = RTBU(up2x))), (up2x.type = SK_POINTER), up2x.it_r);
ur2 = RTCCL(tr3);
tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1570, 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,3);
tr4 = ((up2x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(630, "ca_key", tr2))(tr2)), (((up2x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up2x.it_r = RTBU(up2x))), (up2x.type = SK_POINTER), up2x.it_r);
ur3 = RTCCL(tr4);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE, EIF_TYPED_VALUE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTWC(613, Dtype(tr1)))(tr1, ur1x, ui4_1x, uu4_1x, ur2x, ur3x);
RTNHOOK(3,4);
Result = (EIF_REFERENCE) RTCCL(tr1);
} else {
/* {STRING_TABLE}.same_keys */
EIF_TYPED_VALUE F599_2497 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x, EIF_TYPED_VALUE arg2x)
{
GTCX
char *l_feature_name = "same_keys";
RTEX;
#define arg1 arg1x.it_r
#define arg2 arg2x.it_r
EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
#define ur1 ur1x.it_r
EIF_BOOLEAN tb1;
EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0);
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(4);
RTLR(0,arg1);
RTLR(1,arg2);
RTLR(2,ur1);
RTLR(3,Current);
RTLU (SK_BOOL, &Result);
RTLU(SK_REF,&arg1);
RTLU(SK_REF,&arg2);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 598, Current, 0, 2, 6096);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(598, Current, 6096);
RTCC(arg1, 598, l_feature_name, 1, eif_attached_type(162));
RTCC(arg2, 598, l_feature_name, 2, eif_attached_type(162));
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("valid_search_key", EX_PRE);
ur1 = RTCCL(arg1);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(1020, dtype))(Current, ur1x)).it_b);
RTTE(tb1, label_1);
RTCK;
RTHOOK(2);
RTCT("valid_key", EX_PRE);
ur1 = RTCCL(arg2);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(1020, dtype))(Current, ur1x)).it_b);
RTTE(tb1, label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(3);
tb1 = *(EIF_BOOLEAN *)(Current + RTWA(1970, dtype));
if (tb1) {
RTHOOK(4);
RTDBGAL(Current, 0, 0x04000000, 1,0); /* Result */
ur1 = RTCCL(arg2);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(2880, "is_case_insensitive_equal", arg1))(arg1, ur1x)).it_b);
Result = (EIF_BOOLEAN) tb1;
} else {
RTHOOK(5);
RTDBGAL(Current, 0, 0x04000000, 1,0); /* Result */
ur1 = RTCCL(arg2);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(2883, "same_string", arg1))(arg1, ur1x)).it_b);
Result = (EIF_BOOLEAN) tb1;
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(6);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(4);
RTEE;
{ EIF_TYPED_VALUE r; r.type = SK_BOOL; r.it_b = Result; return r; }
#undef ur1
#undef arg2
#undef arg1
}
