Changeset 250d2e in git


Ignore:
Timestamp:
May 2, 2016, 5:40:49 PM (8 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '4bd32dfef92ec9f5ed8dceee82d14318ae147107')
Children:
4770e3095a5add3bd90227308385a2d9bc5242f9
Parents:
b93a53cb567360049dc5de6b0ee72c01aa7d1056
Message:
flex stuff: libparse is non-interactive
Location:
Singular
Files:
2 edited

Legend:

Unmodified
Added
Removed

  • Singular/libparse.cc

    rb93a53 r250d2e  
    14781478                        ++yy_cp;
    14791479                        }
    1480                 while ( yy_base[yy_current_state] != 2200 );
     1480                while ( yy_current_state != 484 );
     1481                yy_cp = yy_last_accepting_cpos;
     1482                yy_current_state = yy_last_accepting_state;
    14811483
    14821484yy_find_action:
    14831485                yy_act = yy_accept[yy_current_state];
    1484                 if ( yy_act == 0 )
    1485                         { /* have to back up */
    1486                         yy_cp = yy_last_accepting_cpos;
    1487                         yy_current_state = yy_last_accepting_state;
    1488                         yy_act = yy_accept[yy_current_state];
    1489                         }
    14901486
    14911487                YY_DO_BEFORE_ACTION;
    … …  
    25212517                        else
    25222518                                {
    2523                                 yy_cp = yy_c_buf_p;
     2519                                yy_cp = yy_last_accepting_cpos;
     2520                                yy_current_state = yy_last_accepting_state;
    25242521                                goto yy_find_action;
    25252522                                }

  • Singular/scanner.cc

    rb93a53 r250d2e  
    556556#define YY_RESTORE_YY_MORE_OFFSET
    557557char *yytext;
    558 #line 1 "<stdin>"
     558#line 1 "scanner.l"
    559559#define INITIAL 0
    560 #line 2 "<stdin>"
     560#line 2 "scanner.l"
    561561/****************************************
    562562*  Computer Algebra System SINGULAR     *
    … …  
    825825        register int yy_act;
    826826
    827 #line 121 "<stdin>"
     827#line 121 "scanner.l"
    828828
    829829
    … …  
    918918case 1:
    919919YY_RULE_SETUP
    920 #line 122 "<stdin>"
     920#line 122 "scanner.l"
    921921{ }
    922922        YY_BREAK
    923923case 2:
    924924YY_RULE_SETUP
    925 #line 123 "<stdin>"
     925#line 123 "scanner.l"
    926926{ }
    927927        YY_BREAK
    928928case 3:
    929929YY_RULE_SETUP
    930 #line 124 "<stdin>"
     930#line 124 "scanner.l"
    931931{
    932932                           yy_noeof=noeof_comment;
    … …  
    950950case 4:
    951951YY_RULE_SETUP
    952 #line 142 "<stdin>"
     952#line 142 "scanner.l"
    953953{ prompt_char='.';
    954954                           blocknest = 0; yy_noeof = noeof_brace; BEGIN(brace);
    … …  
    957957case 5:
    958958YY_RULE_SETUP
    959 #line 145 "<stdin>"
     959#line 145 "scanner.l"
    960960{ prompt_char='.';
    961961                           blocknest = 0; yy_noeof = noeof_brace; BEGIN(brace);
    … …  
    964964case 6:
    965965YY_RULE_SETUP
    966 #line 149 "<stdin>"
     966#line 149 "scanner.l"
    967967{ yy_noeof = noeof_asstring;
    968968                           BEGIN(asstring);
    … …  
    972972case 7:
    973973YY_RULE_SETUP
    974 #line 154 "<stdin>"
     974#line 154 "scanner.l"
    975975{ yy_noeof = noeof_asstring;
    976976                           BEGIN(asstring);
    … …  
    980980case 8:
    981981YY_RULE_SETUP
    982 #line 159 "<stdin>"
     982#line 159 "scanner.l"
    983983{
    984984                           char c; char *cp;
    … …  
    992992case 9:
    993993YY_RULE_SETUP
    994 #line 167 "<stdin>"
     994#line 167 "scanner.l"
    995995{
    996996                           lvalp->name = omStrDup((char *)yytext);
    … …  
    10011001case 10:
    10021002YY_RULE_SETUP
    1003 #line 172 "<stdin>"
     1003#line 172 "scanner.l"
    10041004{
    10051005                           yy_noeof = 0; BEGIN(INITIAL);
    … …  
    10091009case 11:
    10101010YY_RULE_SETUP
    1011 #line 177 "<stdin>"
     1011#line 177 "scanner.l"
    10121012{
    10131013                           yy_noeof = noeof_string;
    … …  
    10181018case 12:
    10191019YY_RULE_SETUP
    1020 #line 182 "<stdin>"
     1020#line 182 "scanner.l"
    10211021{ if (blocknest++) yymore(); }
    10221022        YY_BREAK
    10231023case 13:
    10241024YY_RULE_SETUP
    1025 #line 183 "<stdin>"
     1025#line 183 "scanner.l"
    10261026{ if (blocknest) yymore(); }
    10271027        YY_BREAK
    10281028case 14:
    10291029YY_RULE_SETUP
    1030 #line 184 "<stdin>"
     1030#line 184 "scanner.l"
    10311031{
    10321032                           if (blocknest)
    … …  
    10391039case 15:
    10401040YY_RULE_SETUP
    1041 #line 191 "<stdin>"
     1041#line 191 "scanner.l"
    10421042{
    10431043                           if (--blocknest <= 0)
    … …  
    10531053case 16:
    10541054YY_RULE_SETUP
    1055 #line 201 "<stdin>"
     1055#line 201 "scanner.l"
    10561056{
    10571057                           yy_noeof = noeof_brace;
    … …  
    10621062case 17:
    10631063YY_RULE_SETUP
    1064 #line 206 "<stdin>"
     1064#line 206 "scanner.l"
    10651065{ yymore(); }
    10661066        YY_BREAK
    10671067case 18:
    10681068YY_RULE_SETUP
    1069 #line 207 "<stdin>"
     1069#line 207 "scanner.l"
    10701070{ return '('; }
    10711071        YY_BREAK
    10721072case 19:
    10731073YY_RULE_SETUP
    1074 #line 208 "<stdin>"
     1074#line 208 "scanner.l"
    10751075{ return ','; }
    10761076        YY_BREAK
    10771077case 20:
    10781078YY_RULE_SETUP
    1079 #line 209 "<stdin>"
     1079#line 209 "scanner.l"
    10801080{ ; }
    10811081        YY_BREAK
    10821082case 21:
    10831083YY_RULE_SETUP
    1084 #line 210 "<stdin>"
     1084#line 210 "scanner.l"
    10851085{
    10861086                           lvalp->name = omStrDup((char *)yytext);
    … …  
    10901090case 22:
    10911091YY_RULE_SETUP
    1092 #line 214 "<stdin>"
     1092#line 214 "scanner.l"
    10931093{
    10941094                           lvalp->name = omStrDup((char *)yytext);
    … …  
    10981098case 23:
    10991099YY_RULE_SETUP
    1100 #line 218 "<stdin>"
     1100#line 218 "scanner.l"
    11011101{
    11021102                           yy_noeof = 0; BEGIN(INITIAL);
    … …  
    11061106case 24:
    11071107YY_RULE_SETUP
    1108 #line 223 "<stdin>"
     1108#line 223 "scanner.l"
    11091109{
    11101110                           yy_blocklineno = yylineno;
    … …  
    11161116case 25:
    11171117YY_RULE_SETUP
    1118 #line 229 "<stdin>"
     1118#line 229 "scanner.l"
    11191119{
    11201120                           yy_noeof = noeof_string;
    … …  
    11251125case 26:
    11261126YY_RULE_SETUP
    1127 #line 234 "<stdin>"
     1127#line 234 "scanner.l"
    11281128{ yymore(); }
    11291129        YY_BREAK
    11301130case 27:
    11311131YY_RULE_SETUP
    1132 #line 235 "<stdin>"
     1132#line 235 "scanner.l"
    11331133{ yymore(); }
    11341134        YY_BREAK
    11351135case 28:
    11361136YY_RULE_SETUP
    1137 #line 236 "<stdin>"
     1137#line 236 "scanner.l"
    11381138{ yymore(); }
    11391139        YY_BREAK
    11401140case 29:
    11411141YY_RULE_SETUP
    1142 #line 237 "<stdin>"
     1142#line 237 "scanner.l"
    11431143{
    11441144                           yy_noeof = noeof_block;
    … …  
    11491149case 30:
    11501150YY_RULE_SETUP
    1151 #line 242 "<stdin>"
     1151#line 242 "scanner.l"
    11521152{ yymore(); }
    11531153        YY_BREAK
    11541154case 31:
    11551155YY_RULE_SETUP
    1156 #line 243 "<stdin>"
     1156#line 243 "scanner.l"
    11571157{ yymore(); }
    11581158        YY_BREAK
    11591159case 32:
    11601160YY_RULE_SETUP
    1161 #line 244 "<stdin>"
     1161#line 244 "scanner.l"
    11621162{ blocknest++; yymore(); }
    11631163        YY_BREAK
    11641164case 33:
    11651165YY_RULE_SETUP
    1166 #line 245 "<stdin>"
     1166#line 245 "scanner.l"
    11671167{
    11681168                           if (--blocknest <= 0)
    … …  
    11781178case 34:
    11791179YY_RULE_SETUP
    1180 #line 255 "<stdin>"
     1180#line 255 "scanner.l"
    11811181{ BEGIN(string); yy_noeof = noeof_string;}
    11821182        YY_BREAK
    11831183case 35:
    11841184YY_RULE_SETUP
    1185 #line 256 "<stdin>"
     1185#line 256 "scanner.l"
    11861186{ return SYS_BREAK; }
    11871187        YY_BREAK
    11881188case 36:
    11891189YY_RULE_SETUP
    1190 #line 257 "<stdin>"
     1190#line 257 "scanner.l"
    11911191{ yymore(); }
    11921192        YY_BREAK
    11931193case 37:
    11941194YY_RULE_SETUP
    1195 #line 258 "<stdin>"
     1195#line 258 "scanner.l"
    11961196{ yymore(); }
    11971197        YY_BREAK
    11981198case 38:
    11991199YY_RULE_SETUP
    1200 #line 259 "<stdin>"
     1200#line 259 "scanner.l"
    12011201{ yymore(); }
    12021202        YY_BREAK
    12031203case 39:
    12041204YY_RULE_SETUP
    1205 #line 260 "<stdin>"
     1205#line 260 "scanner.l"
    12061206{
    12071207                           char * s;
    … …  
    12201220case 40:
    12211221YY_RULE_SETUP
    1222 #line 274 "<stdin>"
     1222#line 274 "scanner.l"
    12231223/* skip whitespace */
    12241224        YY_BREAK
    12251225case 41:
    12261226YY_RULE_SETUP
    1227 #line 275 "<stdin>"
     1227#line 275 "scanner.l"
    12281228{ return DOTDOT; }
    12291229        YY_BREAK
    12301230case 42:
    12311231YY_RULE_SETUP
    1232 #line 276 "<stdin>"
     1232#line 276 "scanner.l"
    12331233{ return COLONCOLON; }
    12341234        YY_BREAK
    12351235case 43:
    12361236YY_RULE_SETUP
    1237 #line 277 "<stdin>"
     1237#line 277 "scanner.l"
    12381238{ return MINUSMINUS; }
    12391239        YY_BREAK
    12401240case 44:
    12411241YY_RULE_SETUP
    1242 #line 278 "<stdin>"
     1242#line 278 "scanner.l"
    12431243{ return PLUSPLUS  ; }
    12441244        YY_BREAK
    12451245case 45:
    12461246YY_RULE_SETUP
    1247 #line 279 "<stdin>"
     1247#line 279 "scanner.l"
    12481248{ return EQUAL_EQUAL; }
    12491249        YY_BREAK
    12501250case 46:
    12511251YY_RULE_SETUP
    1252 #line 280 "<stdin>"
     1252#line 280 "scanner.l"
    12531253{ lvalp->i='&'; return LOGIC_OP; }
    12541254        YY_BREAK
    12551255case 47:
    12561256YY_RULE_SETUP
    1257 #line 281 "<stdin>"
     1257#line 281 "scanner.l"
    12581258{ lvalp->i='|'; return LOGIC_OP; }
    12591259        YY_BREAK
    12601260case 48:
    12611261YY_RULE_SETUP
    1262 #line 282 "<stdin>"
     1262#line 282 "scanner.l"
    12631263{ lvalp->i=LE; return COMP_OP; }
    12641264        YY_BREAK
    12651265case 49:
    12661266YY_RULE_SETUP
    1267 #line 283 "<stdin>"
     1267#line 283 "scanner.l"
    12681268{ lvalp->i=GE; return COMP_OP; }
    12691269        YY_BREAK
    12701270case 50:
    12711271YY_RULE_SETUP
    1272 #line 284 "<stdin>"
     1272#line 284 "scanner.l"
    12731273{ return NOT; }
    12741274        YY_BREAK
    12751275case 51:
    12761276YY_RULE_SETUP
    1277 #line 285 "<stdin>"
     1277#line 285 "scanner.l"
    12781278{ return NOTEQUAL; }
    12791279        YY_BREAK
    12801280case 52:
    12811281YY_RULE_SETUP
    1282 #line 286 "<stdin>"
     1282#line 286 "scanner.l"
    12831283{ return NOTEQUAL; }
    12841284        YY_BREAK
    12851285case 53:
    12861286YY_RULE_SETUP
    1287 #line 287 "<stdin>"
     1287#line 287 "scanner.l"
    12881288{ return '^'; }
    12891289        YY_BREAK
    12901290case 54:
    12911291YY_RULE_SETUP
    1292 #line 288 "<stdin>"
     1292#line 288 "scanner.l"
    12931293{ return ARROW; }
    12941294        YY_BREAK
    12951295case 55:
    12961296YY_RULE_SETUP
    1297 #line 289 "<stdin>"
     1297#line 289 "scanner.l"
    12981298{ return '\\'; }
    12991299        YY_BREAK
    13001300case 56:
    13011301YY_RULE_SETUP
    1302 #line 290 "<stdin>"
     1302#line 290 "scanner.l"
    13031303{
    13041304                           lvalp->name = omStrDup("\n");
    … …  
    13081308case 57:
    13091309YY_RULE_SETUP
    1310 #line 294 "<stdin>"
     1310#line 294 "scanner.l"
    13111311{
    13121312                           lvalp->name = (char *)yytext;
    … …  
    13161316case 58:
    13171317YY_RULE_SETUP
    1318 #line 298 "<stdin>"
     1318#line 298 "scanner.l"
    13191319{
    13201320                           lvalp->name = (char *)yytext;
    … …  
    13241324case 59:
    13251325YY_RULE_SETUP
    1326 #line 302 "<stdin>"
     1326#line 302 "scanner.l"
    13271327{
    13281328                           m2_end(-1);
    … …  
    13311331case 60:
    13321332YY_RULE_SETUP
    1333 #line 305 "<stdin>"
     1333#line 305 "scanner.l"
    13341334{
    13351335                           #ifdef MM_STAT
    … …  
    13461346case 61:
    13471347YY_RULE_SETUP
    1348 #line 317 "<stdin>"
     1348#line 317 "scanner.l"
    13491349{
    13501350                           lvalp->name = (char *)yytext;
    … …  
    13541354case 62:
    13551355YY_RULE_SETUP
    1356 #line 321 "<stdin>"
     1356#line 321 "scanner.l"
    13571357{
    13581358                           lvalp->name = (char *)yytext;
    … …  
    13651365YY_DO_BEFORE_ACTION; /* set up yytext again */
    13661366YY_RULE_SETUP
    1367 #line 325 "<stdin>"
     1367#line 325 "scanner.l"
    13681368{
    13691369                           lvalp->name = (char *)yytext;
    … …  
    13731373case 64:
    13741374YY_RULE_SETUP
    1375 #line 330 "<stdin>"
     1375#line 330 "scanner.l"
    13761376{
    13771377                           /* {name} */
    … …  
    13921392case 65:
    13931393YY_RULE_SETUP
    1394 #line 346 "<stdin>"
     1394#line 346 "scanner.l"
    13951395{
    13961396                           /*if (*yytext == '\n') REJECT;*/
    … …  
    14171417case 66:
    14181418YY_RULE_SETUP
    1419 #line 367 "<stdin>"
     1419#line 367 "scanner.l"
    14201420YY_FATAL_ERROR( "flex scanner jammed" );
    14211421        YY_BREAK
    … …  
    23142314        }
    23152315#endif
    2316 #line 367 "<stdin>"
     2316#line 367 "scanner.l"
    23172317
    23182318
    … …  
    23322332
    23332333void my_yy_flush() { YY_FLUSH_BUFFER;BEGIN(0); }
    2334 
Note: See TracChangeset for help on using the changeset viewer.