@openspecui/web 0.9.0 → 0.9.3

package/dist-ssg/server/assets/dtd-Dy74G54E.js

@@ -0,0 +1,114 @@
+var type;
+function ret(style, tp) {
+  type = tp;
+  return style;
+}
+function tokenBase(stream, state) {
+  var ch = stream.next();
+  if (ch == "<" && stream.eat("!")) {
+    if (stream.eatWhile(/[\-]/)) {
+      state.tokenize = tokenSGMLComment;
+      return tokenSGMLComment(stream, state);
+    } else if (stream.eatWhile(/[\w]/)) return ret("keyword", "doindent");
+  } else if (ch == "<" && stream.eat("?")) {
+    state.tokenize = inBlock("meta", "?>");
+    return ret("meta", ch);
+  } else if (ch == "#" && stream.eatWhile(/[\w]/)) return ret("atom", "tag");
+  else if (ch == "|") return ret("keyword", "separator");
+  else if (ch.match(/[\(\)\[\]\-\.,\+\?>]/)) return ret(null, ch);
+  else if (ch.match(/[\[\]]/)) return ret("rule", ch);
+  else if (ch == '"' || ch == "'") {
+    state.tokenize = tokenString(ch);
+    return state.tokenize(stream, state);
+  } else if (stream.eatWhile(/[a-zA-Z\?\+\d]/)) {
+    var sc = stream.current();
+    if (sc.substr(sc.length - 1, sc.length).match(/\?|\+/) !== null) stream.backUp(1);
+    return ret("tag", "tag");
+  } else if (ch == "%" || ch == "*") return ret("number", "number");
+  else {
+    stream.eatWhile(/[\w\\\-_%.{,]/);
+    return ret(null, null);
+  }
+}
+function tokenSGMLComment(stream, state) {
+  var dashes = 0, ch;
+  while ((ch = stream.next()) != null) {
+    if (dashes >= 2 && ch == ">") {
+      state.tokenize = tokenBase;
+      break;
+    }
+    dashes = ch == "-" ? dashes + 1 : 0;
+  }
+  return ret("comment", "comment");
+}
+function tokenString(quote) {
+  return function(stream, state) {
+    var escaped = false, ch;
+    while ((ch = stream.next()) != null) {
+      if (ch == quote && !escaped) {
+        state.tokenize = tokenBase;
+        break;
+      }
+      escaped = !escaped && ch == "\\";
+    }
+    return ret("string", "tag");
+  };
+}
+function inBlock(style, terminator) {
+  return function(stream, state) {
+    while (!stream.eol()) {
+      if (stream.match(terminator)) {
+        state.tokenize = tokenBase;
+        break;
+      }
+      stream.next();
+    }
+    return style;
+  };
+}
+const dtd = {
+  name: "dtd",
+  startState: function() {
+    return {
+      tokenize: tokenBase,
+      baseIndent: 0,
+      stack: []
+    };
+  },
+  token: function(stream, state) {
+    if (stream.eatSpace()) return null;
+    var style = state.tokenize(stream, state);
+    var context = state.stack[state.stack.length - 1];
+    if (stream.current() == "[" || type === "doindent" || type == "[") state.stack.push("rule");
+    else if (type === "endtag") state.stack[state.stack.length - 1] = "endtag";
+    else if (stream.current() == "]" || type == "]" || type == ">" && context == "rule") state.stack.pop();
+    else if (type == "[") state.stack.push("[");
+    return style;
+  },
+  indent: function(state, textAfter, cx) {
+    var n = state.stack.length;
+    if (textAfter.charAt(0) === "]") n--;
+    else if (textAfter.substr(textAfter.length - 1, textAfter.length) === ">") {
+      if (textAfter.substr(0, 1) === "<") ;
+      else if (type == "doindent" && textAfter.length > 1) ;
+      else if (type == "doindent") n--;
+      else if (type == ">" && textAfter.length > 1) ;
+      else if (type == "tag" && textAfter !== ">") ;
+      else if (type == "tag" && state.stack[state.stack.length - 1] == "rule") n--;
+      else if (type == "tag") n++;
+      else if (textAfter === ">" && state.stack[state.stack.length - 1] == "rule" && type === ">") n--;
+      else if (textAfter === ">" && state.stack[state.stack.length - 1] == "rule") ;
+      else if (textAfter.substr(0, 1) !== "<" && textAfter.substr(0, 1) === ">") n = n - 1;
+      else if (textAfter === ">") ;
+      else n = n - 1;
+      if (type == null || type == "]") n--;
+    }
+    return state.baseIndent + n * cx.unit;
+  },
+  languageData: {
+    indentOnInput: /^\s*[\]>]$/
+  }
+};
+export {
+  dtd
+};

package/dist-ssg/server/assets/dylan-TSb-Nfix.js

@@ -0,0 +1,314 @@
+function forEach(arr, f) {
+  for (var i = 0; i < arr.length; i++) f(arr[i], i);
+}
+function some(arr, f) {
+  for (var i = 0; i < arr.length; i++) if (f(arr[i], i)) return true;
+  return false;
+}
+var words = {
+  // Words that introduce unnamed definitions like "define interface"
+  unnamedDefinition: ["interface"],
+  // Words that introduce simple named definitions like "define library"
+  namedDefinition: [
+    "module",
+    "library",
+    "macro",
+    "C-struct",
+    "C-union",
+    "C-function",
+    "C-callable-wrapper"
+  ],
+  // Words that introduce type definitions like "define class".
+  // These are also parameterized like "define method" and are
+  // appended to otherParameterizedDefinitionWords
+  typeParameterizedDefinition: ["class", "C-subtype", "C-mapped-subtype"],
+  // Words that introduce trickier definitions like "define method".
+  // These require special definitions to be added to startExpressions
+  otherParameterizedDefinition: [
+    "method",
+    "function",
+    "C-variable",
+    "C-address"
+  ],
+  // Words that introduce module constant definitions.
+  // These must also be simple definitions and are
+  // appended to otherSimpleDefinitionWords
+  constantSimpleDefinition: ["constant"],
+  // Words that introduce module variable definitions.
+  // These must also be simple definitions and are
+  // appended to otherSimpleDefinitionWords
+  variableSimpleDefinition: ["variable"],
+  // Other words that introduce simple definitions
+  // (without implicit bodies).
+  otherSimpleDefinition: [
+    "generic",
+    "domain",
+    "C-pointer-type",
+    "table"
+  ],
+  // Words that begin statements with implicit bodies.
+  statement: [
+    "if",
+    "block",
+    "begin",
+    "method",
+    "case",
+    "for",
+    "select",
+    "when",
+    "unless",
+    "until",
+    "while",
+    "iterate",
+    "profiling",
+    "dynamic-bind"
+  ],
+  // Patterns that act as separators in compound statements.
+  // This may include any general pattern that must be indented
+  // specially.
+  separator: [
+    "finally",
+    "exception",
+    "cleanup",
+    "else",
+    "elseif",
+    "afterwards"
+  ],
+  // Keywords that do not require special indentation handling,
+  // but which should be highlighted
+  other: [
+    "above",
+    "below",
+    "by",
+    "from",
+    "handler",
+    "in",
+    "instance",
+    "let",
+    "local",
+    "otherwise",
+    "slot",
+    "subclass",
+    "then",
+    "to",
+    "keyed-by",
+    "virtual"
+  ],
+  // Condition signaling function calls
+  signalingCalls: [
+    "signal",
+    "error",
+    "cerror",
+    "break",
+    "check-type",
+    "abort"
+  ]
+};
+words["otherDefinition"] = words["unnamedDefinition"].concat(words["namedDefinition"]).concat(words["otherParameterizedDefinition"]);
+words["definition"] = words["typeParameterizedDefinition"].concat(words["otherDefinition"]);
+words["parameterizedDefinition"] = words["typeParameterizedDefinition"].concat(words["otherParameterizedDefinition"]);
+words["simpleDefinition"] = words["constantSimpleDefinition"].concat(words["variableSimpleDefinition"]).concat(words["otherSimpleDefinition"]);
+words["keyword"] = words["statement"].concat(words["separator"]).concat(words["other"]);
+var symbolPattern = "[-_a-zA-Z?!*@<>$%]+";
+var symbol = new RegExp("^" + symbolPattern);
+var patterns = {
+  // Symbols with special syntax
+  symbolKeyword: symbolPattern + ":",
+  symbolClass: "<" + symbolPattern + ">",
+  symbolGlobal: "\\*" + symbolPattern + "\\*",
+  symbolConstant: "\\$" + symbolPattern
+};
+var patternStyles = {
+  symbolKeyword: "atom",
+  symbolClass: "tag",
+  symbolGlobal: "variableName.standard",
+  symbolConstant: "variableName.constant"
+};
+for (var patternName in patterns)
+  if (patterns.hasOwnProperty(patternName))
+    patterns[patternName] = new RegExp("^" + patterns[patternName]);
+patterns["keyword"] = [/^with(?:out)?-[-_a-zA-Z?!*@<>$%]+/];
+var styles = {};
+styles["keyword"] = "keyword";
+styles["definition"] = "def";
+styles["simpleDefinition"] = "def";
+styles["signalingCalls"] = "builtin";
+var wordLookup = {};
+var styleLookup = {};
+forEach([
+  "keyword",
+  "definition",
+  "simpleDefinition",
+  "signalingCalls"
+], function(type) {
+  forEach(words[type], function(word) {
+    wordLookup[word] = type;
+    styleLookup[word] = styles[type];
+  });
+});
+function chain(stream, state, f) {
+  state.tokenize = f;
+  return f(stream, state);
+}
+function tokenBase(stream, state) {
+  var ch = stream.peek();
+  if (ch == "'" || ch == '"') {
+    stream.next();
+    return chain(stream, state, tokenString(ch, "string"));
+  } else if (ch == "/") {
+    stream.next();
+    if (stream.eat("*")) {
+      return chain(stream, state, tokenComment);
+    } else if (stream.eat("/")) {
+      stream.skipToEnd();
+      return "comment";
+    }
+    stream.backUp(1);
+  } else if (/[+\-\d\.]/.test(ch)) {
+    if (stream.match(/^[+-]?[0-9]*\.[0-9]*([esdx][+-]?[0-9]+)?/i) || stream.match(/^[+-]?[0-9]+([esdx][+-]?[0-9]+)/i) || stream.match(/^[+-]?\d+/)) {
+      return "number";
+    }
+  } else if (ch == "#") {
+    stream.next();
+    ch = stream.peek();
+    if (ch == '"') {
+      stream.next();
+      return chain(stream, state, tokenString('"', "string"));
+    } else if (ch == "b") {
+      stream.next();
+      stream.eatWhile(/[01]/);
+      return "number";
+    } else if (ch == "x") {
+      stream.next();
+      stream.eatWhile(/[\da-f]/i);
+      return "number";
+    } else if (ch == "o") {
+      stream.next();
+      stream.eatWhile(/[0-7]/);
+      return "number";
+    } else if (ch == "#") {
+      stream.next();
+      return "punctuation";
+    } else if (ch == "[" || ch == "(") {
+      stream.next();
+      return "bracket";
+    } else if (stream.match(/f|t|all-keys|include|key|next|rest/i)) {
+      return "atom";
+    } else {
+      stream.eatWhile(/[-a-zA-Z]/);
+      return "error";
+    }
+  } else if (ch == "~") {
+    stream.next();
+    ch = stream.peek();
+    if (ch == "=") {
+      stream.next();
+      ch = stream.peek();
+      if (ch == "=") {
+        stream.next();
+        return "operator";
+      }
+      return "operator";
+    }
+    return "operator";
+  } else if (ch == ":") {
+    stream.next();
+    ch = stream.peek();
+    if (ch == "=") {
+      stream.next();
+      return "operator";
+    } else if (ch == ":") {
+      stream.next();
+      return "punctuation";
+    }
+  } else if ("[](){}".indexOf(ch) != -1) {
+    stream.next();
+    return "bracket";
+  } else if (".,".indexOf(ch) != -1) {
+    stream.next();
+    return "punctuation";
+  } else if (stream.match("end")) {
+    return "keyword";
+  }
+  for (var name in patterns) {
+    if (patterns.hasOwnProperty(name)) {
+      var pattern = patterns[name];
+      if (pattern instanceof Array && some(pattern, function(p) {
+        return stream.match(p);
+      }) || stream.match(pattern))
+        return patternStyles[name];
+    }
+  }
+  if (/[+\-*\/^=<>&|]/.test(ch)) {
+    stream.next();
+    return "operator";
+  }
+  if (stream.match("define")) {
+    return "def";
+  } else {
+    stream.eatWhile(/[\w\-]/);
+    if (wordLookup.hasOwnProperty(stream.current())) {
+      return styleLookup[stream.current()];
+    } else if (stream.current().match(symbol)) {
+      return "variable";
+    } else {
+      stream.next();
+      return "variableName.standard";
+    }
+  }
+}
+function tokenComment(stream, state) {
+  var maybeEnd = false, maybeNested = false, nestedCount = 0, ch;
+  while (ch = stream.next()) {
+    if (ch == "/" && maybeEnd) {
+      if (nestedCount > 0) {
+        nestedCount--;
+      } else {
+        state.tokenize = tokenBase;
+        break;
+      }
+    } else if (ch == "*" && maybeNested) {
+      nestedCount++;
+    }
+    maybeEnd = ch == "*";
+    maybeNested = ch == "/";
+  }
+  return "comment";
+}
+function tokenString(quote, style) {
+  return function(stream, state) {
+    var escaped = false, next, end = false;
+    while ((next = stream.next()) != null) {
+      if (next == quote && !escaped) {
+        end = true;
+        break;
+      }
+      escaped = !escaped && next == "\\";
+    }
+    if (end || !escaped) {
+      state.tokenize = tokenBase;
+    }
+    return style;
+  };
+}
+const dylan = {
+  name: "dylan",
+  startState: function() {
+    return {
+      tokenize: tokenBase,
+      currentIndent: 0
+    };
+  },
+  token: function(stream, state) {
+    if (stream.eatSpace())
+      return null;
+    var style = state.tokenize(stream, state);
+    return style;
+  },
+  languageData: {
+    commentTokens: { block: { open: "/*", close: "*/" } }
+  }
+};
+export {
+  dylan
+};

package/dist-ssg/server/assets/ebnf-4fKAGW3a.js

@@ -0,0 +1,140 @@
+var commentType = { slash: 0, parenthesis: 1 };
+var stateType = { comment: 0, _string: 1, characterClass: 2 };
+const ebnf = {
+  name: "ebnf",
+  startState: function() {
+    return {
+      stringType: null,
+      commentType: null,
+      braced: 0,
+      lhs: true,
+      localState: null,
+      stack: [],
+      inDefinition: false
+    };
+  },
+  token: function(stream, state) {
+    if (!stream) return;
+    if (state.stack.length === 0) {
+      if (stream.peek() == '"' || stream.peek() == "'") {
+        state.stringType = stream.peek();
+        stream.next();
+        state.stack.unshift(stateType._string);
+      } else if (stream.match("/*")) {
+        state.stack.unshift(stateType.comment);
+        state.commentType = commentType.slash;
+      } else if (stream.match("(*")) {
+        state.stack.unshift(stateType.comment);
+        state.commentType = commentType.parenthesis;
+      }
+    }
+    switch (state.stack[0]) {
+      case stateType._string:
+        while (state.stack[0] === stateType._string && !stream.eol()) {
+          if (stream.peek() === state.stringType) {
+            stream.next();
+            state.stack.shift();
+          } else if (stream.peek() === "\\") {
+            stream.next();
+            stream.next();
+          } else {
+            stream.match(/^.[^\\\"\']*/);
+          }
+        }
+        return state.lhs ? "property" : "string";
+      // Token style
+      case stateType.comment:
+        while (state.stack[0] === stateType.comment && !stream.eol()) {
+          if (state.commentType === commentType.slash && stream.match("*/")) {
+            state.stack.shift();
+            state.commentType = null;
+          } else if (state.commentType === commentType.parenthesis && stream.match("*)")) {
+            state.stack.shift();
+            state.commentType = null;
+          } else {
+            stream.match(/^.[^\*]*/);
+          }
+        }
+        return "comment";
+      case stateType.characterClass:
+        while (state.stack[0] === stateType.characterClass && !stream.eol()) {
+          if (!(stream.match(/^[^\]\\]+/) || stream.match("."))) {
+            state.stack.shift();
+          }
+        }
+        return "operator";
+    }
+    var peek = stream.peek();
+    switch (peek) {
+      case "[":
+        stream.next();
+        state.stack.unshift(stateType.characterClass);
+        return "bracket";
+      case ":":
+      case "|":
+      case ";":
+        stream.next();
+        return "operator";
+      case "%":
+        if (stream.match("%%")) {
+          return "header";
+        } else if (stream.match(/[%][A-Za-z]+/)) {
+          return "keyword";
+        } else if (stream.match(/[%][}]/)) {
+          return "bracket";
+        }
+        break;
+      case "/":
+        if (stream.match(/[\/][A-Za-z]+/)) {
+          return "keyword";
+        }
+      case "\\":
+        if (stream.match(/[\][a-z]+/)) {
+          return "string.special";
+        }
+      case ".":
+        if (stream.match(".")) {
+          return "atom";
+        }
+      case "*":
+      case "-":
+      case "+":
+      case "^":
+        if (stream.match(peek)) {
+          return "atom";
+        }
+      case "$":
+        if (stream.match("$$")) {
+          return "builtin";
+        } else if (stream.match(/[$][0-9]+/)) {
+          return "variableName.special";
+        }
+      case "<":
+        if (stream.match(/<<[a-zA-Z_]+>>/)) {
+          return "builtin";
+        }
+    }
+    if (stream.match("//")) {
+      stream.skipToEnd();
+      return "comment";
+    } else if (stream.match("return")) {
+      return "operator";
+    } else if (stream.match(/^[a-zA-Z_][a-zA-Z0-9_]*/)) {
+      if (stream.match(/(?=[\(.])/)) {
+        return "variable";
+      } else if (stream.match(/(?=[\s\n]*[:=])/)) {
+        return "def";
+      }
+      return "variableName.special";
+    } else if (["[", "]", "(", ")"].indexOf(stream.peek()) != -1) {
+      stream.next();
+      return "bracket";
+    } else if (!stream.eatSpace()) {
+      stream.next();
+    }
+    return null;
+  }
+};
+export {
+  ebnf
+};