diff options
Diffstat (limited to 'public/prism/prism-bnf.js')
| -rw-r--r-- | public/prism/prism-bnf.js | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/public/prism/prism-bnf.js b/public/prism/prism-bnf.js new file mode 100644 index 0000000..873c277 --- /dev/null +++ b/public/prism/prism-bnf.js @@ -0,0 +1,21 @@ +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; |
