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-parigp.js | |
| parent | ab355897a12b7bda1089a44de326d41455a0f7a3 (diff) | |
chore: add prismjs for syntax highlighting
Diffstat (limited to 'public/prism/prism-parigp.js')
| -rw-r--r-- | public/prism/prism-parigp.js | 53 |
1 files changed, 53 insertions, 0 deletions
diff --git a/public/prism/prism-parigp.js b/public/prism/prism-parigp.js new file mode 100644 index 0000000..45759b1 --- /dev/null +++ b/public/prism/prism-parigp.js @@ -0,0 +1,53 @@ +Prism.languages.parigp = { + comment: /\/\*[\s\S]*?\*\/|\\\\.*/, + string: { + pattern: /"(?:[^"\\\r\n]|\\.)*"/, + greedy: true, + }, + // PARI/GP does not care about white spaces at all + // so let's process the keywords to build an appropriate regexp + // (e.g. "b *r *e *a *k", etc.) + keyword: (function () { + var keywords = [ + 'breakpoint', + 'break', + 'dbg_down', + 'dbg_err', + 'dbg_up', + 'dbg_x', + 'forcomposite', + 'fordiv', + 'forell', + 'forpart', + 'forprime', + 'forstep', + 'forsubgroup', + 'forvec', + 'for', + 'iferr', + 'if', + 'local', + 'my', + 'next', + 'return', + 'until', + 'while', + ]; + keywords = keywords + .map(function (keyword) { + return keyword.split('').join(' *'); + }) + .join('|'); + return RegExp('\\b(?:' + keywords + ')\\b'); + })(), + function: /\b\w(?:[\w ]*\w)?(?= *\()/, + number: { + // The lookbehind and the negative lookahead prevent from breaking the .. operator + pattern: + /((?:\. *\. *)?)(?:\b\d(?: *\d)*(?: *(?!\. *\.)\.(?: *\d)*)?|\. *\d(?: *\d)*)(?: *e *(?:[+-] *)?\d(?: *\d)*)?/i, + lookbehind: true, + }, + operator: + /\. *\.|[*\/!](?: *=)?|%(?: *=|(?: *#)?(?: *')*)?|\+(?: *[+=])?|-(?: *[-=>])?|<(?: *>|(?: *<)?(?: *=)?)?|>(?: *>)?(?: *=)?|=(?: *=){0,2}|\\(?: *\/)?(?: *=)?|&(?: *&)?|\| *\||['#~^]/, + punctuation: /[\[\]{}().,:;|]/, +}; |
