aboutsummaryrefslogtreecommitdiff
path: root/node_modules/highlight.js/lib/languages/prolog.js
diff options
context:
space:
mode:
authorFlorian Dold <florian.dold@gmail.com>2019-03-27 21:01:33 +0100
committerFlorian Dold <florian.dold@gmail.com>2019-03-27 21:01:33 +0100
commitcc97a4dd2a967e1c2273bd5f4c5f49a5bf2e2585 (patch)
tree92c5d88706a6ffc654d1b133618d357890e7096b /node_modules/highlight.js/lib/languages/prolog.js
parent3771b4d6b67b34c130f3a9a1a15f42deefdb2eda (diff)
remove node_modules
Diffstat (limited to 'node_modules/highlight.js/lib/languages/prolog.js')
-rw-r--r--node_modules/highlight.js/lib/languages/prolog.js87
1 files changed, 0 insertions, 87 deletions
diff --git a/node_modules/highlight.js/lib/languages/prolog.js b/node_modules/highlight.js/lib/languages/prolog.js
deleted file mode 100644
index cf2c60b19..000000000
--- a/node_modules/highlight.js/lib/languages/prolog.js
+++ /dev/null
@@ -1,87 +0,0 @@
-module.exports = function(hljs) {
-
- var ATOM = {
-
- begin: /[a-z][A-Za-z0-9_]*/,
- relevance: 0
- };
-
- var VAR = {
-
- className: 'symbol',
- variants: [
- {begin: /[A-Z][a-zA-Z0-9_]*/},
- {begin: /_[A-Za-z0-9_]*/},
- ],
- relevance: 0
- };
-
- var PARENTED = {
-
- begin: /\(/,
- end: /\)/,
- relevance: 0
- };
-
- var LIST = {
-
- begin: /\[/,
- end: /\]/
- };
-
- var LINE_COMMENT = {
-
- className: 'comment',
- begin: /%/, end: /$/,
- contains: [hljs.PHRASAL_WORDS_MODE]
- };
-
- var BACKTICK_STRING = {
-
- className: 'string',
- begin: /`/, end: /`/,
- contains: [hljs.BACKSLASH_ESCAPE]
- };
-
- var CHAR_CODE = {
-
- className: 'string', // 0'a etc.
- begin: /0\'(\\\'|.)/
- };
-
- var SPACE_CODE = {
-
- className: 'string',
- begin: /0\'\\s/ // 0'\s
- };
-
- var PRED_OP = { // relevance booster
- begin: /:-/
- };
-
- var inner = [
-
- ATOM,
- VAR,
- PARENTED,
- PRED_OP,
- LIST,
- LINE_COMMENT,
- hljs.C_BLOCK_COMMENT_MODE,
- hljs.QUOTE_STRING_MODE,
- hljs.APOS_STRING_MODE,
- BACKTICK_STRING,
- CHAR_CODE,
- SPACE_CODE,
- hljs.C_NUMBER_MODE
- ];
-
- PARENTED.contains = inner;
- LIST.contains = inner;
-
- return {
- contains: inner.concat([
- {begin: /\.$/} // relevance booster
- ])
- };
-}; \ No newline at end of file