comparison src/urweb.lex @ 338:e976b187d73a

SQL sequences
author Adam Chlipala <adamc@hcoop.net>
date Sun, 14 Sep 2008 11:02:18 -0400
parents 04ebfe929a98
children 075b36dbb1a4
comparison
equal deleted inserted replaced
337:18d5affa790d 338:e976b187d73a
296 <INITIAL> "open" => (Tokens.OPEN (pos yypos, pos yypos + size yytext)); 296 <INITIAL> "open" => (Tokens.OPEN (pos yypos, pos yypos + size yytext));
297 <INITIAL> "constraint"=> (Tokens.CONSTRAINT (pos yypos, pos yypos + size yytext)); 297 <INITIAL> "constraint"=> (Tokens.CONSTRAINT (pos yypos, pos yypos + size yytext));
298 <INITIAL> "constraints"=> (Tokens.CONSTRAINTS (pos yypos, pos yypos + size yytext)); 298 <INITIAL> "constraints"=> (Tokens.CONSTRAINTS (pos yypos, pos yypos + size yytext));
299 <INITIAL> "export" => (Tokens.EXPORT (pos yypos, pos yypos + size yytext)); 299 <INITIAL> "export" => (Tokens.EXPORT (pos yypos, pos yypos + size yytext));
300 <INITIAL> "table" => (Tokens.TABLE (pos yypos, pos yypos + size yytext)); 300 <INITIAL> "table" => (Tokens.TABLE (pos yypos, pos yypos + size yytext));
301 <INITIAL> "sequence" => (Tokens.SEQUENCE (pos yypos, pos yypos + size yytext));
301 <INITIAL> "class" => (Tokens.CLASS (pos yypos, pos yypos + size yytext)); 302 <INITIAL> "class" => (Tokens.CLASS (pos yypos, pos yypos + size yytext));
302 303
303 <INITIAL> "Type" => (Tokens.TYPE (pos yypos, pos yypos + size yytext)); 304 <INITIAL> "Type" => (Tokens.TYPE (pos yypos, pos yypos + size yytext));
304 <INITIAL> "Name" => (Tokens.NAME (pos yypos, pos yypos + size yytext)); 305 <INITIAL> "Name" => (Tokens.NAME (pos yypos, pos yypos + size yytext));
305 <INITIAL> "Unit" => (Tokens.KUNIT (pos yypos, pos yypos + size yytext)); 306 <INITIAL> "Unit" => (Tokens.KUNIT (pos yypos, pos yypos + size yytext));