/* {KL_SPECIAL_ROUTINES}.to_special */
EIF_TYPED_VALUE F2521_29849 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "to_special";
RTEX;
#define arg1 arg1x.it_r
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_REFERENCE tr1 = NULL;
EIF_INTEGER_32 ti4_1;
EIF_INTEGER_32 ti4_2;
EIF_REFERENCE Result = ((EIF_REFERENCE) 0);
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(4);
RTLR(0,arg1);
RTLR(1,tr1);
RTLR(2,Result);
RTLR(3,Current);
RTLIU(4);
RTLU (SK_REF, &Result);
RTLU(SK_REF,&arg1);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 2520, Current, 0, 1, 34652);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(2520, Current, 34652);
if (arg1) {
{
static EIF_TYPE_INDEX typarr0[] = {1958,0,0,0xFFFF};
EIF_TYPE typres0;
{
EIF_TYPE l_type;
l_type = RTWCT(23549, dtype, Dftype(Current));
typarr0[1] = l_type.annotations | 0xFF00;
typarr0[2] = l_type.id;
}
typres0 = eif_compound_id(Dftype(Current), typarr0);
RTCC(arg1, 2520, l_feature_name, 1, typres0, 0x00);
}
}
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, 0xF80007A1, 0,0); /* Result */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(9696, "area", 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) tr1;
if (RTAL & CK_ENSURE) {
RTHOOK(3);
RTCT("special_not_void", EX_POST);
if ((EIF_BOOLEAN)(Result != NULL)) {
RTCK;
} else {
RTCF;
}
RTHOOK(4);
RTCT("count_set", EX_POST);
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(10736, "count", Result))(Result)).it_i4);
ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(8765, "count", arg1))(arg1)).it_i4);
if ((EIF_BOOLEAN) (ti4_1 >= ti4_2)) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(5);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(3);
RTEE;
{ EIF_TYPED_VALUE r; r.type = SK_REF; r.it_r = Result; return r; }
#undef up1
#undef arg1
}
/* {DS_SEARCHABLE}.set_equality_tester */
void F2570_32431 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "set_equality_tester";
RTEX;
#define arg1 arg1x.it_r
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
#define ur1 ur1x.it_r
EIF_REFERENCE tr1 = NULL;
EIF_BOOLEAN tb1;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(4);
RTLR(0,arg1);
RTLR(1,ur1);
RTLR(2,Current);
RTLR(3,tr1);
RTLIU(4);
RTLU (SK_VOID, NULL);
RTLU(SK_REF,&arg1);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 2569, Current, 0, 1, 37518);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(2569, Current, 37518);
RTCC(arg1, 2569, l_feature_name, 1, RTWCT(25482, dtype, Dftype(Current)), 0x00);
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("equality_tester_settable", EX_PRE);
ur1 = RTCCL(arg1);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(25480, dtype))(Current, ur1x)).it_b);
RTTE(tb1, label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(2);
RTDBGAA(Current, dtype, 25482, 0xF8000A0A, 0); /* equality_tester */
RTAR(Current, arg1);
*(EIF_REFERENCE *)(Current + RTWA(25482, dtype)) = (EIF_REFERENCE) RTCCL(arg1);
if (RTAL & CK_ENSURE) {
RTHOOK(3);
RTCT("equality_tester_set", EX_POST);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(25482, 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 ur1
#undef arg1
}
/* {V_CONTAINER}.inline-agent#1 of for_all */
EIF_TYPED_VALUE F880_7358 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x, EIF_TYPED_VALUE arg2x)
{
GTCX
char *l_feature_name = "inline-agent#1 of for_all";
RTEX;
#define arg1 arg1x.it_i4
#define arg2 arg2x.it_r
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);
RTSN;
RTDA;
RTLD;
if ((arg1x.type & SK_HEAD) == SK_REF) arg1x.it_i4 = * (EIF_INTEGER_32 *) arg1x.it_r;
RTLI(4);
RTLR(0,arg2);
RTLR(1,Current);
RTLR(2,tr1);
RTLR(3,ur1);
RTLIU(4);
RTLU (SK_BOOL, &Result);
RTLU(SK_INT32,&arg1);
RTLU(SK_REF,&arg2);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 879, Current, 0, 2, 13095);
RTSA(Dtype(Current));
RTSC;
RTME(Dtype(Current), 0);
RTGC;
RTDBGEAA(879, Current, 13095);
{
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(2319, Dtype(Current), Dftype(Current));
typarr0[8] = l_type.annotations | 0xFF00;
typarr0[9] = l_type.id;
}
typres0 = eif_compound_id(Dftype(Current), typarr0);
RTCC(arg2, 879, l_feature_name, 2, typres0, 0x01);
}
RTIV(Current, RTAL);
RTHOOK(1);
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(2319, Dtype(Current), Dftype(Current));
typarr0[4] = l_type.annotations | 0xFF00;
typarr0[5] = l_type.id;
}
typres0 = eif_compound_id(Dftype(Current), typarr0);
tr1 = RTLNTS(typres0.id, 2, 0);
}
((EIF_TYPED_VALUE *)tr1+1)->it_i4 = arg1;
ur1 = RTCCL(tr1);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4300, "precondition", arg2))(arg2, ur1x)).it_b);
Result = (EIF_BOOLEAN) tb1;
RTVI(Current, RTAL);
RTRS;
RTHOOK(2);
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
}
/* {DS_SORTABLE}.sort */
void F2479_32403 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "sort";
RTEX;
#define arg1 arg1x.it_r
EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
#define ur1 ur1x.it_r
EIF_BOOLEAN tb1;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(3);
RTLR(0,arg1);
RTLR(1,Current);
RTLR(2,ur1);
RTLIU(3);
RTLU (SK_VOID, NULL);
RTLU(SK_REF,&arg1);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 2478, Current, 0, 1, 37461);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(2478, Current, 37461);
if (arg1) {
{
static EIF_TYPE_INDEX typarr0[] = {2477,0,0,0xFFFF};
EIF_TYPE typres0;
{
EIF_TYPE l_type;
l_type = RTWCT(25435, dtype, Dftype(Current));
typarr0[1] = l_type.annotations | 0xFF00;
typarr0[2] = l_type.id;
}
typres0 = eif_compound_id(Dftype(Current), typarr0);
RTCC(arg1, 2478, l_feature_name, 1, typres0, 0x00);
}
}
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("a_sorter_not_void", EX_PRE);
RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(2);
ur1 = RTCCL(Current);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(23521, "sort", arg1))(arg1, ur1x);
if (RTAL & CK_ENSURE) {
RTHOOK(3);
RTCT("sorted", EX_POST);
ur1 = RTCCL(arg1);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(25455, dtype))(Current, ur1x)).it_b);
if (tb1) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(4);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(3);
RTEE;
#undef ur1
#undef arg1
}
/* {DS_SEARCHABLE}.same_items */
EIF_TYPED_VALUE F2570_32426 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x, EIF_TYPED_VALUE arg2x)
{
GTCX
char *l_feature_name = "same_items";
RTEX;
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
#define arg1 arg1x.it_c1
#define arg2 arg2x.it_c1
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_TYPED_VALUE uc2x = {{0}, SK_CHAR8};
#define uc2 uc2x.it_c1
EIF_REFERENCE tr1 = NULL;
EIF_BOOLEAN tb1;
EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0);
RTCFDT;
RTSN;
RTDA;
RTLD;
if ((arg2x.type & SK_HEAD) == SK_REF) arg2x.it_c1 = * (EIF_CHARACTER_8 *) arg2x.it_r;
if ((arg1x.type & SK_HEAD) == SK_REF) arg1x.it_c1 = * (EIF_CHARACTER_8 *) arg1x.it_r;
RTLI(3);
RTLR(0,loc1);
RTLR(1,Current);
RTLR(2,tr1);
RTLIU(3);
RTLU (SK_BOOL, &Result);
RTLU(SK_CHAR8,&arg1);
RTLU(SK_CHAR8,&arg2);
RTLU (SK_REF, &Current);
RTLU(SK_REF, &loc1);
RTEAA(l_feature_name, 2569, Current, 1, 2, 37514);
RTSA(Dtype(Current));
RTSC;
RTME(Dtype(Current), 0);
RTGC;
RTDBGEAA(2569, Current, 37514);
RTIV(Current, RTAL);
RTHOOK(1);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(25482, Dtype(Current)))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
loc1 = RTCCL(tr1);
if (EIF_TEST(loc1)) {
RTHOOK(2);
RTDBGAL(Current, 0, 0x04000000, 1,0); /* Result */
uc1 = arg1;
uc2 = arg2;
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTVF(24125, "test", loc1))(loc1, uc1x, uc2x)).it_b);
Result = (EIF_BOOLEAN) tb1;
} else {
RTHOOK(3);
RTDBGAL(Current, 0, 0x04000000, 1,0); /* Result */
Result = (EIF_BOOLEAN) (EIF_BOOLEAN)(arg1 == arg2);
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(4);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(5);
RTEE;
{ EIF_TYPED_VALUE r; r.type = SK_BOOL; r.it_b = Result; return r; }
#undef up1
#undef uc1
#undef uc2
#undef arg2
#undef arg1
}
/* {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
}
/* {PLAYER}.next_move */
void F862_6980 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "next_move";
RTEX;
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_REFERENCE tr1 = NULL;
EIF_INTEGER_32 ti4_1;
EIF_INTEGER_32 ti4_2;
EIF_INTEGER_32 ti4_3;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(2);
RTLR(0,Current);
RTLR(1,tr1);
RTLIU(2);
RTLU (SK_VOID, NULL);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 861, Current, 0, 0, 12660);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(861, Current, 12660);
RTIV(Current, RTAL);
RTHOOK(1);
RTDBGAA(Current, dtype, 4905, 0x10000000, 1); /* die1_value */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(4907, 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);
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(4901, "next_number", tr1))(tr1)).it_i4);
*(EIF_INTEGER_32 *)(Current + RTWA(4905, dtype)) = (EIF_INTEGER_32) (EIF_INTEGER_32) ((EIF_INTEGER_32) (ti4_1 % ((EIF_INTEGER_32) 6L)) + ((EIF_INTEGER_32) 1L));
RTHOOK(2);
RTDBGAA(Current, dtype, 4906, 0x10000000, 1); /* die2_value */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(4907, 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 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(4901, "next_number", tr1))(tr1)).it_i4);
*(EIF_INTEGER_32 *)(Current + RTWA(4906, dtype)) = (EIF_INTEGER_32) (EIF_INTEGER_32) ((EIF_INTEGER_32) (ti4_1 % ((EIF_INTEGER_32) 6L)) + ((EIF_INTEGER_32) 1L));
RTHOOK(3);
ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(4905, dtype));
ti4_2 = *(EIF_INTEGER_32 *)(Current + RTWA(4906, dtype));
ti4_3 = *(EIF_INTEGER_32 *)(Current + RTWA(4904, dtype));
if ((EIF_BOOLEAN) ((EIF_BOOLEAN)(ti4_1 == ti4_2) && (EIF_BOOLEAN)(ti4_3 != ((EIF_INTEGER_32) 1L)))) {
RTHOOK(4);
RTDBGAA(Current, dtype, 4904, 0x10000000, 1); /* current_position */
(*(EIF_INTEGER_32 *)(Current + RTWA(4904, dtype)))--;
} else {
RTHOOK(5);
ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(4905, dtype));
ti4_2 = *(EIF_INTEGER_32 *)(Current + RTWA(4906, dtype));
ti4_3 = *(EIF_INTEGER_32 *)(Current + RTWA(4904, dtype));
if ((EIF_BOOLEAN) ((EIF_INTEGER_32) ((EIF_INTEGER_32) (ti4_1 + ti4_2) + ti4_3) <= ((EIF_INTEGER_32) 40L))) {
RTHOOK(6);
RTDBGAA(Current, dtype, 4904, 0x10000000, 1); /* current_position */
ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(4905, dtype));
ti4_2 = *(EIF_INTEGER_32 *)(Current + RTWA(4906, dtype));
(*(EIF_INTEGER_32 *)(Current + RTWA(4904, dtype))) += (EIF_INTEGER_32) (ti4_1 + ti4_2);
}
}
RTHOOK(7);
ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(4904, dtype));
if ((EIF_BOOLEAN)((EIF_INTEGER_32) (ti4_1 % ((EIF_INTEGER_32) 10L)) == ((EIF_INTEGER_32) 5L))) {
RTHOOK(8);
ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(4908, dtype));
if ((EIF_BOOLEAN) (ti4_1 < ((EIF_INTEGER_32) 30L))) {
RTHOOK(9);
RTDBGAA(Current, dtype, 4908, 0x10000000, 1); /* money */
*(EIF_INTEGER_32 *)(Current + RTWA(4908, dtype)) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 0L);
} else {
RTHOOK(10);
RTDBGAA(Current, dtype, 4908, 0x10000000, 1); /* money */
(*(EIF_INTEGER_32 *)(Current + RTWA(4908, dtype))) -= ((EIF_INTEGER_32) 30L);
}
}
RTHOOK(11);
ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(4904, dtype));
if ((EIF_BOOLEAN)((EIF_INTEGER_32) (ti4_1 % ((EIF_INTEGER_32) 10L)) == ((EIF_INTEGER_32) 0L))) {
RTHOOK(12);
RTDBGAA(Current, dtype, 4908, 0x10000000, 1); /* money */
(*(EIF_INTEGER_32 *)(Current + RTWA(4908, dtype))) += ((EIF_INTEGER_32) 70L);
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(13);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(2);
RTEE;
#undef up1
}
/* {V_SEQUENCE_ITERATOR}.target_index */
EIF_TYPED_VALUE F876_7172 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "target_index";
RTEX;
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE ui4_1x = {{0}, SK_INT32};
#define ui4_1 ui4_1x.it_i4
EIF_REFERENCE tr1 = NULL;
EIF_INTEGER_32 ti4_1;
EIF_BOOLEAN tb1;
EIF_INTEGER_32 Result = ((EIF_INTEGER_32) 0);
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(2);
RTLR(0,Current);
RTLR(1,tr1);
RTLIU(2);
RTLU (SK_INT32, &Result);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 875, Current, 0, 0, 13032);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(875, Current, 13032);
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("not_off", EX_PRE);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(4911, dtype))(Current)).it_b);
RTTE((EIF_BOOLEAN) !tb1, label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(2);
RTDBGAL(Current, 0, 0x10000000, 1,0); /* Result */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5068, 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 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(5122, "lower", tr1))(tr1)).it_i4);
Result = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5069, dtype))(Current)).it_i4);
Result = (EIF_INTEGER_32) (EIF_INTEGER_32) ((EIF_INTEGER_32) (ti4_1 + Result) - ((EIF_INTEGER_32) 1L));
if (RTAL & CK_ENSURE) {
RTHOOK(3);
RTCT("definition", EX_POST);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5087, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5069, dtype))(Current)).it_i4);
ui4_1 = ti4_1;
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(5013, "item", tr1))(tr1, ui4_1x)).it_i4);
if ((EIF_BOOLEAN)(Result == ti4_1)) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(4);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(2);
RTEE;
{ EIF_TYPED_VALUE r; r.type = SK_INT32; r.it_i4 = Result; return r; }
#undef up1
#undef ui4_1
}
/* {KL_ARRAY_ROUTINES}.make_empty_with_lower */
EIF_TYPED_VALUE F2568_31483 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "make_empty_with_lower";
RTEX;
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
#define arg1 arg1x.it_i4
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;
EIF_REFERENCE Result = ((EIF_REFERENCE) 0);
RTCFDT;
RTCDT;
RTSN;
RTDA;
RTLD;
if ((arg1x.type & SK_HEAD) == SK_REF) arg1x.it_i4 = * (EIF_INTEGER_32 *) arg1x.it_r;
RTLI(5);
RTLR(0,Current);
RTLR(1,tr1);
RTLR(2,Result);
RTLR(3,loc1);
RTLR(4,ur1);
RTLIU(5);
RTLU (SK_REF, &Result);
RTLU(SK_INT32,&arg1);
RTLU (SK_REF, &Current);
RTLU(SK_REF, &loc1);
RTEAA(l_feature_name, 2567, Current, 1, 1, 36572);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(2567, Current, 36572);
RTIV(Current, RTAL);
RTHOOK(1);
if ((EIF_BOOLEAN)(arg1 == ((EIF_INTEGER_32) 1L))) {
RTHOOK(2);
RTDBGAL(Current, 0, 0xF80006FD, 0,0); /* Result */
{
static EIF_TYPE_INDEX typarr0[] = {1789,0,0,0xFFFF};
EIF_TYPE typres0;
{
EIF_TYPE l_type;
l_type = RTWCT(24783, dtype, dftype);
typarr0[1] = l_type.annotations | 0xFF00;
typarr0[2] = l_type.id;
}
typres0 = eif_compound_id(dftype, typarr0);
tr1 = RTLN(typres0.id);
}
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTWC(9809, Dtype(tr1)))(tr1);
RTNHOOK(2,1);
Result = (EIF_REFERENCE) RTCCL(tr1);
} else {
/* {KL_CLONABLE}.cloned_object */
EIF_TYPED_VALUE F869_7041 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "cloned_object";
RTEX;
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
#define ur1 ur1x.it_r
EIF_TYPED_VALUE ur2x = {{0}, SK_REF};
#define ur2 ur2x.it_r
EIF_REFERENCE tr1 = NULL;
EIF_BOOLEAN tb1;
EIF_REFERENCE Result = ((EIF_REFERENCE) 0);
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(5);
RTLR(0,Current);
RTLR(1,Result);
RTLR(2,tr1);
RTLR(3,ur1);
RTLR(4,ur2);
RTLIU(5);
RTLU (SK_REF, &Result);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 868, Current, 0, 0, 12757);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(868, Current, 12757);
RTIV(Current, RTAL);
RTHOOK(1);
RTDBGAL(Current, 0, 0xF8000364, 0,0); /* Result */
Result = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(17, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
if (RTAL & CK_ENSURE) {
RTHOOK(2);
RTCT("cloned_not_void", EX_POST);
if ((EIF_BOOLEAN)(Result != NULL)) {
RTCK;
} else {
RTCF;
}
RTHOOK(3);
RTCT("same_type", EX_POST);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(4950, 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(Result);
ur2 = RTCCL(Current);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTVF(4926, "same_types", tr1))(tr1, ur1x, ur2x)).it_b);
if (tb1) {
RTCK;
} else {
RTCF;
}
RTHOOK(4);
RTCT("is_equal", EX_POST);
ur1 = RTCCL(Current);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(11, "is_equal", Result))(Result, ur1x)).it_b);
if (tb1) {
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
#undef ur1
#undef ur2
}
/* {V_IO_ITERATOR}.output */
void F906_7192 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "output";
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_REFERENCE tr3 = NULL;
EIF_REFERENCE tr4 = NULL;
EIF_INTEGER_32 ti4_1;
EIF_INTEGER_32 ti4_2;
EIF_BOOLEAN tb1;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(7);
RTLR(0,arg1);
RTLR(1,Current);
RTLR(2,tr1);
RTLR(3,tr2);
RTLR(4,ur1);
RTLR(5,tr3);
RTLR(6,tr4);
RTLIU(7);
RTLU (SK_VOID, NULL);
RTLU(SK_REF,&arg1);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 905, Current, 0, 1, 13069);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(905, Current, 13069);
RTCC(arg1, 905, l_feature_name, 1, RTWCT(4916, dtype, Dftype(Current)), 0x00);
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("not_off", EX_PRE);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(4921, dtype))(Current)).it_b);
RTTE((EIF_BOOLEAN) !tb1, label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
if (RTAL & CK_ENSURE) {
in_assertion = ~0;
RTE_OT
tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5084, 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);
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5069, dtype))(Current)).it_i4);
ui4_1 = ti4_1;
ur1 = RTCCL(arg1);
tr3 = ((up2x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTVF(5034, "replaced_at", tr2))(tr2, ui4_1x, ur1x)), (((up2x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up2x.it_r = RTBU(up2x))), (up2x.type = SK_POINTER), up2x.it_r);
tr1 = tr3;
tr2 = NULL;
RTE_O
tr2 = RTLA;
RTE_OE
RTE_OT
ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5069, dtype))(Current)).it_i4);
ti4_1 = ti4_2;
tr3 = NULL;
RTE_O
tr3 = RTLA;
RTE_OE
in_assertion = 0;
}
RTHOOK(2);
ur1 = RTCCL(arg1);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(5090, dtype))(Current, ur1x);
RTHOOK(3);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTWF(4912, dtype))(Current);
if (RTAL & CK_ENSURE) {
RTHOOK(4);
RTCT("sequence_effect", EX_POST);
tr4 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5084, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTCO(tr2);
ur1 = RTCCL(tr1);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4935, "is_model_equal", tr4))(tr4, ur1x)).it_b);
if (tb1) {
RTCK;
} else {
RTCF;
}
RTHOOK(5);
RTCT("index_effect", EX_POST);
ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5069, dtype))(Current)).it_i4);
RTCO(tr3);
if ((EIF_BOOLEAN)(ti4_2 == (EIF_INTEGER_32) (ti4_1 + ((EIF_INTEGER_32) 1L)))) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(6);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(3);
RTEE;
#undef up1
#undef up2
#undef ur1
#undef ui4_1
#undef arg1
}
/* {KL_SPECIAL_ROUTINES}.force */
void F2521_29851 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x, EIF_TYPED_VALUE arg2x, EIF_TYPED_VALUE arg3x)
{
GTCX
char *l_feature_name = "force";
RTEX;
#define arg1 arg1x.it_r
#define arg2 arg2x.it_b
#define arg3 arg3x.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_TYPED_VALUE ub1x = {{0}, SK_BOOL};
#define ub1 ub1x.it_b
EIF_INTEGER_32 ti4_1;
EIF_INTEGER_32 ti4_2;
EIF_BOOLEAN tb1;
RTSN;
RTDA;
RTLD;
if ((arg3x.type & SK_HEAD) == SK_REF) arg3x.it_i4 = * (EIF_INTEGER_32 *) arg3x.it_r;
if ((arg2x.type & SK_HEAD) == SK_REF) arg2x.it_b = * (EIF_BOOLEAN *) arg2x.it_r;
RTLI(2);
RTLR(0,arg1);
RTLR(1,Current);
RTLIU(2);
RTLU (SK_VOID, NULL);
RTLU(SK_REF,&arg1);
RTLU(SK_BOOL,&arg2);
RTLU(SK_INT32,&arg3);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 2520, Current, 0, 3, 34654);
RTSA(Dtype(Current));
RTSC;
RTME(Dtype(Current), 0);
RTGC;
RTDBGEAA(2520, Current, 34654);
if (arg1) {
{
static EIF_TYPE_INDEX typarr0[] = {1953,0,0,0xFFFF};
EIF_TYPE typres0;
{
EIF_TYPE l_type;
l_type = RTWCT(23549, Dtype(Current), Dftype(Current));
typarr0[1] = l_type.annotations | 0xFF00;
typarr0[2] = l_type.id;
}
typres0 = eif_compound_id(Dftype(Current), typarr0);
RTCC(arg1, 2520, l_feature_name, 1, typres0, 0x00);
}
}
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("a_array_not_void", EX_PRE);
RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
RTCK;
RTHOOK(2);
RTCT("i_large_enough", EX_PRE);
RTTE((EIF_BOOLEAN) (arg3 >= ((EIF_INTEGER_32) 0L)), label_1);
RTCK;
RTHOOK(3);
RTCT("i_small_enough", EX_PRE);
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(10737, "capacity", arg1))(arg1)).it_i4);
RTTE((EIF_BOOLEAN) (arg3 < ti4_1), label_1);
RTCK;
RTHOOK(4);
RTCT("not_full", EX_PRE);
tb1 = '\01';
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(10736, "count", arg1))(arg1)).it_i4);
if ((EIF_BOOLEAN)(arg3 == ti4_1)) {
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(10736, "count", arg1))(arg1)).it_i4);
ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(10737, "capacity", arg1))(arg1)).it_i4);
tb1 = (EIF_BOOLEAN) (ti4_1 < ti4_2);
}
RTTE(tb1, label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(5);
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(10736, "count", arg1))(arg1)).it_i4);
if ((EIF_BOOLEAN) (arg3 < ti4_1)) {
RTHOOK(6);
ub1 = arg2;
ui4_1 = arg3;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTVF(10752, "put", arg1))(arg1, ub1x, ui4_1x);
} else {
/* {KL_SPECIAL_ROUTINES}.has */
EIF_TYPED_VALUE F2521_29850 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x, EIF_TYPED_VALUE arg2x)
{
GTCX
char *l_feature_name = "has";
RTEX;
EIF_INTEGER_32 loc1 = (EIF_INTEGER_32) 0;
#define arg1 arg1x.it_r
#define arg2 arg2x.it_b
EIF_TYPED_VALUE ui4_1x = {{0}, SK_INT32};
#define ui4_1 ui4_1x.it_i4
EIF_INTEGER_32 ti4_1;
EIF_BOOLEAN tb1;
EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0);
RTSN;
RTDA;
RTLD;
if ((arg2x.type & SK_HEAD) == SK_REF) arg2x.it_b = * (EIF_BOOLEAN *) arg2x.it_r;
RTLI(2);
RTLR(0,arg1);
RTLR(1,Current);
RTLIU(2);
RTLU (SK_BOOL, &Result);
RTLU(SK_REF,&arg1);
RTLU(SK_BOOL,&arg2);
RTLU (SK_REF, &Current);
RTLU(SK_INT32, &loc1);
RTEAA(l_feature_name, 2520, Current, 1, 2, 34653);
RTSA(Dtype(Current));
RTSC;
RTME(Dtype(Current), 0);
RTGC;
RTDBGEAA(2520, Current, 34653);
if (arg1) {
{
static EIF_TYPE_INDEX typarr0[] = {1953,0,0,0xFFFF};
EIF_TYPE typres0;
{
EIF_TYPE l_type;
l_type = RTWCT(23549, Dtype(Current), Dftype(Current));
typarr0[1] = l_type.annotations | 0xFF00;
typarr0[2] = l_type.id;
}
typres0 = eif_compound_id(Dftype(Current), typarr0);
RTCC(arg1, 2520, l_feature_name, 1, typres0, 0x00);
}
}
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, 1, 0x10000000, 1, 0); /* loc1 */
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(10736, "count", arg1))(arg1)).it_i4);
loc1 = (EIF_INTEGER_32) (EIF_INTEGER_32) (ti4_1 - ((EIF_INTEGER_32) 1L));
for (;;) {
RTHOOK(3);
if ((EIF_BOOLEAN) (Result || (EIF_BOOLEAN) (loc1 < ((EIF_INTEGER_32) 0L)))) break;
RTHOOK(4);
RTDBGAL(Current, 0, 0x04000000, 1,0); /* Result */
ui4_1 = loc1;
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(9779, "item", arg1))(arg1, ui4_1x)).it_b);
Result = (EIF_BOOLEAN) (EIF_BOOLEAN)(tb1 == arg2);
RTHOOK(5);
RTDBGAL(Current, 1, 0x10000000, 1, 0); /* loc1 */
loc1--;
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(6);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(5);
RTEE;
{ EIF_TYPED_VALUE r; r.type = SK_BOOL; r.it_b = Result; return r; }
#undef ui4_1
#undef arg2
#undef arg1
}
/* {KL_SPECIAL_ROUTINES}.make */
EIF_TYPED_VALUE F2521_29846 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "make";
RTEX;
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
#define arg1 arg1x.it_i4
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE ui4_1x = {{0}, SK_INT32};
#define ui4_1 ui4_1x.it_i4
EIF_REFERENCE tr1 = NULL;
EIF_INTEGER_32 ti4_1;
EIF_REFERENCE Result = ((EIF_REFERENCE) 0);
RTCDT;
RTSN;
RTDA;
RTLD;
if ((arg1x.type & SK_HEAD) == SK_REF) arg1x.it_i4 = * (EIF_INTEGER_32 *) arg1x.it_r;
RTLI(4);
RTLR(0,loc1);
RTLR(1,Current);
RTLR(2,tr1);
RTLR(3,Result);
RTLIU(4);
RTLU (SK_REF, &Result);
RTLU(SK_INT32,&arg1);
RTLU (SK_REF, &Current);
RTLU(SK_REF, &loc1);
RTEAA(l_feature_name, 2520, Current, 1, 1, 34649);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(2520, Current, 34649);
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("non_negative_n", EX_PRE);
RTTE((EIF_BOOLEAN) (arg1 >= ((EIF_INTEGER_32) 0L)), label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(2);
RTDBGAL(Current, 1, 0xF80007A6, 0, 0); /* loc1 */
{
static EIF_TYPE_INDEX typarr0[] = {1958,0,0,0xFFFF};
EIF_TYPE typres0;
{
EIF_TYPE l_type;
l_type = RTWCT(23549, dtype, Dftype(Current));
typarr0[1] = l_type.annotations | 0xFF00;
typarr0[2] = l_type.id;
}
typres0 = eif_compound_id(Dftype(Current), typarr0);
tr1 = RTLN(typres0.id);
}
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTWC(9809, Dtype(tr1)))(tr1);
RTNHOOK(2,1);
loc1 = (EIF_REFERENCE) RTCCL(tr1);
RTHOOK(3);
RTDBGAL(Current, 0, 0xF80007A1, 0,0); /* Result */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(9696, "area", 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) tr1;
RTHOOK(4);
RTDBGAL(Current, 0, 0xF80007A1, 0,0); /* Result */
ui4_1 = arg1;
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(10769, "aliased_resized_area", Result))(Result, ui4_1x)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
Result = (EIF_REFERENCE) tr1;
if (RTAL & CK_ENSURE) {
RTHOOK(5);
RTCT("special_not_void", EX_POST);
if ((EIF_BOOLEAN)(Result != NULL)) {
RTCK;
} else {
RTCF;
}
RTHOOK(6);
RTCT("count_set", EX_POST);
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(10737, "capacity", Result))(Result)).it_i4);
if ((EIF_BOOLEAN)(ti4_1 == arg1)) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(7);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(4);
RTEE;
{ EIF_TYPED_VALUE r; r.type = SK_REF; r.it_r = Result; return r; }
#undef up1
#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
}
/* {KL_ARRAY_ROUTINES}.make_from_array */
EIF_TYPED_VALUE F2568_31482 (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);
RTLIU(4);
RTLU (SK_REF, &Result);
RTLU(SK_REF,&arg1);
RTLU(SK_INT32,&arg2);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 2567, Current, 0, 2, 36571);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(2567, Current, 36571);
if (arg1) {
{
static EIF_TYPE_INDEX typarr0[] = {1789,0,0,0xFFFF};
EIF_TYPE typres0;
{
EIF_TYPE l_type;
l_type = RTWCT(24783, dtype, Dftype(Current));
typarr0[1] = l_type.annotations | 0xFF00;
typarr0[2] = l_type.id;
}
typres0 = eif_compound_id(Dftype(Current), typarr0);
RTCC(arg1, 2567, l_feature_name, 1, typres0, 0x00);
}
}
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, 0xF80006FD, 0,0); /* Result */
ur1 = RTCCL(arg1);
ti4_1 = *(EIF_INTEGER_32 *)(arg1 + RTVA(9816, "lower", arg1));
ui4_1 = ti4_1;
ti4_2 = *(EIF_INTEGER_32 *)(arg1 + RTVA(9817, "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(24779, 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(9816, "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(8765, "count", Result))(Result)).it_i4);
ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(8765, "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
}
/* {V_MAP}.out */
EIF_TYPED_VALUE F904_7235 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "out";
RTEX;
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
EIF_REFERENCE loc2 = (EIF_REFERENCE) 0;
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
#define ur1 ur1x.it_r
EIF_TYPED_VALUE ur2x = {{0}, SK_REF};
#define ur2 ur2x.it_r
EIF_REFERENCE tr1 = NULL;
EIF_REFERENCE tr2 = NULL;
EIF_INTEGER_32 ti4_1;
EIF_BOOLEAN tb1;
EIF_BOOLEAN tb2;
EIF_REFERENCE Result = ((EIF_REFERENCE) 0);
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(8);
RTLR(0,Result);
RTLR(1,loc1);
RTLR(2,tr1);
RTLR(3,ur1);
RTLR(4,tr2);
RTLR(5,ur2);
RTLR(6,loc2);
RTLR(7,Current);
RTLIU(8);
RTLU (SK_REF, &Result);
RTLU (SK_REF, &Current);
RTLU(SK_REF, &loc1);
RTLU(SK_REF, &loc2);
RTEAA(l_feature_name, 903, Current, 2, 0, 13124);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(903, Current, 13124);
RTIV(Current, RTAL);
RTHOOK(1);
RTDBGAL(Current, 0, 0xF80000DC, 0,0); /* Result */
Result = RTMS_EX_H("",0,0);
RTHOOK(2);
RTDBGAL(Current, 1, 0xF800035E, 0, 0); /* loc1 */
tr1 = RTLN(eif_new_type(862, 0x01).id);
ur1 = RTCCL(Result);
tr2 = RTMS_EX_H("",0,0);
ur2 = tr2;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTWC(4927, Dtype(tr1)))(tr1, ur1x, ur2x);
RTNHOOK(2,1);
loc1 = (EIF_REFERENCE) RTCCL(tr1);
RTHOOK(3);
RTDBGAL(Current, 1, 0xF8000385, 0, 0); /* loc2 */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(2318, "new_cursor", Current))(Current)), (((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(4);
tr1 = RTMS_EX_H("(",1,40);
ur1 = tr1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4922, "output", loc1))(loc1, ur1x);
RTHOOK(5);
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(5085, "key", loc2))(loc2)).it_i4);
ur1 = RTLN(eif_new_type(206, 0x00).id);
*(EIF_INTEGER_32 *)ur1 = ti4_1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4922, "output", loc1))(loc1, ur1x);
RTHOOK(6);
tr1 = RTMS_EX_H(", ",2,11296);
ur1 = tr1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4922, "output", loc1))(loc1, ur1x);
RTHOOK(7);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(4910, "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);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4922, "output", loc1))(loc1, ur1x);
RTHOOK(8);
tr1 = RTMS_EX_H(")",1,41);
ur1 = tr1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4922, "output", loc1))(loc1, ur1x);
RTHOOK(9);
tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(5075, "is_last", loc2))(loc2)).it_b);
if ((EIF_BOOLEAN) !tb2) {
RTHOOK(10);
tr1 = RTMS_EX_H(" ",1,32);
ur1 = tr1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4922, "output", loc1))(loc1, ur1x);
}
RTHOOK(11);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(1678, "forth", loc2))(loc2);
}
/* {EQA_ASSERTIONS}.assert */
void F916_7643 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x, EIF_TYPED_VALUE arg2x)
{
GTCX
char *l_feature_name = "assert";
RTEX;
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
#define arg1 arg1x.it_r
#define arg2 arg2x.it_b
EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
#define ur1 ur1x.it_r
EIF_REFERENCE tr1 = NULL;
EIF_BOOLEAN tb1;
RTCDT;
RTSN;
RTDA;
RTLD;
if ((arg2x.type & SK_HEAD) == SK_REF) arg2x.it_b = * (EIF_BOOLEAN *) arg2x.it_r;
RTLI(5);
RTLR(0,arg1);
RTLR(1,Current);
RTLR(2,ur1);
RTLR(3,loc1);
RTLR(4,tr1);
RTLIU(5);
RTLU (SK_VOID, NULL);
RTLU(SK_REF,&arg1);
RTLU(SK_BOOL,&arg2);
RTLU (SK_REF, &Current);
RTLU(SK_REF, &loc1);
RTEAA(l_feature_name, 915, Current, 1, 2, 13133);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(915, Current, 13133);
RTCC(arg1, 915, l_feature_name, 1, eif_new_type(217, 0x01), 0x01);
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("a_tag_not_void", EX_PRE);
RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(2);
RTDBGAA(Current, dtype, 5432, 0x04000000, 1); /* last_assertion_failed */
*(EIF_BOOLEAN *)(Current + RTWA(5432, dtype)) = (EIF_BOOLEAN) (EIF_BOOLEAN) !arg2;
RTHOOK(3);
tb1 = *(EIF_BOOLEAN *)(Current + RTWA(5432, dtype));
if (tb1) {
RTHOOK(4);
ur1 = RTCCL(arg1);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(5430, dtype))(Current, ur1x);
RTHOOK(5);
RTDBGAL(Current, 1, 0xF8000040, 0, 0); /* loc1 */
tr1 = RTLN(eif_new_type(64, 0x01).id);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTWC(32, Dtype(tr1)))(tr1);
RTNHOOK(5,1);
loc1 = (EIF_REFERENCE) RTCCL(tr1);
RTHOOK(6);
ur1 = RTCCL(arg1);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(1281, "set_description", loc1))(loc1, ur1x);
RTHOOK(7);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(1266, "raise", loc1))(loc1);
} else {
/* {MAIN}.make */
void F863_6985 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "make";
RTEX;
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
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_BOOLEAN tb1;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(4);
RTLR(0,loc1);
RTLR(1,tr1);
RTLR(2,ur1);
RTLR(3,Current);
RTLIU(4);
RTLU (SK_VOID, NULL);
RTLU (SK_REF, &Current);
RTLU(SK_REF, &loc1);
RTEAA(l_feature_name, 862, Current, 1, 0, 12666);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(862, Current, 12666);
RTIV(Current, RTAL);
RTHOOK(1);
RTDBGAL(Current, 1, 0xF800035D, 0, 0); /* loc1 */
tr1 = RTLN(eif_new_type(861, 0x01).id);
ui4_1 = ((EIF_INTEGER_32) 12L);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWC(4910, Dtype(tr1)))(tr1, ui4_1x);
RTNHOOK(1,1);
loc1 = (EIF_REFERENCE) RTCCL(tr1);
RTHOOK(2);
ui4_1 = ((EIF_INTEGER_32) 8L);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4911, "insert", loc1))(loc1, ui4_1x);
RTHOOK(3);
ui4_1 = ((EIF_INTEGER_32) 9L);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4911, "insert", loc1))(loc1, ui4_1x);
RTHOOK(4);
ui4_1 = ((EIF_INTEGER_32) 55L);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4911, "insert", loc1))(loc1, ui4_1x);
RTHOOK(5);
ui4_1 = ((EIF_INTEGER_32) 47L);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4911, "insert", loc1))(loc1, ui4_1x);
RTHOOK(6);
ui4_1 = ((EIF_INTEGER_32) 32L);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4911, "insert", loc1))(loc1, ui4_1x);
RTHOOK(7);
ui4_1 = ((EIF_INTEGER_32) 7L);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4911, "insert", loc1))(loc1, ui4_1x);
RTHOOK(8);
ui4_1 = ((EIF_INTEGER_32) 1L);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4911, "insert", loc1))(loc1, ui4_1x);
RTHOOK(9);
ui4_1 = ((EIF_INTEGER_32) 10L);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4912, "find", loc1))(loc1, ui4_1x)).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);
RTHOOK(10);
tr1 = RTMS_EX_H("OK!",3,5196577);
ur1 = tr1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(30, dtype))(Current, ur1x);
RTVI(Current, RTAL);
RTRS;
RTHOOK(11);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(3);
RTEE;
#undef ur1
#undef ui4_1
}
/* {DS_SPARSE_CONTAINER_CURSOR}.set_position */
void F2531_32262 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "set_position";
RTEX;
#define arg1 arg1x.it_i4
EIF_TYPED_VALUE ui4_1x = {{0}, SK_INT32};
#define ui4_1 ui4_1x.it_i4
EIF_INTEGER_32 ti4_1;
EIF_BOOLEAN tb1;
RTCDT;
RTSN;
RTDA;
RTLD;
if ((arg1x.type & SK_HEAD) == SK_REF) arg1x.it_i4 = * (EIF_INTEGER_32 *) arg1x.it_r;
RTLI(1);
RTLR(0,Current);
RTLIU(1);
RTLU (SK_VOID, NULL);
RTLU(SK_INT32,&arg1);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 2530, Current, 0, 1, 37333);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(2530, Current, 37333);
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("valid_p", EX_PRE);
ui4_1 = arg1;
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(25372, dtype))(Current, ui4_1x)).it_b);
RTTE(tb1, label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(2);
RTDBGAA(Current, dtype, 25368, 0x10000000, 1); /* position */
*(EIF_INTEGER_32 *)(Current + RTWA(25368, dtype)) = (EIF_INTEGER_32) arg1;
if (RTAL & CK_ENSURE) {
RTHOOK(3);
RTCT("position_set", EX_POST);
ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(25368, dtype));
if ((EIF_BOOLEAN)(ti4_1 == arg1)) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(4);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(3);
RTEE;
#undef ui4_1
#undef arg1
}
/* {PLAYER}.make */
void F862_6981 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "make";
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_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_REFERENCE tr1 = NULL;
RTCDT;
RTSN;
RTDA;
RTLD;
if ((arg1x.type & SK_HEAD) == SK_REF) arg1x.it_i4 = * (EIF_INTEGER_32 *) arg1x.it_r;
RTLI(2);
RTLR(0,Current);
RTLR(1,tr1);
RTLIU(2);
RTLU (SK_VOID, NULL);
RTLU(SK_INT32,&arg1);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 861, Current, 0, 1, 12661);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(861, Current, 12661);
RTIV(Current, RTAL);
RTHOOK(1);
RTDBGAA(Current, dtype, 4904, 0x10000000, 1); /* current_position */
*(EIF_INTEGER_32 *)(Current + RTWA(4904, dtype)) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 1L);
RTHOOK(2);
RTDBGAA(Current, dtype, 4907, 0xF800035C, 0); /* random */
tr1 = RTLNSMART(RTWCT(4907, dtype, Dftype(Current)).id);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTWC(4903, Dtype(tr1)))(tr1);
RTNHOOK(2,1);
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + RTWA(4907, dtype)) = (EIF_REFERENCE) RTCCL(tr1);
RTHOOK(3);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(4907, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(3,1);
ui4_1 = arg1;
ui4_2 = (EIF_INTEGER_32) (arg1 + ((EIF_INTEGER_32) 3L));
ui4_3 = (EIF_INTEGER_32) (arg1 - ((EIF_INTEGER_32) 1L));
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTVF(4902, "set_values", tr1))(tr1, ui4_1x, ui4_2x, ui4_3x);
RTHOOK(4);
RTDBGAA(Current, dtype, 4908, 0x10000000, 1); /* money */
*(EIF_INTEGER_32 *)(Current + RTWA(4908, dtype)) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 50L);
RTHOOK(5);
RTDBGAA(Current, dtype, 4909, 0x10000000, 1); /* n */
*(EIF_INTEGER_32 *)(Current + RTWA(4909, dtype)) = (EIF_INTEGER_32) arg1;
RTVI(Current, RTAL);
RTRS;
RTHOOK(6);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(3);
RTEE;
#undef up1
#undef ui4_1
#undef ui4_2
#undef ui4_3
#undef arg1
}
/* {DS_SPARSE_CONTAINER_CURSOR}.valid_position */
EIF_TYPED_VALUE F2531_32265 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "valid_position";
RTEX;
#define arg1 arg1x.it_i4
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE ui4_1x = {{0}, SK_INT32};
#define ui4_1 ui4_1x.it_i4
EIF_REFERENCE tr1 = NULL;
EIF_INTEGER_32 ti4_1;
EIF_INTEGER_32 ti4_2;
EIF_BOOLEAN tb1;
EIF_BOOLEAN tb2;
EIF_BOOLEAN tb3;
EIF_BOOLEAN Result = ((EIF_BOOLEAN) 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,Current);
RTLR(1,tr1);
RTLIU(2);
RTLU (SK_BOOL, &Result);
RTLU(SK_INT32,&arg1);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 2530, Current, 0, 1, 37336);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(2530, Current, 37336);
RTIV(Current, RTAL);
RTHOOK(1);
RTDBGAL(Current, 0, 0x04000000, 1,0); /* Result */
tb1 = '\01';
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(25373, dtype))(Current)).it_i4);
ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(25374, dtype))(Current)).it_i4);
if (!((EIF_BOOLEAN) ((EIF_BOOLEAN)(arg1 == ti4_1) || (EIF_BOOLEAN)(arg1 == ti4_2)))) {
tb2 = '\0';
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(25376, 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);
ui4_1 = arg1;
tb3 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(25660, "valid_position", tr1))(tr1, ui4_1x)).it_b);
if (tb3) {
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(25376, 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,2);
ui4_1 = arg1;
tb3 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(25661, "valid_slot", tr1))(tr1, ui4_1x)).it_b);
tb2 = tb3;
}
tb1 = tb2;
}
Result = (EIF_BOOLEAN) tb1;
if (RTAL & CK_ENSURE) {
RTHOOK(2);
RTCT("not_off", EX_POST);
tb1 = '\01';
tb2 = '\0';
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(25376, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(2,1);
ui4_1 = arg1;
tb3 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(25660, "valid_position", tr1))(tr1, ui4_1x)).it_b);
if (tb3) {
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(25376, 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,2);
ui4_1 = arg1;
tb3 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(25661, "valid_slot", tr1))(tr1, ui4_1x)).it_b);
tb2 = tb3;
}
if (tb2) {
tb1 = Result;
}
if (tb1) {
RTCK;
} else {
RTCF;
}
RTHOOK(3);
RTCT("before", EX_POST);
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(25373, dtype))(Current)).it_i4);
if ((!((EIF_BOOLEAN)(arg1 == ti4_1)) || (Result))) {
RTCK;
} else {
RTCF;
}
RTHOOK(4);
RTCT("after", EX_POST);
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(25374, dtype))(Current)).it_i4);
if ((!((EIF_BOOLEAN)(arg1 == ti4_1)) || (Result))) {
RTCK;
} else {
RTCF;
}
RTHOOK(5);
RTCT("valid_slot", EX_POST);
tb1 = '\01';
tb2 = '\0';
if (Result) {
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(25376, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(5,1);
ui4_1 = arg1;
tb3 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(25660, "valid_position", tr1))(tr1, ui4_1x)).it_b);
tb2 = tb3;
}
if (tb2) {
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(25376, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(5,2);
ui4_1 = arg1;
tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(25661, "valid_slot", tr1))(tr1, ui4_1x)).it_b);
tb1 = tb2;
}
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 up1
#undef ui4_1
#undef arg1
}
/* {DS_SORTABLE}.sorted */
EIF_TYPED_VALUE F2479_32402 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "sorted";
RTEX;
#define arg1 arg1x.it_r
EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
#define ur1 ur1x.it_r
EIF_BOOLEAN tb1;
EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0);
RTSN;
RTDA;
RTLD;
RTLI(3);
RTLR(0,arg1);
RTLR(1,Current);
RTLR(2,ur1);
RTLIU(3);
RTLU (SK_BOOL, &Result);
RTLU(SK_REF,&arg1);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 2478, Current, 0, 1, 37460);
RTSA(Dtype(Current));
RTSC;
RTME(Dtype(Current), 0);
RTGC;
RTDBGEAA(2478, Current, 37460);
if (arg1) {
{
static EIF_TYPE_INDEX typarr0[] = {2477,0,0,0xFFFF};
EIF_TYPE typres0;
{
EIF_TYPE l_type;
l_type = RTWCT(25435, Dtype(Current), Dftype(Current));
typarr0[1] = l_type.annotations | 0xFF00;
typarr0[2] = l_type.id;
}
typres0 = eif_compound_id(Dftype(Current), typarr0);
RTCC(arg1, 2478, l_feature_name, 1, typres0, 0x00);
}
}
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("a_sorter_not_void", EX_PRE);
RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(2);
RTDBGAL(Current, 0, 0x04000000, 1,0); /* Result */
ur1 = RTCCL(Current);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(23518, "sorted", arg1))(arg1, 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 ur1
#undef arg1
}
/* {DS_SPARSE_CONTAINER_CURSOR}.make */
void F2531_32256 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "make";
RTEX;
#define arg1 arg1x.it_r
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_REFERENCE tr1 = NULL;
EIF_INTEGER_32 ti4_1;
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, 2530, Current, 0, 1, 37327);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(2530, Current, 37327);
RTCC(arg1, 2530, l_feature_name, 1, RTWCT(25376, dtype, Dftype(Current)), 0x00);
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("a_container_not_void", EX_PRE);
RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(2);
RTDBGAA(Current, dtype, 25376, 0xF80009DB, 0); /* container */
RTAR(Current, arg1);
*(EIF_REFERENCE *)(Current + RTWA(25376, dtype)) = (EIF_REFERENCE) RTCCL(arg1);
RTHOOK(3);
RTDBGAA(Current, dtype, 25368, 0x10000000, 1); /* position */
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(25373, dtype))(Current)).it_i4);
*(EIF_INTEGER_32 *)(Current + RTWA(25368, dtype)) = (EIF_INTEGER_32) ti4_1;
if (RTAL & CK_ENSURE) {
RTHOOK(4);
RTCT("container_set", EX_POST);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(25376, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
if (RTCEQ(tr1, arg1)) {
RTCK;
} else {
RTCF;
}
RTHOOK(5);
RTCT("before", EX_POST);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(25355, dtype))(Current)).it_b);
if (tb1) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(6);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(3);
RTEE;
#undef up1
#undef arg1
}
/* {DS_SEARCHABLE}.same_equality_tester */
EIF_TYPED_VALUE F2570_32427 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "same_equality_tester";
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_REFERENCE tr1 = NULL;
EIF_REFERENCE tr2 = NULL;
EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0);
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(4);
RTLR(0,arg1);
RTLR(1,Current);
RTLR(2,tr1);
RTLR(3,tr2);
RTLIU(4);
RTLU (SK_BOOL, &Result);
RTLU(SK_REF,&arg1);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 2569, Current, 0, 1, 37515);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(2569, Current, 37515);
if (arg1) {
{
static EIF_TYPE_INDEX typarr0[] = {2569,0,0,0xFFFF};
EIF_TYPE typres0;
{
EIF_TYPE l_type;
l_type = RTWCT(25435, dtype, Dftype(Current));
typarr0[1] = l_type.annotations | 0xFF00;
typarr0[2] = l_type.id;
}
typres0 = eif_compound_id(Dftype(Current), typarr0);
RTCC(arg1, 2569, l_feature_name, 1, typres0, 0x00);
}
}
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("other_not_void", EX_PRE);
RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(2);
RTDBGAL(Current, 0, 0x04000000, 1,0); /* Result */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(25482, 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(25482, "equality_tester", arg1))(arg1)), (((up2x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up2x.it_r = RTBU(up2x))), (up2x.type = SK_POINTER), up2x.it_r);
Result = (EIF_BOOLEAN) RTEQ(tr1, tr2);
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 up2
#undef arg1
}
/* {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
}
/* {DS_SEARCHABLE}.has_void */
EIF_TYPED_VALUE F2570_32425 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "has_void";
RTEX;
EIF_CHARACTER_8 loc1 = (EIF_CHARACTER_8) 0;
EIF_REFERENCE loc2 = (EIF_REFERENCE) 0;
EIF_TYPED_VALUE uc1x = {{0}, SK_CHAR8};
#define uc1 uc1x.it_c1
EIF_BOOLEAN tb1;
EIF_BOOLEAN tb2;
EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0);
RTCFDT;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(2);
RTLR(0,loc2);
RTLR(1,Current);
RTLIU(2);
RTLU (SK_BOOL, &Result);
RTLU (SK_REF, &Current);
RTLU(SK_CHAR8, &loc1);
RTLU(SK_REF, &loc2);
RTEAA(l_feature_name, 2569, Current, 2, 0, 37519);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(2569, Current, 37519);
RTIV(Current, RTAL);
RTHOOK(1);
loc2 = RTCCL(Current);
{
static EIF_TYPE_INDEX typarr0[] = {2569,0,0,0xFFFF};
EIF_TYPE typres0;
{
EIF_TYPE l_type;
l_type = RTWCT(25435, dtype, dftype);
typarr0[1] = l_type.annotations | 0xFF00;
typarr0[2] = l_type.id;
}
typres0 = eif_compound_id(dftype, typarr0);
loc2 = RTRV(typres0,loc2);
}
if ((EIF_BOOLEAN) (EIF_TEST(loc2) && EIF_FALSE)) {
RTHOOK(2);
RTDBGAL(Current, 0, 0x04000000, 1,0); /* Result */
uc1 = loc1;
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(25476, "has", loc2))(loc2, uc1x)).it_b);
Result = (EIF_BOOLEAN) tb1;
}
if (RTAL & CK_ENSURE) {
RTHOOK(3);
RTCT("not_empty", EX_POST);
tb1 = '\01';
if (Result) {
tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(25427, dtype))(Current)).it_b);
tb1 = (EIF_BOOLEAN) !tb2;
}
if (tb1) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(4);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(4);
RTEE;
{ EIF_TYPED_VALUE r; r.type = SK_BOOL; r.it_b = Result; return r; }
#undef uc1
}
/*------------------------------------------------------------------*/
rt_public EIF_REFERENCE rout_obj_create_wb ( EIF_TYPE_INDEX dftype, EIF_POINTER rout_disp, EIF_POINTER encaps_rout_disp,
EIF_POINTER calc_rout_addr, EIF_INTEGER routine_id,
EIF_REFERENCE open_map,
EIF_BOOLEAN is_basic, EIF_BOOLEAN is_target_closed,
EIF_INTEGER written_type_id_inline_agent, EIF_REFERENCE closed_operands, EIF_INTEGER open_count)
{
EIF_GET_CONTEXT
EIF_REFERENCE result = NULL;
EIF_TYPED_VALUE u_rout_disp;
EIF_TYPED_VALUE u_encaps_rout_disp;
EIF_TYPED_VALUE u_calc_rout_addr;
EIF_TYPED_VALUE u_routine_id;
EIF_TYPED_VALUE u_open_map;
EIF_TYPED_VALUE u_is_basic;
EIF_TYPED_VALUE u_is_target_closed;
EIF_TYPED_VALUE u_written_type_id_inline_agent;
EIF_TYPED_VALUE u_closed_operands;
EIF_TYPED_VALUE u_open_count;
RTLD;
u_rout_disp.type = SK_POINTER;
u_rout_disp.it_p = rout_disp;
u_encaps_rout_disp.type = SK_POINTER;
u_encaps_rout_disp.it_p = encaps_rout_disp;
u_calc_rout_addr.type = SK_POINTER;
u_calc_rout_addr.it_p = calc_rout_addr;
u_routine_id.type = SK_INT32;
u_routine_id.it_i4 = routine_id;
u_open_map.type = SK_REF;
u_open_map.it_r = open_map;
u_is_basic.type = SK_BOOL;
u_is_basic.it_b = is_basic;
u_is_target_closed.type = SK_BOOL;
u_is_target_closed.it_b = is_target_closed;
u_written_type_id_inline_agent.type = SK_INT32;
u_written_type_id_inline_agent.it_i4 = written_type_id_inline_agent;
u_closed_operands.type = SK_REF;
u_closed_operands.it_r = closed_operands;
u_open_count.type = SK_INT32;
u_open_count.it_i4 = open_count;
/* Protect address in case it moves */
RTLI(5);
RTLR (0, result);
RTLR (1, closed_operands);
RTLR (2, open_map);
RTLR (3, u_open_map.it_r);
RTLR (4, u_closed_operands.it_r);
RTLIU(5);
/* Create ROUTINE object */
result = emalloc(dftype);
nstcall = 0;
/* Call 'set_rout_disp' from ROUTINE */
(*egc_routdisp_wb)(
result,
u_rout_disp,
u_encaps_rout_disp,
u_calc_rout_addr,
u_routine_id,
u_open_map,
u_is_basic,
u_is_target_closed,
u_written_type_id_inline_agent,
u_closed_operands,
u_open_count
);
RTLE;
return result;
}
/* {V_CONTAINER}.has */
EIF_TYPED_VALUE F880_7220 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "has";
RTEX;
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
#define arg1 arg1x.it_i4
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE up2x = {{0}, SK_POINTER};
#define up2 up2x.it_p
EIF_TYPED_VALUE ui4_1x = {{0}, SK_INT32};
#define ui4_1 ui4_1x.it_i4
EIF_REFERENCE tr1 = NULL;
EIF_REFERENCE tr2 = NULL;
EIF_BOOLEAN tb1;
EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0);
RTCDT;
RTSN;
RTDA;
RTLD;
if ((arg1x.type & SK_HEAD) == SK_REF) arg1x.it_i4 = * (EIF_INTEGER_32 *) arg1x.it_r;
RTLI(4);
RTLR(0,loc1);
RTLR(1,Current);
RTLR(2,tr1);
RTLR(3,tr2);
RTLIU(4);
RTLU (SK_BOOL, &Result);
RTLU(SK_INT32,&arg1);
RTLU (SK_REF, &Current);
RTLU(SK_REF, &loc1);
RTEAA(l_feature_name, 879, Current, 1, 1, 13099);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(879, Current, 13099);
RTIV(Current, RTAL);
RTHOOK(1);
RTDBGAL(Current, 1, 0xF8000365, 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);
RTHOOK(2);
ui4_1 = arg1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4913, "search_forth", loc1))(loc1, ui4_1x);
RTHOOK(3);
RTDBGAL(Current, 0, 0x04000000, 1,0); /* Result */
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(5073, "after", loc1))(loc1)).it_b);
Result = (EIF_BOOLEAN) (EIF_BOOLEAN) !tb1;
if (RTAL & CK_ENSURE) {
RTHOOK(4);
RTCT("definition", EX_POST);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5109, 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(4991, "domain", tr1))(tr1)), (((up2x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up2x.it_r = RTBU(up2x))), (up2x.type = SK_POINTER), up2x.it_r);
ui4_1 = arg1;
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(5041, "has", tr2))(tr2, ui4_1x)).it_b);
if ((EIF_BOOLEAN)(Result == tb1)) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(5);
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 ui4_1
#undef arg1
}
/* {KL_SPECIAL_ROUTINES}.make_filled */
EIF_TYPED_VALUE F2521_29847 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x, EIF_TYPED_VALUE arg2x)
{
GTCX
char *l_feature_name = "make_filled";
RTEX;
#define arg1 arg1x.it_b
#define arg2 arg2x.it_i4
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_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;
if ((arg1x.type & SK_HEAD) == SK_REF) arg1x.it_b = * (EIF_BOOLEAN *) arg1x.it_r;
RTLI(3);
RTLR(0,Current);
RTLR(1,tr1);
RTLR(2,Result);
RTLIU(3);
RTLU (SK_REF, &Result);
RTLU(SK_BOOL,&arg1);
RTLU(SK_INT32,&arg2);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 2520, Current, 0, 2, 34650);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(2520, Current, 34650);
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("non_negative_argument", EX_PRE);
RTTE((EIF_BOOLEAN) (arg2 >= ((EIF_INTEGER_32) 0L)), label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(2);
RTDBGAL(Current, 0, 0xF80007A1, 0,0); /* Result */
ub1 = arg1;
ui4_1 = arg2;
{
static EIF_TYPE_INDEX typarr0[] = {1953,0,0,0xFFFF};
EIF_TYPE typres0;
{
EIF_TYPE l_type;
l_type = RTWCT(23549, dtype, Dftype(Current));
typarr0[1] = l_type.annotations | 0xFF00;
typarr0[2] = l_type.id;
}
typres0 = eif_compound_id(Dftype(Current), typarr0);
if (ui4_1< 0) {
eraise ("non_negative_argument", EN_RT_CHECK);
}
tr1 = RTLNSP2(typres0.id,0,ui4_1,sizeof(EIF_BOOLEAN), EIF_TRUE);
}
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTWC(10740, Dtype(tr1)))(tr1, ub1x, ui4_1x);
RTNHOOK(2,1);
Result = (EIF_REFERENCE) tr1;
if (RTAL & CK_ENSURE) {
RTHOOK(3);
RTCT("special_not_void", EX_POST);
if ((EIF_BOOLEAN)(Result != NULL)) {
RTCK;
} else {
RTCF;
}
RTHOOK(4);
RTCT("capacity_set", EX_POST);
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(10737, "capacity", Result))(Result)).it_i4);
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(10736, "count", Result))(Result)).it_i4);
if ((EIF_BOOLEAN)(ti4_1 == arg2)) {
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 ui4_1
#undef ub1
#undef arg2
#undef arg1
}