/* {BOOLEAN_REF}.conjuncted_semistrict */
EIF_TYPED_VALUE F154_3634 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "conjuncted_semistrict";
RTEX;
#define arg1 arg1x.it_r
EIF_BOOLEAN tb1;
EIF_BOOLEAN tb2;
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, 153, Current, 0, 1, 8613);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(153, Current, 8613);
RTCC(arg1, 153, l_feature_name, 1, eif_attached_type(153));
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("other_exists", EX_PRE);
RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(2);
RTDBGAL(Current, 0, 0x04000000, 1,0); /* Result */
tb1 = '\0';
tb2 = *(EIF_BOOLEAN *)(Current + RTWA(2705, dtype));
if (tb2) {
tb2 = *(EIF_BOOLEAN *)(arg1 + RTVA(2705, "item", arg1));
tb1 = tb2;
}
Result = (EIF_BOOLEAN) tb1;
if (RTAL & CK_ENSURE) {
RTHOOK(3);
RTCT("de_morgan", EX_POST);
tb1 = '\01';
tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(2713, "negated", Current))(Current)).it_b);
if (!tb2) {
tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(2713, "negated", arg1))(arg1)).it_b);
tb1 = tb2;
}
if ((EIF_BOOLEAN)(Result == (EIF_BOOLEAN) !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 arg1
}
/* {EV_TIMEOUT_I}.on_timeout */
void F1307_12155 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "on_timeout";
RTEX;
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE up2x = {{0}, SK_POINTER};
#define up2 up2x.it_p
EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
#define ur1 ur1x.it_r
EIF_REFERENCE tr1 = NULL;
EIF_REFERENCE tr2 = NULL;
EIF_REFERENCE tr3 = NULL;
EIF_REFERENCE tr4 = NULL;
EIF_INTEGER_32 ti4_1;
EIF_INTEGER_32 ti4_2;
EIF_INTEGER_32 ti4_3;
EIF_INTEGER_32 ti4_4;
EIF_BOOLEAN tb1;
EIF_BOOLEAN tb2;
EIF_BOOLEAN tb3;
EIF_BOOLEAN tb4;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(6);
RTLR(0,Current);
RTLR(1,tr1);
RTLR(2,tr2);
RTLR(3,tr3);
RTLR(4,tr4);
RTLR(5,ur1);
RTLU (SK_VOID, NULL);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 1306, Current, 0, 0, 18057);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(1306, Current, 18057);
RTIV(Current, RTAL);
if (RTAL & CK_ENSURE) {
in_assertion = ~0;
RTE_OT
ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9339, dtype))(Current)).it_i4);
ti4_1 = ti4_2;
tr1 = NULL;
RTE_O
tr1 = RTLA;
RTE_OE
RTE_OT
ti4_3 = *(EIF_INTEGER_32 *)(Current + RTWA(9340, dtype));
ti4_2 = ti4_3;
tr2 = NULL;
RTE_O
tr2 = RTLA;
RTE_OE
in_assertion = 0;
}
RTHOOK(1);
tb1 = '\0';
tb2 = '\0';
tb3 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9317, dtype))(Current)).it_b);
if ((EIF_BOOLEAN) !tb3) {
tb3 = *(EIF_BOOLEAN *)(Current + RTWA(9344, dtype));
tb2 = (EIF_BOOLEAN) !tb3;
}
if (tb2) {
ti4_3 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9339, dtype))(Current)).it_i4);
tb1 = (EIF_BOOLEAN) (ti4_3 > ((EIF_INTEGER_32) 0L));
}
if (tb1) {
RTHOOK(2);
RTDBGAA(Current, dtype, 9344, 0x04000000, 1); /* is_timeout_executing */
*(EIF_BOOLEAN *)(Current + RTWA(9344, dtype)) = (EIF_BOOLEAN) (EIF_BOOLEAN) 1;
RTHOOK(3);
tr3 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9318, 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);
tr4 = ((up2x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(8401, "actions", tr3))(tr3)), (((up2x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up2x.it_r = RTBU(up2x))), (up2x.type = SK_POINTER), up2x.it_r);
RTNHOOK(3,2);
ur1 = NULL;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(3440, "call", tr4))(tr4, ur1x);
RTHOOK(4);
RTDBGAA(Current, dtype, 9340, 0x10000000, 1); /* count */
(*(EIF_INTEGER_32 *)(Current + RTWA(9340, dtype)))++;
RTHOOK(5);
RTDBGAA(Current, dtype, 9344, 0x04000000, 1); /* is_timeout_executing */
*(EIF_BOOLEAN *)(Current + RTWA(9344, dtype)) = (EIF_BOOLEAN) (EIF_BOOLEAN) 0;
}
if (RTAL & CK_ENSURE) {
RTHOOK(6);
RTCT("count_incremented_or_reset", EX_POST);
tb1 = '\01';
tb2 = '\0';
tb3 = '\0';
tb4 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9317, dtype))(Current)).it_b);
if ((EIF_BOOLEAN) !tb4) {
tb4 = *(EIF_BOOLEAN *)(Current + RTWA(9344, dtype));
tb3 = (EIF_BOOLEAN) !tb4;
}
if (tb3) {
RTCO(tr1);
tb2 = (EIF_BOOLEAN) (ti4_1 > ((EIF_INTEGER_32) 0L));
}
if (tb2) {
ti4_3 = *(EIF_INTEGER_32 *)(Current + RTWA(9340, dtype));
RTCO(tr2);
ti4_4 = *(EIF_INTEGER_32 *)(Current + RTWA(9340, dtype));
tb1 = (EIF_BOOLEAN) ((EIF_BOOLEAN)(ti4_3 == (EIF_INTEGER_32) (ti4_2 + ((EIF_INTEGER_32) 1L))) || (EIF_BOOLEAN)(ti4_4 == ((EIF_INTEGER_32) 1L)));
}
if (tb1) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(7);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(2);
RTEE;
#undef up1
#undef up2
#undef ur1
}
/* {RT_DBG_FIELD_RECORD}.is_same_as */
EIF_TYPED_VALUE F418_4544 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "is_same_as";
RTEX;
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
#define arg1 arg1x.it_r
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);
RTCFDT;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(3);
RTLR(0,arg1);
RTLR(1,loc1);
RTLR(2,Current);
RTLU (SK_BOOL, &Result);
RTLU(SK_REF,&arg1);
RTLU (SK_REF, &Current);
RTLU(SK_REF, &loc1);
RTEAA(l_feature_name, 417, Current, 1, 1, 10009);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(417, Current, 10009);
RTCC(arg1, 417, l_feature_name, 1, eif_attached_type(176));
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("other_attached", EX_PRE);
RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(2);
RTDBGAL(Current, 0, 0x04000000, 1,0); /* Result */
tb1 = '\0';
tb2 = '\0';
loc1 = RTCCL(arg1);
loc1 = RTRV(eif_non_attached_type(dftype),loc1);
if (EIF_TEST(loc1)) {
ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(3318, dtype));
ti4_2 = *(EIF_INTEGER_32 *)(loc1 + RTVA(3318, "index", loc1));
tb2 = (EIF_BOOLEAN)(ti4_1 == ti4_2);
}
if (tb2) {
tb2 = *(EIF_BOOLEAN *)(Current + RTWA(3350, dtype));
tb3 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(3350, "value", loc1))(loc1)).it_b);
tb1 = (EIF_BOOLEAN)(tb2 == tb3);
}
Result = (EIF_BOOLEAN) tb1;
if (RTAL & CK_ENSURE) {
RTHOOK(3);
RTCT("same_type", EX_POST);
tb1 = '\01';
if (Result) {
ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(3319, dtype));
ti4_2 = *(EIF_INTEGER_32 *)(arg1 + RTVA(3319, "type", arg1));
tb1 = (EIF_BOOLEAN)(ti4_1 == ti4_2);
}
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 arg1
}
/* {RTF_FORMAT_I}.paragraph_format_out */
EIF_TYPED_VALUE F987_8950 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "paragraph_format_out";
RTEX;
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
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;
RTLI(4);
RTLR(0,loc1);
RTLR(1,Current);
RTLR(2,tr1);
RTLR(3,Result);
RTLU (SK_REF, &Result);
RTLU (SK_REF, &Current);
RTLU(SK_REF, &loc1);
RTEAA(l_feature_name, 986, Current, 1, 0, 14509);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(986, Current, 14509);
RTIV(Current, RTAL);
RTHOOK(1);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(6847, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
loc1 = RTCCL(tr1);
if (EIF_TEST(loc1)) {
RTHOOK(2);
RTDBGAL(Current, 0, 0xF80000DB, 0,0); /* Result */
Result = (EIF_REFERENCE) RTCCL(loc1);
} else {
RTHOOK(3);
RTDBGAL(Current, 0, 0xF80000DB, 0,0); /* Result */
tr1 = RTLN(219);
ui4_1 = ((EIF_INTEGER_32) 16L);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWC(4329, Dtype(tr1)))(tr1, ui4_1x);
RTNHOOK(3,1);
Result = (EIF_REFERENCE) RTCCL(tr1);
RTHOOK(4);
ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(6825, dtype));
ui4_1 = ti4_1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4495, "append_integer", Result))(Result, ui4_1x);
RTHOOK(5);
ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(6826, dtype));
ui4_1 = ti4_1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4495, "append_integer", Result))(Result, ui4_1x);
RTHOOK(6);
ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(6827, dtype));
ui4_1 = ti4_1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4495, "append_integer", Result))(Result, ui4_1x);
RTHOOK(7);
ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(6828, dtype));
ui4_1 = ti4_1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4495, "append_integer", Result))(Result, ui4_1x);
RTHOOK(8);
ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(6829, dtype));
ui4_1 = ti4_1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4495, "append_integer", Result))(Result, ui4_1x);
RTHOOK(9);
RTDBGAA(Current, dtype, 6847, 0xF80000DB, 0); /* internal_paragraph_format_out */
RTAR(Current, Result);
*(EIF_REFERENCE *)(Current + RTWA(6847, dtype)) = (EIF_REFERENCE) RTCCL(Result);
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(10);
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
}
/* {RANDOM}.set_seed */
void F244_10422 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "set_seed";
RTEX;
#define arg1 arg1x.it_i4
EIF_INTEGER_32 ti4_1;
RTCDT;
RTSN;
RTDA;
RTLD;
if ((arg1x.type & SK_HEAD) == SK_REF) arg1x.it_i4 = * (EIF_INTEGER_32 *) arg1x.it_r;
RTLI(1);
RTLR(0,Current);
RTLU (SK_VOID, NULL);
RTLU(SK_INT32,&arg1);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 243, Current, 0, 1, 3892);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(243, Current, 3892);
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("non_negative", EX_PRE);
RTTE((EIF_BOOLEAN) (arg1 >= ((EIF_INTEGER_32) 0L)), label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(2);
RTDBGAA(Current, dtype, 9830, 0x10000000, 1); /* seed */
*(EIF_INTEGER_32 *)(Current + RTWA(9830, dtype)) = (EIF_INTEGER_32) arg1;
RTHOOK(3);
RTDBGAA(Current, dtype, 9839, 0x10000000, 1); /* last_result */
ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(9830, dtype));
*(EIF_INTEGER_32 *)(Current + RTWA(9839, dtype)) = (EIF_INTEGER_32) ti4_1;
RTHOOK(4);
RTDBGAA(Current, dtype, 9838, 0x10000000, 1); /* last_item */
*(EIF_INTEGER_32 *)(Current + RTWA(9838, dtype)) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 0L);
if (RTAL & CK_ENSURE) {
RTHOOK(5);
RTCT("seed_set", EX_POST);
ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(9830, dtype));
if ((EIF_BOOLEAN)(ti4_1 == arg1)) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(6);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(3);
RTEE;
#undef arg1
}
/* {DATE_VALUE}.set_year */
void F905_7443 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "set_year";
RTEX;
EIF_INTEGER_32 loc1 = (EIF_INTEGER_32) 0;
#define arg1 arg1x.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 ti4_2;
RTCDT;
RTSN;
RTDA;
RTLD;
if ((arg1x.type & SK_HEAD) == SK_REF) arg1x.it_i4 = * (EIF_INTEGER_32 *) arg1x.it_r;
RTLI(1);
RTLR(0,Current);
RTLU (SK_VOID, NULL);
RTLU(SK_INT32,&arg1);
RTLU (SK_REF, &Current);
RTLU(SK_INT32, &loc1);
RTEAA(l_feature_name, 904, Current, 1, 1, 13053);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(904, Current, 13053);
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("can_not_cut_29th_feb", EX_PRE);
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5064, dtype))(Current)).it_i4);
ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5065, dtype))(Current)).it_i4);
ui4_1 = ti4_2;
ui4_2 = arg1;
ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTWF(5043, dtype))(Current, ui4_1x, ui4_2x)).it_i4);
RTTE((EIF_BOOLEAN) (ti4_1 <= ti4_2), label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(2);
RTDBGAL(Current, 1, 0x10000000, 1, 0); /* loc1 */
loc1 = *(EIF_INTEGER_32 *)(Current + RTWA(5286, dtype));
RTHOOK(3);
RTDBGAL(Current, 1, 0x10000000, 1, 0); /* loc1 */
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5291, dtype))(Current)).it_i4);
ti4_2 = eif_bit_not(ti4_1);
ui4_1 = ti4_2;
ti4_1 = eif_bit_and(loc1,ui4_1);
loc1 = (EIF_INTEGER_32) ti4_1;
RTHOOK(4);
RTDBGAL(Current, 1, 0x10000000, 1, 0); /* loc1 */
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5292, dtype))(Current)).it_i4);
ui4_1 = ti4_1;
ti4_1 = eif_bit_shift_left(arg1,ui4_1);
ui4_1 = ti4_1;
ti4_1 = eif_bit_or(loc1,ui4_1);
loc1 = (EIF_INTEGER_32) ti4_1;
RTHOOK(5);
RTDBGAA(Current, dtype, 5286, 0x10000000, 1); /* ordered_compact_date */
*(EIF_INTEGER_32 *)(Current + RTWA(5286, dtype)) = (EIF_INTEGER_32) loc1;
if (RTAL & CK_ENSURE) {
RTHOOK(6);
RTCT("year_set", EX_POST);
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5066, dtype))(Current)).it_i4);
if ((EIF_BOOLEAN)(ti4_1 == arg1)) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(7);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(4);
RTEE;
#undef ui4_1
#undef ui4_2
#undef arg1
}
/* {RTF_FORMAT_I}._invariant */
void F987_16345 (EIF_REFERENCE Current, int where)
{
GTCX
char *l_feature_name = "_invariant";
RTEX;
EIF_INTEGER_32 ti4_1;
RTCDT;
RTLD;
RTDA;
RTLI(1);
RTLR(0,Current);
RTLU (SK_VOID, NULL);
RTLU (SK_REF, &Current);
RTEAINV(l_feature_name, 986, Current, 0, 16344);
RTSA(dtype);
RTME(dtype, 0);
RTIT("character_format_non_negative", Current);
ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(6820, dtype));
if ((EIF_BOOLEAN) (ti4_1 >= ((EIF_INTEGER_32) 0L))) {
RTCK;
} else {
RTCF;
}
RTIT("font_height_non_negative", Current);
ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(6819, dtype));
if ((EIF_BOOLEAN) (ti4_1 >= ((EIF_INTEGER_32) 0L))) {
RTCK;
} else {
RTCF;
}
RTIT("text_color_non_negative", Current);
ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(6812, dtype));
if ((EIF_BOOLEAN) (ti4_1 >= ((EIF_INTEGER_32) 0L))) {
RTCK;
} else {
RTCF;
}
RTIT("highlight_color_non_negative", Current);
ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(6810, dtype));
if ((EIF_BOOLEAN) (ti4_1 >= ((EIF_INTEGER_32) 0L))) {
RTCK;
} else {
RTCF;
}
RTIT("left_margin_non_negative", Current);
ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(6829, dtype));
if ((EIF_BOOLEAN) (ti4_1 >= ((EIF_INTEGER_32) 0L))) {
RTCK;
} else {
RTCF;
}
RTIT("right_margin_non_negative", Current);
ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(6828, dtype));
if ((EIF_BOOLEAN) (ti4_1 >= ((EIF_INTEGER_32) 0L))) {
RTCK;
} else {
RTCF;
}
RTIT("top_spacing_non_negative", Current);
ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(6827, dtype));
if ((EIF_BOOLEAN) (ti4_1 >= ((EIF_INTEGER_32) 0L))) {
RTCK;
} else {
RTCF;
}
RTIT("bottom_spacing_non_negative", Current);
ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(6826, dtype));
if ((EIF_BOOLEAN) (ti4_1 >= ((EIF_INTEGER_32) 0L))) {
RTCK;
} else {
RTCF;
}
RTLO(2);
RTMD(0);
RTLE;
RTEE;
}
/* {PROCESS_THREAD_TIMER}.destroy */
void F933_8056 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "destroy";
RTEX;
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_REFERENCE tr1 = NULL;
EIF_BOOLEAN tb1;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(2);
RTLR(0,Current);
RTLR(1,tr1);
RTLU (SK_VOID, NULL);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 932, Current, 0, 0, 13531);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(932, Current, 13531);
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("thread_capable", EX_PRE);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWPF(321, 0, 121))(Current)).it_b);
RTTE(tb1, label_1);
RTCK;
RTHOOK(2);
RTCT("process_launcher_not_void", EX_PRE);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(932, 36, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTTE((EIF_BOOLEAN)(tr1 != NULL), label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(3);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(932, 104, 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);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(938, 38, "lock", tr1))(tr1);
RTHOOK(4);
RTDBGAA(Current, dtype, 932, 103, 0x04000000, 1); /* is_destroy_requested */
*(EIF_BOOLEAN *)(Current + RTWA(932, 103, dtype)) = (EIF_BOOLEAN) (EIF_BOOLEAN) 1;
RTHOOK(5);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(932, 104, 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);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(938, 40, "unlock", tr1))(tr1);
RTVI(Current, RTAL);
RTRS;
RTHOOK(6);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(2);
RTEE;
#undef up1
}
/* {PROCESS_THREAD_TIMER}.wait */
EIF_TYPED_VALUE F933_8057 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "wait";
RTEX;
#define arg1 arg1x.it_i4
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE uu8_1x = {{0}, SK_UINT64};
#define uu8_1 uu8_1x.it_n8
EIF_REFERENCE tr1 = NULL;
EIF_NATURAL_64 tu8_1;
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(2);
RTLR(0,Current);
RTLR(1,tr1);
RTLU (SK_BOOL, &Result);
RTLU(SK_INT32,&arg1);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 932, Current, 0, 1, 13532);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(932, Current, 13532);
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("thread_capable", EX_PRE);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWPF(321, 0, 121))(Current)).it_b);
RTTE(tb1, label_1);
RTCK;
RTHOOK(2);
RTCT("process_launcher_not_void", EX_PRE);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(932, 36, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTTE((EIF_BOOLEAN)(tr1 != NULL), label_1);
RTCK;
RTHOOK(3);
RTCT("a_timeout_not_negative", EX_PRE);
RTTE((EIF_BOOLEAN) (arg1 >= ((EIF_INTEGER_32) 0L)), label_1);
RTCK;
RTHOOK(4);
RTCT("timer_started", EX_PRE);
tb1 = *(EIF_BOOLEAN *)(Current + RTWA(932, 33, dtype));
RTTE(tb1, label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(5);
if ((EIF_BOOLEAN)(arg1 == ((EIF_INTEGER_32) 0L))) {
RTHOOK(6);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTWF(932, 51, dtype))(Current);
RTHOOK(7);
RTDBGAL(Current, 0, 0x04000000, 1,0); /* Result */
Result = (EIF_BOOLEAN) (EIF_BOOLEAN) 1;
} else {
/* {PACKET}.copy */
void F860_6989 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "copy";
RTEX;
#define arg1 arg1x.it_r
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
#define ur1 ur1x.it_r
EIF_REFERENCE tr1 = NULL;
EIF_REFERENCE tr2 = NULL;
EIF_INTEGER_32 ti4_1;
EIF_INTEGER_32 ti4_2;
EIF_BOOLEAN tb1;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(5);
RTLR(0,arg1);
RTLR(1,ur1);
RTLR(2,Current);
RTLR(3,tr1);
RTLR(4,tr2);
RTLU (SK_VOID, NULL);
RTLU(SK_REF,&arg1);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 859, Current, 0, 1, 12466);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(859, Current, 12466);
RTCC(arg1, 859, l_feature_name, 1, Dftype(Current));
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("other_not_void", EX_PRE);
RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
RTCK;
RTHOOK(2);
RTCT("type_identity", EX_PRE);
ur1 = RTCCL(arg1);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(859, 4, dtype))(Current, ur1x)).it_b);
RTTE(tb1, label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(3);
if (!RTCEQ(arg1, Current)) {
RTHOOK(4);
ur1 = RTCCL(arg1);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(859, 11, dtype))(Current, ur1x);
RTHOOK(5);
RTDBGAA(Current, dtype, 859, 39, 0xF8000096, 0); /* data */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(859, 39, "data", arg1))(arg1)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(5,1);
tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVPF(1, 10, "twin", tr1))(tr1)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTAR(Current, tr2);
*(EIF_REFERENCE *)(Current + RTWA(859, 39, dtype)) = (EIF_REFERENCE) RTCCL(tr2);
}
/* {TIMER}.make_with_token */
void F21_337 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x, EIF_TYPED_VALUE arg2x)
{
GTCX
char *l_feature_name = "make_with_token";
RTEX;
#define arg1 arg1x.it_i8
#define arg2 arg2x.it_i4
EIF_TYPED_VALUE ui8_1x = {{0}, SK_INT64};
#define ui8_1 ui8_1x.it_i8
EIF_INTEGER_64 ti8_1;
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_i8 = * (EIF_INTEGER_64 *) arg1x.it_r;
RTLI(1);
RTLR(0,Current);
RTLU (SK_VOID, NULL);
RTLU(SK_INT64,&arg1);
RTLU(SK_INT32,&arg2);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 20, Current, 0, 2, 382);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(20, Current, 382);
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("non_negative", EX_PRE);
ti8_1 = (EIF_INTEGER_64) ((EIF_INTEGER_32) 0L);
RTTE((EIF_BOOLEAN) (arg1 >= ti8_1), label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(2);
ui8_1 = arg1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(340, dtype))(Current, ui8_1x);
RTHOOK(3);
RTDBGAA(Current, dtype, 343, 0x10000000, 1); /* token */
*(EIF_INTEGER_32 *)(Current + RTWA(343, dtype)) = (EIF_INTEGER_32) arg2;
RTVI(Current, RTAL);
RTRS;
RTHOOK(4);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(4);
RTEE;
#undef ui8_1
#undef arg2
#undef arg1
}
/* {PACKET}.make_from_managed_pointer */
void F860_6982 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "make_from_managed_pointer";
RTEX;
#define arg1 arg1x.it_r
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_REFERENCE tr1 = NULL;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(3);
RTLR(0,arg1);
RTLR(1,Current);
RTLR(2,tr1);
RTLU (SK_VOID, NULL);
RTLU(SK_REF,&arg1);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 859, Current, 0, 1, 12459);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(859, Current, 12459);
RTCC(arg1, 859, l_feature_name, 1, RTWCT(859, 39, Current));
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("a_data_not_void", EX_PRE);
RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(2);
RTDBGAA(Current, dtype, 859, 39, 0xF8000096, 0); /* data */
RTAR(Current, arg1);
*(EIF_REFERENCE *)(Current + RTWA(859, 39, dtype)) = (EIF_REFERENCE) RTCCL(arg1);
if (RTAL & CK_ENSURE) {
RTHOOK(3);
RTCT("data_set", EX_POST);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(859, 39, 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
}
/* {BOOLEAN_REF}._invariant */
void F154_4593 (EIF_REFERENCE Current, int where)
{
GTCX
char *l_feature_name = "_invariant";
RTEX;
EIF_REFERENCE tr1 = NULL;
EIF_BOOLEAN tb1;
EIF_BOOLEAN tb2;
RTCDT;
RTLD;
RTDA;
RTLI(2);
RTLR(0,Current);
RTLR(1,tr1);
RTLU (SK_VOID, NULL);
RTLU (SK_REF, &Current);
RTEAINV(l_feature_name, 153, Current, 0, 4592);
RTSA(dtype);
RTME(dtype, 0);
RTIT("involutive_negation", Current);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(2713, "negated", Current))(Current)).it_b);
tr1 = RTLN(154);
*(EIF_BOOLEAN *)tr1 = ((EIF_BOOLEAN) !tb1);
tb2 = *(EIF_BOOLEAN *)(tr1 + RTVA(2705, "item", tr1));
tb1 = *(EIF_BOOLEAN *)(Current + RTWA(2705, dtype));
if ((EIF_BOOLEAN)(tb2 == tb1)) {
RTCK;
} else {
RTCF;
}
RTIT("non_contradiction", Current);
tb1 = '\0';
tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(2713, "negated", Current))(Current)).it_b);
if (tb2) {
tb2 = *(EIF_BOOLEAN *)(Current + RTVA(2705, "item", Current));
tb1 = tb2;
}
if ((EIF_BOOLEAN) !tb1) {
RTCK;
} else {
RTCF;
}
RTIT("completeness", Current);
tb1 = '\01';
tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(2713, "negated", Current))(Current)).it_b);
if (!(tb2)) {
tb2 = *(EIF_BOOLEAN *)(Current + RTVA(2705, "item", Current));
tb1 = tb2;
}
if (tb1) {
RTCK;
} else {
RTCF;
}
RTLO(2);
RTMD(0);
RTLE;
RTEE;
}
/* {BOOLEAN_REF}.disjuncted_exclusive */
EIF_TYPED_VALUE F154_3639 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "disjuncted_exclusive";
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, 153, Current, 0, 1, 8618);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(153, Current, 8618);
RTCC(arg1, 153, l_feature_name, 1, eif_attached_type(153));
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 */
Result = *(EIF_BOOLEAN *)(Current + RTWA(2705, dtype));
tb1 = *(EIF_BOOLEAN *)(arg1 + RTVA(2705, "item", arg1));
Result = (EIF_BOOLEAN) ((Result) != (tb1));
if (RTAL & CK_ENSURE) {
RTHOOK(3);
RTCT("definition", EX_POST);
tb1 = '\0';
ur1 = RTCCL(arg1);
tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(2714, "disjuncted", Current))(Current, ur1x)).it_b);
if (tb2) {
ur1 = RTCCL(arg1);
tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(2710, "conjuncted", Current))(Current, ur1x)).it_b);
tb1 = (EIF_BOOLEAN) !tb2;
}
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 ur1
#undef arg1
}
/* {VERSIONABLE}.increment_version */
void F26_379 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "increment_version";
RTEX;
EIF_REFERENCE tr1 = NULL;
EIF_NATURAL_32 tu4_1;
EIF_NATURAL_32 tu4_2;
EIF_NATURAL_32 tu4_3;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(2);
RTLR(0,Current);
RTLR(1,tr1);
RTLU (SK_VOID, NULL);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 25, Current, 0, 0, 403);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(25, Current, 403);
RTIV(Current, RTAL);
if (RTAL & CK_ENSURE) {
in_assertion = ~0;
RTE_OT
tu4_2 = *(EIF_NATURAL_32 *)(Current + RTWA(381, dtype));
tu4_1 = tu4_2;
tr1 = NULL;
RTE_O
tr1 = RTLA;
RTE_OE
in_assertion = 0;
}
RTHOOK(1);
RTDBGAA(Current, dtype, 381, 0x38000000, 1); /* version */
tu4_3 = (EIF_NATURAL_32) ((EIF_INTEGER_32) 1L);
(*(EIF_NATURAL_32 *)(Current + RTWA(381, dtype))) += tu4_3;
if (RTAL & CK_ENSURE) {
RTHOOK(2);
RTCT("version_incremented", EX_POST);
tu4_2 = *(EIF_NATURAL_32 *)(Current + RTWA(381, dtype));
RTCO(tr1);
tu4_3 = (EIF_NATURAL_32) ((EIF_INTEGER_32) 1L);
if ((EIF_BOOLEAN)(tu4_2 == (EIF_NATURAL_32) (tu4_1 + tu4_3))) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(3);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(2);
RTEE;
}
/* {PROCESS_THREAD_TIMER}.make */
void F933_8054 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "make";
RTEX;
#define arg1 arg1x.it_i4
EIF_REFERENCE tr1 = NULL;
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(2);
RTLR(0,Current);
RTLR(1,tr1);
RTLU (SK_VOID, NULL);
RTLU(SK_INT32,&arg1);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 932, Current, 0, 1, 13529);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(932, Current, 13529);
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("thread_capable", EX_PRE);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWPF(321, 0, 121))(Current)).it_b);
RTTE(tb1, label_1);
RTCK;
RTHOOK(2);
RTCT("interval_positive", EX_PRE);
RTTE((EIF_BOOLEAN) (arg1 > ((EIF_INTEGER_32) 0L)), label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(3);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTWF(932, 94, dtype))(Current);
RTHOOK(4);
RTDBGAA(Current, dtype, 932, 35, 0x10000000, 1); /* sleep_time */
*(EIF_INTEGER_32 *)(Current + RTWA(932, 35, dtype)) = (EIF_INTEGER_32) arg1;
RTHOOK(5);
RTDBGAA(Current, dtype, 932, 104, 0xF80003AA, 0); /* mutex */
tr1 = RTLNSMART(eif_non_attached_type(RTWCT(932, 104, Current)));
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTWC(938, 35, Dtype(tr1)))(tr1);
RTNHOOK(5,1);
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + RTWA(932, 104, dtype)) = (EIF_REFERENCE) RTCCL(tr1);
RTHOOK(6);
RTDBGAA(Current, dtype, 932, 33, 0x04000000, 1); /* has_started */
*(EIF_BOOLEAN *)(Current + RTWA(932, 33, dtype)) = (EIF_BOOLEAN) (EIF_BOOLEAN) 0;
if (RTAL & CK_ENSURE) {
RTHOOK(7);
RTCT("sleep_time_set", EX_POST);
ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(932, 35, dtype));
if ((EIF_BOOLEAN)(ti4_1 == arg1)) {
RTCK;
} else {
RTCF;
}
RTHOOK(8);
RTCT("destroyed_set", EX_POST);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(932, 101, dtype))(Current)).it_b);
if (tb1) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(9);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(3);
RTEE;
#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
}
/* {ETF_MODEL}.update_structure */
void F881_8258 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "update_structure";
RTEX;
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE up2x = {{0}, SK_POINTER};
#define up2 up2x.it_p
EIF_TYPED_VALUE up3x = {{0}, SK_POINTER};
#define up3 up3x.it_p
EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
#define ur1 ur1x.it_r
EIF_REFERENCE tr1 = NULL;
EIF_REFERENCE tr2 = NULL;
EIF_REFERENCE tr3 = NULL;
EIF_BOOLEAN tb1;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(5);
RTLR(0,Current);
RTLR(1,tr1);
RTLR(2,tr2);
RTLR(3,ur1);
RTLR(4,tr3);
RTLU (SK_VOID, NULL);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 880, Current, 0, 0, 13937);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(880, Current, 13937);
RTIV(Current, RTAL);
RTHOOK(1);
RTDBGAA(Current, dtype, 6184, 0x04000000, 1); /* first_set */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(6178, 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 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(11985, "set_first_null", tr1))(tr1)).it_b);
*(EIF_BOOLEAN *)(Current + RTWA(6184, dtype)) = (EIF_BOOLEAN) tb1;
RTHOOK(2);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(6177, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(2,1);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(4330, "make_empty", tr1))(tr1);
RTHOOK(3);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(6177, 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);
tr2 = RTMS_EX_H("\012",1,10);
ur1 = tr2;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4492, "append", tr1))(tr1, ur1x);
RTHOOK(4);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(6177, 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)) RTWF(6178, dtype))(Current)), (((up2x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up2x.it_r = RTBU(up2x))), (up2x.type = SK_POINTER), up2x.it_r);
RTNHOOK(4,2);
tr3 = ((up3x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(7813, "output", tr2))(tr2)), (((up3x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up3x.it_r = RTBU(up3x))), (up3x.type = SK_POINTER), up3x.it_r);
ur1 = RTCCL(tr3);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4492, "append", tr1))(tr1, ur1x);
RTHOOK(5);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(6177, 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);
tr2 = RTMS_EX_H("\012",1,10);
ur1 = tr2;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4492, "append", tr1))(tr1, ur1x);
RTHOOK(6);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(6177, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(6,1);
tr2 = ((up2x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(6185, dtype))(Current)), (((up2x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up2x.it_r = RTBU(up2x))), (up2x.type = SK_POINTER), up2x.it_r);
ur1 = RTCCL(tr2);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4492, "append", tr1))(tr1, ur1x);
RTVI(Current, RTAL);
RTRS;
RTHOOK(7);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(2);
RTEE;
#undef up1
#undef up2
#undef up3
#undef ur1
}
/* {RTF_FORMAT_I}.set_alignment */
void F987_8964 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "set_alignment";
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);
RTLU (SK_VOID, NULL);
RTLU(SK_INT32,&arg1);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 986, Current, 0, 1, 14523);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(986, Current, 14523);
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("valid_alignment", EX_PRE);
ui4_1 = arg1;
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(6808, dtype))(Current, ui4_1x)).it_b);
RTTE(tb1, label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(2);
RTDBGAA(Current, dtype, 6825, 0x10000000, 1); /* alignment */
*(EIF_INTEGER_32 *)(Current + RTWA(6825, dtype)) = (EIF_INTEGER_32) arg1;
RTHOOK(3);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTWF(6848, dtype))(Current);
if (RTAL & CK_ENSURE) {
RTHOOK(4);
RTCT("alignment_set", EX_POST);
ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(6825, dtype));
if ((EIF_BOOLEAN)(ti4_1 == arg1)) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(5);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(3);
RTEE;
#undef ui4_1
#undef arg1
}
/* {ETF_MODEL}.add_binary_operation */
void F881_8259 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "add_binary_operation";
RTEX;
#define arg1 arg1x.it_r
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE up2x = {{0}, SK_POINTER};
#define up2 up2x.it_p
EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
#define ur1 ur1x.it_r
EIF_REFERENCE tr1 = NULL;
EIF_REFERENCE tr2 = NULL;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(5);
RTLR(0,arg1);
RTLR(1,Current);
RTLR(2,tr1);
RTLR(3,ur1);
RTLR(4,tr2);
RTLU (SK_VOID, NULL);
RTLU(SK_REF,&arg1);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 880, Current, 0, 1, 13938);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(880, Current, 13938);
RTCC(arg1, 880, l_feature_name, 1, eif_attached_type(1079));
RTIV(Current, RTAL);
RTHOOK(1);
RTDBGAA(Current, dtype, 6179, 0xF8000445, 0); /* binary_op */
tr1 = RTLNSMART(eif_non_attached_type(RTWCT(6179, dtype, Dftype(Current))));
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTWC(11981, Dtype(tr1)))(tr1);
RTNHOOK(1,1);
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + RTWA(6179, dtype)) = (EIF_REFERENCE) RTCCL(tr1);
RTHOOK(2);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(6179, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(2,1);
ur1 = RTCCL(arg1);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(11986, "add_operation", tr1))(tr1, ur1x);
RTHOOK(3);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(6178, 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);
tr2 = ((up2x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(6179, dtype))(Current)), (((up2x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up2x.it_r = RTBU(up2x))), (up2x.type = SK_POINTER), up2x.it_r);
ur1 = RTCCL(tr2);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(11984, "add", tr1))(tr1, ur1x);
RTHOOK(4);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTWF(6186, dtype))(Current);
RTVI(Current, RTAL);
RTRS;
RTHOOK(5);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(3);
RTEE;
#undef up1
#undef up2
#undef ur1
#undef arg1
}
/* {RTF_FORMAT_I}.reset_paragraph */
void F987_8949 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "reset_paragraph";
RTEX;
EIF_INTEGER_32 ti4_1;
EIF_INTEGER_32 ti4_2;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(1);
RTLR(0,Current);
RTLU (SK_VOID, NULL);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 986, Current, 0, 0, 14508);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(986, Current, 14508);
RTIV(Current, RTAL);
RTHOOK(1);
RTDBGAA(Current, dtype, 6825, 0x10000000, 1); /* alignment */
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(6799, dtype))(Current)).it_i4);
*(EIF_INTEGER_32 *)(Current + RTWA(6825, dtype)) = (EIF_INTEGER_32) ti4_1;
RTHOOK(2);
RTDBGAA(Current, dtype, 6829, 0x10000000, 1); /* left_margin */
*(EIF_INTEGER_32 *)(Current + RTWA(6829, dtype)) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 0L);
RTHOOK(3);
RTDBGAA(Current, dtype, 6828, 0x10000000, 1); /* right_margin */
*(EIF_INTEGER_32 *)(Current + RTWA(6828, dtype)) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 0L);
RTHOOK(4);
RTDBGAA(Current, dtype, 6827, 0x10000000, 1); /* top_spacing */
*(EIF_INTEGER_32 *)(Current + RTWA(6827, dtype)) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 0L);
RTHOOK(5);
RTDBGAA(Current, dtype, 6826, 0x10000000, 1); /* bottom_spacing */
*(EIF_INTEGER_32 *)(Current + RTWA(6826, dtype)) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 0L);
RTHOOK(6);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTWF(6848, dtype))(Current);
if (RTAL & CK_ENSURE) {
RTHOOK(7);
RTCT(NULL, EX_POST);
ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(6825, dtype));
ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(6799, dtype))(Current)).it_i4);
if ((EIF_BOOLEAN)(ti4_1 == ti4_2)) {
RTCK;
} else {
RTCF;
}
RTHOOK(8);
RTCT(NULL, EX_POST);
ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(6829, dtype));
if ((EIF_BOOLEAN)(ti4_1 == ((EIF_INTEGER_32) 0L))) {
RTCK;
} else {
RTCF;
}
RTHOOK(9);
RTCT(NULL, EX_POST);
ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(6828, dtype));
if ((EIF_BOOLEAN)(ti4_1 == ((EIF_INTEGER_32) 0L))) {
RTCK;
} else {
RTCF;
}
RTHOOK(10);
RTCT(NULL, EX_POST);
ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(6827, dtype));
if ((EIF_BOOLEAN)(ti4_1 == ((EIF_INTEGER_32) 0L))) {
RTCK;
} else {
RTCF;
}
RTHOOK(11);
RTCT(NULL, EX_POST);
ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(6826, dtype));
if ((EIF_BOOLEAN)(ti4_1 == ((EIF_INTEGER_32) 0L))) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(12);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(2);
RTEE;
}
/* {ETF_MODEL}.make */
void F881_8248 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "make";
RTEX;
EIF_REFERENCE tr1 = NULL;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(2);
RTLR(0,Current);
RTLR(1,tr1);
RTLU (SK_VOID, NULL);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 880, Current, 0, 0, 13927);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(880, Current, 13927);
RTIV(Current, RTAL);
RTHOOK(1);
RTDBGAA(Current, dtype, 6177, 0xF80000DB, 0); /* report */
tr1 = RTLNSMART(eif_non_attached_type(RTWCT(6177, dtype, Dftype(Current))));
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTWC(4330, Dtype(tr1)))(tr1);
RTNHOOK(1,1);
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + RTWA(6177, dtype)) = (EIF_REFERENCE) RTCCL(tr1);
RTHOOK(2);
RTDBGAA(Current, dtype, 6178, 0xF8000440, 0); /* myexpression */
tr1 = RTLNSMART(eif_non_attached_type(RTWCT(6178, dtype, Dftype(Current))));
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTWC(11981, Dtype(tr1)))(tr1);
RTNHOOK(2,1);
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + RTWA(6178, dtype)) = (EIF_REFERENCE) RTCCL(tr1);
RTHOOK(3);
RTDBGAA(Current, dtype, 6180, 0xF8000444, 0); /* integer_constant */
tr1 = RTLNSMART(eif_non_attached_type(RTWCT(6180, dtype, Dftype(Current))));
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTWC(11981, Dtype(tr1)))(tr1);
RTNHOOK(3,1);
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + RTWA(6180, dtype)) = (EIF_REFERENCE) RTCCL(tr1);
RTHOOK(4);
RTDBGAA(Current, dtype, 6179, 0xF8000445, 0); /* binary_op */
tr1 = RTLNSMART(eif_non_attached_type(RTWCT(6179, dtype, Dftype(Current))));
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTWC(11981, Dtype(tr1)))(tr1);
RTNHOOK(4,1);
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + RTWA(6179, dtype)) = (EIF_REFERENCE) RTCCL(tr1);
RTHOOK(5);
RTDBGAA(Current, dtype, 6181, 0xF8000443, 0); /* boolean_constant */
tr1 = RTLNSMART(eif_non_attached_type(RTWCT(6181, dtype, Dftype(Current))));
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTWC(11981, Dtype(tr1)))(tr1);
RTNHOOK(5,1);
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + RTWA(6181, dtype)) = (EIF_REFERENCE) RTCCL(tr1);
RTHOOK(6);
RTDBGAA(Current, dtype, 6182, 0xF8000442, 0); /* unary_op */
tr1 = RTLNSMART(eif_non_attached_type(RTWCT(6182, dtype, Dftype(Current))));
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTWC(11981, Dtype(tr1)))(tr1);
RTNHOOK(6,1);
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + RTWA(6182, dtype)) = (EIF_REFERENCE) RTCCL(tr1);
RTHOOK(7);
RTDBGAA(Current, dtype, 6183, 0xF8000441, 0); /* set_enum */
tr1 = RTLNSMART(eif_non_attached_type(RTWCT(6183, dtype, Dftype(Current))));
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTWC(11981, Dtype(tr1)))(tr1);
RTNHOOK(7,1);
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + RTWA(6183, dtype)) = (EIF_REFERENCE) RTCCL(tr1);
RTVI(Current, RTAL);
RTRS;
RTHOOK(8);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(2);
RTEE;
}
/* {RTF_FORMAT_I}.set_highlight_color */
void F987_8955 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "set_highlight_color";
RTEX;
#define arg1 arg1x.it_i4
EIF_INTEGER_32 ti4_1;
RTCDT;
RTSN;
RTDA;
RTLD;
if ((arg1x.type & SK_HEAD) == SK_REF) arg1x.it_i4 = * (EIF_INTEGER_32 *) arg1x.it_r;
RTLI(1);
RTLR(0,Current);
RTLU (SK_VOID, NULL);
RTLU(SK_INT32,&arg1);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 986, Current, 0, 1, 14514);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(986, Current, 14514);
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("a_highlight_color_non_negative", EX_PRE);
RTTE((EIF_BOOLEAN) (arg1 >= ((EIF_INTEGER_32) 0L)), label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(2);
RTDBGAA(Current, dtype, 6810, 0x10000000, 1); /* highlight_color */
*(EIF_INTEGER_32 *)(Current + RTWA(6810, dtype)) = (EIF_INTEGER_32) arg1;
RTHOOK(3);
RTDBGAA(Current, dtype, 6811, 0x04000000, 1); /* highlight_set */
*(EIF_BOOLEAN *)(Current + RTWA(6811, dtype)) = (EIF_BOOLEAN) (EIF_BOOLEAN) 1;
RTHOOK(4);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTWF(6848, dtype))(Current);
if (RTAL & CK_ENSURE) {
RTHOOK(5);
RTCT("highlight_color_assigned", EX_POST);
ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(6810, dtype));
if ((EIF_BOOLEAN)(ti4_1 == arg1)) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(6);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(3);
RTEE;
#undef arg1
}
/* {ETF_MODEL}.add_boolean_constant */
void F881_8263 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "add_boolean_constant";
RTEX;
#define arg1 arg1x.it_b
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 ub1x = {{0}, SK_BOOL};
#define ub1 ub1x.it_b
EIF_REFERENCE tr1 = NULL;
EIF_REFERENCE tr2 = NULL;
RTCDT;
RTSN;
RTDA;
RTLD;
if ((arg1x.type & SK_HEAD) == SK_REF) arg1x.it_b = * (EIF_BOOLEAN *) arg1x.it_r;
RTLI(4);
RTLR(0,Current);
RTLR(1,tr1);
RTLR(2,tr2);
RTLR(3,ur1);
RTLU (SK_VOID, NULL);
RTLU(SK_BOOL,&arg1);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 880, Current, 0, 1, 13942);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(880, Current, 13942);
RTIV(Current, RTAL);
RTHOOK(1);
RTDBGAA(Current, dtype, 6181, 0xF8000443, 0); /* boolean_constant */
tr1 = RTLNSMART(eif_non_attached_type(RTWCT(6181, dtype, Dftype(Current))));
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTWC(11981, Dtype(tr1)))(tr1);
RTNHOOK(1,1);
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + RTWA(6181, dtype)) = (EIF_REFERENCE) RTCCL(tr1);
RTHOOK(2);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(6181, 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);
ub1 = arg1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(11987, "add_boolean_constant", tr1))(tr1, ub1x);
RTHOOK(3);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(6178, 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);
tr2 = ((up2x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(6181, dtype))(Current)), (((up2x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up2x.it_r = RTBU(up2x))), (up2x.type = SK_POINTER), up2x.it_r);
ur1 = RTCCL(tr2);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(11984, "add", tr1))(tr1, ur1x);
RTHOOK(4);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTWF(6186, dtype))(Current);
RTVI(Current, RTAL);
RTRS;
RTHOOK(5);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(3);
RTEE;
#undef up1
#undef up2
#undef ur1
#undef ub1
#undef arg1
}
/* {RANDOM}.i_th */
EIF_TYPED_VALUE F244_10430 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "i_th";
RTEX;
EIF_INTEGER_32 loc1 = (EIF_INTEGER_32) 0;
#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;
EIF_INTEGER_32 Result = ((EIF_INTEGER_32) 0);
RTCDT;
RTSN;
RTDA;
RTLD;
if ((arg1x.type & SK_HEAD) == SK_REF) arg1x.it_i4 = * (EIF_INTEGER_32 *) arg1x.it_r;
RTLI(1);
RTLR(0,Current);
RTLU (SK_INT32, &Result);
RTLU(SK_INT32,&arg1);
RTLU (SK_REF, &Current);
RTLU(SK_INT32, &loc1);
RTEAA(l_feature_name, 243, Current, 1, 1, 3900);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(243, Current, 3900);
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("positive_argument", EX_PRE);
RTTE((EIF_BOOLEAN) (arg1 > ((EIF_INTEGER_32) 0L)), label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(2);
ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(9838, dtype));
if ((EIF_BOOLEAN) (arg1 >= ti4_1)) {
RTHOOK(3);
RTDBGAL(Current, 0, 0x10000000, 1,0); /* Result */
Result = *(EIF_INTEGER_32 *)(Current + RTWA(9839, dtype));
RTHOOK(4);
RTDBGAL(Current, 1, 0x10000000, 1, 0); /* loc1 */
loc1 = *(EIF_INTEGER_32 *)(Current + RTWA(9838, dtype));
} else {
RTHOOK(5);
RTDBGAL(Current, 0, 0x10000000, 1,0); /* Result */
Result = *(EIF_INTEGER_32 *)(Current + RTWA(9830, dtype));
}
for (;;) {
RTHOOK(6);
if ((EIF_BOOLEAN)(loc1 == arg1)) break;
RTHOOK(7);
RTDBGAL(Current, 0, 0x10000000, 1,0); /* Result */
ui4_1 = Result;
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(9836, dtype))(Current, ui4_1x)).it_i4);
Result = (EIF_INTEGER_32) ti4_1;
RTHOOK(8);
RTDBGAL(Current, 1, 0x10000000, 1, 0); /* loc1 */
loc1++;
}
RTHOOK(9);
RTDBGAA(Current, dtype, 9839, 0x10000000, 1); /* last_result */
*(EIF_INTEGER_32 *)(Current + RTWA(9839, dtype)) = (EIF_INTEGER_32) Result;
RTHOOK(10);
RTDBGAA(Current, dtype, 9838, 0x10000000, 1); /* last_item */
*(EIF_INTEGER_32 *)(Current + RTWA(9838, dtype)) = (EIF_INTEGER_32) arg1;
if (RTAL & CK_ENSURE) {
RTHOOK(11);
RTCT("in_range", EX_POST);
tb1 = '\0';
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9827, dtype))(Current)).it_i4);
if ((EIF_BOOLEAN) (Result < ti4_1)) {
tb1 = (EIF_BOOLEAN) (Result >= ((EIF_INTEGER_32) 0L));
}
if (tb1) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(12);
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 arg1
}
/* {BILINEAR}.search */
void F683_2448 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "search";
RTEX;
#define arg1 arg1x.it_c1
EIF_TYPED_VALUE uc1x = {{0}, SK_CHAR8};
#define uc1 uc1x.it_c1
EIF_BOOLEAN tb1;
EIF_BOOLEAN tb2;
EIF_BOOLEAN tb3;
EIF_CHARACTER_8 tc1;
RTCDT;
RTSN;
RTDA;
RTLD;
if ((arg1x.type & SK_HEAD) == SK_REF) arg1x.it_c1 = * (EIF_CHARACTER_8 *) arg1x.it_r;
RTLI(1);
RTLR(0,Current);
RTLU (SK_VOID, NULL);
RTLU(SK_CHAR8,&arg1);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 682, Current, 0, 1, 2652);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(682, Current, 2652);
RTIV(Current, RTAL);
RTHOOK(1);
tb1 = '\0';
tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(2186, dtype))(Current)).it_b);
if (tb2) {
tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(2162, dtype))(Current)).it_b);
tb1 = (EIF_BOOLEAN) !tb2;
}
if (tb1) {
RTHOOK(2);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTWF(2185, dtype))(Current);
}
RTHOOK(3);
uc1 = arg1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(2188, dtype))(Current, uc1x);
if (RTAL & CK_ENSURE) {
RTHOOK(4);
RTCT("object_found", EX_POST);
tb1 = '\01';
tb2 = '\0';
tb3 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(2182, dtype))(Current)).it_b);
if ((EIF_BOOLEAN) !tb3) {
tb3 = *(EIF_BOOLEAN *)(Current + RTWA(2164, dtype));
tb2 = tb3;
}
if (tb2) {
tc1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(2170, dtype))(Current)).it_c1);
tb1 = (arg1 == tc1);
}
if (tb1) {
RTCK;
} else {
RTCF;
}
RTHOOK(5);
RTCT("item_found", EX_POST);
tb1 = '\01';
tb2 = '\0';
tb3 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(2182, dtype))(Current)).it_b);
if ((EIF_BOOLEAN) !tb3) {
tb3 = *(EIF_BOOLEAN *)(Current + RTWA(2164, dtype));
tb2 = (EIF_BOOLEAN) !tb3;
}
if (tb2) {
tc1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(2170, dtype))(Current)).it_c1);
tb1 = (EIF_BOOLEAN)(arg1 == tc1);
}
if (tb1) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(6);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(3);
RTEE;
#undef uc1
#undef arg1
}
/* {KL_ARRAY}.new_rebase */
void F1588_10020 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "new_rebase";
RTEX;
EIF_INTEGER_32 loc1 = (EIF_INTEGER_32) 0;
#define arg1 arg1x.it_i4
EIF_REFERENCE tr1 = NULL;
EIF_INTEGER_32 ti4_1;
EIF_INTEGER_32 ti4_2;
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);
RTLU (SK_VOID, NULL);
RTLU(SK_INT32,&arg1);
RTLU (SK_REF, &Current);
RTLU(SK_INT32, &loc1);
RTEAA(l_feature_name, 1587, Current, 1, 1, 15670);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(1587, Current, 15670);
RTIV(Current, RTAL);
if (RTAL & CK_ENSURE) {
in_assertion = ~0;
RTE_OT
ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1752, dtype))(Current)).it_i4);
ti4_1 = ti4_2;
tr1 = NULL;
RTE_O
tr1 = RTLA;
RTE_OE
in_assertion = 0;
}
RTHOOK(1);
RTDBGAL(Current, 1, 0x10000000, 1, 0); /* loc1 */
loc1 = *(EIF_INTEGER_32 *)(Current + RTWA(2611, dtype));
RTHOOK(2);
RTDBGAA(Current, dtype, 2611, 0x10000000, 1); /* lower */
*(EIF_INTEGER_32 *)(Current + RTWA(2611, dtype)) = (EIF_INTEGER_32) arg1;
RTHOOK(3);
RTDBGAA(Current, dtype, 2612, 0x10000000, 1); /* upper */
ti4_2 = *(EIF_INTEGER_32 *)(Current + RTWA(2612, dtype));
*(EIF_INTEGER_32 *)(Current + RTWA(2612, dtype)) = (EIF_INTEGER_32) (EIF_INTEGER_32) (arg1 + (EIF_INTEGER_32) (ti4_2 - loc1));
if (RTAL & CK_ENSURE) {
RTHOOK(4);
RTCT("lower_set", EX_POST);
ti4_2 = *(EIF_INTEGER_32 *)(Current + RTWA(2611, dtype));
if ((EIF_BOOLEAN)(ti4_2 == arg1)) {
RTCK;
} else {
RTCF;
}
RTHOOK(5);
RTCT("upper_set", EX_POST);
ti4_2 = *(EIF_INTEGER_32 *)(Current + RTWA(2612, dtype));
RTCO(tr1);
if ((EIF_BOOLEAN)(ti4_2 == (EIF_INTEGER_32) ((EIF_INTEGER_32) (arg1 + ti4_1) - ((EIF_INTEGER_32) 1L)))) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(6);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(4);
RTEE;
#undef arg1
}
/* {TO_SPECIAL}.make_empty_area */
void F619_2906 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "make_empty_area";
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;
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);
RTLU (SK_VOID, NULL);
RTLU(SK_INT32,&arg1);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 618, Current, 0, 1, 3424);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(618, Current, 3424);
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("non_negative_argument", EX_PRE);
RTTE((EIF_BOOLEAN) (arg1 >= ((EIF_INTEGER_32) 0L)), label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(2);
RTDBGAA(Current, dtype, 2426, 0xF800025B, 0); /* area */
ui4_1 = arg1;
if (ui4_1< 0) {
eraise ("non_negative_argument", EN_RT_CHECK);
}
tr1 = RTLNSP2(eif_non_attached_type(RTWCT(2426, dtype, Dftype(Current))),0,ui4_1,sizeof(EIF_NATURAL_8), EIF_TRUE);
RT_SPECIAL_COUNT(tr1) = 0;
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + RTWA(2426, dtype)) = (EIF_REFERENCE) tr1;
if (RTAL & CK_ENSURE) {
RTHOOK(3);
RTCT("area_allocated", EX_POST);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(2426, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
if ((EIF_BOOLEAN)(tr1 != NULL)) {
RTCK;
} else {
RTCF;
}
RTHOOK(4);
RTCT("capacity_set", EX_POST);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(2426, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(4,1);
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(2494, "capacity", tr1))(tr1)).it_i4);
if ((EIF_BOOLEAN)(ti4_1 == arg1)) {
RTCK;
} else {
RTCF;
}
RTHOOK(5);
RTCT("count_set", EX_POST);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(2426, 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);
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(2493, "count", tr1))(tr1)).it_i4);
if ((EIF_BOOLEAN)(ti4_1 == ((EIF_INTEGER_32) 0L))) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(6);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(3);
RTEE;
#undef up1
#undef ui4_1
#undef arg1
}
/* {RT_DBG_FIELD_RECORD}.to_string */
EIF_TYPED_VALUE F418_4545 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "to_string";
RTEX;
EIF_BOOLEAN loc1 = (EIF_BOOLEAN) 0;
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE ub1x = {{0}, SK_BOOL};
#define ub1 ub1x.it_b
EIF_REFERENCE tr1 = NULL;
EIF_INTEGER_32 ti4_1;
EIF_BOOLEAN tb1;
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);
RTLU(SK_BOOL, &loc1);
RTEAA(l_feature_name, 417, Current, 1, 0, 10010);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(417, Current, 10010);
RTIV(Current, RTAL);
RTHOOK(1);
RTDBGAL(Current, 1, 0x04000000, 0, 0); /* loc1 */
loc1 = *(EIF_BOOLEAN *)(Current + RTWA(3350, dtype));
RTHOOK(2);
ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(3319, dtype));
switch (ti4_1) {
case 1L:
RTHOOK(3);
if (EIF_TRUE) {
RTHOOK(4);
RTDBGAL(Current, 0, 0xF80000AA, 0,0); /* Result */
tr1 = c_outp((EIF_BOOLEAN *) &(loc1));
Result = (EIF_REFERENCE) RTCCL(tr1);
} else {
RTHOOK(5);
RTDBGAL(Current, 0, 0xF80000AA, 0,0); /* Result */
Result = RTMS_EX_H("Void",4,1450142052);
}
break;
case 7L:
if (RTAL & CK_CHECK) {
RTHOOK(6);
RTCT("value_attached", EX_CHECK);
tb1 = *(EIF_BOOLEAN *)(Current + RTWA(3350, dtype));
if (EIF_TRUE) {
RTCK;
} else {
RTCF;
}
}
RTHOOK(7);
if (EIF_TRUE) {
RTHOOK(8);
RTDBGAL(Current, 0, 0xF80000AA, 0,0); /* Result */
tr1 = c_outp((EIF_BOOLEAN *) &(loc1));
Result = (EIF_REFERENCE) RTCCL(tr1);
} else {
RTHOOK(9);
RTDBGAL(Current, 0, 0xF80000AA, 0,0); /* Result */
tr1 = RTLN(170);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTWC(2840, Dtype(tr1)))(tr1);
RTNHOOK(9,1);
Result = (EIF_REFERENCE) RTCCL(tr1);
}
break;
default:
RTHOOK(10);
if (EIF_TRUE) {
RTHOOK(11);
RTDBGAL(Current, 0, 0xF80000AA, 0,0); /* Result */
ub1 = loc1;
Result = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(3352, dtype))(Current, ub1x)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
} else {
if (RTAL & CK_CHECK) {
RTHOOK(12);
RTCT(NULL, EX_CHECK);
RTCF;
}
RTHOOK(13);
RTDBGAL(Current, 0, 0xF80000AA, 0,0); /* Result */
tr1 = RTLN(170);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTWC(2840, Dtype(tr1)))(tr1);
RTNHOOK(13,1);
Result = (EIF_REFERENCE) RTCCL(tr1);
}
break;
}
if (RTAL & CK_ENSURE) {
RTHOOK(14);
RTCT("result_attached", EX_POST);
if ((EIF_BOOLEAN)(Result != NULL)) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(15);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(3);
RTEE;
{ EIF_TYPED_VALUE r; r.type = SK_REF; r.it_r = Result; return r; }
#undef up1
#undef ub1
}
/* {BOOLEAN_REF}.to_integer */
EIF_TYPED_VALUE F154_3631 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "to_integer";
RTEX;
EIF_BOOLEAN tb1;
EIF_INTEGER_32 Result = ((EIF_INTEGER_32) 0);
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(1);
RTLR(0,Current);
RTLU (SK_INT32, &Result);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 153, Current, 0, 0, 8610);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(153, Current, 8610);
RTIV(Current, RTAL);
RTHOOK(1);
tb1 = *(EIF_BOOLEAN *)(Current + RTWA(2705, dtype));
if (tb1) {
RTHOOK(2);
RTDBGAL(Current, 0, 0x10000000, 1,0); /* Result */
Result = (EIF_INTEGER_32) ((EIF_INTEGER_32) 1L);
}
if (RTAL & CK_ENSURE) {
RTHOOK(3);
RTCT("not_item_implies_zero", EX_POST);
tb1 = *(EIF_BOOLEAN *)(Current + RTWA(2705, dtype));
if ((!((EIF_BOOLEAN) !tb1) || ((EIF_BOOLEAN)(Result == ((EIF_INTEGER_32) 0L))))) {
RTCK;
} else {
RTCF;
}
RTHOOK(4);
RTCT("item_implies_one", EX_POST);
tb1 = *(EIF_BOOLEAN *)(Current + RTWA(2705, dtype));
if ((!(tb1) || ((EIF_BOOLEAN)(Result == ((EIF_INTEGER_32) 1L))))) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(5);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(2);
RTEE;
{ EIF_TYPED_VALUE r; r.type = SK_INT32; r.it_i4 = Result; return r; }
}