diff options
| author | Marc Vertes <marc.vertes@tendermint.com> | 2023-08-24 09:31:14 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-08-24 09:31:14 +0200 |
| commit | c83cdc374f8d50189c2da3460a6db94a4527c1fc (patch) | |
| tree | 1499aa126f74564062d9a495a22956bfa3edad72 /scanner/readme.md | |
| parent | 947873b34aabe46dfb9f8d06214736cb11b5a6b2 (diff) | |
scanner: handle long string delimiters (#7)
* scanner: handle long string delimiters
Strings now can be delimited by arbitrary sequences of characters.
It is also possible to exclude the end delimiter, as for example
required for `//` C or Go comments.
* scanner: fix handling strings within blocks
Diffstat (limited to 'scanner/readme.md')
| -rw-r--r-- | scanner/readme.md | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/scanner/readme.md b/scanner/readme.md index b8b31fb..c131a9f 100644 --- a/scanner/readme.md +++ b/scanner/readme.md @@ -31,12 +31,13 @@ A successful test must be provided to check the status. - [x] unescaped strings (including multiline) - [x] escaped string (including multiline) - [x] separators (in UTF-8 range) -- [ ] single line string (\n not allowed) +- [x] single line string (\n not allowed) - [x] identifiers (in UTF-8 range) - [x] operators, concatenated or not - [x] single character block/string delimiters - [x] arbitrarly nested blocks and strings -- [ ] multiple characters block/string delimiters -- [ ] blocks delimited by identifiers/operators/separators -- [ ] blocks with delimiter inclusion/exclusion rules -- [ ] blocks delimited by indentation level +- [x] multiple characters block/string delimiters +- [x] blocks delimited by operator characters +- [ ] blocks delimited by identifiers +- [x] blocks with delimiter inclusion/exclusion rules +- [ ] blocks delimited by indentation level (python, yaml, ...) |