comparison src/urweb.lex @ 704:70cbdcf5989b

UNIQUE constraints
author Adam Chlipala <adamc@hcoop.net>
date Tue, 07 Apr 2009 12:24:31 -0400
parents fab5998b840e
children d8217b4cb617
comparison
equal deleted inserted replaced
703:a5d8b470d7ca 704:70cbdcf5989b
363 <INITIAL> "SET" => (Tokens.SET (pos yypos, pos yypos + size yytext)); 363 <INITIAL> "SET" => (Tokens.SET (pos yypos, pos yypos + size yytext));
364 <INITIAL> "DELETE" => (Tokens.DELETE (pos yypos, pos yypos + size yytext)); 364 <INITIAL> "DELETE" => (Tokens.DELETE (pos yypos, pos yypos + size yytext));
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));
369 <INITIAL> "UNIQUE" => (Tokens.UNIQUE (pos yypos, pos yypos + size yytext));
370
368 <INITIAL> "CURRENT_TIMESTAMP" => (Tokens.CURRENT_TIMESTAMP (pos yypos, pos yypos + size yytext)); 371 <INITIAL> "CURRENT_TIMESTAMP" => (Tokens.CURRENT_TIMESTAMP (pos yypos, pos yypos + size yytext));
369 372
370 <INITIAL> {id} => (Tokens.SYMBOL (yytext, pos yypos, pos yypos + size yytext)); 373 <INITIAL> {id} => (Tokens.SYMBOL (yytext, pos yypos, pos yypos + size yytext));
371 <INITIAL> {cid} => (Tokens.CSYMBOL (yytext, pos yypos, pos yypos + size yytext)); 374 <INITIAL> {cid} => (Tokens.CSYMBOL (yytext, pos yypos, pos yypos + size yytext));
372 375