diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2021-01-26 17:21:57 -0800 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2021-01-26 17:21:57 -0800 |
| commit | d9cca805a005a0c64252ec47674d68a07ded86e5 (patch) | |
| tree | 97bbc260638fdb0bba24dc364bd414cdd2d86376 | |
| parent | bea3e3e268ff3fdc3170ad5ee55b00be09d9ee64 (diff) | |
Added web grammar
| -rw-r--r-- | grammars/web.bp | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/grammars/web.bp b/grammars/web.bp new file mode 100644 index 0000000..0fb74f9 --- /dev/null +++ b/grammars/web.bp @@ -0,0 +1,13 @@ +# This file defines some web-related patterns +url: ( + "file://" +(`/ *url-char) + / "mailto:" email + / ("https"/"http"/"ftp") "://" [>..`@ +url-char [`: +url-char] `@] + (ipv4/ipv6/domain) [`: int] [url-path] +) +url-path: +(`/ *url-char) [`? +(+url-char`=+url-char)%`&] +ipv4: 4 int % `. +ipv6: 8 (4 Hex) % `: +domain: +(+(Abc/digit/`-))%`. +url-char: Abc/digit/`$,-,_,.,+,!,*,',(,),,,% +email: +(Abc/digit/`.,-,+) `@ domain |