diff options
Diffstat (limited to 'grammar.txt')
| -rw-r--r-- | grammar.txt | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/grammar.txt b/grammar.txt new file mode 100644 index 0000000..f2a7827 --- /dev/null +++ b/grammar.txt @@ -0,0 +1,6 @@ +regex := alternate (PIPE alternate)* +alternate := node* +node := csetnode | grouping +csetnode := TILDE? (CHARSET | union) STAR? +union := LEFT_BRACKET CHARSET* RIGHT_BRACKET +grouping := LEFT_PAREN regex RIGHT_PAREN |
