diff options
| author | Armand Philippot <git@armandphilippot.com> | 2021-12-30 19:47:21 +0100 |
|---|---|---|
| committer | Armand Philippot <git@armandphilippot.com> | 2021-12-30 19:47:21 +0100 |
| commit | a98b5ea6fe8e8cc98a55e0fd793e6e8660ea31c1 (patch) | |
| tree | 542810ab5aef99150db228bb54fd58303dcb31c7 /public/prism/prism-eiffel.js | |
| parent | ab355897a12b7bda1089a44de326d41455a0f7a3 (diff) | |
chore: add prismjs for syntax highlighting
Diffstat (limited to 'public/prism/prism-eiffel.js')
| -rw-r--r-- | public/prism/prism-eiffel.js | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/public/prism/prism-eiffel.js b/public/prism/prism-eiffel.js new file mode 100644 index 0000000..8d14b8f --- /dev/null +++ b/public/prism/prism-eiffel.js @@ -0,0 +1,35 @@ +Prism.languages.eiffel = { + comment: /--.*/, + string: [ + // Aligned-verbatim-strings + { + pattern: /"([^[]*)\[[\s\S]*?\]\1"/, + greedy: true, + }, + // Non-aligned-verbatim-strings + { + pattern: /"([^{]*)\{[\s\S]*?\}\1"/, + greedy: true, + }, + // Single-line string + { + pattern: /"(?:%(?:(?!\n)\s)*\n\s*%|%\S|[^%"\r\n])*"/, + greedy: true, + }, + ], + // normal char | special char | char code + char: /'(?:%.|[^%'\r\n])+'/, + keyword: + /\b(?:across|agent|alias|all|and|as|assign|attached|attribute|check|class|convert|create|Current|debug|deferred|detachable|do|else|elseif|end|ensure|expanded|export|external|feature|from|frozen|if|implies|inherit|inspect|invariant|like|local|loop|not|note|obsolete|old|once|or|Precursor|redefine|rename|require|rescue|Result|retry|select|separate|some|then|undefine|until|variant|Void|when|xor)\b/i, + boolean: /\b(?:False|True)\b/i, + // Convention: class-names are always all upper-case characters + 'class-name': /\b[A-Z][\dA-Z_]*\b/, + number: [ + // hexa | octal | bin + /\b0[xcb][\da-f](?:_*[\da-f])*\b/i, + // Decimal + /(?:\b\d(?:_*\d)*)?\.(?:(?:\d(?:_*\d)*)?e[+-]?)?\d(?:_*\d)*\b|\b\d(?:_*\d)*\b\.?/i, + ], + punctuation: /:=|<<|>>|\(\||\|\)|->|\.(?=\w)|[{}[\];(),:?]/, + operator: /\\\\|\|\.\.\||\.\.|\/[~\/=]?|[><]=?|[-+*^=~]/, +}; |
