bp/grammars/builtins.bpeg

98 lines
2.7 KiB
Plaintext
Raw Normal View History

yes: ''
no: !''
2020-09-16 20:41:38 -07:00
2020-09-16 21:43:12 -07:00
# Configurable options:
is-tty: no # Defined as either always-match or always-fail, depending on stdout
print-line-numbers: is-tty
print-filenames: is-tty
highlight: is-tty
include-binary-files: no;
is-text-file: ^^ >32(\t/\n/\r/\x20-x7e/!\x00-x7f utf8-codepoint/$$)
2020-09-16 21:43:12 -07:00
# Meta-rules for acting on everything:
pattern: !'' # Not defined by default
replacement: !'' # Not defined by default
replace-all: (
(include-binary-files / is-text-file)
define-highlights
add-filename
*(...(>pattern hl-replacement)) ...
)
find-all: (
(include-binary-files / is-text-file)
define-highlights
add-filename
*(!..pattern {..\n=>})
+(>..pattern add-line-number +(..hl-pattern) ..(\n/$$) / {..\n=>})
[{!<\n => "\n"}]
)
only-matches: (
(include-binary-files / is-text-file)
define-highlights
add-filename
+{...@hl-pattern =>'@1\n'}
)
add-filename: [print-filenames (is-tty {=>"\033[33;1;4m@&:\033[0m\n"} / {=>"@&:\n"})]
add-line-number: [print-line-numbers (is-tty {=>"\033[2m@#\033[5G|\033[0m "} / {=>"@#| "})]
hl-pattern: {@match=pattern define-highlights => "@hl-start;@match;@hl-end;"}
hl-replacement: {@match=replacement define-highlights => "@hl-start;@match;@hl-end;" }
define-highlights: highlight @hl-start={=>"\033[31;1m"} @hl-end={=>"\033[0m"} / @hl-start="" @hl-end=""
2020-09-12 18:20:13 -07:00
# Helper definitions (commonly used)
url: (
"file://" +(`/ *url-char)
/ "mailto:" email
2020-09-28 22:22:10 -07:00
/ ("https"/"http"/"ftp") "://" [>..`@ +url-char [`: +url-char] `@]
(ipv4/ipv6/domain) [`: int] [url-path]
)
2020-09-28 22:22:10 -07:00
url-path: +(`/ *url-char) [`? +(+url-char`=+url-char)%`&]
ipv4: 4 int % `.
ipv6: 8 (4 Hex) % `:
2020-09-28 22:22:10 -07:00
domain: +(+(Abc/digit/`-))%`.
url-char: Abc/digit/`$/`-/`_/`./`+/`!/`*/`'/`(/`)/`,/`%
2020-09-28 22:23:19 -07:00
email: +(Abc/digit/`./`-/`+) `@ domain
indent: \n|+(\t/' ')
dedent: $ !(\n|)
indented-block: |` ..$ *(\n|..$)
utf8-codepoint: (
\x00-x7f
/ \xc0-xdf 1\x80-xbf
/ \xe0-xef 2\x80-xbf
/ \xf0-xf7 3\x80-xbf
)
crlf: \r\n
cr: \r
2020-10-11 14:12:06 -07:00
anglebraces: `< *(anglebraces / $. != `>) `>
brackets: `[ *(brackets / $. != `]) `]
braces: `{ *(braces / $. != `}) `}
parens: `( *(parens / $. != `)) `)
id: !<(`a-z/`A-Z/`_/`0-9) (`a-z/`A-Z/`_) *(`a-z/`A-Z/`_/`0-9)
id-char: `a-z/`A-Z/`_/`0-9
word: !<(`a-z/`A-Z/`_/`0-9) +(`a-z/`A-Z) !>(`0-9/`_)
HEX: `0-9/`A-F
Hex: `0-9/`a-f/`A-F
hex: `0-9/`a-f
number: +`0-9 [`. *`0-9] / `. +`0-9
int: +`0-9
digit: `0-9
Abc: `a-z/`A-Z
ABC: `A-Z
abc: `a-z
esc: \e
tab: \t
nl: \n; lf: \n
c-block-comment: '/*' ... '*/'
c-line-comment: '//' ..$
c-comment: c-line-comment / c-block-comment
hash-comment: `# ..$
comment: !''; # No default definition, can be overridden
WS: ` /\t/\n/\r/comment
ws: ` /\t
$$: !$.
$: !.
^^: !<$.
^: !<.
__: *(` /\t/\n/\r/comment)
_: *(` /\t)