comparison src/urweb.lex @ 714:0f42461273cf

CHECK constraints
author Adam Chlipala <adamc@hcoop.net>
date Thu, 09 Apr 2009 15:30:15 -0400
parents 0406e9cccb72
children f152f215a02c
comparison
equal deleted inserted replaced
713:baaae037e7f6 714:0f42461273cf
365 <INITIAL> "NULL" => (Tokens.NULL (pos yypos, pos yypos + size yytext)); 365 <INITIAL> "NULL" => (Tokens.NULL (pos yypos, pos yypos + size yytext));
366 <INITIAL> "IS" => (Tokens.IS (pos yypos, pos yypos + size yytext)); 366 <INITIAL> "IS" => (Tokens.IS (pos yypos, pos yypos + size yytext));
367 367
368 <INITIAL> "CONSTRAINT"=> (Tokens.CCONSTRAINT (pos yypos, pos yypos + size yytext)); 368 <INITIAL> "CONSTRAINT"=> (Tokens.CCONSTRAINT (pos yypos, pos yypos + size yytext));
369 <INITIAL> "UNIQUE" => (Tokens.UNIQUE (pos yypos, pos yypos + size yytext)); 369 <INITIAL> "UNIQUE" => (Tokens.UNIQUE (pos yypos, pos yypos + size yytext));
370 <INITIAL> "CHECK" => (Tokens.CHECK (pos yypos, pos yypos + size yytext));
370 <INITIAL> "PRIMARY" => (Tokens.PRIMARY (pos yypos, pos yypos + size yytext)); 371 <INITIAL> "PRIMARY" => (Tokens.PRIMARY (pos yypos, pos yypos + size yytext));
371 <INITIAL> "FOREIGN" => (Tokens.FOREIGN (pos yypos, pos yypos + size yytext)); 372 <INITIAL> "FOREIGN" => (Tokens.FOREIGN (pos yypos, pos yypos + size yytext));
372 <INITIAL> "KEY" => (Tokens.KEY (pos yypos, pos yypos + size yytext)); 373 <INITIAL> "KEY" => (Tokens.KEY (pos yypos, pos yypos + size yytext));
373 <INITIAL> "ON" => (Tokens.ON (pos yypos, pos yypos + size yytext)); 374 <INITIAL> "ON" => (Tokens.ON (pos yypos, pos yypos + size yytext));
374 <INITIAL> "NO" => (Tokens.NO (pos yypos, pos yypos + size yytext)); 375 <INITIAL> "NO" => (Tokens.NO (pos yypos, pos yypos + size yytext));