| summaryrefslogtreecommitdiff |
path: root/instr-to-kodkod
diff options
Diffstat (limited to 'instr-to-kodkod')
| -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); |