comparison src/urweb.lex @ 1199:c316ca3c9ec6

Pushing policies through
author Adam Chlipala <adamc@hcoop.net>
date Sun, 04 Apr 2010 12:29:34 -0400
parents e1cf925e2074
children b04354e24d1b
comparison
equal deleted inserted replaced
1197:6d8e3dcb9713 1199:c316ca3c9ec6
414 <INITIAL> "view" => (Tokens.VIEW (pos yypos, pos yypos + size yytext)); 414 <INITIAL> "view" => (Tokens.VIEW (pos yypos, pos yypos + size yytext));
415 <INITIAL> "class" => (Tokens.CLASS (pos yypos, pos yypos + size yytext)); 415 <INITIAL> "class" => (Tokens.CLASS (pos yypos, pos yypos + size yytext));
416 <INITIAL> "cookie" => (Tokens.COOKIE (pos yypos, pos yypos + size yytext)); 416 <INITIAL> "cookie" => (Tokens.COOKIE (pos yypos, pos yypos + size yytext));
417 <INITIAL> "style" => (Tokens.STYLE (pos yypos, pos yypos + size yytext)); 417 <INITIAL> "style" => (Tokens.STYLE (pos yypos, pos yypos + size yytext));
418 <INITIAL> "task" => (Tokens.TASK (pos yypos, pos yypos + size yytext)); 418 <INITIAL> "task" => (Tokens.TASK (pos yypos, pos yypos + size yytext));
419 <INITIAL> "policy" => (Tokens.POLICY (pos yypos, pos yypos + size yytext));
419 420
420 <INITIAL> "Type" => (Tokens.TYPE (pos yypos, pos yypos + size yytext)); 421 <INITIAL> "Type" => (Tokens.TYPE (pos yypos, pos yypos + size yytext));
421 <INITIAL> "Name" => (Tokens.NAME (pos yypos, pos yypos + size yytext)); 422 <INITIAL> "Name" => (Tokens.NAME (pos yypos, pos yypos + size yytext));
422 <INITIAL> "Unit" => (Tokens.KUNIT (pos yypos, pos yypos + size yytext)); 423 <INITIAL> "Unit" => (Tokens.KUNIT (pos yypos, pos yypos + size yytext));
423 424