diff options
author | Christopher L. Conway <christopherleeconway@gmail.com> | 2009-12-17 20:30:43 +0000 |
---|---|---|
committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2009-12-17 20:30:43 +0000 |
commit | 24bf38210981fcddcc7e236c2a67095ea6345513 (patch) | |
tree | de1e43988c8fdbb80a56c30a394a9f7c2954e6ae /src | |
parent | 1dfb57de029dbef0b5d05561891f841b5ba87291 (diff) |
Adding more parser tests
Diffstat (limited to 'src')
-rw-r--r-- | src/parser/smt/smt_lexer.g | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/parser/smt/smt_lexer.g b/src/parser/smt/smt_lexer.g index 70f60a0bc..bc8c05fdd 100644 --- a/src/parser/smt/smt_lexer.g +++ b/src/parser/smt/smt_lexer.g @@ -150,3 +150,9 @@ STRING_LITERAL options { paraphrase = "a string literal"; } : '\"' (~('\"'))* '\"' ; +/** + * Matches the comments and ignores them + */ +COMMENT options { paraphrase = "comment"; } + : ';' (~('\n' | '\r'))* { $setType(antlr::Token::SKIP); } + ; |