/* {DURATION}._invariant */ void F901_7707 (EIF_REFERENCE Current, int where) { GTCX char *l_feature_name = "_invariant"; RTEX; EIF_BOOLEAN tb1; EIF_BOOLEAN tb2; EIF_BOOLEAN tb3; RTCDT; RTLD; RTDA; RTLI(1); RTLR(0,Current); RTLU (SK_VOID, NULL); RTLU (SK_REF, &Current); RTEAINV(l_feature_name, 900, Current, 0, 7706); RTSA(dtype); RTME(dtype, 0); RTIT("sign_correctness", Current); tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5244, dtype))(Current)).it_b); tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5245, dtype))(Current)).it_b); tb3 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5246, dtype))(Current)).it_b); if (((((tb1) != (tb2))) != (tb3))) { RTCK; } else { RTCF; } RTLO(2); RTMD(0); RTLE; RTEE; }
/* {TRAVERSABLE}._invariant */ void F526_7339 (EIF_REFERENCE Current, int where) { GTCX char *l_feature_name = "_invariant"; RTEX; EIF_BOOLEAN tb1; EIF_BOOLEAN tb2; RTCDT; RTLD; RTDA; RTLI(1); RTLR(0,Current); RTLU (SK_VOID, NULL); RTLU (SK_REF, &Current); RTEAINV(l_feature_name, 525, Current, 0, 7338); RTSA(dtype); RTME(dtype, 0); RTIT("empty_constraint", Current); tb1 = '\01'; tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1936, dtype))(Current)).it_b); if (tb2) { tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(2016, dtype))(Current)).it_b); tb1 = tb2; } if (tb1) { RTCK; } else { RTCF; } RTLO(2); RTMD(0); RTLE; RTEE; }
/* {EV_MENU}._invariant */ void F1303_16400 (EIF_REFERENCE Current, int where) { GTCX char *l_feature_name = "_invariant"; RTEX; EIF_BOOLEAN tb1; EIF_BOOLEAN tb2; RTCDT; RTLD; RTDA; RTLI(1); RTLR(0,Current); RTLU (SK_VOID, NULL); RTLU (SK_REF, &Current); RTEAINV(l_feature_name, 1302, Current, 0, 16399); RTSA(dtype); RTME(dtype, 0); RTIT("one_selected_radio_item_per_separator", Current); tb1 = '\01'; tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8396, dtype))(Current)).it_b); if (tb2) { tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9308, dtype))(Current)).it_b); tb1 = tb2; } if (tb1) { RTCK; } else { RTCF; } RTLO(2); RTMD(0); RTLE; RTEE; }
/* {SYSTEM_STRING}._invariant */ void F8_4552 (EIF_REFERENCE Current, int where) { GTCX char *l_feature_name = "_invariant"; RTEX; EIF_BOOLEAN tb1; RTLD; RTDA; RTLI(1); RTLR(0,Current); RTLU (SK_VOID, NULL); RTLU (SK_REF, &Current); RTEAINV(l_feature_name, 7, Current, 0, 4551); RTSA(Dtype(Current)); RTME(Dtype(Current), 0); RTIT("is_dotnet", Current); tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(544, 23))(Current)).it_b); if (tb1) { RTCK; } else { RTCF; } RTLO(2); RTMD(0); RTLE; RTEE; }
/* {XM_EIFFEL_CHARACTER_ENTITY}._invariant */ void F2295_34608 (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); RTLIU(1); RTLU (SK_VOID, NULL); RTLU (SK_REF, &Current); RTEAINV(l_feature_name, 2294, Current, 0, 34607); RTSA(dtype); RTME(dtype, 0); RTIT("code_positive", Current); ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(24627, dtype)); if ((EIF_BOOLEAN) (ti4_1 >= ((EIF_INTEGER_32) 0L))) { RTCK; } else { RTCF; } RTLO(2); RTMD(0); RTLE; RTEE; }
/* {EV_DOCKABLE_SOURCE}._invariant */ void F1223_16374 (EIF_REFERENCE Current, int where) { GTCX char *l_feature_name = "_invariant"; RTEX; EIF_BOOLEAN tb1; EIF_BOOLEAN tb2; RTCDT; RTLD; RTDA; RTLI(1); RTLR(0,Current); RTLU (SK_VOID, NULL); RTLU (SK_REF, &Current); RTEAINV(l_feature_name, 1222, Current, 0, 16373); RTSA(dtype); RTME(dtype, 0); RTIT("parent_permits_docking", Current); tb1 = '\01'; tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8631, dtype))(Current)).it_b); if (tb2) { tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8644, dtype))(Current)).it_b); tb1 = tb2; } if (tb1) { RTCK; } else { RTCF; } RTLO(2); RTMD(0); RTLE; RTEE; }
/* {INET_PROPERTIES}._invariant */ void F157_23485 (EIF_REFERENCE Current, int where) { GTCX char *l_feature_name = "_invariant"; RTEX; EIF_BOOLEAN tb1; EIF_BOOLEAN tb2; RTCDT; RTLD; RTDA; RTLI(1); RTLR(0,Current); RTLU (SK_VOID, NULL); RTLU (SK_REF, &Current); RTEAINV(l_feature_name, 156, Current, 0, 23484); RTSA(dtype); RTME(dtype, 0); RTIT("exclusive", Current); tb1 = '\01'; tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8425, dtype))(Current)).it_b); if (tb2) { tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8424, dtype))(Current)).it_b); tb1 = (EIF_BOOLEAN) !tb2; } if (tb1) { RTCK; } else { RTCF; } RTLO(2); RTMD(0); RTLE; RTEE; }
/* {RESIZABLE}._invariant */ void F592_5518 (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, 591, Current, 0, 5517); RTSA(dtype); RTME(dtype, 0); RTIT("increase_by_at_least_one", Current); ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1396, dtype))(Current)).it_i4); if ((EIF_BOOLEAN) (ti4_1 >= ((EIF_INTEGER_32) 1L))) { RTCK; } else { RTCF; } RTLO(2); RTMD(0); RTLE; RTEE; }
/* {PROCESS_TIMER}._invariant */ void F84_23475 (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, 83, Current, 0, 23474); RTSA(dtype); RTME(dtype, 0); RTIT("sleep_time_positive", Current); ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(6843, dtype)); if ((EIF_BOOLEAN) (ti4_1 > ((EIF_INTEGER_32) 0L))) { RTCK; } else { RTCF; } RTLO(2); RTMD(0); RTLE; RTEE; }
/* {FINITE}._invariant */ void F648_8241 (EIF_REFERENCE Current, int where) { GTCX char *l_feature_name = "_invariant"; RTEX; EIF_INTEGER_32 ti4_1; EIF_BOOLEAN tb1; RTCDT; RTLD; RTDA; RTLI(1); RTLR(0,Current); RTLU (SK_VOID, NULL); RTLU (SK_REF, &Current); RTEAINV(l_feature_name, 647, Current, 0, 8240); RTSA(dtype); RTME(dtype, 0); RTIT("empty_definition", Current); tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(2203, dtype))(Current)).it_b); ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(2232, dtype))(Current)).it_i4); if ((EIF_BOOLEAN)(tb1 == (EIF_BOOLEAN)(ti4_1 == ((EIF_INTEGER_32) 0L)))) { RTCK; } else { RTCF; } RTLO(2); RTMD(0); RTLE; RTEE; }
/* {BUILDING_VIEW}._invariant */ void F2280_34603 (EIF_REFERENCE Current, int where) { GTCX char *l_feature_name = "_invariant"; RTEX; EIF_TYPED_VALUE up1x = {{0}, SK_POINTER}; #define up1 up1x.it_p EIF_REFERENCE tr1 = NULL; RTCDT; RTLD; RTDA; RTLI(2); RTLR(0,Current); RTLR(1,tr1); RTLIU(2); RTLU (SK_VOID, NULL); RTLU (SK_REF, &Current); RTEAINV(l_feature_name, 2279, Current, 0, 34602); RTSA(dtype); RTME(dtype, 0); RTIT("blob_exists", Current); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(24577, 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; } RTLO(2); RTMD(0); RTLE; RTEE; #undef up1 }
/* {IMMUTABLE_STRING_GENERAL}._invariant */ void F304_8199 (EIF_REFERENCE Current, int where) { GTCX char *l_feature_name = "_invariant"; RTEX; EIF_BOOLEAN tb1; RTCDT; RTLD; RTDA; RTLI(1); RTLR(0,Current); RTLU (SK_VOID, NULL); RTLU (SK_REF, &Current); RTEAINV(l_feature_name, 303, Current, 0, 8198); RTSA(dtype); RTME(dtype, 0); RTIT("immutable", Current); tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(4486, dtype))(Current)).it_b); if (tb1) { RTCK; } else { RTCF; } RTLO(2); RTMD(0); RTLE; RTEE; }
/* {JSON_READER}._invariant */ void F82_23474 (EIF_REFERENCE Current, int where) { GTCX char *l_feature_name = "_invariant"; RTEX; EIF_TYPED_VALUE up1x = {{0}, SK_POINTER}; #define up1 up1x.it_p EIF_REFERENCE tr1 = NULL; RTCDT; RTLD; RTDA; RTLI(2); RTLR(0,Current); RTLR(1,tr1); RTLU (SK_VOID, NULL); RTLU (SK_REF, &Current); RTEAINV(l_feature_name, 81, Current, 0, 23473); RTSA(dtype); RTME(dtype, 0); RTIT("representation_not_void", Current); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(6811, 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; } RTLO(2); RTMD(0); RTLE; RTEE; #undef up1 }
/* {GROUP_ELEMENT}._invariant */ void F870_7675 (EIF_REFERENCE Current, int where) { GTCX char *l_feature_name = "_invariant"; 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_BOOLEAN tb1; RTCDT; RTLD; RTDA; RTLI(4); RTLR(0,Current); RTLR(1,tr1); RTLR(2,ur1); RTLR(3,tr2); RTLU (SK_VOID, NULL); RTLU (SK_REF, &Current); RTEAINV(l_feature_name, 869, Current, 0, 7674); RTSA(dtype); RTME(dtype, 0); RTIT("neutral_addition", Current); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(4974, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); ur1 = RTCCL(tr1); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4975, "plus", Current))(Current, ur1x)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); ur1 = RTCCL(tr1); tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(11, dtype))(Current, ur1x)).it_b); if (tb1) { RTCK; } else { RTCF; } RTIT("self_subtraction", Current); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(4974, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); ur1 = RTCCL(Current); tr2 = ((up2x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4976, "minus", Current))(Current, ur1x)), (((up2x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up2x.it_r = RTBU(up2x))), (up2x.type = SK_POINTER), up2x.it_r); ur1 = RTCCL(tr2); tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(11, "is_equal", tr1))(tr1, ur1x)).it_b); if (tb1) { RTCK; } else { RTCF; } RTLO(2); RTMD(0); RTLE; RTEE; #undef up1 #undef up2 #undef ur1 }
/* {MEMORY_STRUCTURE}._invariant */ void F155_7326 (EIF_REFERENCE Current, int where) { GTCX char *l_feature_name = "_invariant"; RTEX; EIF_TYPED_VALUE up1x = {{0}, SK_POINTER}; #define up1 up1x.it_p EIF_POINTER tp1; EIF_POINTER tp2; 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, 154, Current, 0, 7325); RTSA(dtype); RTME(dtype, 0); RTIT("managed_pointer_valid", Current); tb1 = '\01'; tb2 = *(EIF_BOOLEAN *)(Current + RTWA(1778, dtype)); if ((EIF_BOOLEAN) !tb2) { tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1783, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); tb1 = (EIF_BOOLEAN)(tr1 != NULL); } if (tb1) { RTCK; } else { RTCF; } RTIT("internal_item_valid", Current); tb1 = '\01'; tb2 = *(EIF_BOOLEAN *)(Current + RTWA(1778, dtype)); if (tb2) { tp1 = *(EIF_POINTER *)(Current + RTWA(1782, dtype)); tp2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(36, dtype))(Current)).it_p); tb1 = (EIF_BOOLEAN)(tp1 != tp2); } if (tb1) { RTCK; } else { RTCF; } RTLO(2); RTMD(0); RTLE; RTEE; #undef up1 }
/* {SLOT_STATUS_ACCESS}._invariant */ void F866_7701 (EIF_REFERENCE Current, int where) { GTCX char *l_feature_name = "_invariant"; 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_REFERENCE tr1 = NULL; EIF_REFERENCE tr2 = NULL; EIF_BOOLEAN tb1; EIF_BOOLEAN tb2; RTCDT; RTLD; RTDA; RTLI(3); RTLR(0,Current); RTLR(1,tr1); RTLR(2,tr2); RTLU (SK_VOID, NULL); RTLU (SK_REF, &Current); RTEAINV(l_feature_name, 865, Current, 0, 7700); RTSA(dtype); RTME(dtype, 0); RTIT("singleton_slot_statuses", Current); tb1 = '\0'; tb2 = '\0'; tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(4941, 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)) RTWF(4941, dtype))(Current)), (((up2x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up2x.it_r = RTBU(up2x))), (up2x.type = SK_POINTER), up2x.it_r); if (RTCEQ(tr1, tr2)) { tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(4942, 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)) RTWF(4942, dtype))(Current)), (((up2x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up2x.it_r = RTBU(up2x))), (up2x.type = SK_POINTER), up2x.it_r); tb2 = RTCEQ(tr1, tr2); } if (tb2) { tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(4943, 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)) RTWF(4943, dtype))(Current)), (((up2x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up2x.it_r = RTBU(up2x))), (up2x.type = SK_POINTER), up2x.it_r); tb1 = RTCEQ(tr1, tr2); } if (tb1) { RTCK; } else { RTCF; } RTLO(2); RTMD(0); RTLE; RTEE; #undef up1 #undef up2 }
/* {ACTIVE}._invariant */ void F623_5519 (EIF_REFERENCE Current, int where) { GTCX char *l_feature_name = "_invariant"; RTEX; EIF_BOOLEAN tb1; EIF_BOOLEAN tb2; EIF_BOOLEAN tb3; RTCDT; RTLD; RTDA; RTLI(1); RTLR(0,Current); RTLU (SK_VOID, NULL); RTLU (SK_REF, &Current); RTEAINV(l_feature_name, 622, Current, 0, 5518); RTSA(dtype); RTME(dtype, 0); RTIT("writable_constraint", Current); tb1 = '\01'; tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1420, dtype))(Current)).it_b); if (tb2) { tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1419, dtype))(Current)).it_b); tb1 = tb2; } if (tb1) { RTCK; } else { RTCF; } RTIT("empty_constraint", Current); tb1 = '\01'; tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1363, dtype))(Current)).it_b); if (tb2) { tb2 = '\0'; tb3 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1419, dtype))(Current)).it_b); if ((EIF_BOOLEAN) !tb3) { tb3 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1420, dtype))(Current)).it_b); tb2 = (EIF_BOOLEAN) !tb3; } tb1 = tb2; } if (tb1) { RTCK; } else { RTCF; } RTLO(2); RTMD(0); RTLE; RTEE; }
/* {V_TABLE_ITERATOR}._invariant */ void F2495_34561 (EIF_REFERENCE Current, int where) { GTCX char *l_feature_name = "_invariant"; 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; RTLD; RTDA; RTLI(5); RTLR(0,Current); RTLR(1,tr1); RTLR(2,tr2); RTLR(3,tr3); RTLR(4,ur1); RTLIU(5); RTLU (SK_VOID, NULL); RTLU (SK_REF, &Current); RTEAINV(l_feature_name, 2494, Current, 0, 34560); RTSA(dtype); RTME(dtype, 0); RTIT("map_dependant", Current); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(24376, 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)) RTWF(24345, dtype))(Current)), (((up2x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up2x.it_r = RTBU(up2x))), (up2x.type = SK_POINTER), up2x.it_r); tr3 = ((up3x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(24468, "map", 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); tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(24212, "is_model_equal", tr1))(tr1, ur1x)).it_b); if (tb1) { RTCK; } else { RTCF; } RTLO(2); RTMD(0); RTLE; RTEE; #undef up1 #undef up2 #undef up3 #undef ur1 }
/* {STRING_ITERATION_CURSOR}._invariant */ void F169_5701 (EIF_REFERENCE Current, int where) { GTCX char *l_feature_name = "_invariant"; 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; RTCDT; RTLD; RTDA; RTLI(2); RTLR(0,Current); RTLR(1,tr1); RTLU (SK_VOID, NULL); RTLU (SK_REF, &Current); RTEAINV(l_feature_name, 168, Current, 0, 5700); RTSA(dtype); RTME(dtype, 0); RTIT("target_attached", Current); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(2512, 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; } RTIT("target_index_big_enough", Current); ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(2510, dtype)); ti4_2 = *(EIF_INTEGER_32 *)(Current + RTWA(2513, dtype)); if ((EIF_BOOLEAN) (ti4_1 >= ti4_2)) { RTCK; } else { RTCF; } RTIT("target_index_small_enough", Current); ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(2510, dtype)); ti4_2 = *(EIF_INTEGER_32 *)(Current + RTWA(2514, dtype)); if ((EIF_BOOLEAN) (ti4_1 <= (EIF_INTEGER_32) (ti4_2 + ((EIF_INTEGER_32) 1L)))) { RTCK; } else { RTCF; } RTLO(2); RTMD(0); RTLE; RTEE; #undef up1 }
/* {RANDOM}._invariant */ void F244_23501 (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, 243, Current, 0, 23500); RTSA(dtype); RTME(dtype, 0); RTIT("non_negative_seed", Current); ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(9830, dtype)); if ((EIF_BOOLEAN) (ti4_1 >= ((EIF_INTEGER_32) 0L))) { RTCK; } else { RTCF; } RTIT("non_negative_increment", Current); ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9829, dtype))(Current)).it_i4); if ((EIF_BOOLEAN) (ti4_1 >= ((EIF_INTEGER_32) 0L))) { RTCK; } else { RTCF; } RTIT("positive_multiplier", Current); ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9828, dtype))(Current)).it_i4); if ((EIF_BOOLEAN) (ti4_1 > ((EIF_INTEGER_32) 0L))) { RTCK; } else { RTCF; } RTIT("modulus_constraint", Current); ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9827, dtype))(Current)).it_i4); if ((EIF_BOOLEAN) (ti4_1 > ((EIF_INTEGER_32) 1L))) { RTCK; } else { RTCF; } RTLO(2); RTMD(0); RTLE; RTEE; }
/* {LINKED_LIST_CURSOR}._invariant */ void F1114_23511 (EIF_REFERENCE Current, int where) { GTCX char *l_feature_name = "_invariant"; RTEX; EIF_TYPED_VALUE up1x = {{0}, SK_POINTER}; #define up1 up1x.it_p EIF_REFERENCE tr1 = NULL; EIF_BOOLEAN tb1; EIF_BOOLEAN tb2; EIF_BOOLEAN tb3; RTCDT; RTLD; RTDA; RTLI(2); RTLR(0,Current); RTLR(1,tr1); RTLU (SK_VOID, NULL); RTLU (SK_REF, &Current); RTEAINV(l_feature_name, 1113, Current, 0, 23510); RTSA(dtype); RTME(dtype, 0); RTIT("not_both", Current); tb1 = *(EIF_BOOLEAN *)(Current + RTWA(11004, dtype)); tb2 = *(EIF_BOOLEAN *)(Current + RTWA(11003, dtype)); if ((EIF_BOOLEAN) !(EIF_BOOLEAN) (tb1 && tb2)) { RTCK; } else { RTCF; } RTIT("no_active_not_on", Current); tb1 = '\01'; tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(11002, 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)) { tb2 = *(EIF_BOOLEAN *)(Current + RTWA(11004, dtype)); tb3 = *(EIF_BOOLEAN *)(Current + RTWA(11003, dtype)); tb1 = (EIF_BOOLEAN) (tb2 || tb3); } if (tb1) { RTCK; } else { RTCF; } RTLO(2); RTMD(0); RTLE; RTEE; #undef up1 }
/* {EV_TIMEOUT}._invariant */ void F1206_16365 (EIF_REFERENCE Current, int where) { GTCX char *l_feature_name = "_invariant"; RTEX; EIF_TYPED_VALUE up1x = {{0}, SK_POINTER}; #define up1 up1x.it_p EIF_REFERENCE tr1 = NULL; EIF_INTEGER_32 ti4_1; RTCDT; RTLD; RTDA; RTLI(2); RTLR(0,Current); RTLR(1,tr1); RTLU (SK_VOID, NULL); RTLU (SK_REF, &Current); RTEAINV(l_feature_name, 1205, Current, 0, 16364); RTSA(dtype); RTME(dtype, 0); RTIT("interval_not_negative", Current); ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8400, dtype))(Current)).it_i4); if ((EIF_BOOLEAN) (ti4_1 >= ((EIF_INTEGER_32) 0L))) { RTCK; } else { RTCF; } RTIT("count_not_negative", Current); ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8402, dtype))(Current)).it_i4); if ((EIF_BOOLEAN) (ti4_1 >= ((EIF_INTEGER_32) 0L))) { RTCK; } else { RTCF; } RTIT("actions_not_void", Current); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8401, 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; } RTLO(2); RTMD(0); RTLE; RTEE; #undef up1 }
/* {EV_SCROLLABLE_AREA}._invariant */ void F1253_16388 (EIF_REFERENCE Current, int where) { GTCX char *l_feature_name = "_invariant"; RTEX; EIF_INTEGER_32 ti4_1; EIF_BOOLEAN tb1; EIF_BOOLEAN tb2; RTCDT; RTLD; RTDA; RTLI(1); RTLR(0,Current); RTLU (SK_VOID, NULL); RTLU (SK_REF, &Current); RTEAINV(l_feature_name, 1252, Current, 0, 16387); RTSA(dtype); RTME(dtype, 0); RTIT("horizontal_step_positive", Current); tb1 = '\01'; tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8396, dtype))(Current)).it_b); if (tb2) { ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8915, dtype))(Current)).it_i4); tb1 = (EIF_BOOLEAN) (ti4_1 > ((EIF_INTEGER_32) 0L)); } if (tb1) { RTCK; } else { RTCF; } RTIT("vertical_step_positive", Current); tb1 = '\01'; tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8396, dtype))(Current)).it_b); if (tb2) { ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8916, dtype))(Current)).it_i4); tb1 = (EIF_BOOLEAN) (ti4_1 > ((EIF_INTEGER_32) 0L)); } if (tb1) { RTCK; } else { RTCF; } RTLO(2); RTMD(0); RTLE; RTEE; }
/* {BUILDING}._invariant */ void F2318_34620 (EIF_REFERENCE Current, int where) { GTCX char *l_feature_name = "_invariant"; RTEX; EIF_TYPED_VALUE up1x = {{0}, SK_POINTER}; #define up1 up1x.it_p EIF_REFERENCE tr1 = NULL; EIF_BOOLEAN tb1; RTCDT; RTLD; RTDA; RTLI(2); RTLR(0,Current); RTLR(1,tr1); RTLIU(2); RTLU (SK_VOID, NULL); RTLU (SK_REF, &Current); RTEAINV(l_feature_name, 2317, Current, 0, 34619); RTSA(dtype); RTME(dtype, 0); RTIT("address_exists", Current); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(24931, 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; } RTIT("corners_exists", Current); tb1 = '\0'; tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(24932, 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)) { tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(24933, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); tb1 = (EIF_BOOLEAN)(tr1 != NULL); } if (tb1) { RTCK; } else { RTCF; } RTLO(2); RTMD(0); RTLE; RTEE; #undef up1 }
/* {BILINEAR}._invariant */ void F323_4563 (EIF_REFERENCE Current, int where) { GTCX char *l_feature_name = "_invariant"; RTEX; EIF_BOOLEAN tb1; EIF_BOOLEAN tb2; RTCDT; RTLD; RTDA; RTLI(1); RTLR(0,Current); RTLU (SK_VOID, NULL); RTLU (SK_REF, &Current); RTEAINV(l_feature_name, 322, Current, 0, 4562); RTSA(dtype); RTME(dtype, 0); RTIT("not_both", Current); tb1 = '\0'; tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(990, dtype))(Current)).it_b); if (tb2) { tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(993, dtype))(Current)).it_b); tb1 = tb2; } if ((EIF_BOOLEAN) !tb1) { RTCK; } else { RTCF; } RTIT("before_constraint", Current); tb1 = '\01'; tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(993, dtype))(Current)).it_b); if (tb2) { tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(978, dtype))(Current)).it_b); tb1 = tb2; } if (tb1) { RTCK; } else { RTCF; } RTLO(2); RTMD(0); RTLE; RTEE; }
/* {EV_COLORIZABLE}._invariant */ void F1222_16373 (EIF_REFERENCE Current, int where) { GTCX char *l_feature_name = "_invariant"; RTEX; EIF_BOOLEAN tb1; EIF_BOOLEAN tb2; RTCDT; RTLD; RTDA; RTLI(1); RTLR(0,Current); RTLU (SK_VOID, NULL); RTLU (SK_REF, &Current); RTEAINV(l_feature_name, 1221, Current, 0, 16372); RTSA(dtype); RTME(dtype, 0); RTIT("background_color_not_void", Current); tb1 = '\01'; tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8396, dtype))(Current)).it_b); if (tb2) { tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8629, dtype))(Current)).it_b); tb1 = (EIF_BOOLEAN) !tb2; } if (tb1) { RTCK; } else { RTCF; } RTIT("foreground_color_not_void", Current); tb1 = '\01'; tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8396, dtype))(Current)).it_b); if (tb2) { tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8630, dtype))(Current)).it_b); tb1 = (EIF_BOOLEAN) !tb2; } if (tb1) { RTCK; } else { RTCF; } RTLO(2); RTMD(0); RTLE; RTEE; }
/* {TOOL_DESC}._invariant */ void F864_7581 (EIF_REFERENCE Current, int where) { GTCX char *l_feature_name = "_invariant"; RTEX; EIF_TYPED_VALUE up1x = {{0}, SK_POINTER}; #define up1 up1x.it_p EIF_REFERENCE tr1 = NULL; EIF_INTEGER_32 ti4_1; 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, 863, Current, 0, 7580); RTSA(dtype); RTME(dtype, 0); RTIT("reasonable_values", Current); tb1 = '\0'; tb2 = '\0'; tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(4953, 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)) { tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(4954, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); tb2 = (EIF_BOOLEAN)(tr1 != NULL); } if (tb2) { ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(4955, dtype)); tb1 = (EIF_BOOLEAN) (ti4_1 >= ((EIF_INTEGER_32) 0L)); } if (tb1) { RTCK; } else { RTCF; } RTLO(2); RTMD(0); RTLE; RTEE; #undef up1 }
/* {DS_RESIZABLE}._invariant */ void F893_7368 (EIF_REFERENCE Current, int where) { GTCX char *l_feature_name = "_invariant"; RTEX; EIF_INTEGER_32 ti4_1; EIF_INTEGER_32 ti4_2; EIF_BOOLEAN tb1; RTCDT; RTLD; RTDA; RTLI(1); RTLR(0,Current); RTLIU(1); RTLU (SK_VOID, NULL); RTLU (SK_REF, &Current); RTEAINV(l_feature_name, 892, Current, 0, 7367); RTSA(dtype); RTME(dtype, 0); RTIT("count_constraint", Current); ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5002, dtype))(Current)).it_i4); ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5012, dtype))(Current)).it_i4); if ((EIF_BOOLEAN) (ti4_1 <= ti4_2)) { RTCK; } else { RTCF; } RTIT("full_definition", Current); tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5014, dtype))(Current)).it_b); ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5002, dtype))(Current)).it_i4); ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5012, dtype))(Current)).it_i4); if ((EIF_BOOLEAN)(tb1 == (EIF_BOOLEAN)(ti4_1 == ti4_2))) { RTCK; } else { RTCF; } RTLO(2); RTMD(0); RTLE; RTEE; }
/* {EV_CLIPBOARD_I}._invariant */ void F1324_16405 (EIF_REFERENCE Current, int where) { GTCX char *l_feature_name = "_invariant"; RTEX; EIF_TYPED_VALUE up1x = {{0}, SK_POINTER}; #define up1 up1x.it_p 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, 1323, Current, 0, 16404); RTSA(dtype); RTME(dtype, 0); RTIT("not_has_text_implies_text_empty", Current); tb1 = '\01'; tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9582, dtype))(Current)).it_b); if ((EIF_BOOLEAN) !tb2) { tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9583, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r); tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(4346, "is_empty", tr1))(tr1)).it_b); tb1 = tb2; } if (tb1) { RTCK; } else { RTCF; } RTLO(2); RTMD(0); RTLE; RTEE; #undef up1 }
/* {MOBILE}._invariant */ void F2319_34621 (EIF_REFERENCE Current, int where) { GTCX char *l_feature_name = "_invariant"; RTEX; EIF_TYPED_VALUE up1x = {{0}, SK_POINTER}; #define up1 up1x.it_p EIF_REFERENCE tr1 = NULL; EIF_REAL_64 tr8_1; RTCDT; RTLD; RTDA; RTLI(2); RTLR(0,Current); RTLR(1,tr1); RTLIU(2); RTLU (SK_VOID, NULL); RTLU (SK_REF, &Current); RTEAINV(l_feature_name, 2318, Current, 0, 34620); RTSA(dtype); RTME(dtype, 0); RTIT("position_exists", Current); tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(24936, 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; } RTIT("speed_positive", Current); tr8_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(24937, dtype))(Current)).it_r8); if ((EIF_BOOLEAN) (tr8_1 > (EIF_REAL_64) 0.0)) { RTCK; } else { RTCF; } RTLO(2); RTMD(0); RTLE; RTEE; #undef up1 }