occam-verify-cli 0.0.1137 → 0.0.1139

package/src/dom/metavariable.js

@@ -5,7 +5,7 @@ import LocalContext from "../context/local";
 import FrameSubstitution from "../substitution/frame";
 import ReferenceSubstitution from "../substitution/reference";
 import StatementSubstitution from "../substitution/statement";
-import MetavariableNodeAndTokens from "../nodeAndTokens/metavariable";
+import MetavariablePartialContext from "../context/partial/metavariable";
 
 import { nodeQuery } from "../utilities/query";
 import { objectType } from "../dom/type";
@@ -503,10 +503,11 @@ export default domAssigned(class Metavariable {
 
   static fromJSON(json, fileContext) {
     const { string } = json,
-          context = fileContext,  ///
-          metavariableNodeAndTokens = MetavariableNodeAndTokens.fromString(string, context),
-          metavariableTokens = metavariableNodeAndTokens.getMetavariableTokens(),
-          metavariableNode = metavariableNodeAndTokens.getMetavariableNode(),
+          lexer = fileContext.getLexer(),
+          parser = fileContext.getParser(),
+          metavariablePartialContext = MetavariablePartialContext.fromStringLexerAndParser(string, lexer, parser),
+          metavariableTokens = metavariablePartialContext.getMetavariableTokens(),
+          metavariableNode = metavariablePartialContext.getMetavariableNode(),
           metavariableName = metavariableNameFromMetavariableNode(metavariableNode),
           name = metavariableName,  ///
           node = metavariableNode,  ///
@@ -518,6 +519,14 @@ export default domAssigned(class Metavariable {
     return metavariable;
   }
 
+  static fromLabelNode(labelNode, context) {
+    const labelMetavariableNode = labelMetavariableNodeQuery(labelNode),
+          metavariableNode = labelMetavariableNode, ///
+          metavariable = metavariableFromMetavariableNode(metavariableNode, context);
+
+    return metavariable;
+  }
+
   static fromFrameNode(frameNode, context) {
     let metavariable = null;
 
@@ -532,14 +541,6 @@ export default domAssigned(class Metavariable {
     return metavariable;
   }
 
-  static fromLabelNode(labelNode, context) {
-    const labelMetavariableNode = labelMetavariableNodeQuery(labelNode),
-          metavariableNode = labelMetavariableNode, ///
-          metavariable = metavariableFromMetavariableNode(metavariableNode, context);
-
-    return metavariable;
-  }
-
   static fromReferenceNode(referenceNode, context) {
     const referenceMetavariableNode = referenceMetavariableNodeQuery(referenceNode),
           metavariableNode = referenceMetavariableNode, ///

package/src/dom/statement.js

@@ -5,7 +5,7 @@ import { arrayUtilities } from "necessary";
 import dom from "../dom";
 import verifyMixins from "../mixins/statement/verify";
 import combinatorVerifier from "../verifier/combinator";
-import StatementNodeAndTokens from "../nodeAndTokens/statement";
+import StatementPartialContext from "../context/partial/statement";
 
 import { domAssigned } from "../dom";
 import { unifyStatement } from "../utilities/unification";
@@ -283,10 +283,11 @@ export default domAssigned(class Statement {
 
   static fromJSON(json, fileContext) {
     const { string } = json,
-          context = fileContext,  ///
-          statementNodeAndTokens = StatementNodeAndTokens.fromString(string, context),
-          node = statementNodeAndTokens.getNode(),
-          tokens = statementNodeAndTokens.getTokens(),
+          lexer = fileContext.getLexer(),
+          parser = fileContext.getParser(),
+          statementPartialContext = StatementPartialContext.fromStringLexerAndParser(string, lexer, parser),
+          node = statementPartialContext.getNode(),
+          tokens = statementPartialContext.getTokens(),
           statement = new Statement(string, node, tokens);
 
     return statement;

package/src/dom/term.js

@@ -9,7 +9,7 @@ import constructorVerifier from "../verifier/constructor";
 import { objectType } from "./type";
 import { domAssigned } from "../dom";
 import { nodeQuery, nodesQuery } from "../utilities/query"
-import { termNodeFromTermString } from "../nodeAndTokens/term";
+import { termNodeFromTermString } from "../context/partial/term";
 import { typeFromJSON, typeToTypeJSON } from "../utilities/json";
 
 const { filter, compress } = arrayUtilities;

package/src/dom/variable.js

@@ -7,9 +7,9 @@ import TermSubstitution from "../substitution/term";
 import { nodeQuery } from "../utilities/query";
 import { objectType } from "./type";
 import { domAssigned } from "../dom";
-import { variableNameFromVariableNode} from "../utilities/name";
 import { typeFromJSON, typeToTypeJSON } from "../utilities/json";
-import { variableNodeFromVariableString } from "../nodeAndTokens/variable";
+import { variableNameFromVariableNode } from "../utilities/name";
+import { variableNodeFromVariableString } from "../context/partial/variable";
 
 const termVariableNodeQuery = nodeQuery("/term/variable!"),
       variableDeclarationTypeNodeQuery = nodeQuery("/variableDeclaration/type"),

package/src/log.js

@@ -2,8 +2,6 @@
 
 import { levels } from "necessary";
 
-import { leastLineIndexFromNodeAndTokens, greatestLineIndexFromNodeAndTokens } from "./utilities/message";
-
 const { TRACE_LEVEL, DEBUG_LEVEL, INFO_LEVEL, WARNING_LEVEL, ERROR_LEVEL } = levels;
 
 export default class Log {

package/src/substitution/frame.js

@@ -2,7 +2,7 @@
 
 import dom from "../dom";
 import Substitution from "../substitution";
-import FrameSubstitutionNodeAndTokens from "../nodeAndTokens/substitution/frame";
+import FrameSubstitutionPartialContext from "../context/partial/substitution/frame";
 
 import { nodeQuery } from "../utilities/query";
 
@@ -56,9 +56,11 @@ export default class FrameSubstitution extends Substitution {
 
   static fromFrameAndMetavariable(frame, metavariable, context) {
     const string = stringFromFrameAndMetavariable(frame, metavariable),
-          frameSubstitutionNodeAndTokens = FrameSubstitutionNodeAndTokens.fromString(string, context),
-          node = frameSubstitutionNodeAndTokens.getNode(),
-          tokens = frameSubstitutionNodeAndTokens.getTokens(),
+          lexer = context.getLexer(),
+          parser = context.getParser(),
+          frameSubstitutionPartialContext = FrameSubstitutionPartialContext.fromStringLexerAndParser(string, lexer, parser),
+          node = frameSubstitutionPartialContext.getNode(),
+          tokens = frameSubstitutionPartialContext.getTokens(),
           frameSubstitution = new FrameSubstitution(string, node, tokens, frame, metavariable);
 
     return frameSubstitution;

package/src/substitution/reference.js

@@ -2,7 +2,7 @@
 
 import dom from "../dom";
 import Substitution from "../substitution";
-import ReferenceSubstitutionNodeAndTokens from "../nodeAndTokens/substitution/reference";
+import ReferenceSubstitutionPartialContext from "../context/partial/substitution/reference";
 
 import { nodeQuery } from "../utilities/query";
 
@@ -56,9 +56,11 @@ export default class ReferenceSubstitution extends Substitution {
 
   static fromReferenceAndMetavariable(reference, metavariable, context) {
     const string = stringFromReferenceAndMetavariable(reference, metavariable),
-          referenceSubstitutionNodeAndTokens = ReferenceSubstitutionNodeAndTokens.fromString(string, context),
-          node = referenceSubstitutionNodeAndTokens.getNode(),
-          tokens = referenceSubstitutionNodeAndTokens.getTokens(),
+          lexer = context.getLexer(),
+          parser = context.getParser(),
+          referenceSubstitutionPartialContext = ReferenceSubstitutionPartialContext.fromStringLexerAndParser(string, lexer, parser),
+          node = referenceSubstitutionPartialContext.getNode(),
+          tokens = referenceSubstitutionPartialContext.getTokens(),
           referenceSubstitution = new ReferenceSubstitution(string, node, tokens, reference, metavariable);
 
     return referenceSubstitution;

package/src/substitution/statement.js

@@ -2,7 +2,7 @@
 
 import Substitution from "../substitution";
 import Substitutions from "../substitutions";
-import StatementSubstitutionNodeAndTokens from "../nodeAndTokens/substitution/statement";
+import StatementSubstitutionPartialContext from "../context/partial/substitution/statement";
 
 import { unifySubstitution } from "../utilities/unification";
 import { stripBracketsFromStatement } from "../utilities/brackets";
@@ -165,10 +165,11 @@ export default class StatementSubstitution extends Substitution {
 
   static fromJSON(json, fileContext) {
     const { string } = json,
-          context = fileContext,  ///
-          statementSubstitutionNodeAndTokens = StatementSubstitutionNodeAndTokens.fromString(string, context),
-          node = statementSubstitutionNodeAndTokens.getNode(),
-          tokens = statementSubstitutionNodeAndTokens.getTokens(),
+          lexer = fileContext.getLexer(),
+          parser = fileContext.getParser(),
+          statementSubstitutionPartialContext = StatementSubstitutionPartialContext.fromStringLexerAndParser(string, lexer, parser),
+          node = statementSubstitutionPartialContext.getNode(),
+          tokens = statementSubstitutionPartialContext.getTokens(),
           resolved = true,
           statement = statementFromJSON(json, fileContext),
           metavariable = metavariableFromJSON(json, fileContext),
@@ -182,9 +183,11 @@ export default class StatementSubstitution extends Substitution {
     statement = stripBracketsFromStatement(statement, context); ///
 
     const string = stringFromStatementAndMetavariable(statement, metavariable),
-          statementSubstitutionNodeAndTokens = StatementSubstitutionNodeAndTokens.fromString(string, context),
-          node = statementSubstitutionNodeAndTokens.getNode(),
-          tokens = statementSubstitutionNodeAndTokens.getTokens(),
+          lexer = context.getLexer(),
+          parser = context.getParser(),
+          statementSubstitutionPartialContext = StatementSubstitutionPartialContext.fromStringLexerAndParser(string, lexer, parser),
+          node = statementSubstitutionPartialContext.getNode(),
+          tokens = statementSubstitutionPartialContext.getTokens(),
           resolved = true,
           substitution = null,
           statementSubstitution = new StatementSubstitution(string, node, tokens, resolved, statement, metavariable, substitution);
@@ -196,9 +199,11 @@ export default class StatementSubstitution extends Substitution {
     statement = stripBracketsFromStatement(statement, context); ///
 
     const string = stringFromStatementMetavariableAndSubstitution(statement, metavariable, substitution, context),
-          statementSubstitutionNodeAndTokens = StatementSubstitutionNodeAndTokens.fromString(string, context),
-          node = statementSubstitutionNodeAndTokens.getNode(),
-          tokens = statementSubstitutionNodeAndTokens.getTokens(),
+          lexer = context.getLexer(),
+          parser = context.getParser(),
+          statementSubstitutionPartialContext = StatementSubstitutionPartialContext.fromStringLexerAndParser(string, lexer, parser),
+          node = statementSubstitutionPartialContext.getNode(),
+          tokens = statementSubstitutionPartialContext.getTokens(),
           resolved = false,
           statementSubstitution = new StatementSubstitution(string, node, tokens, resolved, statement, metavariable, substitution);
 

package/src/substitution/term.js

@@ -2,7 +2,7 @@
 
 import dom from "../dom";
 import Substitution from "../substitution";
-import TermSubstitutionNodeAndTokens from "../nodeAndTokens/substitution/term";
+import TermSubstitutionPartialContext from "../context/partial/substitution/term";
 
 import { nodeQuery } from "../utilities/query";
 import { stripBracketsFromTerm } from "../utilities/brackets";
@@ -90,9 +90,11 @@ export default class TermSubstitution extends Substitution {
     term = Term.fromTermNode(termNode, context);
 
     const string = stringFromTermAndVariable(term, variable),
-          termSubstitutionNodeAndTokens = TermSubstitutionNodeAndTokens.fromString(string, context),
-          node = termSubstitutionNodeAndTokens.getNode(),
-          tokens = termSubstitutionNodeAndTokens.getTokens(),
+          lexer = context.getLexer(),
+          parser = context.getParser(),
+          termSubstitutionPartialContext = TermSubstitutionPartialContext.fromStringLexerAndParser(string, lexer, parser),
+          node = termSubstitutionPartialContext.getNode(),
+          tokens = termSubstitutionPartialContext.getTokens(),
           termSubstitution = new TermSubstitution(string, node, tokens, term, variable);
 
     return termSubstitution;

package/lib/nodeAndTokens.js

@@ -1,93 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-function _export(target, all) {
-    for(var name in all)Object.defineProperty(target, name, {
-        enumerable: true,
-        get: all[name]
-    });
-}
-_export(exports, {
-    default: function() {
-        return NodeAndTokens;
-    },
-    ruleFromBNF: function() {
-        return ruleFromBNF;
-    }
-});
-var _occamlexers = require("occam-lexers");
-var _occamparsers = require("occam-parsers");
-var _necessary = require("necessary");
-var _query = require("./utilities/query");
-function _class_call_check(instance, Constructor) {
-    if (!(instance instanceof Constructor)) {
-        throw new TypeError("Cannot call a class as a function");
-    }
-}
-function _defineProperties(target, props) {
-    for(var i = 0; i < props.length; i++){
-        var descriptor = props[i];
-        descriptor.enumerable = descriptor.enumerable || false;
-        descriptor.configurable = true;
-        if ("value" in descriptor) descriptor.writable = true;
-        Object.defineProperty(target, descriptor.key, descriptor);
-    }
-}
-function _create_class(Constructor, protoProps, staticProps) {
-    if (protoProps) _defineProperties(Constructor.prototype, protoProps);
-    if (staticProps) _defineProperties(Constructor, staticProps);
-    return Constructor;
-}
-var first = _necessary.arrayUtilities.first;
-var bnfLexer = _occamlexers.BNFLexer.fromNothing(), bnfParser = _occamparsers.BNFParser.fromNothing();
-var childNodeQuery = (0, _query.nodeQuery)("/*/*!");
-var NodeAndTokens = /*#__PURE__*/ function() {
-    function NodeAndTokens(node, tokens) {
-        _class_call_check(this, NodeAndTokens);
-        this.node = node;
-        this.tokens = tokens;
-    }
-    _create_class(NodeAndTokens, [
-        {
-            key: "getNode",
-            value: function getNode() {
-                return this.node;
-            }
-        },
-        {
-            key: "getTokens",
-            value: function getTokens() {
-                return this.tokens;
-            }
-        }
-    ], [
-        {
-            key: "fromString",
-            value: function fromString(Class, string, context) {
-                var rule = Class.rule, lexer = context.getLexer(), parser = context.getParser(), ruleMap = parser.getRuleMap(), ruleName = rule.getName();
-                ruleMap[ruleName] = rule;
-                var startRule = rule, content = "".concat(string, "\n");
-                var tokens = lexer.tokenise(content), node = parser.parse(tokens, startRule);
-                delete ruleMap[ruleName];
-                var childNode = childNodeQuery(node);
-                node = childNode; ///
-                tokens = tokensFromTokensAndNode(tokens, node); ///
-                var nodeAndTokens = new Class(node, tokens);
-                return nodeAndTokens;
-            }
-        }
-    ]);
-    return NodeAndTokens;
-}();
-function ruleFromBNF(bnf) {
-    var tokens = bnfLexer.tokensFromBNF(bnf), rules = bnfParser.rulesFromTokens(tokens), firstRule = first(rules), rule = firstRule; ///
-    return rule;
-}
-function tokensFromTokensAndNode(tokens, node) {
-    var lastSignificantTokenIndex = node.getLastSignificantTokenIndex(tokens), firstSignificantTokenIndex = node.getFirstSignificantTokenIndex(tokens), start = firstSignificantTokenIndex, end = lastSignificantTokenIndex + 1;
-    tokens = tokens.slice(start, end); ///
-    return tokens;
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy9ub2RlQW5kVG9rZW5zLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgeyBCTkZMZXhlciB9IGZyb20gXCJvY2NhbS1sZXhlcnNcIjtcbmltcG9ydCB7IEJORlBhcnNlciB9IGZyb20gXCJvY2NhbS1wYXJzZXJzXCI7XG5pbXBvcnQgeyBhcnJheVV0aWxpdGllcyB9IGZyb20gXCJuZWNlc3NhcnlcIjtcblxuaW1wb3J0IHsgbm9kZVF1ZXJ5IH0gZnJvbSBcIi4vdXRpbGl0aWVzL3F1ZXJ5XCI7XG5cbmNvbnN0IHsgZmlyc3QgfSA9IGFycmF5VXRpbGl0aWVzO1xuXG5jb25zdCBibmZMZXhlciA9IEJORkxleGVyLmZyb21Ob3RoaW5nKCksXG4gICAgICBibmZQYXJzZXIgPSBCTkZQYXJzZXIuZnJvbU5vdGhpbmcoKTtcblxuY29uc3QgY2hpbGROb2RlUXVlcnkgPSBub2RlUXVlcnkoXCIvKi8qIVwiKTtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgTm9kZUFuZFRva2VucyB7XG4gIGNvbnN0cnVjdG9yKG5vZGUsIHRva2Vucykge1xuICAgIHRoaXMubm9kZSA9IG5vZGU7XG4gICAgdGhpcy50b2tlbnMgPSB0b2tlbnM7XG4gIH1cblxuICBnZXROb2RlKCkge1xuICAgIHJldHVybiB0aGlzLm5vZGU7XG4gIH1cblxuICBnZXRUb2tlbnMoKSB7XG4gICAgcmV0dXJuIHRoaXMudG9rZW5zO1xuICB9XG5cbiAgc3RhdGljIGZyb21TdHJpbmcoQ2xhc3MsIHN0cmluZywgY29udGV4dCkge1xuICAgIGNvbnN0IHsgcnVsZSB9ID0gQ2xhc3MsXG4gICAgICAgICAgbGV4ZXIgPSBjb250ZXh0LmdldExleGVyKCksXG4gICAgICAgICAgcGFyc2VyID0gY29udGV4dC5nZXRQYXJzZXIoKSxcbiAgICAgICAgICBydWxlTWFwID0gcGFyc2VyLmdldFJ1bGVNYXAoKSxcbiAgICAgICAgICBydWxlTmFtZSA9IHJ1bGUuZ2V0TmFtZSgpO1xuXG4gICAgcnVsZU1hcFtydWxlTmFtZV0gPSBydWxlO1xuXG4gICAgY29uc3Qgc3RhcnRSdWxlID0gcnVsZSwgLy8vXG4gICAgICAgICAgY29udGVudCA9IGAke3N0cmluZ31cbmA7XG5cbiAgICBsZXQgdG9rZW5zID0gbGV4ZXIudG9rZW5pc2UoY29udGVudCksXG4gICAgICAgIG5vZGUgPSBwYXJzZXIucGFyc2UodG9rZW5zLCBzdGFydFJ1bGUpO1xuXG4gICAgZGVsZXRlICBydWxlTWFwW3J1bGVOYW1lXTtcblxuICAgIGNvbnN0IGNoaWxkTm9kZSA9IGNoaWxkTm9kZVF1ZXJ5KG5vZGUpO1xuXG4gICAgbm9kZSA9IGNoaWxkTm9kZTsgLy8vXG5cbiAgICB0b2tlbnMgPSB0b2tlbnNGcm9tVG9rZW5zQW5kTm9kZSh0b2tlbnMsIG5vZGUpOyAgLy8vXG5cbiAgICBjb25zdCBub2RlQW5kVG9rZW5zID0gbmV3IENsYXNzKG5vZGUsIHRva2Vucyk7XG5cbiAgICByZXR1cm4gbm9kZUFuZFRva2VucztcbiAgfVxufVxuXG5leHBvcnQgZnVuY3Rpb24gcnVsZUZyb21CTkYoYm5mKSB7XG4gIGNvbnN0IHRva2VucyA9IGJuZkxleGVyLnRva2Vuc0Zyb21CTkYoYm5mKSxcbiAgICAgICAgcnVsZXMgPSBibmZQYXJzZXIucnVsZXNGcm9tVG9rZW5zKHRva2VucyksXG4gICAgICAgIGZpcnN0UnVsZSA9IGZpcnN0KHJ1bGVzKSxcbiAgICAgICAgcnVsZSA9IGZpcnN0UnVsZTsgLy8vXG5cbiAgcmV0dXJuIHJ1bGU7XG59XG5cbmZ1bmN0aW9uIHRva2Vuc0Zyb21Ub2tlbnNBbmROb2RlKHRva2Vucywgbm9kZSkge1xuICBjb25zdCBsYXN0U2lnbmlmaWNhbnRUb2tlbkluZGV4ID0gbm9kZS5nZXRMYXN0U2lnbmlmaWNhbnRUb2tlbkluZGV4KHRva2VucyksXG4gICAgICAgIGZpcnN0U2lnbmlmaWNhbnRUb2tlbkluZGV4ID0gbm9kZS5nZXRGaXJzdFNpZ25pZmljYW50VG9rZW5JbmRleCh0b2tlbnMpLFxuICAgICAgICBzdGFydCA9IGZpcnN0U2lnbmlmaWNhbnRUb2tlbkluZGV4LCAvLy9cbiAgICAgICAgZW5kID0gbGFzdFNpZ25pZmljYW50VG9rZW5JbmRleCArIDE7XG5cbiAgdG9rZW5zID0gdG9rZW5zLnNsaWNlKHN0YXJ0LCBlbmQpOyAgLy8vXG5cbiAgcmV0dXJuIHRva2Vucztcbn1cbiJdLCJuYW1lcyI6WyJOb2RlQW5kVG9rZW5zIiwicnVsZUZyb21CTkYiLCJmaXJzdCIsImFycmF5VXRpbGl0aWVzIiwiYm5mTGV4ZXIiLCJCTkZMZXhlciIsImZyb21Ob3RoaW5nIiwiYm5mUGFyc2VyIiwiQk5GUGFyc2VyIiwiY2hpbGROb2RlUXVlcnkiLCJub2RlUXVlcnkiLCJub2RlIiwidG9rZW5zIiwiZ2V0Tm9kZSIsImdldFRva2VucyIsImZyb21TdHJpbmciLCJDbGFzcyIsInN0cmluZyIsImNvbnRleHQiLCJydWxlIiwibGV4ZXIiLCJnZXRMZXhlciIsInBhcnNlciIsImdldFBhcnNlciIsInJ1bGVNYXAiLCJnZXRSdWxlTWFwIiwicnVsZU5hbWUiLCJnZXROYW1lIiwic3RhcnRSdWxlIiwiY29udGVudCIsInRva2VuaXNlIiwicGFyc2UiLCJjaGlsZE5vZGUiLCJ0b2tlbnNGcm9tVG9rZW5zQW5kTm9kZSIsIm5vZGVBbmRUb2tlbnMiLCJibmYiLCJ0b2tlbnNGcm9tQk5GIiwicnVsZXMiLCJydWxlc0Zyb21Ub2tlbnMiLCJmaXJzdFJ1bGUiLCJsYXN0U2lnbmlmaWNhbnRUb2tlbkluZGV4IiwiZ2V0TGFzdFNpZ25pZmljYW50VG9rZW5JbmRleCIsImZpcnN0U2lnbmlmaWNhbnRUb2tlbkluZGV4IiwiZ2V0Rmlyc3RTaWduaWZpY2FudFRva2VuSW5kZXgiLCJzdGFydCIsImVuZCIsInNsaWNlIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7Ozs7Ozs7O2VBZXFCQTs7SUE0Q0xDLFdBQVc7ZUFBWEE7OzsyQkF6RFM7NEJBQ0M7eUJBQ0s7cUJBRUw7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBRTFCLElBQU0sQUFBRUMsUUFBVUMseUJBQWMsQ0FBeEJEO0FBRVIsSUFBTUUsV0FBV0MscUJBQVEsQ0FBQ0MsV0FBVyxJQUMvQkMsWUFBWUMsdUJBQVMsQ0FBQ0YsV0FBVztBQUV2QyxJQUFNRyxpQkFBaUJDLElBQUFBLGdCQUFTLEVBQUM7QUFFbEIsSUFBQSxBQUFNViw4QkFBTjthQUFNQSxjQUNQVyxJQUFJLEVBQUVDLE1BQU07Z0NBRExaO1FBRWpCLElBQUksQ0FBQ1csSUFBSSxHQUFHQTtRQUNaLElBQUksQ0FBQ0MsTUFBTSxHQUFHQTs7a0JBSEdaOztZQU1uQmEsS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLE9BQU8sSUFBSSxDQUFDRixJQUFJO1lBQ2xCOzs7WUFFQUcsS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLE9BQU8sSUFBSSxDQUFDRixNQUFNO1lBQ3BCOzs7O1lBRU9HLEtBQUFBO21CQUFQLFNBQU9BLFdBQVdDLEtBQUssRUFBRUMsTUFBTSxFQUFFQyxPQUFPO2dCQUN0QyxJQUFNLEFBQUVDLE9BQVNILE1BQVRHLE1BQ0ZDLFFBQVFGLFFBQVFHLFFBQVEsSUFDeEJDLFNBQVNKLFFBQVFLLFNBQVMsSUFDMUJDLFVBQVVGLE9BQU9HLFVBQVUsSUFDM0JDLFdBQVdQLEtBQUtRLE9BQU87Z0JBRTdCSCxPQUFPLENBQUNFLFNBQVMsR0FBR1A7Z0JBRXBCLElBQU1TLFlBQVlULE1BQ1pVLFVBQVUsQUFBQyxHQUFTLE9BQVBaLFFBQU87Z0JBRzFCLElBQUlMLFNBQVNRLE1BQU1VLFFBQVEsQ0FBQ0QsVUFDeEJsQixPQUFPVyxPQUFPUyxLQUFLLENBQUNuQixRQUFRZ0I7Z0JBRWhDLE9BQVFKLE9BQU8sQ0FBQ0UsU0FBUztnQkFFekIsSUFBTU0sWUFBWXZCLGVBQWVFO2dCQUVqQ0EsT0FBT3FCLFdBQVcsR0FBRztnQkFFckJwQixTQUFTcUIsd0JBQXdCckIsUUFBUUQsT0FBUSxHQUFHO2dCQUVwRCxJQUFNdUIsZ0JBQWdCLElBQUlsQixNQUFNTCxNQUFNQztnQkFFdEMsT0FBT3NCO1lBQ1Q7OztXQXpDbUJsQzs7QUE0Q2QsU0FBU0MsWUFBWWtDLEdBQUc7SUFDN0IsSUFBTXZCLFNBQVNSLFNBQVNnQyxhQUFhLENBQUNELE1BQ2hDRSxRQUFROUIsVUFBVStCLGVBQWUsQ0FBQzFCLFNBQ2xDMkIsWUFBWXJDLE1BQU1tQyxRQUNsQmxCLE9BQU9vQixXQUFXLEdBQUc7SUFFM0IsT0FBT3BCO0FBQ1Q7QUFFQSxTQUFTYyx3QkFBd0JyQixNQUFNLEVBQUVELElBQUk7SUFDM0MsSUFBTTZCLDRCQUE0QjdCLEtBQUs4Qiw0QkFBNEIsQ0FBQzdCLFNBQzlEOEIsNkJBQTZCL0IsS0FBS2dDLDZCQUE2QixDQUFDL0IsU0FDaEVnQyxRQUFRRiw0QkFDUkcsTUFBTUwsNEJBQTRCO0lBRXhDNUIsU0FBU0EsT0FBT2tDLEtBQUssQ0FBQ0YsT0FBT0MsTUFBTyxHQUFHO0lBRXZDLE9BQU9qQztBQUNUIn0=

package/lib/utilities/message.js

@@ -1,52 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-function _export(target, all) {
-    for(var name in all)Object.defineProperty(target, name, {
-        enumerable: true,
-        get: all[name]
-    });
-}
-_export(exports, {
-    greatestLineIndexFromNodeAndTokens: function() {
-        return greatestLineIndexFromNodeAndTokens;
-    },
-    leastLineIndexFromNodeAndTokens: function() {
-        return leastLineIndexFromNodeAndTokens;
-    }
-});
-function leastLineIndexFromNodeAndTokens(node, tokens) {
-    var leastLineIndex = undefined; ///
-    var firstSignificantTokenIndex = node.getFirstSignificantTokenIndex(tokens);
-    var lineIndex = 0;
-    tokens.some(function(token, tokenIndex) {
-        if (tokenIndex === firstSignificantTokenIndex) {
-            leastLineIndex = lineIndex; ///
-            return true;
-        }
-        var tokenEndOfLineToken = token.isEndOfLineToken();
-        if (tokenEndOfLineToken) {
-            lineIndex += 1;
-        }
-    });
-    return leastLineIndex;
-}
-function greatestLineIndexFromNodeAndTokens(node, tokens) {
-    var greatestLineIndex = undefined; ///
-    var lastSignificantTokenIndex = node.getLastSignificantTokenIndex(tokens);
-    var lineIndex = 0;
-    tokens.some(function(token, tokenIndex) {
-        if (tokenIndex === lastSignificantTokenIndex) {
-            greatestLineIndex = lineIndex; ///
-            return true;
-        }
-        var tokenEndOfLineToken = token.isEndOfLineToken();
-        if (tokenEndOfLineToken) {
-            lineIndex += 1;
-        }
-    });
-    return greatestLineIndex;
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvbWVzc2FnZS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuZXhwb3J0IGZ1bmN0aW9uIGxlYXN0TGluZUluZGV4RnJvbU5vZGVBbmRUb2tlbnMobm9kZSwgdG9rZW5zKSB7XG4gIGxldCBsZWFzdExpbmVJbmRleCA9IHVuZGVmaW5lZDsgLy8vXG5cbiAgY29uc3QgZmlyc3RTaWduaWZpY2FudFRva2VuSW5kZXggPSBub2RlLmdldEZpcnN0U2lnbmlmaWNhbnRUb2tlbkluZGV4KHRva2Vucyk7XG5cbiAgbGV0IGxpbmVJbmRleCA9IDA7XG5cbiAgdG9rZW5zLnNvbWUoKHRva2VuLCB0b2tlbkluZGV4KSA9PiB7ICAvLy9cbiAgICBpZiAodG9rZW5JbmRleCA9PT0gZmlyc3RTaWduaWZpY2FudFRva2VuSW5kZXgpIHtcbiAgICAgIGxlYXN0TGluZUluZGV4ID0gbGluZUluZGV4OyAgLy8vXG5cbiAgICAgIHJldHVybiB0cnVlO1xuICAgIH1cblxuICAgIGNvbnN0IHRva2VuRW5kT2ZMaW5lVG9rZW4gPSB0b2tlbi5pc0VuZE9mTGluZVRva2VuKCk7XG5cbiAgICBpZiAodG9rZW5FbmRPZkxpbmVUb2tlbikge1xuICAgICAgbGluZUluZGV4ICs9IDE7XG4gICAgfVxuICB9KTtcblxuICByZXR1cm4gbGVhc3RMaW5lSW5kZXg7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBncmVhdGVzdExpbmVJbmRleEZyb21Ob2RlQW5kVG9rZW5zKG5vZGUsIHRva2Vucykge1xuICBsZXQgZ3JlYXRlc3RMaW5lSW5kZXggPSB1bmRlZmluZWQ7ICAvLy9cblxuICBjb25zdCBsYXN0U2lnbmlmaWNhbnRUb2tlbkluZGV4ID0gbm9kZS5nZXRMYXN0U2lnbmlmaWNhbnRUb2tlbkluZGV4KHRva2Vucyk7XG5cbiAgbGV0IGxpbmVJbmRleCA9IDA7XG5cbiAgdG9rZW5zLnNvbWUoKHRva2VuLCB0b2tlbkluZGV4KSA9PiB7ICAvLy9cbiAgICBpZiAodG9rZW5JbmRleCA9PT0gbGFzdFNpZ25pZmljYW50VG9rZW5JbmRleCkge1xuICAgICAgZ3JlYXRlc3RMaW5lSW5kZXggPSBsaW5lSW5kZXg7ICAvLy9cblxuICAgICAgcmV0dXJuIHRydWU7XG4gICAgfVxuXG4gICAgY29uc3QgdG9rZW5FbmRPZkxpbmVUb2tlbiA9IHRva2VuLmlzRW5kT2ZMaW5lVG9rZW4oKTtcblxuICAgIGlmICh0b2tlbkVuZE9mTGluZVRva2VuKSB7XG4gICAgICBsaW5lSW5kZXggKz0gMTtcbiAgICB9XG4gIH0pO1xuXG4gIHJldHVybiBncmVhdGVzdExpbmVJbmRleDtcbn1cbiJdLCJuYW1lcyI6WyJncmVhdGVzdExpbmVJbmRleEZyb21Ob2RlQW5kVG9rZW5zIiwibGVhc3RMaW5lSW5kZXhGcm9tTm9kZUFuZFRva2VucyIsIm5vZGUiLCJ0b2tlbnMiLCJsZWFzdExpbmVJbmRleCIsInVuZGVmaW5lZCIsImZpcnN0U2lnbmlmaWNhbnRUb2tlbkluZGV4IiwiZ2V0Rmlyc3RTaWduaWZpY2FudFRva2VuSW5kZXgiLCJsaW5lSW5kZXgiLCJzb21lIiwidG9rZW4iLCJ0b2tlbkluZGV4IiwidG9rZW5FbmRPZkxpbmVUb2tlbiIsImlzRW5kT2ZMaW5lVG9rZW4iLCJncmVhdGVzdExpbmVJbmRleCIsImxhc3RTaWduaWZpY2FudFRva2VuSW5kZXgiLCJnZXRMYXN0U2lnbmlmaWNhbnRUb2tlbkluZGV4Il0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7Ozs7Ozs7SUEwQmdCQSxrQ0FBa0M7ZUFBbENBOztJQXhCQUMsK0JBQStCO2VBQS9CQTs7O0FBQVQsU0FBU0EsZ0NBQWdDQyxJQUFJLEVBQUVDLE1BQU07SUFDMUQsSUFBSUMsaUJBQWlCQyxXQUFXLEdBQUc7SUFFbkMsSUFBTUMsNkJBQTZCSixLQUFLSyw2QkFBNkIsQ0FBQ0o7SUFFdEUsSUFBSUssWUFBWTtJQUVoQkwsT0FBT00sSUFBSSxDQUFDLFNBQUNDLE9BQU9DO1FBQ2xCLElBQUlBLGVBQWVMLDRCQUE0QjtZQUM3Q0YsaUJBQWlCSSxXQUFZLEdBQUc7WUFFaEMsT0FBTztRQUNUO1FBRUEsSUFBTUksc0JBQXNCRixNQUFNRyxnQkFBZ0I7UUFFbEQsSUFBSUQscUJBQXFCO1lBQ3ZCSixhQUFhO1FBQ2Y7SUFDRjtJQUVBLE9BQU9KO0FBQ1Q7QUFFTyxTQUFTSixtQ0FBbUNFLElBQUksRUFBRUMsTUFBTTtJQUM3RCxJQUFJVyxvQkFBb0JULFdBQVksR0FBRztJQUV2QyxJQUFNVSw0QkFBNEJiLEtBQUtjLDRCQUE0QixDQUFDYjtJQUVwRSxJQUFJSyxZQUFZO0lBRWhCTCxPQUFPTSxJQUFJLENBQUMsU0FBQ0MsT0FBT0M7UUFDbEIsSUFBSUEsZUFBZUksMkJBQTJCO1lBQzVDRCxvQkFBb0JOLFdBQVksR0FBRztZQUVuQyxPQUFPO1FBQ1Q7UUFFQSxJQUFNSSxzQkFBc0JGLE1BQU1HLGdCQUFnQjtRQUVsRCxJQUFJRCxxQkFBcUI7WUFDdkJKLGFBQWE7UUFDZjtJQUNGO0lBRUEsT0FBT007QUFDVCJ9

package/src/nodeAndTokens/metavariable.js

@@ -1,37 +0,0 @@
-"use strict";
-
-import NodeAndTokens from "../nodeAndTokens";
-
-import { ruleFromBNF } from "../nodeAndTokens";
-
-const bnf = `
-
-        _ ::= metavariable... <END_OF_LINE> ;
-        
-      `,
-      rule = ruleFromBNF(bnf);
-
-export default class MetavariableNodeAndTokens extends NodeAndTokens {
-  getMetavariableNode() {
-    const metavariableNode = this.node; ///
-
-    return metavariableNode;
-  }
-
-  getMetavariableTokens() {
-    const metavariableTokens = this.tokens; ///
-
-    return metavariableTokens;
-  }
-
-  static rule = rule;
-
-  static fromMetavariable(metavariable, context) {
-    const string = metavariable.getString(),
-          metavariableNodeAndTokens = NodeAndTokens.fromString(MetavariableNodeAndTokens, string, context);
-
-    return metavariableNodeAndTokens;
-  }
-
-  static fromString(string, context) { return NodeAndTokens.fromString(MetavariableNodeAndTokens, string, context); }
-}

package/src/nodeAndTokens/statement.js

@@ -1,37 +0,0 @@
-"use strict";
-
-import NodeAndTokens from "../nodeAndTokens";
-
-import { ruleFromBNF } from "../nodeAndTokens";
-
-const bnf = `
-
-        _ ::= statement... <END_OF_LINE> ;
-        
-      `,
-      rule = ruleFromBNF(bnf);
-
-export default class StatementNodeAndTokens extends NodeAndTokens {
-  getStatementNode() {
-    const statementNode = this.node; ///
-
-    return statementNode;
-  }
-
-  getStatementTokens() {
-    const statementTokens = this.tokens; ///
-
-    return statementTokens;
-  }
-
-  static rule = rule;
-
-  static fromStatement(statement, context) {
-    const string = statement.getString(),
-          statementNodeAndTokens = NodeAndTokens.fromString(StatementNodeAndTokens, string, context);
-
-    return statementNodeAndTokens;
-  }
-
-  static fromString(string, context) { return NodeAndTokens.fromString(StatementNodeAndTokens, string, context); }
-}

package/src/nodeAndTokens/substitution/frame.js

@@ -1,18 +0,0 @@
-"use strict";
-
-import NodeAndTokens from "../../nodeAndTokens";
-
-import { ruleFromBNF } from "../../nodeAndTokens";
-
-const bnf = `
-
-            _ ::= frameSubstitution... <END_OF_LINE> ;
-            
-      `,
-      rule = ruleFromBNF(bnf);
-
-export default class FrameSubstitutionNodeAndTokens extends NodeAndTokens {
-  static rule = rule;
-
-  static fromString(string, context) { return NodeAndTokens.fromString(FrameSubstitutionNodeAndTokens, string, context); }
-}

package/src/nodeAndTokens/substitution/reference.js

@@ -1,18 +0,0 @@
-"use strict";
-
-import NodeAndTokens from "../../nodeAndTokens";
-
-import { ruleFromBNF } from "../../nodeAndTokens";
-
-const bnf = `
-
-            _ ::= referenceSubstitution... <END_OF_LINE> ;
-            
-      `,
-      rule = ruleFromBNF(bnf);
-
-export default class ReferenceSubstitutionNodeAndTokens extends NodeAndTokens {
-  static rule = rule;
-
-  static fromString(string, context) { return NodeAndTokens.fromString(ReferenceSubstitutionNodeAndTokens, string, context); }
-}

package/src/nodeAndTokens/substitution/statement.js

@@ -1,18 +0,0 @@
-"use strict";
-
-import NodeAndTokens from "../../nodeAndTokens";
-
-import { ruleFromBNF } from "../../nodeAndTokens";
-
-const bnf = `
-
-            _ ::= statementSubstitution... <END_OF_LINE> ;
-            
-      `,
-      rule = ruleFromBNF(bnf);
-
-export default class StatementSubstitutionNodeAndTokens extends NodeAndTokens {
-  static rule = rule;
-
-  static fromString(string, context) { return NodeAndTokens.fromString(StatementSubstitutionNodeAndTokens, string, context); }
-}

package/src/nodeAndTokens/substitution/term.js

@@ -1,18 +0,0 @@
-"use strict";
-
-import NodeAndTokens from "../../nodeAndTokens";
-
-import { ruleFromBNF } from "../../nodeAndTokens";
-
-const bnf = `
-
-            _ ::= termSubstitution... <END_OF_LINE> ;
-            
-      `,
-      rule = ruleFromBNF(bnf);
-
-export default class TermSubstitutionNodeAndTokens extends NodeAndTokens {
-  static rule = rule;
-
-  static fromString(string, context) { return NodeAndTokens.fromString(TermSubstitutionNodeAndTokens, string, context); }
-}

package/src/nodeAndTokens/term.js

@@ -1,45 +0,0 @@
-"use strict";
-
-import NodeAndTokens from "../nodeAndTokens";
-
-import { ruleFromBNF } from "../nodeAndTokens";
-
-const bnf = `
-
-        _ ::= term... <END_OF_LINE> ;
-        
-      `,
-      rule = ruleFromBNF(bnf);
-
-export default class TermNodeAndTokens extends NodeAndTokens {
-  getTermNode() {
-    const termNode = this.node; ///
-
-    return termNode;
-  }
-
-  getTermTokens() {
-    const termTokens = this.tokens; ///
-
-    return termTokens;
-  }
-
-  static rule = rule;
-
-  static fromTerm(term, context) {
-    const string = term.getString(),
-          termNodeAndTokens = NodeAndTokens.fromString(TermNodeAndTokens, string, context);
-
-    return termNodeAndTokens;
-  }
-
-  static fromString(string, context) { return NodeAndTokens.fromString(TermNodeAndTokens, string, context); }
-}
-
-export function termNodeFromTermString(termString, context) {
-  const string = termString,  ///
-        termNodeAndTokens = TermNodeAndTokens.fromString(string, context),
-        termNode = termNodeAndTokens.getTermNode();
-
-  return termNode;
-}

package/src/nodeAndTokens/variable.js

@@ -1,45 +0,0 @@
-"use strict";
-
-import NodeAndTokens from "../nodeAndTokens";
-
-import { ruleFromBNF } from "../nodeAndTokens";
-
-const bnf = `
-
-        _ ::= variable... <END_OF_LINE> ;
-        
-      `,
-      rule = ruleFromBNF(bnf);
-
-export default class VariableNodeAndTokens extends NodeAndTokens {
-  getVariableNode() {
-    const variableNode = this.node; ///
-
-    return variableNode;
-  }
-
-  getVariableTokens() {
-    const variableTokens = this.tokens; ///
-
-    return variableTokens;
-  }
-
-  static rule = rule;
-
-  static fromVariable(variable, context) {
-    const string = variable.getString(),
-          variableNodeAndTokens = NodeAndTokens.fromString(VariableNodeAndTokens, string, context);
-
-    return variableNodeAndTokens;
-  }
-
-  static fromString(string, context) { return NodeAndTokens.fromString(VariableNodeAndTokens, string, context); }
-}
-
-export function variableNodeFromVariableString(variableString, context) {
-  const string = variableString,  ///
-        variableNodeAndTokens = VariableNodeAndTokens.fromString(string, context),
-        variableNode = variableNodeAndTokens.getVariableNode();
-
-  return variableNode;
-}