| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-08-15 12:38:27 +0200 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-08-15 12:38:27 +0200 |
| commit | b45d145f19c7818db7a890117b089ebf3f891947 (patch) | |
| tree | 887af1a5352521ed986ff099fb7292dfd46310e9 | |
| parent | 4a6b4c5ec978eabd6471dc20880f402d17215ce5 (diff) | |
Adds support for comments in properties.
| -rw-r--r-- | instr-to-kodkod/parser/PropertyLexer.g4 | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/instr-to-kodkod/parser/PropertyLexer.g4 b/instr-to-kodkod/parser/PropertyLexer.g4 index 46a6d3d..b538794 100644 --- a/instr-to-kodkod/parser/PropertyLexer.g4 +++ b/instr-to-kodkod/parser/PropertyLexer.g4 @@ -2,8 +2,8 @@ lexer grammar PropertyLexer; fragment SEP: [ \t\r\n]+; -L_PAREN : '('; -R_PAREN : ')'; +L_PAREN: '('; +R_PAREN: ')'; L_BRAKT: '['; R_BRAKT: ']'; @@ -39,3 +39,5 @@ WS: SEP; ID: [a-zA-Z0-9_]+; STRING: '"' ~('\r' | '\n' | '"')* '"'; + +COMMENT: ';;' .*? '\n' -> channel(HIDDEN); |