本文整理汇总了C++中RTLNSP2函数的典型用法代码示例。如果您正苦于以下问题:C++ RTLNSP2函数的具体用法?C++ RTLNSP2怎么用?C++ RTLNSP2使用的例子?那么, 这里精选的函数代码示例或许可以为您提供帮助。
在下文中一共展示了RTLNSP2函数的15个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的C++代码示例。
示例1: F921_10330
/* {READABLE_STRING_8}.make */
void F921_10330 (EIF_REFERENCE Current, EIF_INTEGER_32 arg1)
{
GTCX
EIF_REFERENCE tr1 = NULL;
RTCDT;
RTLD;
RTLI(2);
RTLR(0,Current);
RTLR(1,tr1);
RTGC;
*(EIF_INTEGER_32 *)(Current + O8131[dtype-920]) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 0L);
*(EIF_INTEGER_32 *)(Current + O8098[dtype-919]) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 0L);
{
static EIF_TYPE_INDEX typarr0[] = {761,853,0xFFFF};
EIF_TYPE_INDEX typres0;
static EIF_TYPE_INDEX typcache0 = INVALID_DTYPE;
typres0 = (typcache0 != INVALID_DTYPE ? typcache0 : (typcache0 = eif_compound_id(Dftype(Current), typarr0)));
tr1 = RTLNSP2(eif_non_attached_type(typres0),0,(EIF_INTEGER_32) (arg1 + ((EIF_INTEGER_32) 1L)),sizeof(EIF_CHARACTER_8), EIF_TRUE);
}
F762_6946(RTCV(tr1), (EIF_CHARACTER_8) '\000', (EIF_INTEGER_32) (arg1 + ((EIF_INTEGER_32) 1L)));
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + O8128[dtype-920]) = (EIF_REFERENCE) tr1;
RTLE;
}
示例2: F921_10332
/* {READABLE_STRING_8}.make_from_string */
void F921_10332 (EIF_REFERENCE Current, EIF_REFERENCE arg1)
{
GTCX
EIF_REFERENCE tr1 = NULL;
EIF_REFERENCE tr2 = NULL;
EIF_INTEGER_32 ti4_1;
EIF_INTEGER_32 ti4_2;
EIF_INTEGER_32 ti4_3;
EIF_INTEGER_32 ti4_4;
EIF_INTEGER_32 ti4_5;
EIF_INTEGER_32 ti4_6;
EIF_INTEGER_32 ti4_7;
EIF_INTEGER_32 ti4_8;
EIF_CHARACTER_8 tc1;
RTCDT;
RTLD;
RTLI(4);
RTLR(0,Current);
RTLR(1,arg1);
RTLR(2,tr1);
RTLR(3,tr2);
RTGC;
tr1 = *(EIF_REFERENCE *)(RTCV(arg1) + O8128[Dtype(arg1)-920]);
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + O8128[dtype-920]) = (EIF_REFERENCE) tr1;
ti4_1 = *(EIF_INTEGER_32 *)(RTCV(arg1) + O8131[Dtype(arg1)-920]);
*(EIF_INTEGER_32 *)(Current + O8131[dtype-920]) = (EIF_INTEGER_32) ti4_1;
*(EIF_INTEGER_32 *)(Current + O8098[dtype-919]) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 0L);
if ((EIF_BOOLEAN)(Current != arg1)) {
ti4_1 = *(EIF_INTEGER_32 *)(Current + O8131[dtype-920]);
{
static EIF_TYPE_INDEX typarr0[] = {761,853,0xFFFF};
EIF_TYPE_INDEX typres0;
static EIF_TYPE_INDEX typcache0 = INVALID_DTYPE;
typres0 = (typcache0 != INVALID_DTYPE ? typcache0 : (typcache0 = eif_compound_id(Dftype(Current), typarr0)));
tr1 = RTLNSP2(eif_non_attached_type(typres0),0,(EIF_INTEGER_32) (ti4_1 + ((EIF_INTEGER_32) 1L)),sizeof(EIF_CHARACTER_8), EIF_TRUE);
RT_SPECIAL_COUNT(tr1) = 0;
}
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + O8128[dtype-920]) = (EIF_REFERENCE) tr1;
tr1 = *(EIF_REFERENCE *)(Current + O8128[dtype-920]);
tr2 = *(EIF_REFERENCE *)(RTCV(arg1) + O8128[Dtype(arg1)-920]);
ti4_2 = (FUNCTION_CAST(EIF_INTEGER_32, (EIF_REFERENCE)) R8129[Dtype(arg1)-920])(RTCV(arg1));
ti4_3 = *(EIF_INTEGER_32 *)(Current + O8131[dtype-920]);
/* INLINED CODE (SPECIAL.copy_data) */
memmove((EIF_CHARACTER_8 *)tr1 + (((EIF_INTEGER_32) 0L)),(EIF_CHARACTER_8 *)tr2 + ti4_2, (rt_uint_ptr)sizeof(EIF_CHARACTER_8) * (rt_uint_ptr)(EIF_INTEGER_32) (ti4_3 + ((EIF_INTEGER_32) 1L)));
RT_SPECIAL_COUNT(tr1) = eif_max_int32(RT_SPECIAL_COUNT(tr1), ((EIF_INTEGER_32) 0L) + (EIF_INTEGER_32) (ti4_3 + ((EIF_INTEGER_32) 1L)));
/* END INLINED CODE */
;
}
RTLE;
}
示例3: F131_1906
/* {STRING_SEARCHER}.make */
void F131_1906 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "make";
RTEX;
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;
RTLI(2);
RTLR(0,Current);
RTLR(1,tr1);
RTLU (SK_VOID, NULL);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 130, Current, 0, 0, 1851);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(130, Current, 1851);
RTIV(Current, RTAL);
RTHOOK(1);
RTDBGAA(Current, dtype, 1748, 0xF800020D, 0); /* deltas */
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1743, dtype))(Current)).it_i4);
ui4_1 = (EIF_INTEGER_32) (ti4_1 + ((EIF_INTEGER_32) 1L));
if (ui4_1< 0) {
eraise ("non_negative_argument", EN_RT_CHECK);
}
tr1 = RTLNSP2(eif_non_attached_type(RTWCT(1748, dtype, Dftype(Current))),0,ui4_1,sizeof(EIF_INTEGER_32), EIF_TRUE);
RT_SPECIAL_COUNT(tr1) = 0;
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + RTWA(1748, dtype)) = (EIF_REFERENCE) tr1;
RTVI(Current, RTAL);
RTRS;
RTHOOK(2);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(2);
RTEE;
#undef ui4_1
}
示例4: F658_6227
/* {TO_SPECIAL}.make_empty_area */
void F658_6227 (EIF_REFERENCE Current, EIF_INTEGER_32 arg1)
{
GTCX
EIF_REFERENCE tr1 = NULL;
RTLD;
RTLI(2);
RTLR(0,Current);
RTLR(1,tr1);
RTGC;
tr1 = RTLNSP2(eif_non_attached_type(eif_final_id(Y5197,Y5197_gen_type,Dftype(Current),651)),0,arg1,sizeof(EIF_REAL_64), EIF_TRUE);
RT_SPECIAL_COUNT(tr1) = 0;
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current) = (EIF_REFERENCE) tr1;
RTLE;
}
示例5: F658_6228
/* {TO_SPECIAL}.make_filled_area */
void F658_6228 (EIF_REFERENCE Current, EIF_REAL_64 arg1, EIF_INTEGER_32 arg2)
{
GTCX
EIF_REFERENCE tr1 = NULL;
RTLD;
RTLI(2);
RTLR(0,Current);
RTLR(1,tr1);
RTGC;
tr1 = RTLNSP2(eif_non_attached_type(eif_final_id(Y5197,Y5197_gen_type,Dftype(Current),651)),0,arg2,sizeof(EIF_REAL_64), EIF_TRUE);
F761_6946(RTCV(tr1), arg1, arg2);
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current) = (EIF_REFERENCE) tr1;
RTLE;
}
示例6: F192_3859
/* {EV_SIMPLE_HELP_ENGINE}.show */
void F192_3859 (EIF_REFERENCE Current, EIF_REFERENCE arg1)
{
GTCX
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
EIF_REFERENCE tr1 = NULL;
EIF_REFERENCE tr2 = NULL;
EIF_REFERENCE tr3 = NULL;
RTLD;
RTLI(6);
RTLR(0,loc1);
RTLR(1,tr1);
RTLR(2,arg1);
RTLR(3,Current);
RTLR(4,tr2);
RTLR(5,tr3);
RTGC;
tr1 = RTLNS(985, 985, _OBJSIZ_14_3_0_3_0_0_0_0_);
F985_12400(RTCV(tr1), arg1);
loc1 = (EIF_REFERENCE) tr1;
{
static EIF_TYPE_INDEX typarr0[] = {754,919,0xFFFF};
EIF_TYPE_INDEX typres0;
static EIF_TYPE_INDEX typcache0 = INVALID_DTYPE;
typres0 = (typcache0 != INVALID_DTYPE ? typcache0 : (typcache0 = eif_compound_id(Dftype(Current), typarr0)));
tr2 = RTLNSP2(eif_non_attached_type(typres0),EO_REF,((EIF_INTEGER_32) 1L),sizeof(EIF_REFERENCE), EIF_FALSE);
RT_SPECIAL_COUNT(tr2) = 1L;
memset(tr2, 0, RT_SPECIAL_VISIBLE_SIZE(tr2));
}
tr3 = F191_3843(Current);
*((EIF_REFERENCE *)tr2+0) = (EIF_REFERENCE) tr3;
RTAR(tr2,tr3);
tr1 = (FUNCTION_CAST(EIF_REFERENCE, (EIF_REFERENCE)) F755_6954)(tr2);
F985_12415(RTCV(loc1), tr1);
tr1 = F191_3843(Current);
tr1 = F985_12418(RTCV(loc1), tr1);
F983_12383(RTCV(loc1), tr1);
tr1 = RTOSCF(3858,F192_3858,(Current));
F980_12342(RTCV(loc1), tr1);
F980_12336(RTCV(loc1));
F968_11584(RTCV(loc1));
RTLE;
}
示例7: F709_6579
/* {ARRAYED_LIST}.make */
void F709_6579 (EIF_REFERENCE Current, EIF_INTEGER_32 arg1)
{
GTCX
EIF_REFERENCE tr1 = NULL;
RTLD;
RTLI(2);
RTLR(0,Current);
RTLR(1,tr1);
RTGC;
*(EIF_INTEGER_32 *)(Current+ _LNGOFF_1_1_0_0_) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 0L);
tr1 = RTLNSP2(eif_non_attached_type(eif_final_id(Y5197,Y5197_gen_type,Dftype(Current),651)),0,arg1,sizeof(EIF_NATURAL_64), EIF_TRUE);
RT_SPECIAL_COUNT(tr1) = 0;
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current) = (EIF_REFERENCE) tr1;
RTLE;
}
示例8: F921_10333
/* {READABLE_STRING_8}.make_from_c */
void F921_10333 (EIF_REFERENCE Current, EIF_POINTER arg1)
{
GTCX
EIF_INTEGER_32 loc1 = (EIF_INTEGER_32) 0;
EIF_REFERENCE tr1 = NULL;
EIF_REFERENCE tr2 = NULL;
RTCDT;
RTLD;
RTLI(3);
RTLR(0,Current);
RTLR(1,tr1);
RTLR(2,tr2);
RTGC;
tr1 = RTOSCF(10322,F920_10322,(Current));
F212_4134(RTCV(tr1), arg1);
loc1 = *(EIF_INTEGER_32 *)(RTCV(RTOSCF(10322,F920_10322,(Current)))+ _LNGOFF_1_0_0_0_);
{
static EIF_TYPE_INDEX typarr0[] = {761,853,0xFFFF};
EIF_TYPE_INDEX typres0;
static EIF_TYPE_INDEX typcache0 = INVALID_DTYPE;
typres0 = (typcache0 != INVALID_DTYPE ? typcache0 : (typcache0 = eif_compound_id(Dftype(Current), typarr0)));
tr1 = RTLNSP2(eif_non_attached_type(typres0),0,(EIF_INTEGER_32) (loc1 + ((EIF_INTEGER_32) 1L)),sizeof(EIF_CHARACTER_8), EIF_TRUE);
}
F762_6946(RTCV(tr1), (EIF_CHARACTER_8) '\000', (EIF_INTEGER_32) (loc1 + ((EIF_INTEGER_32) 1L)));
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + O8128[dtype-920]) = (EIF_REFERENCE) tr1;
*(EIF_INTEGER_32 *)(Current + O8131[dtype-920]) = (EIF_INTEGER_32) loc1;
*(EIF_INTEGER_32 *)(Current + O8098[dtype-919]) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 0L);
tr1 = RTOSCF(10322,F920_10322,(Current));
tr2 = *(EIF_REFERENCE *)(Current + O8128[dtype-920]);
F212_4143(RTCV(tr1), tr2, ((EIF_INTEGER_32) 1L), loc1);
RTLE;
}
示例9: F490_5158
/* {HEAP_PRIORITY_QUEUE}.make */
void F490_5158 (EIF_REFERENCE Current, EIF_INTEGER_32 arg1)
{
GTCX
EIF_REFERENCE tr1 = NULL;
RTLD;
RTLI(2);
RTLR(0,Current);
RTLR(1,tr1);
RTGC;
{
static EIF_TYPE_INDEX typarr0[] = {754,0,0xFFFF};
EIF_TYPE_INDEX typres0;
typarr0[1] = eif_final_id(Y4159,Y4159_gen_type,Dftype(Current),243);
typres0 = eif_compound_id(Dftype(Current), typarr0);
tr1 = RTLNSP2(eif_non_attached_type(typres0),EO_REF,arg1,sizeof(EIF_REFERENCE), EIF_FALSE);
RT_SPECIAL_COUNT(tr1) = 0;
}
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current) = (EIF_REFERENCE) tr1;
RTLE;
}
示例10: F19_463
//.........这里部分代码省略.........
EIF_INTEGER_32 ti4_1;
EIF_BOOLEAN tb1;
EIF_CHARACTER_8 tc1;
EIF_REFERENCE Result = ((EIF_REFERENCE) 0);
RTCFDT;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(9);
RTLR(0,arg1);
RTLR(1,ur1);
RTLR(2,Current);
RTLR(3,tr1);
RTLR(4,tr2);
RTLR(5,loc5);
RTLR(6,loc4);
RTLR(7,tr3);
RTLR(8,Result);
RTLU (SK_REF, &Result);
RTLU(SK_REF,&arg1);
RTLU (SK_REF, &Current);
RTLU(SK_INT32, &loc1);
RTLU(SK_INT32, &loc2);
RTLU(SK_INT32, &loc3);
RTLU(SK_REF, &loc4);
RTLU(SK_REF, &loc5);
RTEAA(l_feature_name, 18, Current, 5, 1, 545);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(18, Current, 545);
RTCC(arg1, 18, l_feature_name, 1, eif_attached_type(218));
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("valid_unencoded_string", EX_PRE);
ur1 = RTCCL(arg1);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(458, dtype))(Current, ur1x)).it_b);
RTTE(tb1, label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
if (RTAL & CK_ENSURE) {
in_assertion = ~0;
RTE_OT
tr1 = arg1;
tr2 = NULL;
RTE_O
tr2 = RTLA;
RTE_OE
in_assertion = 0;
}
RTHOOK(2);
RTDBGAA(Current, dtype, 469, 0x04000000, 1); /* has_error */
*(EIF_BOOLEAN *)(Current + RTWA(469, dtype)) = (EIF_BOOLEAN) (EIF_BOOLEAN) 0;
RTHOOK(3);
RTDBGAL(Current, 5, 0xF80000DA, 0, 0); /* loc5 */
loc5 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(468, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTHOOK(4);
RTDBGAL(Current, 2, 0x10000000, 1, 0); /* loc2 */
ti4_1 = *(EIF_INTEGER_32 *)(arg1 + RTVA(3756, "count", arg1));
loc2 = (EIF_INTEGER_32) ti4_1;
RTHOOK(5);
RTDBGAL(Current, 1, 0x10000000, 1, 0); /* loc1 */
loc1 = (EIF_INTEGER_32) (EIF_INTEGER_32) ((EIF_INTEGER_32) (((EIF_INTEGER_32) 8L) * loc2) % ((EIF_INTEGER_32) 6L));
RTHOOK(6);
if ((EIF_BOOLEAN) (loc1 > ((EIF_INTEGER_32) 0L))) {
RTHOOK(7);
RTDBGAL(Current, 4, 0xF80002AA, 0, 0); /* loc4 */
ub1 = (EIF_BOOLEAN) 0;
ui4_1 = (EIF_INTEGER_32) ((EIF_INTEGER_32) (((EIF_INTEGER_32) 8L) * loc2) + (EIF_INTEGER_32) (((EIF_INTEGER_32) 6L) - loc1));
{
static EIF_TYPE_INDEX typarr0[] = {682,202,0xFFFF};
EIF_TYPE_INDEX typres0;
static EIF_TYPE_INDEX typcache0 = INVALID_DTYPE;
typres0 = (typcache0 != INVALID_DTYPE ? typcache0 : (typcache0 = eif_compound_id(dftype, typarr0)));
if (ui4_1< 0) {
eraise ("non_negative_argument", EN_RT_CHECK);
}
tr3 = RTLNSP2(eif_non_attached_type(typres0),0,ui4_1,sizeof(EIF_BOOLEAN), EIF_TRUE);
}
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTWC(2474, Dtype(tr3)))(tr3, ub1x, ui4_1x);
RTNHOOK(7,1);
loc4 = (EIF_REFERENCE) tr3;
} else {
示例11: F893_7470
//.........这里部分代码省略.........
RTHOOK(1);
RTCT("current_execution_attached", EX_PRE);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(892, 48, 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(2);
RTCT("current_execution_exited", EX_PRE);
tb1 = '\0';
tb2 = '\0';
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(892, 48, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
loc2 = RTCCL(tr1);
if (EIF_TEST(loc2)) {
tb3 = *(EIF_BOOLEAN *)(loc2 + RTVA(886, 45, "is_launched", loc2));
tb2 = tb3;
}
if (tb2) {
tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(886, 46, "has_exited", loc2))(loc2)).it_b);
tb1 = tb2;
}
RTTE(tb1, label_1);
RTCK;
RTHOOK(3);
RTCT("current_execution_stored_output", EX_PRE);
tb1 = '\0';
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(892, 48, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
loc3 = RTCCL(tr1);
if (EIF_TEST(loc3)) {
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(886, 35, "output_file_name", loc3))(loc3)), (((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);
}
RTTE(tb1, label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(4);
RTCT0(NULL, EX_CHECK);
tb1 = '\0';
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(892, 48, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
loc4 = RTCCL(tr1);
if (EIF_TEST(loc4)) {
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(886, 35, "output_file_name", loc4))(loc4)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
loc5 = tr1;
tb1 = EIF_TEST(loc5);
}
if (tb1) {
RTCK0;
} else {
RTCF0;
}
RTHOOK(5);
RTDBGAL(Current, 1, 0xF8000365, 0, 0); /* loc1 */
tr1 = RTLN(869);
ui4_1 = ((EIF_INTEGER_32) 1L);
{
static EIF_TYPE_INDEX typarr0[] = {892,255,0xFF11,227,0xFFFF};
EIF_TYPE_INDEX typres0;
static EIF_TYPE_INDEX typcache0 = INVALID_DTYPE;
typres0 = (typcache0 != INVALID_DTYPE ? typcache0 : (typcache0 = eif_compound_id(Dftype(Current), 255, typarr0)));
tr3 = RTLNSP2(eif_non_attached_type(typres0),EO_REF,ui4_1,sizeof(EIF_REFERENCE), EIF_FALSE);
RT_SPECIAL_COUNT(tr3) = 1L;
memset(tr3, 0, RT_SPECIAL_VISIBLE_SIZE(tr3));
}
*((EIF_REFERENCE *)tr3+0) = (EIF_REFERENCE) loc5;
RTAR(tr3,loc5);
tr2 = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWPF(2, 8, Dtype(tr3)))(tr3).it_r;
ur1 = RTCCL(tr2);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWC(869, 32, Dtype(tr1)))(tr1, ur1x);
RTNHOOK(5,1);
loc1 = (EIF_REFERENCE) RTCCL(tr1);
RTHOOK(6);
tr1 = RTMS_EX_H("identical_output",16,274343540);
ur1 = tr1;
tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(892, 33, 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);
ur2 = RTCCL(loc1);
ur3 = RTCCL(arg1);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTVF(871, 39, "has_same_content_as_string", tr2))(tr2, ur2x, ur3x)).it_b);
ub1 = tb1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTWF(892, 40, dtype))(Current, ur1x, ub1x);
RTVI(Current, RTAL);
RTRS;
RTHOOK(7);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(8);
RTEE;
#undef up1
#undef ur1
#undef ur2
#undef ur3
#undef ui4_1
#undef ub1
#undef arg1
}
示例12: F119_8201
EIF_TYPED_VALUE F119_8201 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "days_in_months";
RTEX;
EIF_TYPED_VALUE ui4_1x = {{0}, SK_INT32};
#define ui4_1 ui4_1x.it_i4
EIF_REFERENCE tr1 = NULL;
EIF_REFERENCE tr2 = NULL;
EIF_INTEGER_32 ti4_1;
EIF_INTEGER_32 ti4_2;
RTCDD;
RTSN;
RTDA;
RTLD;
#define Result RTOTRR
RTOTDR(F119_8201);
dtype = Dtype(Current);
RTLI(3);
RTLR(0,Current);
RTLR(1,tr1);
RTLR(2,tr2);
RTLU (SK_REF, &Result);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 118, Current, 0, 0, 1876);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(118, Current, 1876);
RTIV(Current, RTAL);
RTOTP;
RTHOOK(1);
RTDBGAL(Current, 0, 0xF8000246, 0,0); /* Result */
ui4_1 = ((EIF_INTEGER_32) 12L);
{
static EIF_TYPE_INDEX typarr0[] = {579,430,0xFFFF};
EIF_TYPE_INDEX typres0;
static EIF_TYPE_INDEX typcache0 = INVALID_DTYPE;
typres0 = (typcache0 != INVALID_DTYPE ? typcache0 : (typcache0 = eif_compound_id(Dftype(Current), typarr0)));
tr2 = RTLNSP2(eif_non_attached_type(typres0),0,ui4_1,sizeof(EIF_INTEGER_32), EIF_TRUE);
RT_SPECIAL_COUNT(tr2) = 12L;
memset(tr2, 0, RT_SPECIAL_VISIBLE_SIZE(tr2));
}
*((EIF_INTEGER_32 *)tr2+0) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 31L);
*((EIF_INTEGER_32 *)tr2+1) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 28L);
*((EIF_INTEGER_32 *)tr2+2) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 31L);
*((EIF_INTEGER_32 *)tr2+3) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 30L);
*((EIF_INTEGER_32 *)tr2+4) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 31L);
*((EIF_INTEGER_32 *)tr2+5) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 30L);
*((EIF_INTEGER_32 *)tr2+6) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 31L);
*((EIF_INTEGER_32 *)tr2+7) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 31L);
*((EIF_INTEGER_32 *)tr2+8) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 30L);
*((EIF_INTEGER_32 *)tr2+9) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 31L);
*((EIF_INTEGER_32 *)tr2+10) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 30L);
*((EIF_INTEGER_32 *)tr2+11) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 31L);
tr1 = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(17158, Dtype(tr2)))(tr2).it_r;
Result = (EIF_REFERENCE) tr1;
if (RTAL & CK_ENSURE) {
RTHOOK(2);
RTCT("result_exists", EX_POST);
if ((EIF_BOOLEAN)(Result != NULL)) {
RTCK;
} else {
RTCF;
}
RTHOOK(3);
RTCT("valid_count", EX_POST);
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(9633, "count", Result))(Result)).it_i4);
ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8008, dtype))(Current)).it_i4);
if ((EIF_BOOLEAN)(ti4_1 == ti4_2)) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTOTE;
RTHOOK(4);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(2);
RTEE;
{ EIF_TYPED_VALUE r; r.type = SK_REF; r.it_r = Result; return r; }
#undef ui4_1
#undef Result
}
示例13: F1104_10196
/* {EV_DOCKABLE_SOURCE_ACTION_SEQUENCE}.force_extend */
void F1104_10196 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "force_extend";
RTEX;
#define arg1 arg1x.it_r
EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
#define ur1 ur1x.it_r
EIF_TYPED_VALUE ui4_1x = {{0}, SK_INT32};
#define ui4_1 ui4_1x.it_i4
EIF_REFERENCE tr1 = NULL;
EIF_REFERENCE tr2 = NULL;
EIF_REFERENCE tr3 = NULL;
EIF_REFERENCE tr4 = NULL;
RTCFDT;
RTSN;
RTDA;
RTLD;
RTLI(7);
RTLR(0,arg1);
RTLR(1,Current);
RTLR(2,tr1);
RTLR(3,tr2);
RTLR(4,tr3);
RTLR(5,tr4);
RTLR(6,ur1);
RTLU (SK_VOID, NULL);
RTLU(SK_REF,&arg1);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 1103, Current, 0, 1, 15988);
RTSA(Dtype(Current));
RTSC;
RTME(Dtype(Current), 0);
RTGC;
RTDBGEAA(1103, Current, 15988);
{
static EIF_TYPE_INDEX typarr0[] = {237,0xFF11,0,0xFF11,0xFFF9,0,173,0xFFFF};
EIF_TYPE_INDEX typres0;
static EIF_TYPE_INDEX typcache0 = INVALID_DTYPE;
typres0 = (typcache0 != INVALID_DTYPE ? typcache0 : (typcache0 = eif_compound_id(dftype, typarr0)));
RTCC(arg1, 1103, l_feature_name, 1, eif_attached_type(typres0));
}
RTIV(Current, RTAL);
RTHOOK(1);
{
static EIF_TYPE_INDEX typarr0[] = {0xFFF9,2,173,0xFF11,0,0xFF11,237,0xFF11,0,0xFF11,0xFFF9,0,173,0xFFFF};
EIF_TYPE_INDEX typres0;
typarr0[4] = dftype;
typres0 = eif_compound_id(dftype, typarr0);
tr1 = RTLNTS(typres0, 3, 0);
}
((EIF_TYPED_VALUE *)tr1+1)->it_r = Current;
RTAR(tr1,Current);
((EIF_TYPED_VALUE *)tr1+2)->it_r = arg1;
RTAR(tr1,arg1);
ui4_1 = ((EIF_INTEGER_32) 1L);
{
static EIF_TYPE_INDEX typarr0[] = {292,205,0xFFFF};
EIF_TYPE_INDEX typres0;
static EIF_TYPE_INDEX typcache0 = INVALID_DTYPE;
typres0 = (typcache0 != INVALID_DTYPE ? typcache0 : (typcache0 = eif_compound_id(dftype, typarr0)));
tr3 = RTLNSP2(eif_non_attached_type(typres0),0,ui4_1,sizeof(EIF_INTEGER_32), EIF_TRUE);
RT_SPECIAL_COUNT(tr3) = 1L;
memset(tr3, 0, RT_SPECIAL_VISIBLE_SIZE(tr3));
}
*((EIF_INTEGER_32 *)tr3+0) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 2L);
tr2 = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(2397, Dtype(tr3)))(tr3).it_r;
{
static EIF_TYPE_INDEX typarr0[] = {0xFF11,237,0xFF11,0,0xFF11,0xFFF9,1,173,0xFF11,1222,0xFFFF};
EIF_TYPE_INDEX typres0;
typarr0[3] = dftype;
typres0 = eif_compound_id(dftype, typarr0);
tr4 = RTLNRW(typres0, 0, (EIF_POINTER) _A1104_182_2, (EIF_POINTER)(0),7857, tr2, 0, 1, -1, tr1, 1);
}
ur1 = RTCCL(tr4);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(1705, Dtype(Current)))(Current, ur1x);
RTVI(Current, RTAL);
RTRS;
RTHOOK(2);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(3);
RTEE;
#undef ur1
#undef ui4_1
#undef arg1
}
示例14: F880_7224
//.........这里部分代码省略.........
RTTE((EIF_BOOLEAN)(ti4_1 == ((EIF_INTEGER_32) 1L)), label_1);
RTCK;
RTHOOK(2);
RTCT("precondition_satisfied", EX_PRE);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5109, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(2,1);
tr2 = ((up2x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(4991, "domain", tr1))(tr1)), (((up2x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up2x.it_r = RTBU(up2x))), (up2x.type = SK_POINTER), up2x.it_r);
RTNHOOK(2,2);
{
static EIF_TYPE_INDEX typarr0[] = {0xFFF9,2,174,0xFF01,0,0xFF01,274,0xFF01,0,0xFF01,0xFFF9,1,174,0,0,0xFFFF};
EIF_TYPE typres0;
typarr0[4] = dftype;
{
EIF_TYPE l_type;
l_type = RTWCT(2319, dtype, dftype);
typarr0[13] = l_type.annotations | 0xFF00;
typarr0[14] = l_type.id;
}
typres0 = eif_compound_id(dftype, typarr0);
tr1 = RTLNTS(typres0.id, 3, 0);
}
((EIF_TYPED_VALUE *)tr1+1)->it_r = Current;
RTAR(tr1,Current);
((EIF_TYPED_VALUE *)tr1+2)->it_r = arg1;
RTAR(tr1,arg1);
ui4_1 = ((EIF_INTEGER_32) 1L);
{
static EIF_TYPE_INDEX typarr0[] = {279,206,0xFFFF};
EIF_TYPE typres0;
static EIF_TYPE typcache0 = {INVALID_DTYPE, 0};
typres0 = (typcache0.id != INVALID_DTYPE ? typcache0 : (typcache0 = eif_compound_id(dftype, typarr0)));
tr4 = RTLNSP2(typres0.id,0,ui4_1,sizeof(EIF_INTEGER_32), EIF_TRUE);
RT_SPECIAL_COUNT(tr4) = 1L;
memset(tr4, 0, RT_SPECIAL_VISIBLE_SIZE(tr4));
}
*((EIF_INTEGER_32 *)tr4+0) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 2L);
tr3 = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(2403, Dtype(tr4)))(tr4).it_r;
{
static EIF_TYPE_INDEX typarr0[] = {0xFF01,274,0xFF01,0,0xFF01,0xFFF9,1,174,206,0xFFFF};
EIF_TYPE typres0;
typarr0[3] = dftype;
typres0 = eif_compound_id(dftype, typarr0);
tr5 = RTLNRW(typres0.id, 0, (EIF_POINTER) _A880_42_2, (EIF_POINTER)(0),5181, tr3, 0, 1, 879, tr1, 1);
}
ur1 = RTCCL(tr5);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(5043, "for_all", tr2))(tr2, ur1x)).it_b);
RTTE(tb1, label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(3);
RTDBGAL(Current, 0, 0x04000000, 1,0); /* Result */
RTHOOK(4);
RTDBGAL(Current, 1, 0xF8000365, 0, 0); /* loc1 */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(2318, "new_cursor", Current))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
loc1 = (EIF_REFERENCE) RTCCL(tr1);
tb1 = EIF_TRUE;
for (;;) {
if (!tb1) break;
示例15: F64_1073
/* {INTEGER_OVERFLOW_CHECKER}.make */
void F64_1073 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "make";
RTEX;
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_TYPED_VALUE ui4_1x = {{0}, SK_INT32};
#define ui4_1 ui4_1x.it_i4
EIF_TYPED_VALUE ui4_2x = {{0}, SK_INT32};
#define ui4_2 ui4_2x.it_i4
EIF_TYPED_VALUE ui4_3x = {{0}, SK_INT32};
#define ui4_3 ui4_3x.it_i4
EIF_TYPED_VALUE ui4_4x = {{0}, SK_INT32};
#define ui4_4 ui4_4x.it_i4
EIF_REFERENCE tr1 = NULL;
EIF_REFERENCE tr2 = NULL;
EIF_INTEGER_64 ti8_1;
EIF_INTEGER_64 ti8_2;
EIF_NATURAL_64 tu8_1;
EIF_NATURAL_64 tu8_2;
EIF_NATURAL_64 tu8_3;
EIF_INTEGER_32 ti4_1;
EIF_INTEGER_32 ti4_2;
EIF_INTEGER_32 ti4_3;
EIF_INTEGER_32 ti4_4;
EIF_NATURAL_32 tu4_1;
EIF_NATURAL_32 tu4_2;
EIF_INTEGER_16 ti2_1;
EIF_INTEGER_16 ti2_2;
EIF_NATURAL_16 tu2_1;
EIF_NATURAL_16 tu2_2;
EIF_INTEGER_8 ti1_1;
EIF_INTEGER_8 ti1_2;
EIF_NATURAL_8 tu1_1;
EIF_NATURAL_8 tu1_2;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(3);
RTLR(0,Current);
RTLR(1,tr1);
RTLR(2,tr2);
RTLU (SK_VOID, NULL);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 63, Current, 0, 0, 1136);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(63, Current, 1136);
RTIV(Current, RTAL);
RTHOOK(1);
RTDBGAA(Current, dtype, 1026, 0xF80001BD, 0); /* integer_overflow_state1 */
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1003, dtype))(Current)).it_i4);
ui4_1 = (EIF_INTEGER_32) ((EIF_INTEGER_32) (ti4_1 * ((EIF_INTEGER_32) 2L)) + ((EIF_INTEGER_32) 1L));
if (ui4_1< 0) {
eraise ("non_negative_argument", EN_RT_CHECK);
}
tr1 = RTLNSP2(eif_non_attached_type(RTWCT(1026, dtype, Dftype(Current))),0,ui4_1,sizeof(EIF_NATURAL_64), EIF_TRUE);
RT_SPECIAL_COUNT(tr1) = 0;
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + RTWA(1026, dtype)) = (EIF_REFERENCE) tr1;
RTHOOK(2);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1026, 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);
tu8_1 = (EIF_NATURAL_64) ((EIF_INTEGER_32) 0L);
uu8_1 = tu8_1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(2604, "extend", tr1))(tr1, uu8_1x);
RTHOOK(3);
RTDBGAA(Current, dtype, 1027, 0xF80001BD, 0); /* integer_overflow_state2 */
ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1003, dtype))(Current)).it_i4);
ui4_2 = (EIF_INTEGER_32) ((EIF_INTEGER_32) (ti4_2 * ((EIF_INTEGER_32) 2L)) + ((EIF_INTEGER_32) 1L));
if (ui4_2< 0) {
eraise ("non_negative_argument", EN_RT_CHECK);
}
tr1 = RTLNSP2(eif_non_attached_type(RTWCT(1027, dtype, Dftype(Current))),0,ui4_2,sizeof(EIF_NATURAL_64), EIF_TRUE);
RT_SPECIAL_COUNT(tr1) = 0;
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + RTWA(1027, dtype)) = (EIF_REFERENCE) tr1;
RTHOOK(4);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1027, 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);
tu8_1 = (EIF_NATURAL_64) ((EIF_INTEGER_32) 0L);
uu8_1 = tu8_1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(2604, "extend", tr1))(tr1, uu8_1x);
RTHOOK(5);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1026, 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);
ti1_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(3210, 185))(Current)).it_i1);
ti1_2 = (EIF_INTEGER_8) ((EIF_INTEGER_32) 10L);
tu8_1 = (EIF_NATURAL_64) (EIF_INTEGER_8) (ti1_1 / ti1_2);
//.........这里部分代码省略.........