diff options
author | Christopher L. Conway <christopherleeconway@gmail.com> | 2009-12-15 23:05:02 +0000 |
---|---|---|
committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2009-12-15 23:05:02 +0000 |
commit | 8cb3a7b556e8b4b85745bffbd1f0246e6af29588 (patch) | |
tree | cdff09f0a4a274a402c05013013091c0c7966615 /src/parser/cvc | |
parent | 7cc208713f373ee83946b9d53a9c405bfec9e107 (diff) |
Minor changes to parser files from code review.
Diffstat (limited to 'src/parser/cvc')
-rw-r--r-- | src/parser/cvc/cvc_lexer.g | 4 | ||||
-rw-r--r-- | src/parser/cvc/cvc_parser.g | 1 |
2 files changed, 3 insertions, 2 deletions
diff --git a/src/parser/cvc/cvc_lexer.g b/src/parser/cvc/cvc_lexer.g index 8d706963f..dd0d7c69c 100644 --- a/src/parser/cvc/cvc_lexer.g +++ b/src/parser/cvc/cvc_lexer.g @@ -66,7 +66,7 @@ DIGIT options{ paraphrase = "a digit"; } /** * Matches the ':' */ -COLON options{ paraphrase = "a comma"; } +COLON options{ paraphrase = "a colon"; } : ':' ; @@ -115,7 +115,7 @@ NEWLINE options { paraphrase = "a newline"; } * Mathces the comments and ignores them */ COMMENT options { paraphrase = "comment"; } - : ';' (~('\n' | '\r'))* { $setType(antlr::Token::SKIP); } + : '%' (~('\n' | '\r'))* { $setType(antlr::Token::SKIP); } ; /** diff --git a/src/parser/cvc/cvc_parser.g b/src/parser/cvc/cvc_parser.g index 625f2c381..864719cfa 100644 --- a/src/parser/cvc/cvc_parser.g +++ b/src/parser/cvc/cvc_parser.g @@ -42,6 +42,7 @@ command returns [CVC4::Command* cmd = 0] | CHECKSAT f = formula { cmd = new CheckSatCommand(f); } | CHECKSAT { cmd = new CheckSatCommand(); } | identifierList[ids] COLON type { + // [chris 12/15/2009] FIXME: decls may not be BOOLEAN newPredicates(ids); cmd = new EmptyCommand("Declaration"); } |