]> andersk Git - splint.git/blobdiff - src/lex.yy.c
Merged with Dave Evans's changes.
[splint.git] / src / lex.yy.c
index 3d4a731a2e9f2c706baa8a8039fa21b756772351..45e13de3dfc4e85f2fdae184199cc4558d77e1b3 100644 (file)
@@ -282,68 +282,68 @@ static void yy_fatal_error YY_PROTO(( yyconst char msg[] ));
        *yy_cp = '\0'; \
        yy_c_buf_p = yy_cp;
 
-#define YY_NUM_RULES 180
-#define YY_END_OF_BUFFER 181
-static yyconst short int yy_accept[529] =
+#define YY_NUM_RULES 181
+#define YY_END_OF_BUFFER 182
+static yyconst short int yy_accept[530] =
     {   0,
-        0,    0,  181,  179,  159,  160,  147,  179,    3,   82,
-      153,  146,  179,  141,  142,  151,  150,  138,  149,  145,
-      152,   97,   97,  139,  135,  154,  140,  155,  158,  179,
-       82,  143,  178,  144,  156,   82,   82,   82,   82,   82,
+        0,    0,  182,  180,  160,  161,  147,  180,    3,   82,
+      153,  146,  180,  141,  142,  151,  150,  138,  149,  145,
+      152,   97,   97,  139,  135,  154,  140,  155,  158,  180,
+       82,  143,  179,  144,  156,   82,   82,   82,   82,   82,
        82,   82,   82,   82,   82,   82,   82,   82,   82,   82,
        82,   82,   82,   82,   82,   82,  136,  157,  137,  148,
-      134,    0,   42,    0,    2,   82,  120,  176,  177,  129,
+      134,    0,   42,    0,    2,   82,  120,  177,  178,  129,
       121,    0,    0,  118,  126,  116,  127,  117,  128,    0,
-      110,    1,  119,  113,   90,    0,   99,   98,    0,   97,
-      125,  131,  133,  132,  124,    0,    0,    0,   82,  122,
+      110,    1,  119,  159,  113,   90,    0,   99,   98,    0,
+       97,  125,  131,  133,  132,  124,    0,    0,    0,   82,
 
-       82,   82,   82,   82,   82,   82,   82,   82,    9,   82,
-       82,   82,   82,   82,   82,   82,   13,   44,   82,   82,
+      122,   82,   82,   82,   82,   82,   82,   82,   82,    9,
+       82,   82,   82,   82,   82,   82,   82,   13,   44,   82,
        82,   82,   82,   82,   82,   82,   82,   82,   82,   82,
        82,   82,   82,   82,   82,   82,   82,   82,   82,   82,
-       82,   82,   82,   82,   82,   82,  123,  130,    0,    0,
-        2,  104,    4,    0,  108,  109,  110,    0,  111,  112,
-       92,   91,    0,  107,  100,  101,  101,   83,  115,  114,
-      166,  167,  164,  169,  174,  165,  175,  170,  173,  168,
-      171,  172,    0,    0,   82,   82,   82,   82,   82,   82,
+       82,   82,   82,   82,   82,   82,   82,  123,  130,    0,
+        0,    2,  104,    4,    0,  108,  109,  110,    0,  111,
+      112,   92,   91,    0,  107,  100,  101,  101,   83,  115,
+      114,  167,  168,  165,  170,  175,  166,  176,  171,  174,
+      169,  172,  173,    0,    0,   82,   82,   82,   82,   82,
        82,   82,   82,   82,   82,   82,   82,   82,   82,   82,
 
-       82,   82,   11,   82,   82,   27,   82,   82,   82,   82,
-       82,   82,   82,   82,   82,   82,   43,   82,   82,   82,
-       82,   82,   82,   74,   82,   82,   82,   82,   82,   82,
-       82,   82,   82,   82,   82,   82,   82,   82,   82,   82,
-       82,   82,   82,   82,   82,    0,   42,    0,    0,  110,
-        0,  108,  109,    0,  113,   93,   94,   94,  105,  106,
-      103,  102,   84,   86,  163,    0,    0,   82,   82,   82,
-       82,   39,   82,    6,   29,   82,   82,   82,   82,   82,
-       82,   10,   25,   82,   82,   82,   82,   12,   82,   82,
-       82,   51,   82,   31,   82,   82,   52,   82,   82,   68,
-
+       82,   82,   82,   11,   82,   82,   27,   82,   82,   82,
+       82,   82,   82,   82,   82,   82,   82,   43,   82,   82,
+       82,   82,   82,   82,   74,   82,   82,   82,   82,   82,
        82,   82,   82,   82,   82,   82,   82,   82,   82,   82,
+       82,   82,   82,   82,   82,   82,    0,   42,    0,    0,
+      110,    0,  108,  109,    0,  113,   93,   94,   94,  105,
+      106,  103,  102,   84,   86,  164,    0,    0,   82,   82,
+       82,   82,   39,   82,    6,   29,   82,   82,   82,   82,
+       82,   82,   10,   25,   82,   82,   82,   82,   12,   82,
+       82,   82,   51,   82,   31,   82,   82,   52,   82,   82,
+
+       68,   82,   82,   82,   82,   82,   82,   82,   82,   82,
        82,   82,   82,   82,   82,   82,   82,   82,   82,   82,
-       82,   82,   82,   82,   82,   26,   82,   82,   82,    0,
-      110,   96,   95,   85,   87,   87,    0,  162,   82,   82,
-       82,   82,    5,   82,   36,   82,   82,   82,   82,   82,
-       82,   82,   30,   82,   82,   82,   82,   82,   82,   82,
-       82,   82,   82,   69,   82,   82,   82,   82,   82,   82,
-       82,   32,   82,   82,   82,   82,   82,   82,   82,   82,
-       82,   82,   77,   24,   82,   82,   82,   82,   82,   18,
-       76,   89,   88,  161,   82,   80,   82,   82,   82,   82,
-
-       82,   82,   82,   28,   82,   38,   82,   21,   82,   54,
-       78,   82,   60,   82,   82,   82,   82,   82,   82,   82,
-       58,   82,   14,   75,   34,   15,   82,   41,   22,   17,
-       82,   82,   82,   82,   82,   72,   19,   20,   82,   81,
-       37,   47,   64,   82,   82,    8,   82,   59,   82,   82,
-       82,   62,   53,   82,   82,   82,   45,   82,   82,   57,
-       82,   46,   61,   82,   23,   82,   82,   82,   82,   65,
-        7,   82,   73,   82,   82,   82,   70,   16,   82,   40,
-       82,   55,   82,   33,   35,   82,   71,   56,   82,   82,
-       82,   82,   67,   82,   82,   82,   82,   63,   82,   82,
-
-       82,   82,   82,   82,   82,   82,   48,   82,   82,   82,
-       66,   82,   82,   82,   79,   82,   82,   82,   82,   82,
-       82,   82,   82,   50,   82,   82,   49,    0
+       82,   82,   82,   82,   82,   82,   26,   82,   82,   82,
+        0,  110,   96,   95,   85,   87,   87,    0,  163,   82,
+       82,   82,   82,    5,   82,   36,   82,   82,   82,   82,
+       82,   82,   82,   30,   82,   82,   82,   82,   82,   82,
+       82,   82,   82,   82,   69,   82,   82,   82,   82,   82,
+       82,   82,   32,   82,   82,   82,   82,   82,   82,   82,
+       82,   82,   82,   77,   24,   82,   82,   82,   82,   82,
+       18,   76,   89,   88,  162,   82,   80,   82,   82,   82,
+
+       82,   82,   82,   82,   28,   82,   38,   82,   21,   82,
+       54,   78,   82,   60,   82,   82,   82,   82,   82,   82,
+       82,   58,   82,   14,   75,   34,   15,   82,   41,   22,
+       17,   82,   82,   82,   82,   82,   72,   19,   20,   82,
+       81,   37,   47,   64,   82,   82,    8,   82,   59,   82,
+       82,   82,   62,   53,   82,   82,   82,   45,   82,   82,
+       57,   82,   46,   61,   82,   23,   82,   82,   82,   82,
+       65,    7,   82,   73,   82,   82,   82,   70,   16,   82,
+       40,   82,   55,   82,   33,   35,   82,   71,   56,   82,
+       82,   82,   82,   67,   82,   82,   82,   82,   63,   82,
+
+       82,   82,   82,   82,   82,   82,   82,   48,   82,   82,
+       82,   66,   82,   82,   82,   79,   82,   82,   82,   82,
+       82,   82,   82,   82,   50,   82,   82,   49,    0
     } ;
 
 static yyconst int yy_ec[256] =
@@ -390,133 +390,133 @@ static yyconst int yy_meta[79] =
         2,    2,    2,    2,    1,    1,    1,    1
     } ;
 
-static yyconst short int yy_base[536] =
+static yyconst short int yy_base[537] =
     {   0,
-        0,    0,  678,  679,  679,  679,  652,   73,    0,    0,
-       55,   71,  629,  679,  679,  650,   67,  679,   68,   66,
-       74,   80,   85,  679,  679,   65,  649,   82,  679,   91,
-      622,  679,  679,  679,  647,  621,   28,  604,   67,   40,
-       65,   72,  605,   88,   55,  604,   79,  101,  616,  611,
-      103,   90,  602,   51,  606,  604,  679,  113,  679,  679,
-      679,  133,  163,  659,    0,    0,  679,  679,  679,  679,
-      679,  100,  139,  679,  679,  679,  679,  679,  679,  643,
-      155,  679,  679,  162,  172,  164,  160,  142,    0,  204,
-      635,  679,  679,  679,  634,  245,  621,  621,  584,  679,
-
-      602,  581,  585,  597,  584,  122,  587,  141,  580,  581,
-      578,  144,  585,  581,  578,  575,    0,   99,  579,  586,
-      579,  576,  567,  569,  575,  568,  578,  572,  564,  568,
-      564,  174,  573,  135,  158,  573,  154,  568,  564,  556,
-      559,  184,  573,  167,  563,  566,  679,  679,  242,  153,
-        0,  679,  679,  235,  679,  679,  251,  243,  679,  679,
-      233,  230,  241,  272,  165,  679,  234,  261,  679,  679,
-      679,  579,  679,  679,  679,  679,  679,  679,  679,  679,
-      679,  679,  580,  581,  228,  553,  548,  551,  563,  558,
-      546,  558,  231,  559,  554,  556,  552,  544,  541,  549,
-
-      536,  551,    0,  537,  541,  544,  529,  532,  535,  538,
-      528,  530,  531,  536,  523,  516,    0,  533,  519,  533,
-      526,  246,  515,    0,  517,  516,  518,  525,  526,  510,
-      508,  508,  510,  519,  518,  514,  516,  506,  510,  501,
-      203,  513,  515,  504,  503,  271,  308,  560,  295,  299,
-      306,  679,  679,  304,  316,  262,  679,  277,  679,  679,
-      679,  679,  298,  281,  679,  534,  522,  505,  504,  495,
-      484,    0,  496,    0,    0,  495,  486,  494,  483,  488,
-      489,    0,    0,  482,  482,  492,  478,    0,  482,  487,
-      482,    0,  284,    0,  487,  472,  472,  473,  483,    0,
-
-      483,  477,  471,  467,  478,  463,  465,  475,  461,  473,
-      463,  467,  466,  471,  470,  456,  458,  466,  464,  462,
-      454,  459,  460,  448,  460,    0,  444,  456,  456,  323,
-      325,  679,  679,  287,  679,  305,  481,  679,  457,  439,
-      439,  440,    0,  292,    0,  441,  442,  448,  446,  445,
-      436,  435,    0,  442,  430,  434,  440,  438,  436,  430,
-      435,  419,  420,    0,  436,  417,  417,  428,  422,  419,
-      427,    0,  426,  423,  427,  424,  408,  417,  419,  404,
-      417,  418,    0,    0,  407,  415,  411,  406,  407,    0,
-        0,  679,  679,  679,  411,    0,  396,  408,  408,  397,
-
-      391,  391,  403,    0,  403,  405,  386,    0,  403,    0,
-        0,  397,    0,  391,  385,  395,  385,  387,  384,  391,
-        0,  384,    0,    0,  385,    0,  382,    0,    0,    0,
-      386,  380,  384,  379,  383,    0,    0,    0,  376,    0,
-        0,    0,  369,  381,  379,    0,  370,    0,  371,  370,
-      369,    0,    0,  367,  362,  371,    0,  358,  359,    0,
-      361,    0,    0,  362,    0,  367,  367,  365,  351,    0,
-        0,  350,    0,  356,  348,  347,    0,    0,  347,    0,
-      329,    0,  340,  334,    0,  319,    0,    0,  311,  320,
-      328,  325,    0,  316,  319,  311,  324,    0,  317,  305,
-
-      318,  315,  301,  302,  310,  296,    0,  308,  311,  300,
-        0,  299,  290,  282,    0,  233,  245,  176,  186,  174,
-      151,  158,  128,    0,   48,   28,    0,  679,  386,  390,
-      394,  399,  403,  405,  410
+        0,    0,  679,  680,  680,  680,  653,   73,    0,    0,
+       55,   71,  630,  680,  680,  651,   67,  680,   68,   66,
+       74,   80,   87,  680,  680,   65,  650,   77,  680,   99,
+      623,  680,  680,  680,  648,  622,   28,  605,   67,   40,
+       73,   82,  606,   84,   51,  605,   89,   98,  617,  612,
+      105,  102,  603,   62,  607,  605,  680,   86,  680,  680,
+      680,  108,  175,  660,    0,    0,  680,  680,  680,  680,
+      680,  127,  168,  680,  680,  680,  680,  680,  680,  644,
+      162,  680,  680,  680,  164,  169,  171,  166,  167,    0,
+      211,  636,  680,  680,  680,  635,  252,  622,  622,  585,
+
+      680,  603,  582,  586,  598,  585,  155,  588,  148,  581,
+      582,  579,  144,  586,  582,  579,  576,    0,   98,  580,
+      587,  580,  577,  568,  570,  576,  569,  579,  573,  565,
+      569,  565,  165,  574,   64,  142,  574,  114,  569,  565,
+      557,  560,  183,  574,  180,  564,  567,  680,  680,  242,
+      187,    0,  680,  680,  234,  680,  680,  243,  241,  680,
+      680,  204,  221,  194,  270,  225,  680,  223,  266,  680,
+      680,  680,  580,  680,  680,  680,  680,  680,  680,  680,
+      680,  680,  680,  581,  582,  229,  554,  549,  552,  564,
+      559,  547,  559,  203,  560,  555,  557,  553,  545,  542,
+
+      550,  537,  552,    0,  538,  542,  545,  530,  533,  536,
+      539,  529,  531,  532,  537,  524,  517,    0,  534,  520,
+      534,  527,  246,  516,    0,  518,  517,  519,  526,  527,
+      511,  509,  509,  511,  520,  519,  515,  517,  507,  511,
+      502,  223,  514,  516,  505,  504,  254,  308,  561,  292,
+      296,  303,  680,  680,  301,  313,  236,  680,  279,  680,
+      680,  680,  680,  294,  283,  680,  535,  523,  506,  505,
+      496,  485,    0,  497,    0,    0,  496,  487,  495,  484,
+      489,  490,    0,    0,  483,  483,  493,  479,    0,  483,
+      488,  483,    0,  273,    0,  488,  473,  473,  474,  484,
+
+        0,  484,  478,  472,  468,  479,  464,  466,  476,  462,
+      474,  464,  468,  467,  472,  471,  457,  459,  467,  465,
+      463,  455,  460,  461,  449,  461,    0,  445,  457,  457,
+      317,  339,  680,  680,  299,  680,  289,  482,  680,  458,
+      440,  440,  441,    0,  292,    0,  442,  443,  449,  447,
+      446,  437,  436,    0,  443,  431,  435,  441,  439,  437,
+      431,  436,  420,  421,    0,  437,  418,  418,  429,  423,
+      420,  428,    0,  427,  424,  428,  425,  409,  418,  420,
+      405,  418,  419,    0,    0,  408,  416,  412,  407,  408,
+        0,    0,  680,  680,  680,  412,    0,  397,  409,  409,
+
+      398,  392,  392,  404,    0,  404,  406,  387,    0,  404,
+        0,    0,  398,    0,  392,  386,  396,  386,  388,  385,
+      392,    0,  385,    0,    0,  386,    0,  383,    0,    0,
+        0,  387,  381,  385,  380,  384,    0,    0,    0,  377,
+        0,    0,    0,  370,  382,  380,    0,  371,    0,  372,
+      371,  370,    0,    0,  368,  354,  360,    0,  343,  342,
+        0,  344,    0,    0,  338,    0,  343,  343,  341,  326,
+        0,    0,  325,    0,  331,  323,  331,    0,    0,  334,
+        0,  320,    0,  333,  327,    0,  319,    0,    0,  311,
+      320,  328,  326,    0,  317,  320,  313,  326,    0,  319,
+
+      305,  318,  315,  299,  300,  310,  296,    0,  307,  310,
+      301,    0,  302,  292,  285,    0,  280,  294,  270,  281,
+      242,  139,  117,   66,    0,   44,   28,    0,  680,  400,
+      404,  408,  413,  417,  419,  424
     } ;
 
-static yyconst short int yy_def[536] =
+static yyconst short int yy_def[537] =
     {   0,
-      528,    1,  528,  528,  528,  528,  528,  529,  530,  531,
-      528,  528,  532,  528,  528,  528,  528,  528,  528,  528,
-      528,  528,  528,  528,  528,  528,  528,  528,  528,  528,
-      531,  528,  528,  528,  528,  531,  531,  531,  531,  531,
-      531,  531,  531,  531,  531,  531,  531,  531,  531,  531,
-      531,  531,  531,  531,  531,  531,  528,  528,  528,  528,
-      528,  529,  528,  529,  533,  531,  528,  528,  528,  528,
-      528,  532,  532,  528,  528,  528,  528,  528,  528,  528,
-      528,  528,  528,  528,  528,  528,  528,  528,  534,  528,
-      528,  528,  528,  528,  528,  528,  528,  528,  531,  528,
-
-      531,  531,  531,  531,  531,  531,  531,  531,  531,  531,
-      531,  531,  531,  531,  531,  531,  531,  531,  531,  531,
-      531,  531,  531,  531,  531,  531,  531,  531,  531,  531,
-      531,  531,  531,  531,  531,  531,  531,  531,  531,  531,
-      531,  531,  531,  531,  531,  531,  528,  528,  528,  535,
-      533,  528,  528,  528,  528,  528,  528,  528,  528,  528,
-      528,  528,  528,  528,  528,  528,  528,  534,  528,  528,
-      528,  528,  528,  528,  528,  528,  528,  528,  528,  528,
-      528,  528,  528,  528,  531,  531,  531,  531,  531,  531,
-      531,  531,  531,  531,  531,  531,  531,  531,  531,  531,
-
-      531,  531,  531,  531,  531,  531,  531,  531,  531,  531,
-      531,  531,  531,  531,  531,  531,  531,  531,  531,  531,
-      531,  531,  531,  531,  531,  531,  531,  531,  531,  531,
-      531,  531,  531,  531,  531,  531,  531,  531,  531,  531,
-      531,  531,  531,  531,  531,  535,  528,  535,  528,  528,
-      528,  528,  528,  528,  528,  528,  528,  528,  528,  528,
-      528,  528,  528,  528,  528,  528,  528,  531,  531,  531,
-      531,  531,  531,  531,  531,  531,  531,  531,  531,  531,
-      531,  531,  531,  531,  531,  531,  531,  531,  531,  531,
-      531,  531,  531,  531,  531,  531,  531,  531,  531,  531,
-
-      531,  531,  531,  531,  531,  531,  531,  531,  531,  531,
-      531,  531,  531,  531,  531,  531,  531,  531,  531,  531,
-      531,  531,  531,  531,  531,  531,  531,  531,  531,  528,
-      528,  528,  528,  528,  528,  528,  528,  528,  531,  531,
-      531,  531,  531,  531,  531,  531,  531,  531,  531,  531,
-      531,  531,  531,  531,  531,  531,  531,  531,  531,  531,
-      531,  531,  531,  531,  531,  531,  531,  531,  531,  531,
-      531,  531,  531,  531,  531,  531,  531,  531,  531,  531,
-      531,  531,  531,  531,  531,  531,  531,  531,  531,  531,
-      531,  528,  528,  528,  531,  531,  531,  531,  531,  531,
-
-      531,  531,  531,  531,  531,  531,  531,  531,  531,  531,
-      531,  531,  531,  531,  531,  531,  531,  531,  531,  531,
-      531,  531,  531,  531,  531,  531,  531,  531,  531,  531,
-      531,  531,  531,  531,  531,  531,  531,  531,  531,  531,
-      531,  531,  531,  531,  531,  531,  531,  531,  531,  531,
-      531,  531,  531,  531,  531,  531,  531,  531,  531,  531,
-      531,  531,  531,  531,  531,  531,  531,  531,  531,  531,
-      531,  531,  531,  531,  531,  531,  531,  531,  531,  531,
-      531,  531,  531,  531,  531,  531,  531,  531,  531,  531,
-      531,  531,  531,  531,  531,  531,  531,  531,  531,  531,
-
-      531,  531,  531,  531,  531,  531,  531,  531,  531,  531,
-      531,  531,  531,  531,  531,  531,  531,  531,  531,  531,
-      531,  531,  531,  531,  531,  531,  531,    0,  528,  528,
-      528,  528,  528,  528,  528
+      529,    1,  529,  529,  529,  529,  529,  530,  531,  532,
+      529,  529,  533,  529,  529,  529,  529,  529,  529,  529,
+      529,  529,  529,  529,  529,  529,  529,  529,  529,  529,
+      532,  529,  529,  529,  529,  532,  532,  532,  532,  532,
+      532,  532,  532,  532,  532,  532,  532,  532,  532,  532,
+      532,  532,  532,  532,  532,  532,  529,  529,  529,  529,
+      529,  530,  529,  530,  534,  532,  529,  529,  529,  529,
+      529,  533,  533,  529,  529,  529,  529,  529,  529,  529,
+      529,  529,  529,  529,  529,  529,  529,  529,  529,  535,
+      529,  529,  529,  529,  529,  529,  529,  529,  529,  532,
+
+      529,  532,  532,  532,  532,  532,  532,  532,  532,  532,
+      532,  532,  532,  532,  532,  532,  532,  532,  532,  532,
+      532,  532,  532,  532,  532,  532,  532,  532,  532,  532,
+      532,  532,  532,  532,  532,  532,  532,  532,  532,  532,
+      532,  532,  532,  532,  532,  532,  532,  529,  529,  529,
+      536,  534,  529,  529,  529,  529,  529,  529,  529,  529,
+      529,  529,  529,  529,  529,  529,  529,  529,  535,  529,
+      529,  529,  529,  529,  529,  529,  529,  529,  529,  529,
+      529,  529,  529,  529,  529,  532,  532,  532,  532,  532,
+      532,  532,  532,  532,  532,  532,  532,  532,  532,  532,
+
+      532,  532,  532,  532,  532,  532,  532,  532,  532,  532,
+      532,  532,  532,  532,  532,  532,  532,  532,  532,  532,
+      532,  532,  532,  532,  532,  532,  532,  532,  532,  532,
+      532,  532,  532,  532,  532,  532,  532,  532,  532,  532,
+      532,  532,  532,  532,  532,  532,  536,  529,  536,  529,
+      529,  529,  529,  529,  529,  529,  529,  529,  529,  529,
+      529,  529,  529,  529,  529,  529,  529,  529,  532,  532,
+      532,  532,  532,  532,  532,  532,  532,  532,  532,  532,
+      532,  532,  532,  532,  532,  532,  532,  532,  532,  532,
+      532,  532,  532,  532,  532,  532,  532,  532,  532,  532,
+
+      532,  532,  532,  532,  532,  532,  532,  532,  532,  532,
+      532,  532,  532,  532,  532,  532,  532,  532,  532,  532,
+      532,  532,  532,  532,  532,  532,  532,  532,  532,  532,
+      529,  529,  529,  529,  529,  529,  529,  529,  529,  532,
+      532,  532,  532,  532,  532,  532,  532,  532,  532,  532,
+      532,  532,  532,  532,  532,  532,  532,  532,  532,  532,
+      532,  532,  532,  532,  532,  532,  532,  532,  532,  532,
+      532,  532,  532,  532,  532,  532,  532,  532,  532,  532,
+      532,  532,  532,  532,  532,  532,  532,  532,  532,  532,
+      532,  532,  529,  529,  529,  532,  532,  532,  532,  532,
+
+      532,  532,  532,  532,  532,  532,  532,  532,  532,  532,
+      532,  532,  532,  532,  532,  532,  532,  532,  532,  532,
+      532,  532,  532,  532,  532,  532,  532,  532,  532,  532,
+      532,  532,  532,  532,  532,  532,  532,  532,  532,  532,
+      532,  532,  532,  532,  532,  532,  532,  532,  532,  532,
+      532,  532,  532,  532,  532,  532,  532,  532,  532,  532,
+      532,  532,  532,  532,  532,  532,  532,  532,  532,  532,
+      532,  532,  532,  532,  532,  532,  532,  532,  532,  532,
+      532,  532,  532,  532,  532,  532,  532,  532,  532,  532,
+      532,  532,  532,  532,  532,  532,  532,  532,  532,  532,
+
+      532,  532,  532,  532,  532,  532,  532,  532,  532,  532,
+      532,  532,  532,  532,  532,  532,  532,  532,  532,  532,
+      532,  532,  532,  532,  532,  532,  532,  532,    0,  529,
+      529,  529,  529,  529,  529,  529
     } ;
 
-static yyconst short int yy_nxt[758] =
+static yyconst short int yy_nxt[759] =
     {   0,
         4,    5,    6,    5,    7,    8,    9,   10,   11,   12,
        13,   14,   15,   16,   17,   18,   19,   20,   21,   22,
@@ -526,84 +526,84 @@ static yyconst short int yy_nxt[758] =
        37,   38,   39,   40,   41,   42,   43,   10,   44,   45,
        46,   10,   47,   48,   49,   50,   51,   52,   53,   54,
        55,   10,   56,   10,   57,   58,   59,   60,   63,   67,
-       70,   75,  527,   80,   77,   81,   81,   82,   91,   92,
-      102,   76,   78,   79,  108,   71,  103,   84,   83,   85,
-
-       85,  143,   84,  109,   90,   90,   94,   95,   96,  120,
-      152,   86,  526,  121,  144,   87,   86,  105,   97,   64,
-       87,   88,  113,   89,  106,  110,   88,  111,   98,   68,
-      107,   69,  114,  123,   86,  115,  112,  147,   63,   86,
-       87,  528,  124,  117,  139,   87,   73,  125,   88,   72,
-      118,   89,  126,   88,  119,  140,  127,  133,  247,  205,
-      134,  135,  141,  128,  149,  149,  206,  136,  150,  129,
-      137,  130,  191,  138,   81,   81,  192,  167,  163,   64,
-      163,  157,  157,  164,  164,  225,  154,  155,  148,   84,
-      156,   85,   85,  158,  159,  165,  194,  160,  226,  248,
-
-      525,  166,  167,   86,  230,  195,  261,  161,  199,  154,
-      155,  200,  524,  162,  227,  156,  158,  159,  523,  231,
-      165,   84,  160,   90,   90,  242,   86,  243,  166,  220,
-      221,  228,  161,  261,  222,   86,  236,  237,  522,   87,
-      162,  223,  238,  149,  149,   88,  521,  150,  520,  249,
-      239,  249,  240,  324,  250,  250,  325,  254,   86,  254,
-      164,  164,  255,  255,   87,  258,  268,  269,  256,  262,
-      157,  157,   88,  171,  257,  172,  247,  173,  174,  175,
-      176,  177,  251,  252,  178,  179,  253,  180,  181,  182,
-      258,  164,  164,  256,  262,  519,  263,  277,  278,  305,
-
-      518,  257,  264,  332,  259,  251,  252,  260,  306,  149,
-      149,  253,  333,  150,  250,  250,  336,  248,  250,  250,
-      330,  263,  330,  255,  255,  331,  331,  259,  392,  264,
-      332,  155,  260,  334,  156,  255,  255,  333,  357,  335,
-      393,  336,  331,  331,  331,  331,  399,  517,  159,  358,
-      516,  160,  515,  400,  155,  392,  514,  252,  334,  156,
-      253,  513,  512,  511,  510,  393,  335,  509,  508,  507,
-      506,  159,  505,  504,  503,  502,  160,  501,  500,  499,
-      252,  498,  497,  496,  495,  253,   62,   62,   62,   62,
-       62,   65,  494,  493,   65,   66,  492,   66,   66,   72,
-
-       72,  491,   72,   72,  151,  490,  151,  151,  168,  168,
-      246,  246,  246,  246,  246,  489,  488,  487,  486,  485,
-      484,  483,  482,  481,  480,  479,  478,  477,  476,  475,
-      474,  473,  472,  471,  470,  469,  468,  467,  466,  465,
-      464,  463,  462,  461,  460,  459,  458,  457,  456,  455,
-      454,  453,  452,  451,  450,  449,  448,  447,  446,  445,
-      444,  443,  442,  441,  440,  439,  438,  437,  436,  435,
-      434,  433,  432,  431,  430,  429,  428,  427,  426,  425,
-      424,  423,  422,  421,  420,  419,  418,  417,  416,  415,
-      414,  413,  412,  411,  410,  409,  408,  407,  406,  405,
-
-      404,  403,  402,  401,  398,  397,  396,  395,  394,  391,
-      390,  389,  388,  387,  386,  385,  384,  383,  382,  381,
-      380,  379,  378,  377,  376,  375,  374,  373,  372,  371,
-      370,  369,  368,  367,  366,  365,  364,  363,  362,  361,
-      360,  359,  356,  355,  354,  353,  352,  351,  350,  349,
-      348,  347,  346,  345,  344,  343,  342,  341,  340,  339,
-      338,  337,  528,  329,  328,  327,  326,  323,  322,  321,
-      320,  319,  318,  317,  316,  315,  314,  313,  312,  311,
-      310,  309,  308,  307,  304,  303,  302,  301,  300,  299,
-      298,  297,  296,  295,  294,  293,  292,  291,  290,  289,
-
-      288,  287,  286,  285,  284,  283,  282,  281,  280,  279,
-      276,  275,  274,  273,  272,  271,  270,  267,  266,  265,
-      245,  244,  241,  235,  234,  233,  232,  229,  224,  219,
-      218,  217,  216,  215,  214,  213,  212,  211,  210,  209,
-      208,  207,  204,  203,  202,  201,  198,  197,  196,  193,
-      190,  189,  188,  187,  186,  185,  184,  183,  170,  169,
-      153,  528,  146,  145,  142,  132,  131,  122,  116,  104,
-      101,  100,   99,   93,   74,   73,   61,  528,    3,  528,
-      528,  528,  528,  528,  528,  528,  528,  528,  528,  528,
-      528,  528,  528,  528,  528,  528,  528,  528,  528,  528,
-
-      528,  528,  528,  528,  528,  528,  528,  528,  528,  528,
-      528,  528,  528,  528,  528,  528,  528,  528,  528,  528,
-      528,  528,  528,  528,  528,  528,  528,  528,  528,  528,
-      528,  528,  528,  528,  528,  528,  528,  528,  528,  528,
-      528,  528,  528,  528,  528,  528,  528,  528,  528,  528,
-      528,  528,  528,  528,  528,  528,  528
+       70,   75,  528,   80,   77,   81,   81,   82,   92,   93,
+      103,   76,   78,   79,  109,   71,  104,   85,   83,   86,
+
+       86,   95,   96,  110,   85,  121,   91,   91,  527,  122,
+      148,   87,  144,   63,  226,   88,   97,  106,   87,   64,
+       84,   89,   88,   90,  107,  145,   98,  227,   89,   68,
+      108,   69,  114,  111,   87,  112,   99,  153,  526,  118,
+       88,   87,  115,  124,  113,  116,  119,   88,   89,  127,
+      120,   90,  125,  128,   64,   89,  140,  126,  206,  134,
+      129,  149,  135,  136,  231,  207,  130,  141,  131,  137,
+      529,  525,  138,   73,  142,  139,  150,  150,   72,  232,
+      151,   81,   81,  158,  158,  164,   85,  164,   86,   86,
+      165,  165,  248,  155,  156,  159,  160,  157,  228,  161,
+
+       87,  166,  168,  195,  162,  192,  524,  167,  200,  193,
+      163,  201,  196,  165,  165,  229,  155,  156,  159,  160,
+      221,  222,  157,   87,  161,  223,  166,  168,   85,  162,
+       91,   91,  224,  249,  167,  237,  238,  163,  243,  257,
+      244,  239,   87,  150,  150,  258,   88,  151,  250,  240,
+      250,  241,   89,  251,  251,  255,  259,  255,  263,  248,
+      256,  256,  158,  158,  257,   87,  262,  269,  270,  278,
+      279,   88,  258,  325,  252,  253,  326,  333,  254,   89,
+      172,  259,  173,  263,  174,  175,  176,  177,  178,  165,
+      165,  179,  180,  262,  181,  182,  183,  252,  253,  306,
+
+      249,  264,  260,  254,  333,  261,  523,  265,  307,  150,
+      150,  251,  251,  151,  334,  251,  251,  331,  337,  331,
+      256,  256,  332,  332,  394,  260,  264,  358,  156,  335,
+      261,  157,  256,  256,  265,  336,  332,  332,  359,  334,
+      393,  522,  521,  337,  520,  160,  400,  519,  161,  394,
+      518,  156,  517,  401,  335,  516,  157,  515,  332,  332,
+      514,  513,  336,  512,  511,  510,  509,  393,  160,  508,
+      507,  253,  506,  161,  254,  505,  504,  503,  502,  501,
+      500,  499,  498,  497,  496,  495,  494,  493,  492,  491,
+      490,  489,  488,  487,  253,  486,  485,  484,  483,  254,
+
+       62,   62,   62,   62,   62,   65,  482,  481,   65,   66,
+      480,   66,   66,   72,   72,  479,   72,   72,  152,  478,
+      152,  152,  169,  169,  247,  247,  247,  247,  247,  477,
+      476,  475,  474,  473,  472,  471,  470,  469,  468,  467,
+      466,  465,  464,  463,  462,  461,  460,  459,  458,  457,
+      456,  455,  454,  453,  452,  451,  450,  449,  448,  447,
+      446,  445,  444,  443,  442,  441,  440,  439,  438,  437,
+      436,  435,  434,  433,  432,  431,  430,  429,  428,  427,
+      426,  425,  424,  423,  422,  421,  420,  419,  418,  417,
+      416,  415,  414,  413,  412,  411,  410,  409,  408,  407,
+
+      406,  405,  404,  403,  402,  399,  398,  397,  396,  395,
+      392,  391,  390,  389,  388,  387,  386,  385,  384,  383,
+      382,  381,  380,  379,  378,  377,  376,  375,  374,  373,
+      372,  371,  370,  369,  368,  367,  366,  365,  364,  363,
+      362,  361,  360,  357,  356,  355,  354,  353,  352,  351,
+      350,  349,  348,  347,  346,  345,  344,  343,  342,  341,
+      340,  339,  338,  529,  330,  329,  328,  327,  324,  323,
+      322,  321,  320,  319,  318,  317,  316,  315,  314,  313,
+      312,  311,  310,  309,  308,  305,  304,  303,  302,  301,
+      300,  299,  298,  297,  296,  295,  294,  293,  292,  291,
+
+      290,  289,  288,  287,  286,  285,  284,  283,  282,  281,
+      280,  277,  276,  275,  274,  273,  272,  271,  268,  267,
+      266,  246,  245,  242,  236,  235,  234,  233,  230,  225,
+      220,  219,  218,  217,  216,  215,  214,  213,  212,  211,
+      210,  209,  208,  205,  204,  203,  202,  199,  198,  197,
+      194,  191,  190,  189,  188,  187,  186,  185,  184,  171,
+      170,  154,  529,  147,  146,  143,  133,  132,  123,  117,
+      105,  102,  101,  100,   94,   74,   73,   61,  529,    3,
+      529,  529,  529,  529,  529,  529,  529,  529,  529,  529,
+      529,  529,  529,  529,  529,  529,  529,  529,  529,  529,
+
+      529,  529,  529,  529,  529,  529,  529,  529,  529,  529,
+      529,  529,  529,  529,  529,  529,  529,  529,  529,  529,
+      529,  529,  529,  529,  529,  529,  529,  529,  529,  529,
+      529,  529,  529,  529,  529,  529,  529,  529,  529,  529,
+      529,  529,  529,  529,  529,  529,  529,  529,  529,  529,
+      529,  529,  529,  529,  529,  529,  529,  529
     } ;
 
-static yyconst short int yy_chk[758] =
+static yyconst short int yy_chk[759] =
     {   0,
         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
@@ -613,81 +613,81 @@ static yyconst short int yy_chk[758] =
         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
         1,    1,    1,    1,    1,    1,    1,    1,    8,   11,
-       12,   17,  526,   20,   19,   20,   20,   21,   26,   26,
+       12,   17,  527,   20,   19,   20,   20,   21,   26,   26,
        37,   17,   19,   19,   40,   12,   37,   22,   21,   22,
 
-       22,   54,   23,   40,   23,   23,   28,   28,   30,   45,
-       72,   22,  525,   45,   54,   22,   23,   39,   30,    8,
-       23,   22,   42,   22,   39,   41,   23,   41,   30,   11,
-       39,   11,   42,   47,   22,   42,   41,   58,   62,   23,
-       22,   73,   47,   44,   52,   23,   72,   47,   22,   73,
-       44,   22,   48,   23,   44,   52,   48,   51,  150,  118,
-       51,   51,   52,   48,   63,   63,  118,   51,   63,   48,
-       51,   48,  106,   51,   81,   81,  106,   88,   86,   62,
-       86,   84,   84,   86,   86,  134,   81,   81,   58,   85,
-       81,   85,   85,   84,   84,   87,  108,   84,  134,  150,
-
-      523,   87,   88,   85,  137,  108,  165,   85,  112,   81,
-       81,  112,  522,   85,  135,   81,   84,   84,  521,  137,
-       87,   90,   84,   90,   90,  144,   85,  144,   87,  132,
-      132,  135,   85,  165,  132,   90,  142,  142,  520,   90,
-       85,  132,  142,  149,  149,   90,  519,  149,  518,  154,
-      142,  154,  142,  241,  154,  154,  241,  158,   90,  158,
-      163,  163,  158,  158,   90,  162,  185,  185,  161,  167,
-      157,  157,   90,   96,  161,   96,  246,   96,   96,   96,
-       96,   96,  157,  157,   96,   96,  157,   96,   96,   96,
-      162,  164,  164,  161,  167,  517,  168,  193,  193,  222,
-
-      516,  161,  168,  256,  164,  157,  157,  164,  222,  247,
-      247,  157,  258,  247,  249,  249,  264,  246,  250,  250,
-      251,  168,  251,  254,  254,  251,  251,  164,  334,  168,
-      256,  250,  164,  263,  250,  255,  255,  258,  293,  263,
-      336,  264,  330,  330,  331,  331,  344,  514,  255,  293,
-      513,  255,  512,  344,  250,  334,  510,  331,  263,  250,
-      331,  509,  508,  506,  505,  336,  263,  504,  503,  502,
-      501,  255,  500,  499,  497,  496,  255,  495,  494,  492,
-      331,  491,  490,  489,  486,  331,  529,  529,  529,  529,
-      529,  530,  484,  483,  530,  531,  481,  531,  531,  532,
-
-      532,  479,  532,  532,  533,  476,  533,  533,  534,  534,
-      535,  535,  535,  535,  535,  475,  474,  472,  469,  468,
-      467,  466,  464,  461,  459,  458,  456,  455,  454,  451,
-      450,  449,  447,  445,  444,  443,  439,  435,  434,  433,
-      432,  431,  427,  425,  422,  420,  419,  418,  417,  416,
-      415,  414,  412,  409,  407,  406,  405,  403,  402,  401,
-      400,  399,  398,  397,  395,  389,  388,  387,  386,  385,
-      382,  381,  380,  379,  378,  377,  376,  375,  374,  373,
-      371,  370,  369,  368,  367,  366,  365,  363,  362,  361,
-      360,  359,  358,  357,  356,  355,  354,  352,  351,  350,
-
-      349,  348,  347,  346,  342,  341,  340,  339,  337,  329,
-      328,  327,  325,  324,  323,  322,  321,  320,  319,  318,
-      317,  316,  315,  314,  313,  312,  311,  310,  309,  308,
-      307,  306,  305,  304,  303,  302,  301,  299,  298,  297,
-      296,  295,  291,  290,  289,  287,  286,  285,  284,  281,
-      280,  279,  278,  277,  276,  273,  271,  270,  269,  268,
-      267,  266,  248,  245,  244,  243,  242,  240,  239,  238,
-      237,  236,  235,  234,  233,  232,  231,  230,  229,  228,
-      227,  226,  225,  223,  221,  220,  219,  218,  216,  215,
-      214,  213,  212,  211,  210,  209,  208,  207,  206,  205,
-
-      204,  202,  201,  200,  199,  198,  197,  196,  195,  194,
-      192,  191,  190,  189,  188,  187,  186,  184,  183,  172,
-      146,  145,  143,  141,  140,  139,  138,  136,  133,  131,
-      130,  129,  128,  127,  126,  125,  124,  123,  122,  121,
-      120,  119,  116,  115,  114,  113,  111,  110,  109,  107,
-      105,  104,  103,  102,  101,   99,   98,   97,   95,   91,
-       80,   64,   56,   55,   53,   50,   49,   46,   43,   38,
-       36,   35,   31,   27,   16,   13,    7,    3,  528,  528,
-      528,  528,  528,  528,  528,  528,  528,  528,  528,  528,
-      528,  528,  528,  528,  528,  528,  528,  528,  528,  528,
-
-      528,  528,  528,  528,  528,  528,  528,  528,  528,  528,
-      528,  528,  528,  528,  528,  528,  528,  528,  528,  528,
-      528,  528,  528,  528,  528,  528,  528,  528,  528,  528,
-      528,  528,  528,  528,  528,  528,  528,  528,  528,  528,
-      528,  528,  528,  528,  528,  528,  528,  528,  528,  528,
-      528,  528,  528,  528,  528,  528,  528
+       22,   28,   28,   40,   23,   45,   23,   23,  526,   45,
+       58,   22,   54,   62,  135,   22,   30,   39,   23,    8,
+       21,   22,   23,   22,   39,   54,   30,  135,   23,   11,
+       39,   11,   42,   41,   22,   41,   30,   72,  524,   44,
+       22,   23,   42,   47,   41,   42,   44,   23,   22,   48,
+       44,   22,   47,   48,   62,   23,   52,   47,  119,   51,
+       48,   58,   51,   51,  138,  119,   48,   52,   48,   51,
+       73,  523,   51,   72,   52,   51,   63,   63,   73,  138,
+       63,   81,   81,   85,   85,   87,   86,   87,   86,   86,
+       87,   87,  151,   81,   81,   85,   85,   81,  136,   85,
+
+       86,   88,   89,  109,   86,  107,  522,   88,  113,  107,
+       86,  113,  109,  164,  164,  136,   81,   81,   85,   85,
+      133,  133,   81,   86,   85,  133,   88,   89,   91,   86,
+       91,   91,  133,  151,   88,  143,  143,   86,  145,  162,
+      145,  143,   91,  150,  150,  162,   91,  150,  155,  143,
+      155,  143,   91,  155,  155,  159,  163,  159,  168,  247,
+      159,  159,  158,  158,  162,   91,  166,  186,  186,  194,
+      194,   91,  162,  242,  158,  158,  242,  257,  158,   91,
+       97,  163,   97,  168,   97,   97,   97,   97,   97,  165,
+      165,   97,   97,  166,   97,   97,   97,  158,  158,  223,
+
+      247,  169,  165,  158,  257,  165,  521,  169,  223,  248,
+      248,  250,  250,  248,  259,  251,  251,  252,  265,  252,
+      255,  255,  252,  252,  337,  165,  169,  294,  251,  264,
+      165,  251,  256,  256,  169,  264,  331,  331,  294,  259,
+      335,  520,  519,  265,  518,  256,  345,  517,  256,  337,
+      515,  251,  514,  345,  264,  513,  251,  511,  332,  332,
+      510,  509,  264,  507,  506,  505,  504,  335,  256,  503,
+      502,  332,  501,  256,  332,  500,  498,  497,  496,  495,
+      493,  492,  491,  490,  487,  485,  484,  482,  480,  477,
+      476,  475,  473,  470,  332,  469,  468,  467,  465,  332,
+
+      530,  530,  530,  530,  530,  531,  462,  460,  531,  532,
+      459,  532,  532,  533,  533,  457,  533,  533,  534,  456,
+      534,  534,  535,  535,  536,  536,  536,  536,  536,  455,
+      452,  451,  450,  448,  446,  445,  444,  440,  436,  435,
+      434,  433,  432,  428,  426,  423,  421,  420,  419,  418,
+      417,  416,  415,  413,  410,  408,  407,  406,  404,  403,
+      402,  401,  400,  399,  398,  396,  390,  389,  388,  387,
+      386,  383,  382,  381,  380,  379,  378,  377,  376,  375,
+      374,  372,  371,  370,  369,  368,  367,  366,  364,  363,
+      362,  361,  360,  359,  358,  357,  356,  355,  353,  352,
+
+      351,  350,  349,  348,  347,  343,  342,  341,  340,  338,
+      330,  329,  328,  326,  325,  324,  323,  322,  321,  320,
+      319,  318,  317,  316,  315,  314,  313,  312,  311,  310,
+      309,  308,  307,  306,  305,  304,  303,  302,  300,  299,
+      298,  297,  296,  292,  291,  290,  288,  287,  286,  285,
+      282,  281,  280,  279,  278,  277,  274,  272,  271,  270,
+      269,  268,  267,  249,  246,  245,  244,  243,  241,  240,
+      239,  238,  237,  236,  235,  234,  233,  232,  231,  230,
+      229,  228,  227,  226,  224,  222,  221,  220,  219,  217,
+      216,  215,  214,  213,  212,  211,  210,  209,  208,  207,
+
+      206,  205,  203,  202,  201,  200,  199,  198,  197,  196,
+      195,  193,  192,  191,  190,  189,  188,  187,  185,  184,
+      173,  147,  146,  144,  142,  141,  140,  139,  137,  134,
+      132,  131,  130,  129,  128,  127,  126,  125,  124,  123,
+      122,  121,  120,  117,  116,  115,  114,  112,  111,  110,
+      108,  106,  105,  104,  103,  102,  100,   99,   98,   96,
+       92,   80,   64,   56,   55,   53,   50,   49,   46,   43,
+       38,   36,   35,   31,   27,   16,   13,    7,    3,  529,
+      529,  529,  529,  529,  529,  529,  529,  529,  529,  529,
+      529,  529,  529,  529,  529,  529,  529,  529,  529,  529,
+
+      529,  529,  529,  529,  529,  529,  529,  529,  529,  529,
+      529,  529,  529,  529,  529,  529,  529,  529,  529,  529,
+      529,  529,  529,  529,  529,  529,  529,  529,  529,  529,
+      529,  529,  529,  529,  529,  529,  529,  529,  529,  529,
+      529,  529,  529,  529,  529,  529,  529,  529,  529,  529,
+      529,  529,  529,  529,  529,  529,  529,  529
     } ;
 
 static yy_state_type yy_last_accepting_state;
@@ -1021,7 +1021,7 @@ YY_MALLOC_DECL
 YY_DECL
        {
        register yy_state_type yy_current_state;
-       register char *yy_cp, *yy_bp;
+       register char *yy_cp = NULL, *yy_bp = NULL;
        register int yy_act;
 
 #line 185 "cscanner.l"
@@ -1078,13 +1078,13 @@ yy_match:
                        while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
                                {
                                yy_current_state = (int) yy_def[yy_current_state];
-                               if ( yy_current_state >= 529 )
+                               if ( yy_current_state >= 530 )
                                        yy_c = yy_meta[(unsigned int) yy_c];
                                }
                        yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
                        ++yy_cp;
                        }
-               while ( yy_base[yy_current_state] != 679 );
+               while ( yy_base[yy_current_state] != 680 );
 
 yy_find_action:
                yy_act = yy_accept[yy_current_state];
@@ -1972,12 +1972,17 @@ YY_RULE_SETUP
        YY_BREAK
 case 159:
 YY_RULE_SETUP
-#line 431 "cscanner.l"
-{ incColumn (); }
+#line 432 "cscanner.l"
+{ setTokLength (1); RETURN_TOK (TCAND); }
        YY_BREAK
 case 160:
 YY_RULE_SETUP
-#line 432 "cscanner.l"
+#line 435 "cscanner.l"
+{ incColumn (); }
+       YY_BREAK
+case 161:
+YY_RULE_SETUP
+#line 436 "cscanner.l"
 { context_incLineno ();
                  if (continueLine)
                    {
@@ -1995,9 +2000,9 @@ YY_RULE_SETUP
                   }
                }
        YY_BREAK
-case 161:
+case 162:
 YY_RULE_SETUP
-#line 448 "cscanner.l"
+#line 452 "cscanner.l"
 { setTokLength (6); 
                  
                  if (processMacro ()) {
@@ -2016,9 +2021,9 @@ YY_RULE_SETUP
                  }
                }
        YY_BREAK
-case 162:
+case 163:
 YY_RULE_SETUP
-#line 465 "cscanner.l"
+#line 469 "cscanner.l"
 { if (context_inHeader () || context_inFunction ())
                    { 
                      handleMacro ();
@@ -2056,79 +2061,79 @@ YY_RULE_SETUP
                    }
                }
        YY_BREAK
-case 163:
+case 164:
 YY_RULE_SETUP
-#line 501 "cscanner.l"
+#line 505 "cscanner.l"
 { setTokLength (4); lldiagmsg (ctype_unparseTable ()); }
        YY_BREAK
-case 164:
+case 165:
 YY_RULE_SETUP
-#line 502 "cscanner.l"
+#line 506 "cscanner.l"
 { setTokLength (3); 
                  lldiagmsg (message ("%q: *** marker ***", fileloc_unparse (g_currentloc)));
                }
        YY_BREAK
-case 165:
+case 166:
 YY_RULE_SETUP
-#line 505 "cscanner.l"
+#line 509 "cscanner.l"
 { setTokLength (3); usymtab_printLocal (); }
        YY_BREAK
-case 166:
+case 167:
 YY_RULE_SETUP
-#line 506 "cscanner.l"
+#line 510 "cscanner.l"
 { setTokLength (3); lldiagmsg (usymtab_unparseAliases ()); }
        YY_BREAK
-case 167:
+case 168:
 YY_RULE_SETUP
-#line 507 "cscanner.l"
+#line 511 "cscanner.l"
 { setTokLength (3); lldiagmsg (context_unparse ()); }
        YY_BREAK
-case 168:
+case 169:
 YY_RULE_SETUP
-#line 508 "cscanner.l"
+#line 512 "cscanner.l"
 { setTokLength (3); lldiagmsg (context_unparseClauses ()); }
        YY_BREAK
-case 169:
+case 170:
 YY_RULE_SETUP
-#line 509 "cscanner.l"
+#line 513 "cscanner.l"
 { setTokLength (3); usymtab_printGuards (); }
        YY_BREAK
-case 170:
+case 171:
 YY_RULE_SETUP
-#line 510 "cscanner.l"
+#line 514 "cscanner.l"
 { setTokLength (3); usymtab_printOut (); }
        YY_BREAK
-case 171:
+case 172:
 YY_RULE_SETUP
-#line 511 "cscanner.l"
+#line 515 "cscanner.l"
 { setTokLength (3); usymtab_printAll (); }
        YY_BREAK
-case 172:
+case 173:
 YY_RULE_SETUP
-#line 512 "cscanner.l"
+#line 516 "cscanner.l"
 { setTokLength (3); usymtab_printComplete (); }
        YY_BREAK
-case 173:
+case 174:
 YY_RULE_SETUP
-#line 513 "cscanner.l"
+#line 517 "cscanner.l"
 { setTokLength (3); usymtab_printTypes (); }
        YY_BREAK
-case 174:
+case 175:
 YY_RULE_SETUP
-#line 514 "cscanner.l"
+#line 518 "cscanner.l"
 { setTokLength (3); lldiagmsg (usymtab_unparseStack ()); }
        YY_BREAK
-case 175:
+case 176:
 YY_RULE_SETUP
-#line 515 "cscanner.l"
+#line 519 "cscanner.l"
 { setTokLength (3); 
                  lldiagmsg (message ("Can modify: %q", 
                                  sRefSet_unparse (context_modList ()))); 
                }
        YY_BREAK
-case 176:
+case 177:
 YY_RULE_SETUP
-#line 519 "cscanner.l"
+#line 523 "cscanner.l"
 { /* BEFORE_COMMENT_MARKER */
                   int tok; 
                  incColumn (); incColumn ();
@@ -2139,22 +2144,22 @@ YY_RULE_SETUP
                    }
                }
        YY_BREAK
-case 177:
+case 178:
 YY_RULE_SETUP
-#line 528 "cscanner.l"
+#line 532 "cscanner.l"
 { /* AFTER_COMMENT_MARKER */ 
                   setTokLength (2);
                  inSpecPart = FALSE;
                  RETURN_TOK (QENDMACRO); }
        YY_BREAK
-case 178:
+case 179:
 YY_RULE_SETUP
-#line 532 "cscanner.l"
+#line 536 "cscanner.l"
 { incColumn (); continueLine = TRUE; }
        YY_BREAK
-case 179:
+case 180:
 YY_RULE_SETUP
-#line 533 "cscanner.l"
+#line 537 "cscanner.l"
 { incColumn (); 
                  voptgenerror
                    (FLG_SYNTAX, 
@@ -2163,12 +2168,12 @@ YY_RULE_SETUP
                     g_currentloc);
                }
        YY_BREAK
-case 180:
+case 181:
 YY_RULE_SETUP
-#line 540 "cscanner.l"
+#line 544 "cscanner.l"
 ECHO;
        YY_BREAK
-#line 2172 "lex.yy.c"
+#line 2177 "lex.yy.c"
 case YY_STATE_EOF(INITIAL):
        yyterminate();
 
@@ -2460,7 +2465,7 @@ static yy_state_type yy_get_previous_state()
                while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
                        {
                        yy_current_state = (int) yy_def[yy_current_state];
-                       if ( yy_current_state >= 529 )
+                       if ( yy_current_state >= 530 )
                                yy_c = yy_meta[(unsigned int) yy_c];
                        }
                yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
@@ -2495,11 +2500,11 @@ yy_state_type yy_current_state;
        while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
                {
                yy_current_state = (int) yy_def[yy_current_state];
-               if ( yy_current_state >= 529 )
+               if ( yy_current_state >= 530 )
                        yy_c = yy_meta[(unsigned int) yy_c];
                }
        yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
-       yy_is_jam = (yy_current_state == 528);
+       yy_is_jam = (yy_current_state == 529);
 
        return yy_is_jam ? 0 : yy_current_state;
        }
@@ -3054,7 +3059,7 @@ int main()
        return 0;
        }
 #endif
-#line 540 "cscanner.l"
+#line 544 "cscanner.l"
 
 
 struct skeyword
@@ -3083,8 +3088,8 @@ struct skeyword s_parsetable[] = {
   { "pre", QPRECLAUSE } ,
   { "post", QPOSTCLAUSE } ,
   {"setBufferSize", QSETBUFFERSIZE},
-  {"bufferConstraint", QBUFFERCONSTRAINT},
-  {"ensuresConstraint", QENSURESCONSTRAINT},
+  {"requires", QBUFFERCONSTRAINT},
+  {"ensures", QENSURESCONSTRAINT},
   {"setStringLength", QSETSTRINGLENGTH},
   {"testinRange", QTESTINRANGE},
   { NULL, BADTOK }
@@ -3131,8 +3136,8 @@ struct skeyword s_keytable[] = {
   { "relnull", QRELNULL } ,
   { "nullterminated", QNULLTERMINATED }, 
   { "setBufferSize", QSETBUFFERSIZE },
-  { "bufferConstraint", QBUFFERCONSTRAINT },
-  { "ensuresConstraint", QENSURESCONSTRAINT },
+  { "requires", QBUFFERCONSTRAINT },
+  { "ensures", QENSURESCONSTRAINT },
   { "testInRange", QTESTINRANGE},
   { "MaxSet", QMAXSET},
   { "MaxRead", QMAXREAD},
This page took 0.123423 seconds and 4 git commands to generate.