Changeset de25e5 in git


Ignore:
Timestamp:
Feb 10, 2010, 2:32:06 PM (14 years ago)
Author:
Hans Schönemann <hannes@…>
Branches:
(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')
Children:
4a09df4e7fec1fcbc85cd5052b9a374ed9ddd671
Parents:
bf3a67ebcb83abf41b02b083b19bd29eb4000fe6
Message:
scanner simplified

git-svn-id: file:///usr/local/Singular/svn/trunk@12543 2c84dea3-7e68-4137-9b89-c4e89433aadc
Location:
Singular
Files:
2 edited

Legend:

Unmodified
Added
Removed

  • Singular/scanner.cc

    rbf3a67 rde25e5  
    22
    33/* Scanner skeleton version:
    4  * $Header: /exports/cvsroot-2/cvsroot/Singular/scanner.cc,v 1.4 2008-07-16 12:51:26 Singular Exp $
     4 * $Header: /home/daffy/u0/vern/flex/RCS/flex.skl,v 2.91 96/09/10 16:58:48 vern Exp $
    55 */
    66
    … …  
    303303        1,   60,   62,   60,   62,   57,   63,   63,    5,   63,
    304304       63,   63,   63,   63,    2,   30,   31,   22,    0,    0,
    305         0,   63,   59,    6,   63,   63,   63,   60,   61,    0,
    306        63,   59,   59,   63,    0,    4,   63,   63,    0,    0,
     305        0,   63,   63,    6,   63,   63,   63,   60,   61,    0,
     306       63,    0,   59,   63,    0,    4,   63,   63,    0,    0,
    307307        7,   55,    0,    0,    8,    0,    0,    7,    0
    308308    } ;
    … …  
    351351static yyconst short int yy_base[191] =
    352352    {   0,
    353         0,  395,   43,   44,   45,   46,   47,   48,   50,   54,
    354       395,  394,   74,   92,   75,   76,  312,  555,  555,  555,
    355       288,  555,  555,  555,  301,   40,  295,  289,  285,   38,
    356        69,   82,  280,   60,  273,  272,  103,  555,   83,   89,
    357        90,   92,   94,   96,  105,  555,  238,  555,  269,  555,
    358       555,   62,    0,  555,  244,  555,  555,  555,  555,  119,
    359       555,  555,  555,  555,  555,  555,  555,    0,  126,  137,
    360       555,  555,  555,    0,  555,  555,  555,  555,  114,  117,
    361       123,  555,  555,  555,  555,  116,  555,    0,  136,  128,
    362       231,  142,  555,  555,  555,  555,  555,  128,  137,  144,
    363 
    364       147,  148,  149,  129,  144,  555,    0,  555,  555,    0,
    365       176,  555,  555,    0,  185,  187,  240,    0,    0,   98,
    366         0,  177,  555,  150,  169,  186,  173,  179,  145,  181,
    367       182,  189,  196,  197,    0,  194,    0,  555,  194,  173,
    368       132,  200,  232,  224,  212,  230,  214,   99,   39,  237,
    369       233,  266,  555,  215,  209,  231,  242,  243,  275,   70,
    370       276,  252,  279,  280,  555,  286,  287,  290,  555,  314,
    371       326,  338,  350,  362,  374,  386,  394,  402,  412,  424,
    372       436,  448,  460,  472,  484,  496,  508,  520,  531,  542
     353        0,  391,   43,   44,   45,   46,   47,   48,   50,   54,
     354      391,  390,   74,   92,   75,   76,  395,  550,  550,  550,
     355      284,  550,  550,  550,  297,   40,  292,  290,  286,   38,
     356       69,   82,  279,   60,  274,  273,  103,  550,   83,   89,
     357       90,   92,   94,   96,  105,  550,  248,  550,  286,  550,
     358      550,   62,    0,  550,  268,  550,  550,  550,  550,  119,
     359      550,  550,  550,  550,  550,  550,  550,    0,  126,  137,
     360      550,  550,  550,    0,  550,  550,  550,  550,  114,  117,
     361      123,  550,  550,  550,  550,  116,  550,    0,  136,  128,
     362      262,  142,  550,  550,  550,  550,  550,  128,  137,  144,
     363
     364      147,  148,  149,  129,  144,  550,    0,  550,  550,    0,
     365      176,  550,  550,    0,  185,  187,  234,    0,    0,   98,
     366        0,  177,  550,  150,  169,  186,  173,  179,  145,  181,
     367      182,  189,  196,  197,    0,  194,    0,  550,  194,  173,
     368      132,  200,  224,  232,  214,  230,  216,   99,   39,  237,
     369      231,  248,  550,  234,  209,  215,  238,  244,  271,   70,
     370      258,  247,  274,  276,  550,  281,  282,  286,  550,  309,
     371      321,  333,  345,  357,  369,  381,  389,  397,  407,  419,
     372      431,  443,  455,  467,  479,  491,  503,  515,  526,  537
    373373    } ;
    374374
    … …  
    390390      183,  178,  169,  169,  169,  178,   99,   99,   99,   99,
    391391       99,   99,   99,   99,  185,  186,  188,  169,  169,  169,
    392       169,   99,   99,   99,   99,   99,   99,  169,  169,  178,
     392      169,   99,   99,  143,   99,   99,   99,  169,  169,  178,
    393393       99,  169,  169,   99,  189,   99,   99,   99,  190,  169,
    394        99,   99,  169,  190,  169,  190,  190,  169,    0,  169,
     394      143,   99,  169,  190,  169,  190,  190,  169,    0,  169,
    395395      169,  169,  169,  169,  169,  169,  169,  169,  169,  169,
    396396      169,  169,  169,  169,  169,  169,  169,  169,  169,  169
    397397    } ;
    398398
    399 static yyconst short int yy_nxt[604] =
     399static yyconst short int yy_nxt[599] =
    400400    {   0,
    401401       18,   19,   20,   19,   21,   22,   23,   24,   25,   26,
    … …  
    423423       79,  117,  169,  141,  126,   79,   79,  142,   79,   79,
    424424      155,   79,  148,   79,   79,  145,   79,  146,  144,  143,
    425       137,   79,  137,   79,   79,   98,   98,   79,   79,   79,
    426       147,  155,   79,  152,  152,  160,  143,  151,  137,   79,
    427       137,   79,   79,  156,  154,  138,   79,   79,  153,  126,
    428       158,   79,  153,  169,  141,  150,   79,   79,   79,   79,
    429        79,  111,   79,   79,   79,   79,  157,  152,  152,   79,
    430        79,  161,  162,  107,   79,   79,  163,  168,  168,   79,
    431       163,  163,  153,  106,   79,  165,  153,  163,  163,  165,
    432       165,  168,  168,  166,   97,   96,  165,  165,  166,   93,
    433 
    434        84,  167,   83,   79,  166,  166,  167,   82,   79,   78,
    435        77,  169,  167,  167,   50,   50,   50,   50,   50,   50,
    436        50,   50,   50,   50,   50,   50,   53,   53,   53,   53,
    437        53,   53,   53,   53,   53,   53,   53,   53,   58,   58,
    438        58,   58,   58,   58,   58,   58,   58,   58,   58,   58,
    439        61,   61,   61,   61,   61,   61,   61,   61,   61,   61,
    440        61,   61,   66,   66,   66,   66,   66,   66,   66,   66,
    441        66,   66,   66,   66,   68,   68,   68,   68,   68,   68,
    442        68,   68,   68,   68,   68,   68,   74,   74,   74,   74,
    443        74,   74,   74,   74,   74,   74,   74,   74,   79,   67,
    444 
    445        67,   49,  169,   79,  169,   79,   89,  169,  169,   89,
    446        89,   89,  110,  110,  110,  169,  110,  110,  110,  110,
    447       110,  110,  110,  110,  114,  169,  169,  114,  114,  169,
    448       169,  114,  114,  114,  114,  114,  116,  116,  116,  116,
    449       116,  116,  116,  116,  116,  116,  116,  116,  119,  119,
    450       169,  119,  119,  119,  119,  119,  119,  119,  169,  119,
    451       121,  121,  169,  121,  121,  121,  121,  121,  121,  121,
    452       121,  121,  123,  123,  123,  123,  123,  123,  123,  169,
    453       123,  123,  123,  123,  135,  135,  169,  135,  135,  135,
    454       135,  135,  135,  135,  135,  135,  136,  136,  136,  136,
    455 
    456       136,  136,  136,  136,  136,  136,  136,  136,  117,  117,
    457       117,  117,  117,  117,  117,  117,  117,  117,  117,  117,
    458       137,  137,  169,  137,  137,  137,  137,  137,  137,  137,
    459       137,  137,  159,  169,  169,  159,  169,  169,  169,  169,
    460       169,  169,  159,  164,  169,  169,  164,  164,  169,  169,
    461       169,  164,  169,  164,   17,  169,  169,  169,  169,  169,
     425      137,   79,  137,   79,   79,  152,  152,   79,   79,   79,
     426      147,  155,   79,   98,   98,  160,  143,  151,  137,  138,
     427      137,   79,   79,   79,  153,  156,  154,   79,   79,  152,
     428      152,   79,  169,  169,  141,  150,   79,   79,   79,  168,
     429      168,   79,   79,   79,  157,   79,   79,  161,  153,  158,
     430       79,   79,  163,  162,   79,  163,   79,  163,  169,   79,
     431      126,  165,  163,  163,  165,  111,  165,  168,  168,  166,
     432      107,  165,  165,  106,  166,   97,   96,  167,   93,  166,
     433
     434      166,   84,  167,   83,   82,   78,   77,  167,  167,   50,
     435       50,   50,   50,   50,   50,   50,   50,   50,   50,   50,
     436       50,   53,   53,   53,   53,   53,   53,   53,   53,   53,
     437       53,   53,   53,   58,   58,   58,   58,   58,   58,   58,
     438       58,   58,   58,   58,   58,   61,   61,   61,   61,   61,
     439       61,   61,   61,   61,   61,   61,   61,   66,   66,   66,
     440       66,   66,   66,   66,   66,   66,   66,   66,   66,   68,
     441       68,   68,   68,   68,   68,   68,   68,   68,   68,   68,
     442       68,   74,   74,   74,   74,   74,   74,   74,   74,   74,
     443       74,   74,   74,   79,  169,   67,   67,   49,   79,  169,
     444
     445       79,   89,  169,  169,   89,   89,   89,  110,  110,  110,
     446      169,  110,  110,  110,  110,  110,  110,  110,  110,  114,
     447      169,  169,  114,  114,  169,  169,  114,  114,  114,  114,
     448      114,  116,  116,  116,  116,  116,  116,  116,  116,  116,
     449      116,  116,  116,  119,  119,  169,  119,  119,  119,  119,
     450      119,  119,  119,  169,  119,  121,  121,  169,  121,  121,
     451      121,  121,  121,  121,  121,  121,  121,  123,  123,  123,
     452      123,  123,  123,  123,  169,  123,  123,  123,  123,  135,
     453      135,  169,  135,  135,  135,  135,  135,  135,  135,  135,
     454      135,  136,  136,  136,  136,  136,  136,  136,  136,  136,
     455
     456      136,  136,  136,  117,  117,  117,  117,  117,  117,  117,
     457      117,  117,  117,  117,  117,  137,  137,  169,  137,  137,
     458      137,  137,  137,  137,  137,  137,  137,  159,  169,  169,
     459      159,  169,  169,  169,  169,  169,  169,  159,  164,  169,
     460      169,  164,  164,  169,  169,  169,  164,  169,  164,   17,
    462461      169,  169,  169,  169,  169,  169,  169,  169,  169,  169,
    463462      169,  169,  169,  169,  169,  169,  169,  169,  169,  169,
    464463      169,  169,  169,  169,  169,  169,  169,  169,  169,  169,
    465464      169,  169,  169,  169,  169,  169,  169,  169,  169,  169,
    466 
    467       169,  169,  169
     465      169,  169,  169,  169,  169,  169,  169,  169
     466
    468467    } ;
    469468
    470 static yyconst short int yy_chk[604] =
     469static yyconst short int yy_chk[599] =
    471470    {   0,
    472471        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
    … …  
    494493      127,  116,  126,  126,  126,  127,  128,  127,  130,  131,
    495494      155,  128,  139,  130,  131,  131,  132,  132,  130,  128,
    496       111,  132,  111,  133,  134,  144,  144,  142,  133,  134,
    497       134,  146,  142,  143,  143,  155,  133,  142,  136,  145,
    498       136,  147,  154,  147,  145,  117,  147,  154,  143,   91,
    499       154,  144,  143,  150,  150,  150,  144,  146,  156,  143,
    500       151,   55,  146,  156,  143,  151,  151,  152,  152,  157,
    501       158,  157,  158,   49,  157,  158,  159,  161,  161,  162,
    502       163,  164,  152,   47,  162,  159,  152,  166,  167,  163,
    503       164,  168,  168,  159,   36,   35,  166,  167,  164,   33,
    504 
    505        29,  159,   28,  161,  166,  167,  164,   27,  161,   25,
    506        21,   17,  166,  167,  170,  170,  170,  170,  170,  170,
    507       170,  170,  170,  170,  170,  170,  171,  171,  171,  171,
    508       171,  171,  171,  171,  171,  171,  171,  171,  172,  172,
    509       172,  172,  172,  172,  172,  172,  172,  172,  172,  172,
    510       173,  173,  173,  173,  173,  173,  173,  173,  173,  173,
    511       173,  173,  174,  174,  174,  174,  174,  174,  174,  174,
    512       174,  174,  174,  174,  175,  175,  175,  175,  175,  175,
    513       175,  175,  175,  175,  175,  175,  176,  176,  176,  176,
    514       176,  176,  176,  176,  176,  176,  176,  176,  177,   12,
    515 
    516        11,    2,    0,  177,    0,  177,  178,    0,    0,  178,
    517       178,  178,  179,  179,  179,    0,  179,  179,  179,  179,
    518       179,  179,  179,  179,  180,    0,    0,  180,  180,    0,
    519         0,  180,  180,  180,  180,  180,  181,  181,  181,  181,
    520       181,  181,  181,  181,  181,  181,  181,  181,  182,  182,
    521         0,  182,  182,  182,  182,  182,  182,  182,    0,  182,
    522       183,  183,    0,  183,  183,  183,  183,  183,  183,  183,
    523       183,  183,  184,  184,  184,  184,  184,  184,  184,    0,
    524       184,  184,  184,  184,  185,  185,    0,  185,  185,  185,
    525       185,  185,  185,  185,  185,  185,  186,  186,  186,  186,
    526 
    527       186,  186,  186,  186,  186,  186,  186,  186,  187,  187,
    528       187,  187,  187,  187,  187,  187,  187,  187,  187,  187,
    529       188,  188,    0,  188,  188,  188,  188,  188,  188,  188,
    530       188,  188,  189,    0,    0,  189,    0,    0,    0,    0,
    531         0,    0,  189,  190,    0,    0,  190,  190,    0,    0,
    532         0,  190,    0,  190,  169,  169,  169,  169,  169,  169,
     495      111,  132,  111,  133,  134,  143,  143,  142,  133,  134,
     496      134,  146,  142,  144,  144,  155,  133,  142,  136,  117,
     497      136,  145,  156,  147,  143,  147,  145,  156,  147,  152,
     498      152,  143,  144,  150,  150,  150,  143,  146,  151,  161,
     499      161,  154,  146,  151,  151,  157,  154,  157,  152,  154,
     500      157,  158,  159,  158,  162,  163,  158,  164,  161,  162,
     501       91,  159,  166,  167,  163,   55,  164,  168,  168,  159,
     502       49,  166,  167,   47,  164,   36,   35,  159,   33,  166,
     503
     504      167,   29,  164,   28,   27,   25,   21,  166,  167,  170,
     505      170,  170,  170,  170,  170,  170,  170,  170,  170,  170,
     506      170,  171,  171,  171,  171,  171,  171,  171,  171,  171,
     507      171,  171,  171,  172,  172,  172,  172,  172,  172,  172,
     508      172,  172,  172,  172,  172,  173,  173,  173,  173,  173,
     509      173,  173,  173,  173,  173,  173,  173,  174,  174,  174,
     510      174,  174,  174,  174,  174,  174,  174,  174,  174,  175,
     511      175,  175,  175,  175,  175,  175,  175,  175,  175,  175,
     512      175,  176,  176,  176,  176,  176,  176,  176,  176,  176,
     513      176,  176,  176,  177,   17,   12,   11,    2,  177,    0,
     514
     515      177,  178,    0,    0,  178,  178,  178,  179,  179,  179,
     516        0,  179,  179,  179,  179,  179,  179,  179,  179,  180,
     517        0,    0,  180,  180,    0,    0,  180,  180,  180,  180,
     518      180,  181,  181,  181,  181,  181,  181,  181,  181,  181,
     519      181,  181,  181,  182,  182,    0,  182,  182,  182,  182,
     520      182,  182,  182,    0,  182,  183,  183,    0,  183,  183,
     521      183,  183,  183,  183,  183,  183,  183,  184,  184,  184,
     522      184,  184,  184,  184,    0,  184,  184,  184,  184,  185,
     523      185,    0,  185,  185,  185,  185,  185,  185,  185,  185,
     524      185,  186,  186,  186,  186,  186,  186,  186,  186,  186,
     525
     526      186,  186,  186,  187,  187,  187,  187,  187,  187,  187,
     527      187,  187,  187,  187,  187,  188,  188,    0,  188,  188,
     528      188,  188,  188,  188,  188,  188,  188,  189,    0,    0,
     529      189,    0,    0,    0,    0,    0,    0,  189,  190,    0,
     530        0,  190,  190,    0,    0,    0,  190,    0,  190,  169,
    533531      169,  169,  169,  169,  169,  169,  169,  169,  169,  169,
    534532      169,  169,  169,  169,  169,  169,  169,  169,  169,  169,
    535533      169,  169,  169,  169,  169,  169,  169,  169,  169,  169,
    536534      169,  169,  169,  169,  169,  169,  169,  169,  169,  169,
    537 
    538       169,  169,  169
     535      169,  169,  169,  169,  169,  169,  169,  169
     536
    539537    } ;
    540538
    … …  
    885883                        ++yy_cp;
    886884                        }
    887                 while ( yy_base[yy_current_state] != 555 );
     885                while ( yy_base[yy_current_state] != 550 );
    888886
    889887yy_find_action:

  • Singular/scanner.l

    rbf3a67 rde25e5  
    301301                           m2_end(-1);
    302302                         }
    303 (quit|exit)[ \t\n]*[\.;]?  {
     303(quit|exit)[ \t\n]*;     {
    304304                           #ifdef MM_STAT
    305305                           mmStat(-500);
    … …  
    307307                           #ifdef OM_TRACK
    308308                           #ifndef NDEBUG
    309                              omPrintUsedTrackAddrs(stdout, 1);
     309                             omPrintUsedTrackAddrs(stdout, 10);
    310310                           #endif
    311311                           #endif
Note: See TracChangeset for help on using the changeset viewer.