diff options
Diffstat (limited to 'public/prism/prism-bnf.min.js')
| -rw-r--r-- | public/prism/prism-bnf.min.js | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/public/prism/prism-bnf.min.js b/public/prism/prism-bnf.min.js new file mode 100644 index 0000000..a3e7b81 --- /dev/null +++ b/public/prism/prism-bnf.min.js @@ -0,0 +1,11 @@ +(Prism.languages.bnf = { + string: { pattern: /"[^\r\n"]*"|'[^\r\n']*'/ }, + definition: { + pattern: /<[^<>\r\n\t]+>(?=\s*::=)/, + alias: ['rule', 'keyword'], + inside: { punctuation: /^<|>$/ }, + }, + rule: { pattern: /<[^<>\r\n\t]+>/, inside: { punctuation: /^<|>$/ } }, + operator: /::=|[|()[\]{}*+?]|\.{3}/, +}), + (Prism.languages.rbnf = Prism.languages.bnf); |
