{"version":3,"sources":["../../node_modules/codemirror/mode/oz/oz.js"],"names":["mod","exports","module","require","define","amd","CodeMirror","defineMode","conf","wordRegexp","words","RegExp","join","singleOperators","doubleOperators","tripleOperators","middle","end","atoms","commonKeywords","openingKeywords","middleKeywords","endKeywords","tokenBase","stream","state","eatSpace","match","matched","doInCurrentLine","currentIndent","tokenize","tokenFunProc","tokenClass","tokenMeth","ch","next","tokenString","test","peek","skipToEnd","eat","tokenComment","eatWhile","hasPassedFirstStage","maybeEnd","quote","escaped","buildElectricInputRegEx","allClosings","concat","startState","token","sol","indent","textAfter","trueText","replace","indentUnit","fold","electricInput","lineComment","blockCommentStart","blockCommentEnd","defineMIME"],"mappings":"CAGA,SAAUA,GACR,SAAWC,UAAW,gBAAmBC,SAAU,SACjDF,EAAIG,QAAQ,6BACT,UAAWC,SAAU,YAAcA,OAAOC,IAC7CD,QAAQ,wBAAyBJ,OAEjCA,GAAIM,cACL,SAASA,GACZ,YAEAA,GAAWC,WAAW,KAAM,SAAUC,GAEpC,QAASC,GAAWC,GAClB,MAAO,IAAIC,QAAO,MAAQD,EAAME,KAAK,OAAS,SAGhD,GAAIC,GAAkB,4BACtB,IAAIC,GAAkB,qEACtB,IAAIC,GAAkB,4BAEtB,IAAIC,IAAU,KAAM,OAAQ,OAAQ,KAAM,SAAU,WAAY,SAAU,QACxE,UAAW,OAAQ,UAAW,UAAW,SAAU,SAAU,SAAU,KACzE,IAAIC,IAAO,MAEX,IAAIC,GAAQT,GAAY,OAAQ,QAAS,MAAO,QAChD,IAAIU,GAAiBV,GAAY,UAAW,KAAM,OAAQ,UAAW,OAAQ,OAAQ,MACnF,MAAO,MAAO,OAAQ,SAAU,SAAU,OAAQ,OAAQ,UAAW,OAAQ,MAAO,SACtF,IAAIW,GAAkBX,GAAY,QAAS,OAAQ,MAAO,OAAQ,QAAS,KAAM,OAAQ,KAAM,MAC7F,SAAU,MAAO,SAAU,MAAO,QAAS,OAAQ,MAAO,WAAY,OAAQ,WAChF,IAAIY,GAAiBZ,EAAWO,EAChC,IAAIM,GAAcb,EAAWQ,EAG7B,SAASM,GAAUC,EAAQC,GACzB,GAAID,EAAOE,WAAY,CACrB,MAAO,MAIT,GAAGF,EAAOG,MAAM,QAAS,CACvB,MAAO,UAIT,GAAIH,EAAOG,MAAM,SAAU,CACvB,MAAO,UAIX,GAAIH,EAAOG,MAAMZ,IAAoBS,EAAOG,MAAMb,GAAkB,CAClE,MAAO,WAIT,GAAGU,EAAOG,MAAMT,GAAQ,CACtB,MAAO,OAIT,GAAIU,GAAUJ,EAAOG,MAAMP,EAC3B,IAAIQ,EAAS,CACX,IAAKH,EAAMI,gBACTJ,EAAMK,oBAENL,GAAMI,gBAAkB,KAG1B,IAAGD,EAAQ,IAAM,QAAUA,EAAQ,IAAM,MACvCH,EAAMM,SAAWC,MACd,IAAGJ,EAAQ,IAAM,QACpBH,EAAMM,SAAWE,MACd,IAAGL,EAAQ,IAAM,OACpBH,EAAMM,SAAWG,CAEnB,OAAO,UAIT,GAAIV,EAAOG,MAAMN,IAAmBG,EAAOG,MAAMR,GAAiB,CAChE,MAAO,UAIT,GAAIK,EAAOG,MAAML,GAAc,CAC7BG,EAAMK,eACN,OAAO,UAIT,GAAIK,GAAKX,EAAOY,MAGhB,IAAID,GAAM,KAAOA,GAAM,IAAK,CAC1BV,EAAMM,SAAWM,EAAYF,EAC7B,OAAOV,GAAMM,SAASP,EAAQC,GAIhC,GAAI,QAAQa,KAAKH,GAAK,CACpB,GAAIA,GAAM,IAAK,CACb,IAAK,SAASG,KAAKd,EAAOe,QACxB,MAAO,UACJ,IAAMf,EAAOY,QAAU,KAAOZ,EAAOG,MAAM,sBAAyBH,EAAOG,MAAM,wCACpF,MAAO,SAGX,GAAKQ,GAAM,KAAOX,EAAOG,MAAM,sBAAyBH,EAAOG,MAAM,wCACnE,MAAO,QAET,OAAO,MAIT,GAAIQ,GAAM,IAAK,CACbX,EAAOgB,WACP,OAAO,cAEJ,IAAIL,GAAM,IAAK,CAClB,GAAIX,EAAOiB,IAAI,KAAM,CACnBhB,EAAMM,SAAWW,CACjB,OAAOA,GAAalB,EAAQC,IAKhC,GAAGZ,EAAgByB,KAAKH,GAAK,CAC3B,MAAO,WAITX,EAAOmB,SAAS,KAEhB,OAAO,WAGT,QAASV,GAAWT,EAAQC,GAC1B,GAAID,EAAOE,WAAY,CACrB,MAAO,MAETF,EAAOG,MAAM,8BACbF,GAAMM,SAAWR,CACjB,OAAO,aAGT,QAASW,GAAUV,EAAQC,GACzB,GAAID,EAAOE,WAAY,CACrB,MAAO,MAETF,EAAOG,MAAM,iCACbF,GAAMM,SAAWR,CACjB,OAAO,MAGT,QAASS,GAAaR,EAAQC,GAC5B,GAAID,EAAOE,WAAY,CACrB,MAAO,MAGT,IAAID,EAAMmB,qBAAuBpB,EAAOiB,IAAI,KAAM,CAChDhB,EAAMmB,oBAAsB,IAC5B,OAAO,cAEJ,IAAGnB,EAAMmB,oBAAqB,CACjCpB,EAAOG,MAAM,iCACbF,GAAMmB,oBAAsB,KAC5BnB,GAAMM,SAAWR,CACjB,OAAO,UAEJ,CACHE,EAAMM,SAAWR,CACjB,OAAO,OAIX,QAASmB,GAAalB,EAAQC,GAC5B,GAAIoB,GAAW,MAAOV,CACtB,OAAOA,EAAKX,EAAOY,OAAQ,CACzB,GAAID,GAAM,KAAOU,EAAU,CACzBpB,EAAMM,SAAWR,CACjB,OAEFsB,EAAYV,GAAM,IAEpB,MAAO,UAGT,QAASE,GAAYS,GACnB,MAAO,UAAUtB,EAAQC,GACvB,GAAIsB,GAAU,MAAOX,EAAMnB,EAAM,KACjC,QAAQmB,EAAOZ,EAAOY,SAAW,KAAM,CACrC,GAAIA,GAAQU,IAAUC,EAAS,CAC7B9B,EAAM,IACN,OAEF8B,GAAWA,GAAWX,GAAQ,KAEhC,GAAInB,IAAQ8B,EACVtB,EAAMM,SAAWR,CACnB,OAAO,UAIX,QAASyB,KAGP,GAAIC,GAAcjC,EAAOkC,OAAOjC,EAChC,OAAO,IAAIN,QAAO,aAAesC,EAAYrC,KAAK,KAAO,MAG3D,OAEEuC,WAAY,WACV,OACEpB,SAAUR,EACVO,cAAe,EACfD,gBAAiB,MACjBe,oBAAqB,QAIzBQ,MAAO,SAAU5B,EAAQC,GACvB,GAAID,EAAO6B,MACT5B,EAAMI,gBAAkB,CAE1B,OAAOJ,GAAMM,SAASP,EAAQC,IAGhC6B,OAAQ,SAAU7B,EAAO8B,GACvB,GAAIC,GAAWD,EAAUE,QAAQ,aAAc,GAE/C,IAAID,EAAS7B,MAAML,IAAgBkC,EAAS7B,MAAMN,IAAmBmC,EAAS7B,MAAM,SAClF,MAAOnB,GAAKkD,YAAcjC,EAAMK,cAAgB,EAElD,IAAIL,EAAMK,cAAgB,EACxB,MAAO,EAET,OAAOL,GAAMK,cAAgBtB,EAAKkD,YAEpCC,KAAM,SACNC,cAAeZ,IACfa,YAAa,IACbC,kBAAmB,KACnBC,gBAAiB,OAIrBzD,GAAW0D,WAAW,YAAa","file":"oz.min.js","sourcesContent":["// CodeMirror, copyright (c) by Marijn Haverbeke and others\n// Distributed under an MIT license: https://codemirror.net/LICENSE\n\n(function(mod) {\n  if (typeof exports == \"object\" && typeof module == \"object\") // CommonJS\n    mod(require(\"../../lib/codemirror\"));\n  else if (typeof define == \"function\" && define.amd) // AMD\n    define([\"../../lib/codemirror\"], mod);\n  else // Plain browser env\n    mod(CodeMirror);\n})(function(CodeMirror) {\n\"use strict\";\n\nCodeMirror.defineMode(\"oz\", function (conf) {\n\n  function wordRegexp(words) {\n    return new RegExp(\"^((\" + words.join(\")|(\") + \"))\\\\b\");\n  }\n\n  var singleOperators = /[\\^@!\\|<>#~\\.\\*\\-\\+\\\\/,=]/;\n  var doubleOperators = /(<-)|(:=)|(=<)|(>=)|(<=)|(<:)|(>:)|(=:)|(\\\\=)|(\\\\=:)|(!!)|(==)|(::)/;\n  var tripleOperators = /(:::)|(\\.\\.\\.)|(=<:)|(>=:)/;\n\n  var middle = [\"in\", \"then\", \"else\", \"of\", \"elseof\", \"elsecase\", \"elseif\", \"catch\",\n    \"finally\", \"with\", \"require\", \"prepare\", \"import\", \"export\", \"define\", \"do\"];\n  var end = [\"end\"];\n\n  var atoms = wordRegexp([\"true\", \"false\", \"nil\", \"unit\"]);\n  var commonKeywords = wordRegexp([\"andthen\", \"at\", \"attr\", \"declare\", \"feat\", \"from\", \"lex\",\n    \"mod\", \"div\", \"mode\", \"orelse\", \"parser\", \"prod\", \"prop\", \"scanner\", \"self\", \"syn\", \"token\"]);\n  var openingKeywords = wordRegexp([\"local\", \"proc\", \"fun\", \"case\", \"class\", \"if\", \"cond\", \"or\", \"dis\",\n    \"choice\", \"not\", \"thread\", \"try\", \"raise\", \"lock\", \"for\", \"suchthat\", \"meth\", \"functor\"]);\n  var middleKeywords = wordRegexp(middle);\n  var endKeywords = wordRegexp(end);\n\n  // Tokenizers\n  function tokenBase(stream, state) {\n    if (stream.eatSpace()) {\n      return null;\n    }\n\n    // Brackets\n    if(stream.match(/[{}]/)) {\n      return \"bracket\";\n    }\n\n    // Special [] keyword\n    if (stream.match(/(\\[])/)) {\n        return \"keyword\"\n    }\n\n    // Operators\n    if (stream.match(tripleOperators) || stream.match(doubleOperators)) {\n      return \"operator\";\n    }\n\n    // Atoms\n    if(stream.match(atoms)) {\n      return 'atom';\n    }\n\n    // Opening keywords\n    var matched = stream.match(openingKeywords);\n    if (matched) {\n      if (!state.doInCurrentLine)\n        state.currentIndent++;\n      else\n        state.doInCurrentLine = false;\n\n      // Special matching for signatures\n      if(matched[0] == \"proc\" || matched[0] == \"fun\")\n        state.tokenize = tokenFunProc;\n      else if(matched[0] == \"class\")\n        state.tokenize = tokenClass;\n      else if(matched[0] == \"meth\")\n        state.tokenize = tokenMeth;\n\n      return 'keyword';\n    }\n\n    // Middle and other keywords\n    if (stream.match(middleKeywords) || stream.match(commonKeywords)) {\n      return \"keyword\"\n    }\n\n    // End keywords\n    if (stream.match(endKeywords)) {\n      state.currentIndent--;\n      return 'keyword';\n    }\n\n    // Eat the next char for next comparisons\n    var ch = stream.next();\n\n    // Strings\n    if (ch == '\"' || ch == \"'\") {\n      state.tokenize = tokenString(ch);\n      return state.tokenize(stream, state);\n    }\n\n    // Numbers\n    if (/[~\\d]/.test(ch)) {\n      if (ch == \"~\") {\n        if(! /^[0-9]/.test(stream.peek()))\n          return null;\n        else if (( stream.next() == \"0\" && stream.match(/^[xX][0-9a-fA-F]+/)) || stream.match(/^[0-9]*(\\.[0-9]+)?([eE][~+]?[0-9]+)?/))\n          return \"number\";\n      }\n\n      if ((ch == \"0\" && stream.match(/^[xX][0-9a-fA-F]+/)) || stream.match(/^[0-9]*(\\.[0-9]+)?([eE][~+]?[0-9]+)?/))\n        return \"number\";\n\n      return null;\n    }\n\n    // Comments\n    if (ch == \"%\") {\n      stream.skipToEnd();\n      return 'comment';\n    }\n    else if (ch == \"/\") {\n      if (stream.eat(\"*\")) {\n        state.tokenize = tokenComment;\n        return tokenComment(stream, state);\n      }\n    }\n\n    // Single operators\n    if(singleOperators.test(ch)) {\n      return \"operator\";\n    }\n\n    // If nothing match, we skip the entire alphanumerical block\n    stream.eatWhile(/\\w/);\n\n    return \"variable\";\n  }\n\n  function tokenClass(stream, state) {\n    if (stream.eatSpace()) {\n      return null;\n    }\n    stream.match(/([A-Z][A-Za-z0-9_]*)|(`.+`)/);\n    state.tokenize = tokenBase;\n    return \"variable-3\"\n  }\n\n  function tokenMeth(stream, state) {\n    if (stream.eatSpace()) {\n      return null;\n    }\n    stream.match(/([a-zA-Z][A-Za-z0-9_]*)|(`.+`)/);\n    state.tokenize = tokenBase;\n    return \"def\"\n  }\n\n  function tokenFunProc(stream, state) {\n    if (stream.eatSpace()) {\n      return null;\n    }\n\n    if(!state.hasPassedFirstStage && stream.eat(\"{\")) {\n      state.hasPassedFirstStage = true;\n      return \"bracket\";\n    }\n    else if(state.hasPassedFirstStage) {\n      stream.match(/([A-Z][A-Za-z0-9_]*)|(`.+`)|\\$/);\n      state.hasPassedFirstStage = false;\n      state.tokenize = tokenBase;\n      return \"def\"\n    }\n    else {\n      state.tokenize = tokenBase;\n      return null;\n    }\n  }\n\n  function tokenComment(stream, state) {\n    var maybeEnd = false, ch;\n    while (ch = stream.next()) {\n      if (ch == \"/\" && maybeEnd) {\n        state.tokenize = tokenBase;\n        break;\n      }\n      maybeEnd = (ch == \"*\");\n    }\n    return \"comment\";\n  }\n\n  function tokenString(quote) {\n    return function (stream, state) {\n      var escaped = false, next, end = false;\n      while ((next = stream.next()) != null) {\n        if (next == quote && !escaped) {\n          end = true;\n          break;\n        }\n        escaped = !escaped && next == \"\\\\\";\n      }\n      if (end || !escaped)\n        state.tokenize = tokenBase;\n      return \"string\";\n    };\n  }\n\n  function buildElectricInputRegEx() {\n    // Reindentation should occur on [] or on a match of any of\n    // the block closing keywords, at the end of a line.\n    var allClosings = middle.concat(end);\n    return new RegExp(\"[\\\\[\\\\]]|(\" + allClosings.join(\"|\") + \")$\");\n  }\n\n  return {\n\n    startState: function () {\n      return {\n        tokenize: tokenBase,\n        currentIndent: 0,\n        doInCurrentLine: false,\n        hasPassedFirstStage: false\n      };\n    },\n\n    token: function (stream, state) {\n      if (stream.sol())\n        state.doInCurrentLine = 0;\n\n      return state.tokenize(stream, state);\n    },\n\n    indent: function (state, textAfter) {\n      var trueText = textAfter.replace(/^\\s+|\\s+$/g, '');\n\n      if (trueText.match(endKeywords) || trueText.match(middleKeywords) || trueText.match(/(\\[])/))\n        return conf.indentUnit * (state.currentIndent - 1);\n\n      if (state.currentIndent < 0)\n        return 0;\n\n      return state.currentIndent * conf.indentUnit;\n    },\n    fold: \"indent\",\n    electricInput: buildElectricInputRegEx(),\n    lineComment: \"%\",\n    blockCommentStart: \"/*\",\n    blockCommentEnd: \"*/\"\n  };\n});\n\nCodeMirror.defineMIME(\"text/x-oz\", \"oz\");\n\n});\n"]}