rahmenlose Ansicht.rtf DruckansichtIsabelle {Isabelle[339] Haskell[489] CS[701]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
{\rtf1\ansi\ansicpg850\deff0{\fonttbl{\f0\fnil Courier New;}}
{\colortbl ;\red255\green0\blue0;\red0\green0\blue255;\red0\green0\blue0;\red255\green0\blue255;\red0\green128\blue0;\red0\green0\blue128;}
\viewkind4\uc1\pard\cf1\lang1031\f0\fs18 typedef\cf0 \cf1 long\cf0 \cf2 *\cf0 \cf3 yy\cf0 ;\par
#\cf4 define\cf0 \cf4 yyu\cf0 \cf4 2147483647L\cf0\par
\cf1 static\cf0 \cf3 yy\cf0 \cf3 yynull\cf0 ;\par
\cf1 extern\cf0 \cf3 yy\cf0 \cf3 yyh\cf0 ;\par
\cf1 extern\cf0 \cf3 yy\cf0 \cf3 yyhx\cf0 ;\par
\cf1 static\cf0 \cf3 yyErr\cf0 (\cf3 n\cf0 ,\cf3 l\cf0 )\par
\{\par
\cf3 yyAbort\cf0 (\cf3 n\cf0 ,\cf2 "code"\cf0 , \cf3 l\cf0 );\par
\}\par
\cf1 extern\cf0 \cf3 yy\cf0 \cf3 yyglov_GentleFlag\cf0 ;\par
\cf1 extern\cf0 \cf3 yy\cf0 \cf3 yyglov_NontermList\cf0 ;\par
\cf1 extern\cf0 \cf3 yy\cf0 \cf3 yyglov_PreludeBlock\cf0 ;\par
\cf3 fix_code\cf0 ()\par
\{\par
\{\par
\cf3 yy\cf0 \cf3 yyb\cf0 ;\par
\cf3 yy\cf0 \cf3 yy_2_1\cf0 ;\par
\cf3 yy\cf0 \cf3 yy_4_1\cf0 ;\par
\cf3 yy\cf0 \cf3 yy_6_1\cf0 ;\par
\cf3 yy\cf0 \cf3 yy_8_1_1\cf0 ;\par
\cf3 yy\cf0 \cf3 yy_8_1_2_1\cf0 ;\par
\cf3 yy\cf0 \cf3 yy_8_2_1_1\cf0 ;\par
\cf3 yy\cf0 \cf3 yy_8_2_3_1\cf0 ;\par
\cf3 yy\cf0 \cf3 yy_9_1\cf0 ;\par
\cf3 yy\cf0 \cf3 yy_11_1\cf0 ;\par
\cf3 yy\cf0 \cf3 yy_13_1\cf0 ;\par
\cf3 yy\cf0 \cf3 yy_15_1\cf0 ;\par
\cf3 yy\cf0 \cf3 yy_17_1\cf0 ;\par
\cf3 yy\cf0 \cf3 yy_19_1\cf0 ;\par
\cf3 yy\cf0 \cf3 yy_21_1\cf0 ;\par
\cf3 yy\cf0 \cf3 yy_23_1\cf0 ;\par
\cf3 yy\cf0 \cf3 yy_25_1\cf0 ;\par
\cf3 yy\cf0 \cf3 yy_27_1\cf0 ;\par
\cf3 yy\cf0 \cf3 yy_29_1\cf0 ;\par
\cf3 yy\cf0 \cf3 yy_31_1\cf0 ;\par
\cf3 yy\cf0 \cf3 yy_33_1\cf0 ;\par
\cf3 yy\cf0 \cf3 yy_35_1\cf0 ;\par
\cf3 yy\cf0 \cf3 yy_37_1\cf0 ;\par
\cf3 yy\cf0 \cf3 yy_39_1\cf0 ;\par
\cf3 yy\cf0 \cf3 yy_41_1\cf0 ;\par
\cf3 yy\cf0 \cf3 yy_43_1\cf0 ;\par
\cf3 yy\cf0 \cf3 yy_45_1\cf0 ;\par
\cf3 yy\cf0 \cf3 yy_47_1\cf0 ;\par
\cf3 yy\cf0 \cf3 yy_49_1\cf0 ;\par
\cf3 yy\cf0 \cf3 yy_51_1\cf0 ;\par
\cf3 yy\cf0 \cf3 yy_53_1\cf0 ;\par
\cf3 yy\cf0 \cf3 yy_55_1\cf0 ;\par
\cf3 yy\cf0 \cf3 yy_57_1\cf0 ;\par
\cf3 yy\cf0 \cf3 yy_59_1\cf0 ;\par
\cf3 yy\cf0 \cf3 yy_61_1\cf0 ;\par
\cf3 yy\cf0 \cf3 yy_63_1\cf0 ;\par
\cf3 yy\cf0 \cf3 yy_65_1\cf0 ;\par
\cf3 yy\cf0 \cf3 yy_67_1\cf0 ;\par
\cf3 yy\cf0 \cf3 yy_69_1\cf0 ;\par
\cf3 yy\cf0 \cf3 yy_71_1\cf0 ;\par
\cf3 yy\cf0 \cf3 yy_73_1\cf0 ;\par
\cf3 yy\cf0 \cf3 yy_75_1\cf0 ;\par
\cf3 yy\cf0 \cf3 yy_77_1\cf0 ;\par
\cf3 yy\cf0 \cf3 yy_79_1\cf0 ;\par
\cf3 yy\cf0 \cf3 yy_81_1\cf0 ;\par
\cf3 yy\cf0 \cf3 yy_83_1\cf0 ;\par
\cf3 yy\cf0 \cf3 yy_85_1\cf0 ;\par
\cf3 yy\cf0 \cf3 yy_87_1\cf0 ;\par
\cf3 yy\cf0 \cf3 yy_89_1\cf0 ;\par
\cf3 yy\cf0 \cf3 yy_91_1\cf0 ;\par
\cf3 yy\cf0 \cf3 yy_93_1\cf0 ;\par
\cf3 yy\cf0 \cf3 yy_95_1\cf0 ;\par
\cf3 yy\cf0 \cf3 yy_97_1\cf0 ;\par
\cf3 yy\cf0 \cf3 yy_99_1\cf0 ;\par
\cf3 yy\cf0 \cf3 yy_101_1\cf0 ;\par
\cf3 Nl\cf0 ();\par
\cf3 yy_2_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 "extern YYSTYPE yylval;"\cf0 );\par
\cf3 Put\cf0 (\cf3 yy_2_1\cf0 );\par
\cf3 Nl\cf0 ();\par
\cf3 yy_4_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 "YYSTYPE yylval;"\cf0 );\par
\cf3 Put\cf0 (\cf3 yy_4_1\cf0 );\par
\cf3 Nl\cf0 ();\par
\cf3 yy_6_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 "extern long yypos;"\cf0 );\par
\cf3 Put\cf0 (\cf3 yy_6_1\cf0 );\par
\cf3 Nl\cf0 ();\par
\cf3 yy_6_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 "#if defined(DELPHI)"\cf0 );\cf3 Put\cf0 (\cf3 yy_6_1\cf0 );\cf3 Nl\cf0 (); \cf5 //CO3\cf0\par
\cf3 yy_6_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 " void *co3malloc(long); "\cf0 );\cf3 Put\cf0 (\cf3 yy_6_1\cf0 );\cf3 Nl\cf0 (); \cf5 //CO3\cf0\par
\cf3 yy_6_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 "#else"\cf0 );\cf3 Put\cf0 (\cf3 yy_6_1\cf0 );\cf3 Nl\cf0 (); \cf5 //CO3\cf0\par
\cf3 yy_6_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 " #define co3malloc(x) malloc(x)"\cf0 );\cf3 Put\cf0 (\cf3 yy_6_1\cf0 );\cf3 Nl\cf0 (); \cf5 //CO3\cf0\par
\cf3 yy_6_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 "#endif"\cf0 );\cf3 Put\cf0 (\cf3 yy_6_1\cf0 );\cf3 Nl\cf0 (); \cf5 //CO3\cf0\par
\{\par
\cf3 yy\cf0 \cf3 yysb\cf0 \cf2 =\cf0 \cf3 yyb\cf0 ;\par
\cf3 yy_8_1_1\cf0 \cf2 =\cf0 \cf3 yyglov_GentleFlag\cf0 ;\par
\cf1 if\cf0 (\cf3 yy_8_1_1\cf0 \cf2 ==\cf0 (\cf3 yy\cf0 ) \cf3 yyu\cf0 ) \cf3 yyErr\cf0 (\cf6 1\cf0 ,\cf6 41\cf0 );\par
\cf1 if\cf0 (\cf3 yy_8_1_1\cf0 [\cf6 0\cf0 ] \cf2 !=\cf0 \cf6 1\cf0 ) \cf1 goto\cf0 \cf3 yyfl_3_1_8_1\cf0 ;\par
\cf3 yy_8_1_2_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 "/* GentleFlag = yes */"\cf0 );\par
\cf3 Put\cf0 (\cf3 yy_8_1_2_1\cf0 );\par
\cf3 Nl\cf0 ();\par
\cf1 goto\cf0 \cf3 yysl_3_1_8\cf0 ;\par
\cf3 yyfl_3_1_8_1\cf0 : ;\par
\cf3 yy_8_2_1_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 "long yypos = 1;"\cf0 );\par
\cf3 Put\cf0 (\cf3 yy_8_2_1_1\cf0 );\par
\cf3 Nl\cf0 ();\par
\cf3 yy_8_2_3_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 "/* GentleFlag = no */"\cf0 );\par
\cf3 Put\cf0 (\cf3 yy_8_2_3_1\cf0 );\par
\cf3 Nl\cf0 ();\par
\cf1 goto\cf0 \cf3 yysl_3_1_8\cf0 ;\par
\cf3 yysl_3_1_8\cf0 : ;\par
\cf3 yyb\cf0 \cf2 =\cf0 \cf3 yysb\cf0 ;\par
\}\par
\cf3 yy_9_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 ""\cf0 );\par
\cf3 Put\cf0 (\cf3 yy_9_1\cf0 );\par
\cf3 Nl\cf0 ();\par
\cf3 yy_11_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 "typedef struct LEXELEMSTRUCT \{"\cf0 );\par
\cf3 Put\cf0 (\cf3 yy_11_1\cf0 );\par
\cf3 Nl\cf0 ();\par
\cf3 yy_13_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 " YYSTYPE val;"\cf0 );\par
\cf3 Put\cf0 (\cf3 yy_13_1\cf0 );\par
\cf3 Nl\cf0 ();\par
\cf3 yy_15_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 " long pos;"\cf0 );\par
\cf3 Put\cf0 (\cf3 yy_15_1\cf0 );\par
\cf3 Nl\cf0 ();\par
\cf3 yy_17_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 " long sym;"\cf0 );\par
\cf3 Put\cf0 (\cf3 yy_17_1\cf0 );\par
\cf3 Nl\cf0 ();\par
\cf3 yy_19_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 " char * text;"\cf0 );\par
\cf3 Put\cf0 (\cf3 yy_19_1\cf0 );\par
\cf3 Nl\cf0 ();\par
\cf3 yy_21_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 " struct LEXELEMSTRUCT *next;"\cf0 );\par
\cf3 Put\cf0 (\cf3 yy_21_1\cf0 );\par
\cf3 Nl\cf0 ();\par
\cf3 yy_23_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 "\} LEXELEM;"\cf0 );\par
\cf3 Put\cf0 (\cf3 yy_23_1\cf0 );\par
\cf3 Nl\cf0 ();\par
\cf3 yy_25_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 " "\cf0 );\par
\cf3 Put\cf0 (\cf3 yy_25_1\cf0 );\par
\cf3 Nl\cf0 ();\par
\cf3 yy_27_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 "LEXELEM *first_lexelem, *cur_lexelem;"\cf0 );\par
\cf3 Put\cf0 (\cf3 yy_27_1\cf0 );\par
\cf3 Nl\cf0 ();\par
\cf3 yy_29_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 ""\cf0 );\par
\cf3 Put\cf0 (\cf3 yy_29_1\cf0 );\par
\cf3 Nl\cf0 ();\par
\cf3 yy_31_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 "void init_lexelem(void)"\cf0 ); \cf5 //CO3\cf0\par
\cf3 Put\cf0 (\cf3 yy_31_1\cf0 );\par
\cf3 Nl\cf0 ();\par
\cf3 yy_33_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 "\{"\cf0 );\par
\cf3 Put\cf0 (\cf3 yy_33_1\cf0 );\par
\cf3 Nl\cf0 ();\par
\cf3 yy_35_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 " cur_lexelem = first_lexelem;"\cf0 );\par
\cf3 Put\cf0 (\cf3 yy_35_1\cf0 );\par
\cf3 Nl\cf0 ();\par
\cf3 yy_37_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 "\}"\cf0 );\par
\cf3 Put\cf0 (\cf3 yy_37_1\cf0 );\par
\cf3 Nl\cf0 ();\par
\cf3 yy_39_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 ""\cf0 );\par
\cf3 Put\cf0 (\cf3 yy_39_1\cf0 );\par
\cf3 Nl\cf0 ();\par
\cf3 yy_41_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 "void first_lexval (void) \{"\cf0 ); \cf5 //CO3\cf0\par
\cf3 Put\cf0 (\cf3 yy_41_1\cf0 );\par
\cf3 Nl\cf0 ();\par
\cf3 yy_43_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 " LEXELEM *p;"\cf0 );\par
\cf3 Put\cf0 (\cf3 yy_43_1\cf0 );\par
\cf3 Nl\cf0 ();\par
\cf3 yy_45_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 " p = (LEXELEM *)co3malloc(sizeof(LEXELEM));"\cf0 ); \cf5 //CO3\cf0\par
\cf3 Put\cf0 (\cf3 yy_45_1\cf0 );\par
\cf3 Nl\cf0 ();\par
\cf3 yy_47_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 " if (! p) yymallocerror();"\cf0 );\par
\cf3 Put\cf0 (\cf3 yy_47_1\cf0 );\par
\cf3 Nl\cf0 ();\par
\cf3 yy_49_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 " p->val = yylval;"\cf0 );\par
\cf3 Put\cf0 (\cf3 yy_49_1\cf0 );\par
\cf3 Nl\cf0 ();\par
\cf3 yy_51_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 " p->pos = yypos;"\cf0 );\par
\cf3 Put\cf0 (\cf3 yy_51_1\cf0 );\par
\cf3 Nl\cf0 ();\par
\cf3 yy_53_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 " p->next = 0;"\cf0 );\par
\cf3 Put\cf0 (\cf3 yy_53_1\cf0 );\par
\cf3 Nl\cf0 ();\par
\cf3 yy_55_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 " cur_lexelem = p;"\cf0 );\par
\cf3 Put\cf0 (\cf3 yy_55_1\cf0 );\par
\cf3 Nl\cf0 ();\par
\cf3 yy_57_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 " first_lexelem = p;"\cf0 );\par
\cf3 Put\cf0 (\cf3 yy_57_1\cf0 );\par
\cf3 Nl\cf0 ();\par
\cf3 yy_59_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 "\}"\cf0 );\par
\cf3 Put\cf0 (\cf3 yy_59_1\cf0 );\par
\cf3 Nl\cf0 ();\par
\cf3 yy_61_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 ""\cf0 );\par
\cf3 Put\cf0 (\cf3 yy_61_1\cf0 );\par
\cf3 Nl\cf0 ();\par
\cf3 yy_63_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 "void next_lexval(void) \{"\cf0 ); \cf5 //CO3\cf0\par
\cf3 Put\cf0 (\cf3 yy_63_1\cf0 );\par
\cf3 Nl\cf0 ();\par
\cf3 yy_65_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 " LEXELEM *p;"\cf0 );\par
\cf3 Put\cf0 (\cf3 yy_65_1\cf0 );\par
\cf3 Nl\cf0 ();\par
\cf3 yy_67_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 " p = (LEXELEM *)co3malloc(sizeof(LEXELEM));"\cf0 ); \cf5 // CO3\cf0\par
\cf3 Put\cf0 (\cf3 yy_67_1\cf0 );\par
\cf3 Nl\cf0 ();\par
\cf3 yy_69_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 " if (! p) yymallocerror();"\cf0 );\par
\cf3 Put\cf0 (\cf3 yy_69_1\cf0 );\par
\cf3 Nl\cf0 ();\par
\cf3 yy_71_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 " cur_lexelem-> next = p;"\cf0 );\par
\cf3 Put\cf0 (\cf3 yy_71_1\cf0 );\par
\cf3 Nl\cf0 ();\par
\cf3 yy_73_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 " p->val = yylval;"\cf0 );\par
\cf3 Put\cf0 (\cf3 yy_73_1\cf0 );\par
\cf3 Nl\cf0 ();\par
\cf3 yy_75_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 " p->pos = yypos;"\cf0 );\par
\cf3 Put\cf0 (\cf3 yy_75_1\cf0 );\par
\cf3 Nl\cf0 ();\par
\cf3 yy_77_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 " p->next = 0;"\cf0 );\par
\cf3 Put\cf0 (\cf3 yy_77_1\cf0 );\par
\cf3 Nl\cf0 ();\par
\cf3 yy_79_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 " cur_lexelem = p;"\cf0 );\par
\cf3 Put\cf0 (\cf3 yy_79_1\cf0 );\par
\cf3 Nl\cf0 ();\par
\cf3 yy_81_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 "\}"\cf0 );\par
\cf3 Put\cf0 (\cf3 yy_81_1\cf0 );\par
\cf3 Nl\cf0 ();\par
\cf3 yy_83_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 ""\cf0 );\par
\cf3 Put\cf0 (\cf3 yy_83_1\cf0 );\par
\cf3 Nl\cf0 ();\par
\cf3 yy_85_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 "void get_lexval(void) \{"\cf0 ); \cf5 //CO3\cf0\par
\cf3 Put\cf0 (\cf3 yy_85_1\cf0 );\par
\cf3 Nl\cf0 ();\par
\cf3 yy_87_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 " extern int FREE_LEXELEMS;"\cf0 );\par
\cf3 Put\cf0 (\cf3 yy_87_1\cf0 );\par
\cf3 Nl\cf0 ();\par
\cf3 yy_89_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 " LEXELEM *p;"\cf0 );\par
\cf3 Put\cf0 (\cf3 yy_89_1\cf0 );\par
\cf3 Nl\cf0 ();\par
\cf3 yy_91_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 " yylval = cur_lexelem->val;"\cf0 );\par
\cf3 Put\cf0 (\cf3 yy_91_1\cf0 );\par
\cf3 Nl\cf0 ();\par
\cf3 yy_93_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 " yypos = cur_lexelem->pos;"\cf0 );\par
\cf3 Put\cf0 (\cf3 yy_93_1\cf0 );\par
\cf3 Nl\cf0 ();\par
\cf3 yy_95_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 " p = cur_lexelem;"\cf0 );\par
\cf3 Put\cf0 (\cf3 yy_95_1\cf0 );\par
\cf3 Nl\cf0 ();\par
\cf3 yy_97_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 " cur_lexelem = cur_lexelem->next;"\cf0 );\par
\cf3 Put\cf0 (\cf3 yy_97_1\cf0 );\par
\cf3 Nl\cf0 ();\par
\cf3 yy_99_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 " free(p);"\cf0 );\par
\cf3 Put\cf0 (\cf3 yy_99_1\cf0 );\par
\cf3 Nl\cf0 ();\par
\cf3 yy_101_1\cf0 \cf2 =\cf0 ((\cf3 yy\cf0 )\cf2 "\}"\cf0 );\par
\cf3 Put\cf0 (\cf3 yy_101_1\cf0 );\par
\cf3 Nl\cf0 ();\par
\cf3 Nl\cf0 ();\par
\cf1 return\cf0 ;\par
\}\par
\}\par
}
[ Verzeichnis aufwärts0.142unsichere Verbindung
]