@pfmcodes/caret 0.1.1

package/highlight.js/lib/languages/coq.js

@@ -0,0 +1,445 @@
+/*
+Language: Coq
+Author: Stephan Boyer <stephan@stephanboyer.com>
+Category: functional
+Website: https://coq.inria.fr
+*/
+
+/** @type LanguageFn */
+function coq(hljs) {
+  const KEYWORDS = [
+    "_|0",
+    "as",
+    "at",
+    "cofix",
+    "else",
+    "end",
+    "exists",
+    "exists2",
+    "fix",
+    "for",
+    "forall",
+    "fun",
+    "if",
+    "IF",
+    "in",
+    "let",
+    "match",
+    "mod",
+    "Prop",
+    "return",
+    "Set",
+    "then",
+    "Type",
+    "using",
+    "where",
+    "with",
+    "Abort",
+    "About",
+    "Add",
+    "Admit",
+    "Admitted",
+    "All",
+    "Arguments",
+    "Assumptions",
+    "Axiom",
+    "Back",
+    "BackTo",
+    "Backtrack",
+    "Bind",
+    "Blacklist",
+    "Canonical",
+    "Cd",
+    "Check",
+    "Class",
+    "Classes",
+    "Close",
+    "Coercion",
+    "Coercions",
+    "CoFixpoint",
+    "CoInductive",
+    "Collection",
+    "Combined",
+    "Compute",
+    "Conjecture",
+    "Conjectures",
+    "Constant",
+    "constr",
+    "Constraint",
+    "Constructors",
+    "Context",
+    "Corollary",
+    "CreateHintDb",
+    "Cut",
+    "Declare",
+    "Defined",
+    "Definition",
+    "Delimit",
+    "Dependencies",
+    "Dependent",
+    "Derive",
+    "Drop",
+    "eauto",
+    "End",
+    "Equality",
+    "Eval",
+    "Example",
+    "Existential",
+    "Existentials",
+    "Existing",
+    "Export",
+    "exporting",
+    "Extern",
+    "Extract",
+    "Extraction",
+    "Fact",
+    "Field",
+    "Fields",
+    "File",
+    "Fixpoint",
+    "Focus",
+    "for",
+    "From",
+    "Function",
+    "Functional",
+    "Generalizable",
+    "Global",
+    "Goal",
+    "Grab",
+    "Grammar",
+    "Graph",
+    "Guarded",
+    "Heap",
+    "Hint",
+    "HintDb",
+    "Hints",
+    "Hypotheses",
+    "Hypothesis",
+    "ident",
+    "Identity",
+    "If",
+    "Immediate",
+    "Implicit",
+    "Import",
+    "Include",
+    "Inductive",
+    "Infix",
+    "Info",
+    "Initial",
+    "Inline",
+    "Inspect",
+    "Instance",
+    "Instances",
+    "Intro",
+    "Intros",
+    "Inversion",
+    "Inversion_clear",
+    "Language",
+    "Left",
+    "Lemma",
+    "Let",
+    "Libraries",
+    "Library",
+    "Load",
+    "LoadPath",
+    "Local",
+    "Locate",
+    "Ltac",
+    "ML",
+    "Mode",
+    "Module",
+    "Modules",
+    "Monomorphic",
+    "Morphism",
+    "Next",
+    "NoInline",
+    "Notation",
+    "Obligation",
+    "Obligations",
+    "Opaque",
+    "Open",
+    "Optimize",
+    "Options",
+    "Parameter",
+    "Parameters",
+    "Parametric",
+    "Path",
+    "Paths",
+    "pattern",
+    "Polymorphic",
+    "Preterm",
+    "Print",
+    "Printing",
+    "Program",
+    "Projections",
+    "Proof",
+    "Proposition",
+    "Pwd",
+    "Qed",
+    "Quit",
+    "Rec",
+    "Record",
+    "Recursive",
+    "Redirect",
+    "Relation",
+    "Remark",
+    "Remove",
+    "Require",
+    "Reserved",
+    "Reset",
+    "Resolve",
+    "Restart",
+    "Rewrite",
+    "Right",
+    "Ring",
+    "Rings",
+    "Save",
+    "Scheme",
+    "Scope",
+    "Scopes",
+    "Script",
+    "Search",
+    "SearchAbout",
+    "SearchHead",
+    "SearchPattern",
+    "SearchRewrite",
+    "Section",
+    "Separate",
+    "Set",
+    "Setoid",
+    "Show",
+    "Solve",
+    "Sorted",
+    "Step",
+    "Strategies",
+    "Strategy",
+    "Structure",
+    "SubClass",
+    "Table",
+    "Tables",
+    "Tactic",
+    "Term",
+    "Test",
+    "Theorem",
+    "Time",
+    "Timeout",
+    "Transparent",
+    "Type",
+    "Typeclasses",
+    "Types",
+    "Undelimit",
+    "Undo",
+    "Unfocus",
+    "Unfocused",
+    "Unfold",
+    "Universe",
+    "Universes",
+    "Unset",
+    "Unshelve",
+    "using",
+    "Variable",
+    "Variables",
+    "Variant",
+    "Verbose",
+    "Visibility",
+    "where",
+    "with"
+  ];
+  const BUILT_INS = [
+    "abstract",
+    "absurd",
+    "admit",
+    "after",
+    "apply",
+    "as",
+    "assert",
+    "assumption",
+    "at",
+    "auto",
+    "autorewrite",
+    "autounfold",
+    "before",
+    "bottom",
+    "btauto",
+    "by",
+    "case",
+    "case_eq",
+    "cbn",
+    "cbv",
+    "change",
+    "classical_left",
+    "classical_right",
+    "clear",
+    "clearbody",
+    "cofix",
+    "compare",
+    "compute",
+    "congruence",
+    "constr_eq",
+    "constructor",
+    "contradict",
+    "contradiction",
+    "cut",
+    "cutrewrite",
+    "cycle",
+    "decide",
+    "decompose",
+    "dependent",
+    "destruct",
+    "destruction",
+    "dintuition",
+    "discriminate",
+    "discrR",
+    "do",
+    "double",
+    "dtauto",
+    "eapply",
+    "eassumption",
+    "eauto",
+    "ecase",
+    "econstructor",
+    "edestruct",
+    "ediscriminate",
+    "eelim",
+    "eexact",
+    "eexists",
+    "einduction",
+    "einjection",
+    "eleft",
+    "elim",
+    "elimtype",
+    "enough",
+    "equality",
+    "erewrite",
+    "eright",
+    "esimplify_eq",
+    "esplit",
+    "evar",
+    "exact",
+    "exactly_once",
+    "exfalso",
+    "exists",
+    "f_equal",
+    "fail",
+    "field",
+    "field_simplify",
+    "field_simplify_eq",
+    "first",
+    "firstorder",
+    "fix",
+    "fold",
+    "fourier",
+    "functional",
+    "generalize",
+    "generalizing",
+    "gfail",
+    "give_up",
+    "has_evar",
+    "hnf",
+    "idtac",
+    "in",
+    "induction",
+    "injection",
+    "instantiate",
+    "intro",
+    "intro_pattern",
+    "intros",
+    "intuition",
+    "inversion",
+    "inversion_clear",
+    "is_evar",
+    "is_var",
+    "lapply",
+    "lazy",
+    "left",
+    "lia",
+    "lra",
+    "move",
+    "native_compute",
+    "nia",
+    "nsatz",
+    "omega",
+    "once",
+    "pattern",
+    "pose",
+    "progress",
+    "proof",
+    "psatz",
+    "quote",
+    "record",
+    "red",
+    "refine",
+    "reflexivity",
+    "remember",
+    "rename",
+    "repeat",
+    "replace",
+    "revert",
+    "revgoals",
+    "rewrite",
+    "rewrite_strat",
+    "right",
+    "ring",
+    "ring_simplify",
+    "rtauto",
+    "set",
+    "setoid_reflexivity",
+    "setoid_replace",
+    "setoid_rewrite",
+    "setoid_symmetry",
+    "setoid_transitivity",
+    "shelve",
+    "shelve_unifiable",
+    "simpl",
+    "simple",
+    "simplify_eq",
+    "solve",
+    "specialize",
+    "split",
+    "split_Rabs",
+    "split_Rmult",
+    "stepl",
+    "stepr",
+    "subst",
+    "sum",
+    "swap",
+    "symmetry",
+    "tactic",
+    "tauto",
+    "time",
+    "timeout",
+    "top",
+    "transitivity",
+    "trivial",
+    "try",
+    "tryif",
+    "unfold",
+    "unify",
+    "until",
+    "using",
+    "vm_compute",
+    "with"
+  ];
+  return {
+    name: 'Coq',
+    keywords: {
+      keyword: KEYWORDS,
+      built_in: BUILT_INS
+    },
+    contains: [
+      hljs.QUOTE_STRING_MODE,
+      hljs.COMMENT('\\(\\*', '\\*\\)'),
+      hljs.C_NUMBER_MODE,
+      {
+        className: 'type',
+        excludeBegin: true,
+        begin: '\\|\\s*',
+        end: '\\w+'
+      },
+      { // relevance booster
+        begin: /[-=]>/ }
+    ]
+  };
+}
+
+module.exports = coq;

package/highlight.js/lib/languages/coq.js.js

@@ -0,0 +1,10 @@
+function emitWarning() {
+    if (!emitWarning.warned) {
+      emitWarning.warned = true;
+      console.log(
+        'Deprecation (warning): Using file extension in specifier is deprecated, use "highlight.js/lib/languages/coq" instead of "highlight.js/lib/languages/coq.js"'
+      );
+    }
+  }
+  emitWarning();
+    module.exports = require('./coq.js');

package/highlight.js/lib/languages/cos.js

@@ -0,0 +1,140 @@
+/*
+Language: Caché Object Script
+Author: Nikita Savchenko <zitros.lab@gmail.com>
+Category: enterprise, scripting
+Website: https://cedocs.intersystems.com/latest/csp/docbook/DocBook.UI.Page.cls
+*/
+
+/** @type LanguageFn */
+function cos(hljs) {
+  const STRINGS = {
+    className: 'string',
+    variants: [
+      {
+        begin: '"',
+        end: '"',
+        contains: [
+          { // escaped
+            begin: "\"\"",
+            relevance: 0
+          }
+        ]
+      }
+    ]
+  };
+
+  const NUMBERS = {
+    className: "number",
+    begin: "\\b(\\d+(\\.\\d*)?|\\.\\d+)",
+    relevance: 0
+  };
+
+  const COS_KEYWORDS =
+    'property parameter class classmethod clientmethod extends as break '
+    + 'catch close continue do d|0 else elseif for goto halt hang h|0 if job '
+    + 'j|0 kill k|0 lock l|0 merge new open quit q|0 read r|0 return set s|0 '
+    + 'tcommit throw trollback try tstart use view while write w|0 xecute x|0 '
+    + 'zkill znspace zn ztrap zwrite zw zzdump zzwrite print zbreak zinsert '
+    + 'zload zprint zremove zsave zzprint mv mvcall mvcrt mvdim mvprint zquit '
+    + 'zsync ascii';
+
+  // registered function - no need in them due to all functions are highlighted,
+  // but I'll just leave this here.
+
+  // "$bit", "$bitcount",
+  // "$bitfind", "$bitlogic", "$case", "$char", "$classmethod", "$classname",
+  // "$compile", "$data", "$decimal", "$double", "$extract", "$factor",
+  // "$find", "$fnumber", "$get", "$increment", "$inumber", "$isobject",
+  // "$isvaliddouble", "$isvalidnum", "$justify", "$length", "$list",
+  // "$listbuild", "$listdata", "$listfind", "$listfromstring", "$listget",
+  // "$listlength", "$listnext", "$listsame", "$listtostring", "$listvalid",
+  // "$locate", "$match", "$method", "$name", "$nconvert", "$next",
+  // "$normalize", "$now", "$number", "$order", "$parameter", "$piece",
+  // "$prefetchoff", "$prefetchon", "$property", "$qlength", "$qsubscript",
+  // "$query", "$random", "$replace", "$reverse", "$sconvert", "$select",
+  // "$sortbegin", "$sortend", "$stack", "$text", "$translate", "$view",
+  // "$wascii", "$wchar", "$wextract", "$wfind", "$wiswide", "$wlength",
+  // "$wreverse", "$xecute", "$zabs", "$zarccos", "$zarcsin", "$zarctan",
+  // "$zcos", "$zcot", "$zcsc", "$zdate", "$zdateh", "$zdatetime",
+  // "$zdatetimeh", "$zexp", "$zhex", "$zln", "$zlog", "$zpower", "$zsec",
+  // "$zsin", "$zsqr", "$ztan", "$ztime", "$ztimeh", "$zboolean",
+  // "$zconvert", "$zcrc", "$zcyc", "$zdascii", "$zdchar", "$zf",
+  // "$ziswide", "$zlascii", "$zlchar", "$zname", "$zposition", "$zqascii",
+  // "$zqchar", "$zsearch", "$zseek", "$zstrip", "$zwascii", "$zwchar",
+  // "$zwidth", "$zwpack", "$zwbpack", "$zwunpack", "$zwbunpack", "$zzenkaku",
+  // "$change", "$mv", "$mvat", "$mvfmt", "$mvfmts", "$mviconv",
+  // "$mviconvs", "$mvinmat", "$mvlover", "$mvoconv", "$mvoconvs", "$mvraise",
+  // "$mvtrans", "$mvv", "$mvname", "$zbitand", "$zbitcount", "$zbitfind",
+  // "$zbitget", "$zbitlen", "$zbitnot", "$zbitor", "$zbitset", "$zbitstr",
+  // "$zbitxor", "$zincrement", "$znext", "$zorder", "$zprevious", "$zsort",
+  // "device", "$ecode", "$estack", "$etrap", "$halt", "$horolog",
+  // "$io", "$job", "$key", "$namespace", "$principal", "$quit", "$roles",
+  // "$storage", "$system", "$test", "$this", "$tlevel", "$username",
+  // "$x", "$y", "$za", "$zb", "$zchild", "$zeof", "$zeos", "$zerror",
+  // "$zhorolog", "$zio", "$zjob", "$zmode", "$znspace", "$zparent", "$zpi",
+  // "$zpos", "$zreference", "$zstorage", "$ztimestamp", "$ztimezone",
+  // "$ztrap", "$zversion"
+
+  return {
+    name: 'Caché Object Script',
+    case_insensitive: true,
+    aliases: [ "cls" ],
+    keywords: COS_KEYWORDS,
+    contains: [
+      NUMBERS,
+      STRINGS,
+      hljs.C_LINE_COMMENT_MODE,
+      hljs.C_BLOCK_COMMENT_MODE,
+      {
+        className: "comment",
+        begin: /;/,
+        end: "$",
+        relevance: 0
+      },
+      { // Functions and user-defined functions: write $ztime(60*60*3), $$myFunc(10), $$^Val(1)
+        className: "built_in",
+        begin: /(?:\$\$?|\.\.)\^?[a-zA-Z]+/
+      },
+      { // Macro command: quit $$$OK
+        className: "built_in",
+        begin: /\$\$\$[a-zA-Z]+/
+      },
+      { // Special (global) variables: write %request.Content; Built-in classes: %Library.Integer
+        className: "built_in",
+        begin: /%[a-z]+(?:\.[a-z]+)*/
+      },
+      { // Global variable: set ^globalName = 12 write ^globalName
+        className: "symbol",
+        begin: /\^%?[a-zA-Z][\w]*/
+      },
+      { // Some control constructions: do ##class(Package.ClassName).Method(), ##super()
+        className: "keyword",
+        begin: /##class|##super|#define|#dim/
+      },
+      // sub-languages: are not fully supported by hljs by 11/15/2015
+      // left for the future implementation.
+      {
+        begin: /&sql\(/,
+        end: /\)/,
+        excludeBegin: true,
+        excludeEnd: true,
+        subLanguage: "sql"
+      },
+      {
+        begin: /&(js|jscript|javascript)</,
+        end: />/,
+        excludeBegin: true,
+        excludeEnd: true,
+        subLanguage: "javascript"
+      },
+      {
+        // this brakes first and last tag, but this is the only way to embed a valid html
+        begin: /&html<\s*</,
+        end: />\s*>/,
+        subLanguage: "xml"
+      }
+    ]
+  };
+}
+
+module.exports = cos;

package/highlight.js/lib/languages/cos.js.js

@@ -0,0 +1,10 @@
+function emitWarning() {
+    if (!emitWarning.warned) {
+      emitWarning.warned = true;
+      console.log(
+        'Deprecation (warning): Using file extension in specifier is deprecated, use "highlight.js/lib/languages/cos" instead of "highlight.js/lib/languages/cos.js"'
+      );
+    }
+  }
+  emitWarning();
+    module.exports = require('./cos.js');