occam-furtle 3.0.39 → 3.0.41

package/src/nonTerminalNode.js

@@ -1,151 +0,0 @@
-"use strict";
-
-import { arrayUtilities } from "necessary";
-
-import { NonTerminalNode as NonTerminalNodeBase } from "occam-parsers";
-
-const { first } = arrayUtilities;
-
-export default class NonTerminalNode extends NonTerminalNodeBase {
-  someTerminalNode(callback, tokenType) {
-    return this.someChildNode((childNode, index) => {
-      const childNodeTerminalNode = childNode.isTerminalNode();
-
-      if (childNodeTerminalNode) {
-        const terminalNode = childNode, ///
-              terminalNodeType = terminalNode.getType();
-
-        if (terminalNodeType === tokenType) {
-          return callback(terminalNode, index);
-        }
-      }
-    });
-  }
-
-  getNodeByRuleName(...ruleNames) {
-    const node = this.findChildNode((childNode) => {
-      const childNodeNonTerminalNode = childNode.isNonTerminalNode();
-
-      if (childNodeNonTerminalNode) {
-        const nonTerminalNode = childNode, ///
-              ruleName = nonTerminalNode.getRuleName(),
-              ruleNamesIncludesRuleName = ruleNames.includes(ruleName);
-
-        if (ruleNamesIncludesRuleName) {
-          return true;
-        }
-      }
-    }) || null;
-
-    return node;
-  }
-
-  getNodesByRuleName(...ruleNames) {
-    const nodes = this.filterChildNode((childNode) => {
-      const childNodeNonTerminalNode = childNode.isNonTerminalNode();
-
-      if (childNodeNonTerminalNode) {
-        const nonTerminalNode = childNode, ///
-              ruleName = nonTerminalNode.getRuleName(),
-              ruleNamesIncludesRuleName = ruleNames.includes(ruleName);
-
-        if (ruleNamesIncludesRuleName) {
-          return true;
-        }
-      }
-    });
-
-    return nodes;
-  }
-
-  getLastNodeByRuleName(...ruleNames) {
-    let lastNode = null;
-
-    this.backwardsSomeChildNode((childNode) => {
-      const childNodeNonTerminalNode = childNode.isNonTerminalNode();
-
-      if (childNodeNonTerminalNode) {
-        const nonTerminalNode = childNode, ///
-              ruleName = nonTerminalNode.getRuleName(),
-              ruleNamesIncludesRuleName = ruleNames.includes(ruleName);
-
-        if (ruleNamesIncludesRuleName) {
-          lastNode = childNode; ///
-
-          return true;
-        }
-      }
-    });
-
-    return lastNode;
-  }
-
-  getFirstNodeByRuleName(...ruleNames) {
-    let firstNode = null;
-
-    this.forwardsSomeChildNode((childNode) => {
-      const childNodeNonTerminalNode = childNode.isNonTerminalNode();
-
-      if (childNodeNonTerminalNode) {
-        const nonTerminalNode = childNode, ///
-              ruleName = nonTerminalNode.getRuleName(),
-              ruleNamesIncludesRuleName = ruleNames.includes(ruleName);
-
-        if (ruleNamesIncludesRuleName) {
-          firstNode = childNode; ///
-
-          return true;
-        }
-      }
-    });
-
-    return firstNode;
-  }
-
-  getSingularNodeByRuleName(...ruleNames) {
-    let singularNode = null;
-
-    const nodes = this.filterChildNode((childNode) => {
-            const childNodeNonTerminalNode = childNode.isNonTerminalNode();
-
-            if (childNodeNonTerminalNode) {
-              const nonTerminalNode = childNode, ///
-                    ruleName = nonTerminalNode.getRuleName(),
-                    ruleNamesIncludesRuleName = ruleNames.includes(ruleName);
-
-              if (ruleNamesIncludesRuleName) {
-                return true;
-              }
-            }
-          }),
-          nodesLength = nodes.length;
-
-    if (nodesLength === 1) {
-      const firstNode = first(nodes);
-
-      singularNode = firstNode; ///
-    }
-
-    return singularNode;
-  }
-
-  getDescendantNodesByRuleName(...ruleNames) {
-    const nodes = this.filterDescendantNode((descendantNode) => {
-      const descendantNodeNonTerminalNode = descendantNode.isNonTerminalNode();
-
-      if (descendantNodeNonTerminalNode) {
-        const nonTerminalNode = descendantNode, ///
-              ruleName = nonTerminalNode.getRuleName(),
-              ruleNamesIncludesRuleName = ruleNames.includes(ruleName);
-
-        if (ruleNamesIncludesRuleName) {
-          return true;
-        }
-      }
-    });
-
-    return nodes;
-  }
-
-  static fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence) { return NonTerminalNodeBase.fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence); }
-}

package/src/utilities/asynchronous.js

@@ -1,121 +0,0 @@
-"use strict";
-
-import { arrayUtilities } from "necessary";
-
-const { filter } = arrayUtilities;
-
-export async function asyncSome(array, callback) {
-  let result = false;
-
-  const length = array.length;
-
-  for (let index = 0; index < length; index += 1) {
-    const item = array[index];
-
-    result = await callback(item, index, array);
-
-    if (result) {
-      break;
-    }
-  }
-
-  return result;
-}
-
-export async function asyncEvery(array, callback) {
-  let result = true;
-
-  const length = array.length;
-
-  for (let index = 0; index < length; index += 1) {
-    const item = array[index];
-
-    result = await callback(item, index, array);
-
-    if (!result) {
-      break;
-    }
-  }
-
-  return result;
-}
-
-export async function asyncReduce(array, callback, initialValue) {
-  let value = initialValue; ///
-
-  const length = array.length;
-
-  for (let index = 0; index < length; index += 1) {
-    const item = array[index];
-
-    value = await callback(value, item, index, array);
-  }
-
-  return value;
-}
-
-export async function asyncForEach(array, callback) {
-  const length = array.length;
-
-  for (let index = 0; index < length; index += 1) {
-    const item = array[index];
-
-    await callback(item, index, array);
-  }
-}
-
-export async function asyncResolve(arrayA, arrayB, callback) {
-  let resolved;
-
-  arrayA = [  ///
-    ...arrayA
-  ];
-
-  for (;;) {
-    const arrayALength = arrayA.length;
-
-    if (arrayALength === 0) {
-      break;
-    }
-
-    let resolved = false;
-
-    await asyncForEach(arrayA, async (elementA) => {
-      const passed = await callback(elementA);
-
-      if (passed) {
-        const elementB = elementA;  ///
-
-        arrayB.push(elementB);
-
-        resolved = true;
-      }
-    });
-
-    if (!resolved) {
-      break;
-    }
-
-    filter(arrayA, (elementA) => {
-      const arrayBIncludesElementA = arrayB.includes(elementA);
-
-      if (!arrayBIncludesElementA) {
-        return true;
-      }
-    });
-  }
-
-  const arrayALength = arrayA.length;
-
-  resolved = (arrayALength === 0);
-
-  return resolved;
-}
-
-export default {
-  asyncSome,
-  asyncEvery,
-  asyncReduce,
-  asyncForEach,
-  asyncResolve
-};

package/src/utilities/context.js

@@ -1,19 +0,0 @@
-"use strict";
-
-export function chainContext(context) {
-  return new Proxy(context, {
-    get: (context, name, receiver) => {
-      if (Reflect.has(context, name)) {
-        return Reflect.get(context, name, receiver);
-      }
-
-      context = context.getContext(); ///
-
-      return Reflect.get(context, name, receiver);
-    }
-  });
-}
-
-export default {
-  chainContext
-};

package/src/utilities/customGrammar.js

@@ -1,54 +0,0 @@
-"use strict";
-
-import { CustomGrammar, CombinedCustomGrammar } from "occam-nominal";
-
-export function combinedCustomGrammarFromJSON(json) {
-  const customGrammars = customGrammarsFromJSON(json),
-        includeDefault = false,
-        combinedCustomGrammar = CombinedCustomGrammar.fromCustomGrammars(customGrammars, includeDefault);
-
-  return combinedCustomGrammar;
-}
-
-export function customGrammarFromNameAndEntries(name, entries) {
-  const termBNF = entries.getTermBNF(),
-        statementBNF = entries.getStatementBNF(),
-        typeVocabulary = entries.getTypeVocabulary(),
-        symbolVocabulary = entries.getSymbolVocabulary(),
-        customGrammar = CustomGrammar.fromNameTermBNFStatementBNFTypeVocabularyAndSymbolVocabulary(name, termBNF, statementBNF, typeVocabulary, symbolVocabulary);
-
-  return customGrammar;
-}
-
-export function combinedCustomGrammarFromNothing() {
-  const customGrammars = [],
-        combinedCustomGrammar = CombinedCustomGrammar.fromCustomGrammars(customGrammars);
-
-  return combinedCustomGrammar;
-}
-
-export function combinedCustomGrammarFromReleaseContexts(releaseContexts) {
-  const customGrammars = releaseContexts.map((releaseContext) => {
-    const customGrammar = releaseContext.getCustomGrammar();
-
-    return customGrammar;
-  });
-
-  customGrammars.reverse(); ///
-
-  const combinedCustomGrammar = CombinedCustomGrammar.fromCustomGrammars(customGrammars);
-
-  return combinedCustomGrammar;
-}
-
-function customGrammarsFromJSON(json) {
-  const customGrammarsJSON = json,  ///
-        customGrammars = customGrammarsJSON.map((customGrammarsJSON) => {
-          const json = customGrammarsJSON,  ///
-                customGrammar = CustomGrammar.fromJSON(json);
-
-          return customGrammar;
-        });
-
-  return customGrammars;
-}

package/src/utilities/lineIndex.js

@@ -1,21 +0,0 @@
-"use strict";
-
-export function lineIndexFromNodeAndTokens(node, tokens) {
-  let lineIndex = 0;
-
-  const firstSignificantTokenIndex = node.getFirstSignificantTokenIndex(tokens);
-
-  tokens.some((token, tokenIndex) => {
-    const tokenEndOfLineToken = token.isEndOfLineToken();
-
-    if (tokenEndOfLineToken) {
-      lineIndex += 1;
-    }
-
-    if (tokenIndex === firstSignificantTokenIndex) {
-      return true;
-    }
-  });
-
-  return lineIndex;
-}

package/src/utilities/node.js

@@ -1,90 +0,0 @@
-"use strict";
-
-import { EMPTY_STRING } from "../constants";
-
-export function nodeAsString(node, tokens) {
-  let string;
-
-  tokens = nodeAsTokens(node, tokens);  ///
-
-  string = tokensAsString(tokens);
-
-  string = trimString(string);  ///
-
-  return string;
-}
-
-export function nodesAsString(nodes, tokens) {
-  const string = nodes.reduce((string, node) => {
-    const nodeString = nodeAsString(node, tokens);
-
-    string = (string === null) ?
-      nodeString :
-      `${string}, ${nodeString}`;
-
-    return string;
-  }, null);
-
-  return string;
-}
-
-export default {
-  nodeAsString,
-  nodesAsString,
-};
-
-function trimString(string) {
-  string = string.replace(/\s+$/, EMPTY_STRING);  ///
-
-  return string;
-}
-
-function tokensAsString(tokens) {
-  const string = tokens.reduce((string, token) => {
-    const content = token.getContent();
-
-    string = `${string}${content}`;
-
-    return string;
-  }, EMPTY_STRING);
-
-  return string;
-}
-
-function nodeAsTokens(node, tokens) {
-  const nodeTerminalNode = node.isTerminalNode();
-
-  if (nodeTerminalNode) {
-    const terminalNode = node;  ///
-
-    tokens = terminalNodeAsTokens(terminalNode, tokens);
-  } else {
-    const nonTerminalNode = node; ///
-
-    tokens = nonTerminalNodeAsTokens(nonTerminalNode, tokens);
-  }
-
-  return tokens;
-}
-
-function terminalNodeAsTokens(terminalNode, tokens) {
-  const significantToken = terminalNode.getSignificantToken(),
-        token = significantToken; ///
-
-  tokens = [  ///
-    token
-  ];
-
-  return tokens;
-}
-
-function nonTerminalNodeAsTokens(nonTerminalNode, tokens) {
-  const lastSignificantTokenIndex = nonTerminalNode.getLastSignificantTokenIndex(tokens),
-        firstSignificantTokenIndex = nonTerminalNode.getFirstSignificantTokenIndex(tokens),
-        start = firstSignificantTokenIndex, ///
-        end = lastSignificantTokenIndex + 1;
-
-  tokens = tokens.slice(start, end);  ///
-
-  return tokens;
-}

package/src/utilities/nominal.js

@@ -1,31 +0,0 @@
-"use strict";
-
-import { lexersUtilities, parsersUtilities } from "occam-nominal";
-
-import { STATEMENT_RULE_NAME } from "../constants";
-import { combinedCustomGrammarFromJSON } from "../utilities/customGrammar";
-
-const { nominalLexerFromCombinedCustomGrammar } = lexersUtilities,
-      { nominalParserFromStartRuleNameAndCombinedCustomGrammar } = parsersUtilities;
-
-const startRuleName = STATEMENT_RULE_NAME,
-      combinedCustomGrammar = combinedCustomGrammarFromJSON([
-        {
-          "name": "Default",
-          "termBNF": "term                                 ::=  \"(\" argument \")\"\n\n                                       |  variable \n                                       \n                                       ;",
-          "statementBNF": "statement                            ::=  \"(\" metaArgument \")\" \n                                                  \n                                       |  equality\n\n                                       |  judgement\n\n                                       |  typeAssertion \n                                                  \n                                       |  definedAssertion  \n\n                                       |  containedAssertion  \n                                       \n                                       |  satisfiesAssertion\n\n                                       |  subproofAssertion         \n\n                                       |  propertyAssertion  \n\n                                       |  metavariable ( frameSubstitution | termSubstitution )?\n\n                                       ;\n\nequality                             ::=  term \"=\" term ;\n\ntypeAssertion                        ::=  term \":\" type ;\n\ndefinedAssertion                     ::=  ( frame | term ) \"is\" ( \"defined\" | \"undefined\" );\n\ncontainedAssertion                   ::=  ( frame | term ) \"is\" ( \"present\" | \"missing\" ) \"in\" statement ;\n\nsatisfiesAssertion                   ::=  signature \"satisfies\" metavariable ;  \n\nsubproofAssertion                    ::=  \"[\" statement ( \",\" statement )* \"]\" \"...\" statement ;\n\npropertyAssertion                    ::=  term \"is\" ( \"a\" | \"an\" ) propertyRelation ;\n\npropertyRelation                     ::=  property \"of\" term ;\n\njudgement                            ::=  frame \"|\"<NO_WHITESPACE>\"-\" declaration ;\n\nframe                                ::=  \"[\" declaration ( \",\" declaration )* \"]\" ;\n \ndeclaration                          ::=  metavariable ( \"::\" statement )? ;\n\ntermSubstitution                     ::=  \"[\" term \"for\" term \"]\";\n\nframeSubstitution                    ::=  \"[\" frame \"for\" frame \"]\";\n\nstatementSubstitution                ::=  \"[\" statement \"for\" statement \"]\";\n\nreferenceSubstitution                ::=  \"[\" reference \"for\" reference \"]\";",
-          "typeVocabulary": "",
-          "symbolVocabulary": ""
-        },
-        {
-          "name": "first-order-logic",
-          "termBNF": "",
-          "statementBNF": "\n\n                              statement  ::=  ( \"∀\" | \"∃\" ) ( frameArgument | argument ) metaArgument \n\n                                           |  ( frameArgument | argument ) \"is\" ( \"𝘣𝘰𝘶𝘯𝘥\" | \"𝘧𝘳𝘦𝘦\" ) \"in\" metaArgument\n\n                                           ;\n\n",
-          "typeVocabulary": "",
-          "symbolVocabulary": "𝘣𝘰𝘶𝘯𝘥\n𝘧𝘳𝘦𝘦\n∀\n∃\n"
-        }
-      ]);
-
-export const nominalLexer = nominalLexerFromCombinedCustomGrammar(combinedCustomGrammar);
-
-export const nominalParser = nominalParserFromStartRuleNameAndCombinedCustomGrammar(startRuleName, combinedCustomGrammar);

package/src/utilities/query.js

@@ -1,30 +0,0 @@
-"use strict";
-
-import { Query } from "occam-query";
-
-export function nodeQuery(expressionString) {
-  const query = Query.fromExpressionString(expressionString);
-
-  return function(node) {
-    const nodes = query.execute(node);
-
-    node = nodes.shift() || null; ///
-
-    return node;
-  };
-}
-
-export function nodesQuery(expressionString) {
-  const query = Query.fromExpressionString(expressionString);
-
-  return function(node) {
-    const nodes = query.execute(node);
-
-    return nodes;
-  };
-}
-
-export default {
-  nodeQuery,
-  nodesQuery,
-}