feat: improve

This commit is contained in:
Yarmo Mackenbach 2024-08-13 12:09:18 +02:00
parent 7c26274bda
commit d924d61d56
No known key found for this signature in database
GPG key ID: 2B71CD64664999B6
2 changed files with 14 additions and 10 deletions

View file

@ -8,7 +8,7 @@ line
: plan
| task
| subtask
| comment
| description
;
plan
@ -42,14 +42,14 @@ subtask_obsolete
: SUBTASK_OBSOLETE_TOKEN TEXT amount?
;
comment
: TEXT
;
amount
: '{' INT '}'
;
description
: TEXT
;
PLAN_TOKEN
: '# '
;
@ -78,7 +78,6 @@ WS
: [ \r\n\t]+ -> skip
;
TEXT
: TEXTHEAD TEXTBODY*
;
@ -87,16 +86,20 @@ INT
: DIGIT+
;
fragment LETTER
: [a-zA-Z\u0080-\u00FF_]
;
fragment DIGIT
: [0-9]
;
fragment TEXTHEAD
: [a-zA-Z]
: LETTER
;
fragment TEXTBODY
: TEXTHEAD
: LETTER
| DIGIT
| [_()., ]
;
| [_().,# ]
;