X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/1dd06e3cd2f4e8b23c398ac65ad09eff9d1c5a02..c219fe5500b4294ba8dc0bce57b5c7d60b39065e:/src/domtool.lex diff --git a/src/domtool.lex b/src/domtool.lex index 99449ca..4f51821 100644 --- a/src/domtool.lex +++ b/src/domtool.lex @@ -130,6 +130,11 @@ lineComment = #[^\n]*\n; "with" => (Tokens.WITH (yypos, yypos + size yytext)); "where" => (Tokens.WHERE (yypos, yypos + size yytext)); + "if" => (Tokens.IF (yypos, yypos + size yytext)); + "then" => (Tokens.THEN (yypos, yypos + size yytext)); + "else" => (Tokens.ELSE (yypos, yypos + size yytext)); + "Skip" => (Tokens.SKIP (yypos, yypos + size yytext)); + "extern" => (Tokens.EXTERN (yypos, yypos + size yytext)); "type" => (Tokens.TYPE (yypos, yypos + size yytext)); "val" => (Tokens.VAL (yypos, yypos + size yytext));