Untersuchungsergebnis.rtf Download desIsabelle {Isabelle[341] Haskell[515] CS[725]}zum Wurzelverzeichnis wechseln
{\rtf1\ansi\ansicpg850 \deff0{\fonttbl{\f0\fnil Courier New;}{\f1\fnil Courier New;}{\f2\fnil Elbian;}}
{\colortbl;\red255\green0\blue0;\red0\green0\blue255;\red0\green0\blue128;\red0\green0\blue0;\red128\green0\blue0;\red0\green128\blue0;\red128\green128\blue128;\red128\green0\blue128;\red255\green0\blue255;}\f1\fs18
\cf1 typedef\cf0 \cf1 long\cf0 \cf2 *\cf0 \cf4 yy\cf0 ;\par
#\cf9 define\cf0 \cf9 yyu\cf0 \cf9 2147483647L\cf0 \par
\cf1 static\cf0 \cf4 yy\cf0 \cf4 yynull\cf0 ;\par
\cf1 extern\cf0 \cf4 yy\cf0 \cf4 yyh\cf0 ;\par
\cf1 extern\cf0 \cf4 yy\cf0 \cf4 yyhx\cf0 ;\par
\cf1 static\cf0 \cf4 yyErr\cf0 (\cf4 n\cf0 ,\cf4 l\cf0 )\par
\{\par
\cf4 yyAbort\cf0 (\cf4 n\cf0 ,\cf2 "code"\cf0 , \cf4 l\cf0 );\par
\}\par
\cf1 extern\cf0 \cf4 yy\cf0 \cf4 yyglov_GentleFlag\cf0 ;\par
\cf1 extern\cf0 \cf4 yy\cf0 \cf4 yyglov_NontermList\cf0 ;\par
\cf1 extern\cf0 \cf4 yy\cf0 \cf4 yyglov_PreludeBlock\cf0 ;\par
\cf4 fix_code\cf0 ()\par
\{\par
\{\par
\cf4 yy\cf0 \cf4 yyb\cf0 ;\par
\cf4 yy\cf0 \cf4 yy_2_1\cf0 ;\par
\cf4 yy\cf0 \cf4 yy_4_1\cf0 ;\par
\cf4 yy\cf0 \cf4 yy_6_1\cf0 ;\par
\cf4 yy\cf0 \cf4 yy_8_1_1\cf0 ;\par
\cf4 yy\cf0 \cf4 yy_8_1_2_1\cf0 ;\par
\cf4 yy\cf0 \cf4 yy_8_2_1_1\cf0 ;\par
\cf4 yy\cf0 \cf4 yy_8_2_3_1\cf0 ;\par
\cf4 yy\cf0 \cf4 yy_9_1\cf0 ;\par
\cf4 yy\cf0 \cf4 yy_11_1\cf0 ;\par
\cf4 yy\cf0 \cf4 yy_13_1\cf0 ;\par
\cf4 yy\cf0 \cf4 yy_15_1\cf0 ;\par
\cf4 yy\cf0 \cf4 yy_17_1\cf0 ;\par
\cf4 yy\cf0 \cf4 yy_19_1\cf0 ;\par
\cf4 yy\cf0 \cf4 yy_21_1\cf0 ;\par
\cf4 yy\cf0 \cf4 yy_23_1\cf0 ;\par
\cf4 yy\cf0 \cf4 yy_25_1\cf0 ;\par
\cf4 yy\cf0 \cf4 yy_27_1\cf0 ;\par
\cf4 yy\cf0 \cf4 yy_29_1\cf0 ;\par
\cf4 yy\cf0 \cf4 yy_31_1\cf0 ;\par
\cf4 yy\cf0 \cf4 yy_33_1\cf0 ;\par
\cf4 yy\cf0 \cf4 yy_35_1\cf0 ;\par
\cf4 yy\cf0 \cf4 yy_37_1\cf0 ;\par
\cf4 yy\cf0 \cf4 yy_39_1\cf0 ;\par
\cf4 yy\cf0 \cf4 yy_41_1\cf0 ;\par
\cf4 yy\cf0 \cf4 yy_43_1\cf0 ;\par
\cf4 yy\cf0 \cf4 yy_45_1\cf0 ;\par
\cf4 yy\cf0 \cf4 yy_47_1\cf0 ;\par
\cf4 yy\cf0 \cf4 yy_49_1\cf0 ;\par
\cf4 yy\cf0 \cf4 yy_51_1\cf0 ;\par
\cf4 yy\cf0 \cf4 yy_53_1\cf0 ;\par
\cf4 yy\cf0 \cf4 yy_55_1\cf0 ;\par
\cf4 yy\cf0 \cf4 yy_57_1\cf0 ;\par
\cf4 yy\cf0 \cf4 yy_59_1\cf0 ;\par
\cf4 yy\cf0 \cf4 yy_61_1\cf0 ;\par
\cf4 yy\cf0 \cf4 yy_63_1\cf0 ;\par
\cf4 yy\cf0 \cf4 yy_65_1\cf0 ;\par
\cf4 yy\cf0 \cf4 yy_67_1\cf0 ;\par
\cf4 yy\cf0 \cf4 yy_69_1\cf0 ;\par
\cf4 yy\cf0 \cf4 yy_71_1\cf0 ;\par
\cf4 yy\cf0 \cf4 yy_73_1\cf0 ;\par
\cf4 yy\cf0 \cf4 yy_75_1\cf0 ;\par
\cf4 yy\cf0 \cf4 yy_77_1\cf0 ;\par
\cf4 yy\cf0 \cf4 yy_79_1\cf0 ;\par
\cf4 yy\cf0 \cf4 yy_81_1\cf0 ;\par
\cf4 yy\cf0 \cf4 yy_83_1\cf0 ;\par
\cf4 yy\cf0 \cf4 yy_85_1\cf0 ;\par
\cf4 yy\cf0 \cf4 yy_87_1\cf0 ;\par
\cf4 yy\cf0 \cf4 yy_89_1\cf0 ;\par
\cf4 yy\cf0 \cf4 yy_91_1\cf0 ;\par
\cf4 yy\cf0 \cf4 yy_93_1\cf0 ;\par
\cf4 yy\cf0 \cf4 yy_95_1\cf0 ;\par
\cf4 yy\cf0 \cf4 yy_97_1\cf0 ;\par
\cf4 yy\cf0 \cf4 yy_99_1\cf0 ;\par
\cf4 yy\cf0 \cf4 yy_101_1\cf0 ;\par
\cf4 Nl\cf0 ();\par
\cf4 yy_2_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 "extern YYSTYPE yylval;"\cf0 );\par
\cf4 Put\cf0 (\cf4 yy_2_1\cf0 );\par
\cf4 Nl\cf0 ();\par
\cf4 yy_4_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 "YYSTYPE yylval;"\cf0 );\par
\cf4 Put\cf0 (\cf4 yy_4_1\cf0 );\par
\cf4 Nl\cf0 ();\par
\cf4 yy_6_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 "extern long yypos;"\cf0 );\par
\cf4 Put\cf0 (\cf4 yy_6_1\cf0 );\par
\cf4 Nl\cf0 ();\par
\cf4 yy_6_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 "#if defined(DELPHI)"\cf0 );\cf4 Put\cf0 (\cf4 yy_6_1\cf0 );\cf4 Nl\cf0 (); \cf6 //CO3\cf0 \par
\cf4 yy_6_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 " void *co3malloc(long); "\cf0 );\cf4 Put\cf0 (\cf4 yy_6_1\cf0 );\cf4 Nl\cf0 (); \cf6 //CO3\cf0 \par
\cf4 yy_6_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 "#else"\cf0 );\cf4 Put\cf0 (\cf4 yy_6_1\cf0 );\cf4 Nl\cf0 (); \cf6 //CO3\cf0 \par
\cf4 yy_6_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 " #define co3malloc(x) malloc(x)"\cf0 );\cf4 Put\cf0 (\cf4 yy_6_1\cf0 );\cf4 Nl\cf0 (); \cf6 //CO3\cf0 \par
\cf4 yy_6_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 "#endif"\cf0 );\cf4 Put\cf0 (\cf4 yy_6_1\cf0 );\cf4 Nl\cf0 (); \cf6 //CO3\cf0 \par
\{\par
\cf4 yy\cf0 \cf4 yysb\cf0 \cf2 =\cf0 \cf4 yyb\cf0 ;\par
\cf4 yy_8_1_1\cf0 \cf2 =\cf0 \cf4 yyglov_GentleFlag\cf0 ;\par
\cf1 if\cf0 (\cf4 yy_8_1_1\cf0 \cf2 ==\cf0 (\cf4 yy\cf0 ) \cf4 yyu\cf0 ) \cf4 yyErr\cf0 (\cf3 1\cf0 ,\cf3 41\cf0 );\par
\cf1 if\cf0 (\cf4 yy_8_1_1\cf0 [\cf3 0\cf0 ] \cf2 !=\cf0 \cf3 1\cf0 ) \cf1 goto\cf0 \cf4 yyfl_3_1_8_1\cf0 ;\par
\cf4 yy_8_1_2_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 "/* GentleFlag = yes */"\cf0 );\par
\cf4 Put\cf0 (\cf4 yy_8_1_2_1\cf0 );\par
\cf4 Nl\cf0 ();\par
\cf1 goto\cf0 \cf4 yysl_3_1_8\cf0 ;\par
\cf4 yyfl_3_1_8_1\cf0 : ;\par
\cf4 yy_8_2_1_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 "long yypos = 1;"\cf0 );\par
\cf4 Put\cf0 (\cf4 yy_8_2_1_1\cf0 );\par
\cf4 Nl\cf0 ();\par
\cf4 yy_8_2_3_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 "/* GentleFlag = no */"\cf0 );\par
\cf4 Put\cf0 (\cf4 yy_8_2_3_1\cf0 );\par
\cf4 Nl\cf0 ();\par
\cf1 goto\cf0 \cf4 yysl_3_1_8\cf0 ;\par
\cf4 yysl_3_1_8\cf0 : ;\par
\cf4 yyb\cf0 \cf2 =\cf0 \cf4 yysb\cf0 ;\par
\}\par
\cf4 yy_9_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 ""\cf0 );\par
\cf4 Put\cf0 (\cf4 yy_9_1\cf0 );\par
\cf4 Nl\cf0 ();\par
\cf4 yy_11_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 "typedef struct LEXELEMSTRUCT \{"\cf0 );\par
\cf4 Put\cf0 (\cf4 yy_11_1\cf0 );\par
\cf4 Nl\cf0 ();\par
\cf4 yy_13_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 " YYSTYPE val;"\cf0 );\par
\cf4 Put\cf0 (\cf4 yy_13_1\cf0 );\par
\cf4 Nl\cf0 ();\par
\cf4 yy_15_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 " long pos;"\cf0 );\par
\cf4 Put\cf0 (\cf4 yy_15_1\cf0 );\par
\cf4 Nl\cf0 ();\par
\cf4 yy_17_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 " long sym;"\cf0 );\par
\cf4 Put\cf0 (\cf4 yy_17_1\cf0 );\par
\cf4 Nl\cf0 ();\par
\cf4 yy_19_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 " char * text;"\cf0 );\par
\cf4 Put\cf0 (\cf4 yy_19_1\cf0 );\par
\cf4 Nl\cf0 ();\par
\cf4 yy_21_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 " struct LEXELEMSTRUCT *next;"\cf0 );\par
\cf4 Put\cf0 (\cf4 yy_21_1\cf0 );\par
\cf4 Nl\cf0 ();\par
\cf4 yy_23_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 "\} LEXELEM;"\cf0 );\par
\cf4 Put\cf0 (\cf4 yy_23_1\cf0 );\par
\cf4 Nl\cf0 ();\par
\cf4 yy_25_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 " "\cf0 );\par
\cf4 Put\cf0 (\cf4 yy_25_1\cf0 );\par
\cf4 Nl\cf0 ();\par
\cf4 yy_27_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 "LEXELEM *first_lexelem, *cur_lexelem;"\cf0 );\par
\cf4 Put\cf0 (\cf4 yy_27_1\cf0 );\par
\cf4 Nl\cf0 ();\par
\cf4 yy_29_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 ""\cf0 );\par
\cf4 Put\cf0 (\cf4 yy_29_1\cf0 );\par
\cf4 Nl\cf0 ();\par
\cf4 yy_31_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 "void init_lexelem(void)"\cf0 ); \cf6 //CO3\cf0 \par
\cf4 Put\cf0 (\cf4 yy_31_1\cf0 );\par
\cf4 Nl\cf0 ();\par
\cf4 yy_33_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 "\{"\cf0 );\par
\cf4 Put\cf0 (\cf4 yy_33_1\cf0 );\par
\cf4 Nl\cf0 ();\par
\cf4 yy_35_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 " cur_lexelem = first_lexelem;"\cf0 );\par
\cf4 Put\cf0 (\cf4 yy_35_1\cf0 );\par
\cf4 Nl\cf0 ();\par
\cf4 yy_37_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 "\}"\cf0 );\par
\cf4 Put\cf0 (\cf4 yy_37_1\cf0 );\par
\cf4 Nl\cf0 ();\par
\cf4 yy_39_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 ""\cf0 );\par
\cf4 Put\cf0 (\cf4 yy_39_1\cf0 );\par
\cf4 Nl\cf0 ();\par
\cf4 yy_41_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 "void first_lexval (void) \{"\cf0 ); \cf6 //CO3\cf0 \par
\cf4 Put\cf0 (\cf4 yy_41_1\cf0 );\par
\cf4 Nl\cf0 ();\par
\cf4 yy_43_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 " LEXELEM *p;"\cf0 );\par
\cf4 Put\cf0 (\cf4 yy_43_1\cf0 );\par
\cf4 Nl\cf0 ();\par
\cf4 yy_45_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 " p = (LEXELEM *)co3malloc(sizeof(LEXELEM));"\cf0 ); \cf6 //CO3\cf0 \par
\cf4 Put\cf0 (\cf4 yy_45_1\cf0 );\par
\cf4 Nl\cf0 ();\par
\cf4 yy_47_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 " if (! p) yymallocerror();"\cf0 );\par
\cf4 Put\cf0 (\cf4 yy_47_1\cf0 );\par
\cf4 Nl\cf0 ();\par
\cf4 yy_49_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 " p->val = yylval;"\cf0 );\par
\cf4 Put\cf0 (\cf4 yy_49_1\cf0 );\par
\cf4 Nl\cf0 ();\par
\cf4 yy_51_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 " p->pos = yypos;"\cf0 );\par
\cf4 Put\cf0 (\cf4 yy_51_1\cf0 );\par
\cf4 Nl\cf0 ();\par
\cf4 yy_53_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 " p->next = 0;"\cf0 );\par
\cf4 Put\cf0 (\cf4 yy_53_1\cf0 );\par
\cf4 Nl\cf0 ();\par
\cf4 yy_55_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 " cur_lexelem = p;"\cf0 );\par
\cf4 Put\cf0 (\cf4 yy_55_1\cf0 );\par
\cf4 Nl\cf0 ();\par
\cf4 yy_57_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 " first_lexelem = p;"\cf0 );\par
\cf4 Put\cf0 (\cf4 yy_57_1\cf0 );\par
\cf4 Nl\cf0 ();\par
\cf4 yy_59_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 "\}"\cf0 );\par
\cf4 Put\cf0 (\cf4 yy_59_1\cf0 );\par
\cf4 Nl\cf0 ();\par
\cf4 yy_61_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 ""\cf0 );\par
\cf4 Put\cf0 (\cf4 yy_61_1\cf0 );\par
\cf4 Nl\cf0 ();\par
\cf4 yy_63_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 "void next_lexval(void) \{"\cf0 ); \cf6 //CO3\cf0 \par
\cf4 Put\cf0 (\cf4 yy_63_1\cf0 );\par
\cf4 Nl\cf0 ();\par
\cf4 yy_65_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 " LEXELEM *p;"\cf0 );\par
\cf4 Put\cf0 (\cf4 yy_65_1\cf0 );\par
\cf4 Nl\cf0 ();\par
\cf4 yy_67_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 " p = (LEXELEM *)co3malloc(sizeof(LEXELEM));"\cf0 ); \cf6 // CO3\cf0 \par
\cf4 Put\cf0 (\cf4 yy_67_1\cf0 );\par
\cf4 Nl\cf0 ();\par
\cf4 yy_69_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 " if (! p) yymallocerror();"\cf0 );\par
\cf4 Put\cf0 (\cf4 yy_69_1\cf0 );\par
\cf4 Nl\cf0 ();\par
\cf4 yy_71_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 " cur_lexelem-> next = p;"\cf0 );\par
\cf4 Put\cf0 (\cf4 yy_71_1\cf0 );\par
\cf4 Nl\cf0 ();\par
\cf4 yy_73_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 " p->val = yylval;"\cf0 );\par
\cf4 Put\cf0 (\cf4 yy_73_1\cf0 );\par
\cf4 Nl\cf0 ();\par
\cf4 yy_75_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 " p->pos = yypos;"\cf0 );\par
\cf4 Put\cf0 (\cf4 yy_75_1\cf0 );\par
\cf4 Nl\cf0 ();\par
\cf4 yy_77_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 " p->next = 0;"\cf0 );\par
\cf4 Put\cf0 (\cf4 yy_77_1\cf0 );\par
\cf4 Nl\cf0 ();\par
\cf4 yy_79_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 " cur_lexelem = p;"\cf0 );\par
\cf4 Put\cf0 (\cf4 yy_79_1\cf0 );\par
\cf4 Nl\cf0 ();\par
\cf4 yy_81_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 "\}"\cf0 );\par
\cf4 Put\cf0 (\cf4 yy_81_1\cf0 );\par
\cf4 Nl\cf0 ();\par
\cf4 yy_83_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 ""\cf0 );\par
\cf4 Put\cf0 (\cf4 yy_83_1\cf0 );\par
\cf4 Nl\cf0 ();\par
\cf4 yy_85_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 "void get_lexval(void) \{"\cf0 ); \cf6 //CO3\cf0 \par
\cf4 Put\cf0 (\cf4 yy_85_1\cf0 );\par
\cf4 Nl\cf0 ();\par
\cf4 yy_87_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 " extern int FREE_LEXELEMS;"\cf0 );\par
\cf4 Put\cf0 (\cf4 yy_87_1\cf0 );\par
\cf4 Nl\cf0 ();\par
\cf4 yy_89_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 " LEXELEM *p;"\cf0 );\par
\cf4 Put\cf0 (\cf4 yy_89_1\cf0 );\par
\cf4 Nl\cf0 ();\par
\cf4 yy_91_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 " yylval = cur_lexelem->val;"\cf0 );\par
\cf4 Put\cf0 (\cf4 yy_91_1\cf0 );\par
\cf4 Nl\cf0 ();\par
\cf4 yy_93_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 " yypos = cur_lexelem->pos;"\cf0 );\par
\cf4 Put\cf0 (\cf4 yy_93_1\cf0 );\par
\cf4 Nl\cf0 ();\par
\cf4 yy_95_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 " p = cur_lexelem;"\cf0 );\par
\cf4 Put\cf0 (\cf4 yy_95_1\cf0 );\par
\cf4 Nl\cf0 ();\par
\cf4 yy_97_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 " cur_lexelem = cur_lexelem->next;"\cf0 );\par
\cf4 Put\cf0 (\cf4 yy_97_1\cf0 );\par
\cf4 Nl\cf0 ();\par
\cf4 yy_99_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 " free(p);"\cf0 );\par
\cf4 Put\cf0 (\cf4 yy_99_1\cf0 );\par
\cf4 Nl\cf0 ();\par
\cf4 yy_101_1\cf0 \cf2 =\cf0 ((\cf4 yy\cf0 )\cf2 "\}"\cf0 );\par
\cf4 Put\cf0 (\cf4 yy_101_1\cf0 );\par
\cf4 Nl\cf0 ();\par
\cf4 Nl\cf0 ();\par
\cf1 return\cf0 ;\par
\}\par
\}\par
}
[ zur Elbe Produktseite wechseln0.125Quellennavigators
]
