diff options
Diffstat (limited to 'grammars')
| -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 |