本文整理汇总了C++中RTIT函数的典型用法代码示例。如果您正苦于以下问题:C++ RTIT函数的具体用法?C++ RTIT怎么用?C++ RTIT使用的例子?那么恭喜您, 这里精选的函数代码示例或许可以为您提供帮助。
在下文中一共展示了RTIT函数的20个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于我们的系统推荐出更棒的C++代码示例。
示例1: F1223_16374
/* {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;
}
开发者ID:omarabid59,项目名称:3311Project,代码行数:36,代码来源:ev1223.c
示例2: F424_23559
/* {JSON_NUMBER}._invariant */
void F424_23559 (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, 423, Current, 0, 23558);
RTSA(dtype);
RTME(dtype, 0);
RTIT("item_not_void", Current);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(17292, 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
}
开发者ID:jvelilla,项目名称:Eiffel_Web_Server,代码行数:34,代码来源:js424.c
示例3: F2295_34608
/* {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;
}
开发者ID:schatteburg,项目名称:EProg,代码行数:31,代码来源:xm2295.c
示例4: F304_8199
/* {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;
}
开发者ID:headlins,项目名称:dose2014,代码行数:30,代码来源:im304.c
示例5: F670_23498
/* {TRAVERSABLE}._invariant */
void F670_23498 (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, 669, Current, 0, 23497);
RTSA(dtype);
RTME(dtype, 0);
RTIT("empty_constraint", Current);
tb1 = '\01';
tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9623, dtype))(Current)).it_b);
if (tb2) {
tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9703, dtype))(Current)).it_b);
tb1 = tb2;
}
if (tb1) {
RTCK;
} else {
RTCF;
}
RTLO(2);
RTMD(0);
RTLE;
RTEE;
}
开发者ID:jvelilla,项目名称:Eiffel_Web_Server,代码行数:36,代码来源:tr670.c
示例6: F262_5688
/* {RESIZABLE}._invariant */
void F262_5688 (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, 261, Current, 0, 5687);
RTSA(dtype);
RTME(dtype, 0);
RTIT("increase_by_at_least_one", Current);
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1467, dtype))(Current)).it_i4);
if ((EIF_BOOLEAN) (ti4_1 >= ((EIF_INTEGER_32) 1L))) {
RTCK;
} else {
RTCF;
}
RTLO(2);
RTMD(0);
RTLE;
RTEE;
}
开发者ID:jvelilla,项目名称:Eiffel_Web_Server,代码行数:30,代码来源:re262.c
示例7: F311_5686
/* {FINITE}._invariant */
void F311_5686 (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, 310, Current, 0, 5685);
RTSA(dtype);
RTME(dtype, 0);
RTIT("empty_definition", Current);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1434, dtype))(Current)).it_b);
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1463, 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;
}
开发者ID:jvelilla,项目名称:Eiffel_Web_Server,代码行数:32,代码来源:fi311.c
示例8: F901_7707
/* {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;
}
开发者ID:cad188,项目名称:eecs3311,代码行数:34,代码来源:du901.c
示例9: F1303_16400
/* {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;
}
开发者ID:omarabid59,项目名称:3311Project,代码行数:36,代码来源:ev1303.c
示例10: F835_7309
/* {NATIVE_ARRAY}._invariant */
void F835_7309 (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, 834, Current, 0, 7308);
RTSA(Dtype(Current));
RTME(Dtype(Current), 0);
RTIT("is_dotnet", Current);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1712, 151))(Current)).it_b);
if (tb1) {
RTCK;
} else {
RTCF;
}
RTLO(2);
RTMD(0);
RTLE;
RTEE;
}
开发者ID:mafilipp,项目名称:RPL_Ass1,代码行数:29,代码来源:na835.c
示例11: F84_23475
/* {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;
}
开发者ID:jvelilla,项目名称:Eiffel_Web_Server,代码行数:30,代码来源:pr84.c
示例12: F157_23485
/* {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;
}
开发者ID:jvelilla,项目名称:Eiffel_Web_Server,代码行数:36,代码来源:in157.c
示例13: F323_4563
/* {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;
}
开发者ID:jvelilla,项目名称:Eiffel_Web_Server,代码行数:48,代码来源:bi323.c
示例14: F2318_34620
/* {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
}
开发者ID:schatteburg,项目名称:EProg,代码行数:48,代码来源:bu2318.c
示例15: F1222_16373
/* {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;
}
开发者ID:omarabid59,项目名称:3311Project,代码行数:48,代码来源:ev1222.c
示例16: F893_7368
/* {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;
}
开发者ID:rebecabarcena,项目名称:File-System,代码行数:43,代码来源:ds893.c
示例17: F2319_34621
/* {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
}
开发者ID:schatteburg,项目名称:EProg,代码行数:43,代码来源:mo2319.c
示例18: F199_4566
/* {BOUNDED}._invariant */
void F199_4566 (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);
RTLU (SK_VOID, NULL);
RTLU (SK_REF, &Current);
RTEAINV(l_feature_name, 198, Current, 0, 4565);
RTSA(dtype);
RTME(dtype, 0);
RTIT("valid_count", Current);
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(998, dtype))(Current)).it_i4);
ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(999, 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(996, dtype))(Current)).it_b);
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(998, dtype))(Current)).it_i4);
ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(999, dtype))(Current)).it_i4);
if ((EIF_BOOLEAN)(tb1 == (EIF_BOOLEAN)(ti4_1 == ti4_2))) {
RTCK;
} else {
RTCF;
}
RTLO(2);
RTMD(0);
RTLE;
RTEE;
}
开发者ID:jvelilla,项目名称:Eiffel_Web_Server,代码行数:42,代码来源:bo199.c
示例19: F633_23524
/* {INDEXABLE_ITERATION_CURSOR}._invariant */
void F633_23524 (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, 632, Current, 0, 23523);
RTSA(dtype);
RTME(dtype, 0);
RTIT("target_attached", Current);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(11852, 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("step_positive", Current);
ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(11839, dtype));
if ((EIF_BOOLEAN) (ti4_1 > ((EIF_INTEGER_32) 0L))) {
RTCK;
} else {
RTCF;
}
RTLO(2);
RTMD(0);
RTLE;
RTEE;
#undef up1
}
开发者ID:jvelilla,项目名称:Eiffel_Web_Server,代码行数:42,代码来源:in633.c
示例20: F2495_34561
/* {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
}
开发者ID:schatteburg,项目名称:EProg,代码行数:54,代码来源:v_2495.c
注:本文中的RTIT函数示例由纯净天空整理自Github/MSDocs等源码及文档管理平台,相关代码片段筛选自各路编程大神贡献的开源项目,源码版权归原作者所有,传播和使用请参考对应项目的License;未经允许,请勿转载。 |
请发表评论