Bruce/bp
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fix domains to require a TLD (but allow non-tld domains like "localhost"

Browse Source 
in URLS)
This commit is contained in:
Bruce Hill 2023-05-06 13:56:48 -04:00
parent 6f5bb02b92
commit 68f6218444
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
grammars/web.bp
View File

@ -1,13 +1,14 @@
# This file defines some web-related patterns
url: (
("https"/"http"/"ftp") "://" [>..`@ +url-char [`: +url-char] `@]
(ipv4/ipv6/domain) [`: int] [url-path]
(ipv4/ipv6/domain/domain-segment) [`: int] [url-path]
/ "mailto:" email
/ "file://" +(`/ *url-char)
)
url-path: +(`/ *url-char) [`? +(+url-char`=+url-char)%`&]
ipv4: 4 int % `.
ipv6: 8 (4 Hex) % `:
domain: +(+(Abc/digit/`-))%`.
domain-segment: +(Abc/digit/`-)
domain: 2+domain-segment % `.
url-char: Abc/digit/`$,-,_,.,+,!,*,',(,),,,%
email: +(Abc/digit/`.,-,+) `@ domain