diff options
author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-02-03 22:46:36 +0000 |
---|---|---|
committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-02-03 22:46:36 +0000 |
commit | cf8b81553abf579d151b04a40cd82dec48bfd6ff (patch) | |
tree | 275c457d85fa2a0d4843343ad1d7d25017f13cdd /src/parser/smt/smt_lexer.g | |
parent | 64d530e5b9096e66398f92d93cf7bc4268df0e70 (diff) |
Adding functions/predicates to SMT grammar
Diffstat (limited to 'src/parser/smt/smt_lexer.g')
-rw-r--r-- | src/parser/smt/smt_lexer.g | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/src/parser/smt/smt_lexer.g b/src/parser/smt/smt_lexer.g index e9abab61a..f1c01ea05 100644 --- a/src/parser/smt/smt_lexer.g +++ b/src/parser/smt/smt_lexer.g @@ -64,6 +64,20 @@ tokens { EXTRAFUNS_ATTR = ":extrafuns"; EXTRAPREDS_ATTR = ":extrapreds"; C_NOTES = ":notes"; + // arithmetic symbols + EQUAL = "="; + LESS_THAN = "<"; + GREATER_THAN = ">"; + AMPERSAND = "&"; + AT = "@"; + POUND = "#"; + PLUS = "+"; + MINUS = "-"; + STAR = "*"; + DIV = "/"; + PERCENT = "%"; + PIPE = "|"; + TILDE = "~"; } /** @@ -179,3 +193,18 @@ STRING_LITERAL options { paraphrase = "a string literal"; } COMMENT options { paraphrase = "comment"; } : ';' (~('\n' | '\r'))* { $setType(antlr::Token::SKIP); } ; + +/* Arithmetic symbol tokens */ +EQUAL : "="; +LESS_THAN : "<"; +GREATER_THAN : ">"; +AMPERSAND : "&"; +AT : "@"; +POUND : "#"; +PLUS : "+"; +MINUS : "-"; +STAR : "*"; +DIV : "/"; +PERCENT : "%"; +PIPE : "|"; +TILDE : "~"; |