aboutsummaryrefslogtreecommitdiffstats
path: root/public/prism/prism-prolog.min.js
blob: 26cd926d83b979d56a204f7cfaef457f2fb12647 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
Prism.languages.prolog = {
  comment: { pattern: /\/\*[\s\S]*?\*\/|%.*/, greedy: !0 },
  string: {
    pattern: /(["'])(?:\1\1|\\(?:\r\n|[\s\S])|(?!\1)[^\\\r\n])*\1(?!\1)/,
    greedy: !0,
  },
  builtin: /\b(?:fx|fy|xf[xy]?|yfx?)\b/,
  function: /\b[a-z]\w*(?:(?=\()|\/\d+)/,
  number: /\b\d+(?:\.\d*)?/,
  operator: /[:\\=><\-?*@\/;+^|!$.]+|\b(?:is|mod|not|xor)\b/,
  punctuation: /[(){}\[\],]/,
};
g.org/syntax.html#_dollar_slashy_string pattern: /("""|''')(?:[^\\]|\\[\s\S])*?\1|\$\/(?:[^/$]|\$(?:[/$]|(?![/$]))|\/(?!\$))*\/\$/, greedy: true, }, { // TODO: Slash strings (e.g. /foo/) can contain line breaks but this will cause a lot of trouble with // simple division (see JS regex), so find a fix maybe? pattern: /(["'/])(?:\\.|(?!\1)[^\\\r\n])*\1/, greedy: true, }, ], keyword: /\b(?:abstract|as|assert|boolean|break|byte|case|catch|char|class|const|continue|def|default|do|double|else|enum|extends|final|finally|float|for|goto|if|implements|import|in|instanceof|int|interface|long|native|new|package|private|protected|public|return|short|static|strictfp|super|switch|synchronized|this|throw|throws|trait|transient|try|void|volatile|while)\b/, number: /\b(?:0b[01_]+|0x[\da-f_]+(?:\.[\da-f_p\-]+)?|[\d_]+(?:\.[\d_]+)?(?:e[+-]?\d+)?)[glidf]?\b/i, operator: { pattern: /(^|[^.])(?:~|==?~?|\?[.:]?|\*(?:[.=]|\*=?)?|\.[@&]|\.\.<|\.\.(?!\.)|-[-=>]?|\+[+=]?|!=?|<(?:<=?|=>?)?|>(?:>>?=?|=)?|&[&=]?|\|[|=]?|\/=?|\^=?|%=?)/, lookbehind: true, }, punctuation: /\.+|[{}[\];(),:$]/, }); Prism.languages.insertBefore('groovy', 'string', { shebang: { pattern: /#!.+/, alias: 'comment', }, }); Prism.languages.insertBefore('groovy', 'punctuation', { 'spock-block': /\b(?:and|cleanup|expect|given|setup|then|when|where):/, }); Prism.languages.insertBefore('groovy', 'function', { annotation: { pattern: /(^|[^.])@\w+/, lookbehind: true, alias: 'punctuation', }, }); // Handle string interpolation Prism.hooks.add('wrap', function (env) { if (env.language === 'groovy' && env.type === 'string') { var delimiter = env.content[0]; if (delimiter != "'") { var pattern = /([^\\])(?:\$(?:\{.*?\}|[\w.]+))/; if (delimiter === '$') { pattern = /([^\$])(?:\$(?:\{.*?\}|[\w.]+))/; } // To prevent double HTML-encoding we have to decode env.content first env.content = env.content.replace(/&lt;/g, '<').replace(/&amp;/g, '&'); env.content = Prism.highlight(env.content, { expression: { pattern: pattern, lookbehind: true, inside: Prism.languages.groovy, }, }); env.classes.push(delimiter === '/' ? 'regex' : 'gstring'); } } });