occam-furtle 3.0.39 → 3.0.40

package/lib/utilities/nominal.js

@@ -1,42 +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: Object.getOwnPropertyDescriptor(all, name).get
-    });
-}
-_export(exports, {
-    get nominalLexer () {
-        return nominalLexer;
-    },
-    get nominalParser () {
-        return nominalParser;
-    }
-});
-var _occamnominal = require("occam-nominal");
-var _constants = require("../constants");
-var _customGrammar = require("../utilities/customGrammar");
-var nominalLexerFromCombinedCustomGrammar = _occamnominal.lexersUtilities.nominalLexerFromCombinedCustomGrammar, nominalParserFromStartRuleNameAndCombinedCustomGrammar = _occamnominal.parsersUtilities.nominalParserFromStartRuleNameAndCombinedCustomGrammar;
-var startRuleName = _constants.STATEMENT_RULE_NAME, combinedCustomGrammar = (0, _customGrammar.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"
-    }
-]);
-var nominalLexer = nominalLexerFromCombinedCustomGrammar(combinedCustomGrammar);
-var nominalParser = nominalParserFromStartRuleNameAndCombinedCustomGrammar(startRuleName, combinedCustomGrammar);
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvbm9taW5hbC5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHsgbGV4ZXJzVXRpbGl0aWVzLCBwYXJzZXJzVXRpbGl0aWVzIH0gZnJvbSBcIm9jY2FtLW5vbWluYWxcIjtcblxuaW1wb3J0IHsgU1RBVEVNRU5UX1JVTEVfTkFNRSB9IGZyb20gXCIuLi9jb25zdGFudHNcIjtcbmltcG9ydCB7IGNvbWJpbmVkQ3VzdG9tR3JhbW1hckZyb21KU09OIH0gZnJvbSBcIi4uL3V0aWxpdGllcy9jdXN0b21HcmFtbWFyXCI7XG5cbmNvbnN0IHsgbm9taW5hbExleGVyRnJvbUNvbWJpbmVkQ3VzdG9tR3JhbW1hciB9ID0gbGV4ZXJzVXRpbGl0aWVzLFxuICAgICAgeyBub21pbmFsUGFyc2VyRnJvbVN0YXJ0UnVsZU5hbWVBbmRDb21iaW5lZEN1c3RvbUdyYW1tYXIgfSA9IHBhcnNlcnNVdGlsaXRpZXM7XG5cbmNvbnN0IHN0YXJ0UnVsZU5hbWUgPSBTVEFURU1FTlRfUlVMRV9OQU1FLFxuICAgICAgY29tYmluZWRDdXN0b21HcmFtbWFyID0gY29tYmluZWRDdXN0b21HcmFtbWFyRnJvbUpTT04oW1xuICAgICAgICB7XG4gICAgICAgICAgXCJuYW1lXCI6IFwiRGVmYXVsdFwiLFxuICAgICAgICAgIFwidGVybUJORlwiOiBcInRlcm0gICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICA6Oj0gIFxcXCIoXFxcIiBhcmd1bWVudCBcXFwiKVxcXCJcXG5cXG4gICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICB8ICB2YXJpYWJsZSBcXG4gICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBcXG4gICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICA7XCIsXG4gICAgICAgICAgXCJzdGF0ZW1lbnRCTkZcIjogXCJzdGF0ZW1lbnQgICAgICAgICAgICAgICAgICAgICAgICAgICAgOjo9ICBcXFwiKFxcXCIgbWV0YUFyZ3VtZW50IFxcXCIpXFxcIiBcXG4gICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIFxcbiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIHwgIGVxdWFsaXR5XFxuXFxuICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgfCAganVkZ2VtZW50XFxuXFxuICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgfCAgdHlwZUFzc2VydGlvbiBcXG4gICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIFxcbiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIHwgIGRlZmluZWRBc3NlcnRpb24gIFxcblxcbiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIHwgIGNvbnRhaW5lZEFzc2VydGlvbiAgXFxuICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgXFxuICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgfCAgc2F0aXNmaWVzQXNzZXJ0aW9uXFxuXFxuICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgfCAgc3VicHJvb2ZBc3NlcnRpb24gICAgICAgICBcXG5cXG4gICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICB8ICBwcm9wZXJ0eUFzc2VydGlvbiAgXFxuXFxuICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgfCAgbWV0YXZhcmlhYmxlICggZnJhbWVTdWJzdGl0dXRpb24gfCB0ZXJtU3Vic3RpdHV0aW9uICk/XFxuXFxuICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgO1xcblxcbmVxdWFsaXR5ICAgICAgICAgICAgICAgICAgICAgICAgICAgICA6Oj0gIHRlcm0gXFxcIj1cXFwiIHRlcm0gO1xcblxcbnR5cGVBc3NlcnRpb24gICAgICAgICAgICAgICAgICAgICAgICA6Oj0gIHRlcm0gXFxcIjpcXFwiIHR5cGUgO1xcblxcbmRlZmluZWRBc3NlcnRpb24gICAgICAgICAgICAgICAgICAgICA6Oj0gICggZnJhbWUgfCB0ZXJtICkgXFxcImlzXFxcIiAoIFxcXCJkZWZpbmVkXFxcIiB8IFxcXCJ1bmRlZmluZWRcXFwiICk7XFxuXFxuY29udGFpbmVkQXNzZXJ0aW9uICAgICAgICAgICAgICAgICAgIDo6PSAgKCBmcmFtZSB8IHRlcm0gKSBcXFwiaXNcXFwiICggXFxcInByZXNlbnRcXFwiIHwgXFxcIm1pc3NpbmdcXFwiICkgXFxcImluXFxcIiBzdGF0ZW1lbnQgO1xcblxcbnNhdGlzZmllc0Fzc2VydGlvbiAgICAgICAgICAgICAgICAgICA6Oj0gIHNpZ25hdHVyZSBcXFwic2F0aXNmaWVzXFxcIiBtZXRhdmFyaWFibGUgOyAgXFxuXFxuc3VicHJvb2ZBc3NlcnRpb24gICAgICAgICAgICAgICAgICAgIDo6PSAgXFxcIltcXFwiIHN0YXRlbWVudCAoIFxcXCIsXFxcIiBzdGF0ZW1lbnQgKSogXFxcIl1cXFwiIFxcXCIuLi5cXFwiIHN0YXRlbWVudCA7XFxuXFxucHJvcGVydHlBc3NlcnRpb24gICAgICAgICAgICAgICAgICAgIDo6PSAgdGVybSBcXFwiaXNcXFwiICggXFxcImFcXFwiIHwgXFxcImFuXFxcIiApIHByb3BlcnR5UmVsYXRpb24gO1xcblxcbnByb3BlcnR5UmVsYXRpb24gICAgICAgICAgICAgICAgICAgICA6Oj0gIHByb3BlcnR5IFxcXCJvZlxcXCIgdGVybSA7XFxuXFxuanVkZ2VtZW50ICAgICAgICAgICAgICAgICAgICAgICAgICAgIDo6PSAgZnJhbWUgXFxcInxcXFwiPE5PX1dISVRFU1BBQ0U+XFxcIi1cXFwiIGRlY2xhcmF0aW9uIDtcXG5cXG5mcmFtZSAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgOjo9ICBcXFwiW1xcXCIgZGVjbGFyYXRpb24gKCBcXFwiLFxcXCIgZGVjbGFyYXRpb24gKSogXFxcIl1cXFwiIDtcXG4gXFxuZGVjbGFyYXRpb24gICAgICAgICAgICAgICAgICAgICAgICAgIDo6PSAgbWV0YXZhcmlhYmxlICggXFxcIjo6XFxcIiBzdGF0ZW1lbnQgKT8gO1xcblxcbnRlcm1TdWJzdGl0dXRpb24gICAgICAgICAgICAgICAgICAgICA6Oj0gIFxcXCJbXFxcIiB0ZXJtIFxcXCJmb3JcXFwiIHRlcm0gXFxcIl1cXFwiO1xcblxcbmZyYW1lU3Vic3RpdHV0aW9uICAgICAgICAgICAgICAgICAgICA6Oj0gIFxcXCJbXFxcIiBmcmFtZSBcXFwiZm9yXFxcIiBmcmFtZSBcXFwiXVxcXCI7XFxuXFxuc3RhdGVtZW50U3Vic3RpdHV0aW9uICAgICAgICAgICAgICAgIDo6PSAgXFxcIltcXFwiIHN0YXRlbWVudCBcXFwiZm9yXFxcIiBzdGF0ZW1lbnQgXFxcIl1cXFwiO1xcblxcbnJlZmVyZW5jZVN1YnN0aXR1dGlvbiAgICAgICAgICAgICAgICA6Oj0gIFxcXCJbXFxcIiByZWZlcmVuY2UgXFxcImZvclxcXCIgcmVmZXJlbmNlIFxcXCJdXFxcIjtcIixcbiAgICAgICAgICBcInR5cGVWb2NhYnVsYXJ5XCI6IFwiXCIsXG4gICAgICAgICAgXCJzeW1ib2xWb2NhYnVsYXJ5XCI6IFwiXCJcbiAgICAgICAgfSxcbiAgICAgICAge1xuICAgICAgICAgIFwibmFtZVwiOiBcImZpcnN0LW9yZGVyLWxvZ2ljXCIsXG4gICAgICAgICAgXCJ0ZXJtQk5GXCI6IFwiXCIsXG4gICAgICAgICAgXCJzdGF0ZW1lbnRCTkZcIjogXCJcXG5cXG4gICAgICAgICAgICAgICAgICAgICAgICAgICAgICBzdGF0ZW1lbnQgIDo6PSAgKCBcXFwi4oiAXFxcIiB8IFxcXCLiiINcXFwiICkgKCBmcmFtZUFyZ3VtZW50IHwgYXJndW1lbnQgKSBtZXRhQXJndW1lbnQgXFxuXFxuICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIHwgICggZnJhbWVBcmd1bWVudCB8IGFyZ3VtZW50ICkgXFxcImlzXFxcIiAoIFxcXCLwnZij8J2YsPCdmLbwnZiv8J2YpVxcXCIgfCBcXFwi8J2Yp/CdmLPwnZim8J2YplxcXCIgKSBcXFwiaW5cXFwiIG1ldGFBcmd1bWVudFxcblxcbiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICA7XFxuXFxuXCIsXG4gICAgICAgICAgXCJ0eXBlVm9jYWJ1bGFyeVwiOiBcIlwiLFxuICAgICAgICAgIFwic3ltYm9sVm9jYWJ1bGFyeVwiOiBcIvCdmKPwnZiw8J2YtvCdmK/wnZilXFxu8J2Yp/CdmLPwnZim8J2YplxcbuKIgFxcbuKIg1xcblwiXG4gICAgICAgIH1cbiAgICAgIF0pO1xuXG5leHBvcnQgY29uc3Qgbm9taW5hbExleGVyID0gbm9taW5hbExleGVyRnJvbUNvbWJpbmVkQ3VzdG9tR3JhbW1hcihjb21iaW5lZEN1c3RvbUdyYW1tYXIpO1xuXG5leHBvcnQgY29uc3Qgbm9taW5hbFBhcnNlciA9IG5vbWluYWxQYXJzZXJGcm9tU3RhcnRSdWxlTmFtZUFuZENvbWJpbmVkQ3VzdG9tR3JhbW1hcihzdGFydFJ1bGVOYW1lLCBjb21iaW5lZEN1c3RvbUdyYW1tYXIpO1xuIl0sIm5hbWVzIjpbIm5vbWluYWxMZXhlciIsIm5vbWluYWxQYXJzZXIiLCJub21pbmFsTGV4ZXJGcm9tQ29tYmluZWRDdXN0b21HcmFtbWFyIiwibGV4ZXJzVXRpbGl0aWVzIiwibm9taW5hbFBhcnNlckZyb21TdGFydFJ1bGVOYW1lQW5kQ29tYmluZWRDdXN0b21HcmFtbWFyIiwicGFyc2Vyc1V0aWxpdGllcyIsInN0YXJ0UnVsZU5hbWUiLCJTVEFURU1FTlRfUlVMRV9OQU1FIiwiY29tYmluZWRDdXN0b21HcmFtbWFyIiwiY29tYmluZWRDdXN0b21HcmFtbWFyRnJvbUpTT04iXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7Ozs7OztRQTRCYUE7ZUFBQUE7O1FBRUFDO2VBQUFBOzs7NEJBNUJxQzt5QkFFZDs2QkFDVTtBQUU5QyxJQUFNLEFBQUVDLHdDQUEwQ0MsNkJBQWUsQ0FBekRELHVDQUNGLEFBQUVFLHlEQUEyREMsOEJBQWdCLENBQTNFRDtBQUVSLElBQU1FLGdCQUFnQkMsOEJBQW1CLEVBQ25DQyx3QkFBd0JDLElBQUFBLDRDQUE2QixFQUFDO0lBQ3BEO1FBQ0UsUUFBUTtRQUNSLFdBQVc7UUFDWCxnQkFBZ0I7UUFDaEIsa0JBQWtCO1FBQ2xCLG9CQUFvQjtJQUN0QjtJQUNBO1FBQ0UsUUFBUTtRQUNSLFdBQVc7UUFDWCxnQkFBZ0I7UUFDaEIsa0JBQWtCO1FBQ2xCLG9CQUFvQjtJQUN0QjtDQUNEO0FBRUEsSUFBTVQsZUFBZUUsc0NBQXNDTTtBQUUzRCxJQUFNUCxnQkFBZ0JHLHVEQUF1REUsZUFBZUUifQ==

package/lib/utilities/query.js

@@ -1,43 +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: Object.getOwnPropertyDescriptor(all, name).get
-    });
-}
-_export(exports, {
-    get default () {
-        return _default;
-    },
-    get nodeQuery () {
-        return nodeQuery;
-    },
-    get nodesQuery () {
-        return nodesQuery;
-    }
-});
-var _occamquery = require("occam-query");
-function nodeQuery(expressionString) {
-    var query = _occamquery.Query.fromExpressionString(expressionString);
-    return function(node) {
-        var nodes = query.execute(node);
-        node = nodes.shift() || null; ///
-        return node;
-    };
-}
-function nodesQuery(expressionString) {
-    var query = _occamquery.Query.fromExpressionString(expressionString);
-    return function(node) {
-        var nodes = query.execute(node);
-        return nodes;
-    };
-}
-var _default = {
-    nodeQuery: nodeQuery,
-    nodesQuery: nodesQuery
-};
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvcXVlcnkuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IFF1ZXJ5IH0gZnJvbSBcIm9jY2FtLXF1ZXJ5XCI7XG5cbmV4cG9ydCBmdW5jdGlvbiBub2RlUXVlcnkoZXhwcmVzc2lvblN0cmluZykge1xuICBjb25zdCBxdWVyeSA9IFF1ZXJ5LmZyb21FeHByZXNzaW9uU3RyaW5nKGV4cHJlc3Npb25TdHJpbmcpO1xuXG4gIHJldHVybiBmdW5jdGlvbihub2RlKSB7XG4gICAgY29uc3Qgbm9kZXMgPSBxdWVyeS5leGVjdXRlKG5vZGUpO1xuXG4gICAgbm9kZSA9IG5vZGVzLnNoaWZ0KCkgfHwgbnVsbDsgLy8vXG5cbiAgICByZXR1cm4gbm9kZTtcbiAgfTtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIG5vZGVzUXVlcnkoZXhwcmVzc2lvblN0cmluZykge1xuICBjb25zdCBxdWVyeSA9IFF1ZXJ5LmZyb21FeHByZXNzaW9uU3RyaW5nKGV4cHJlc3Npb25TdHJpbmcpO1xuXG4gIHJldHVybiBmdW5jdGlvbihub2RlKSB7XG4gICAgY29uc3Qgbm9kZXMgPSBxdWVyeS5leGVjdXRlKG5vZGUpO1xuXG4gICAgcmV0dXJuIG5vZGVzO1xuICB9O1xufVxuXG5leHBvcnQgZGVmYXVsdCB7XG4gIG5vZGVRdWVyeSxcbiAgbm9kZXNRdWVyeSxcbn1cbiJdLCJuYW1lcyI6WyJub2RlUXVlcnkiLCJub2Rlc1F1ZXJ5IiwiZXhwcmVzc2lvblN0cmluZyIsInF1ZXJ5IiwiUXVlcnkiLCJmcm9tRXhwcmVzc2lvblN0cmluZyIsIm5vZGUiLCJub2RlcyIsImV4ZWN1dGUiLCJzaGlmdCJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7Ozs7O1FBMEJBO2VBQUE7O1FBdEJnQkE7ZUFBQUE7O1FBWUFDO2VBQUFBOzs7MEJBZE07QUFFZixTQUFTRCxVQUFVRSxnQkFBZ0I7SUFDeEMsSUFBTUMsUUFBUUMsaUJBQUssQ0FBQ0Msb0JBQW9CLENBQUNIO0lBRXpDLE9BQU8sU0FBU0ksSUFBSTtRQUNsQixJQUFNQyxRQUFRSixNQUFNSyxPQUFPLENBQUNGO1FBRTVCQSxPQUFPQyxNQUFNRSxLQUFLLE1BQU0sTUFBTSxHQUFHO1FBRWpDLE9BQU9IO0lBQ1Q7QUFDRjtBQUVPLFNBQVNMLFdBQVdDLGdCQUFnQjtJQUN6QyxJQUFNQyxRQUFRQyxpQkFBSyxDQUFDQyxvQkFBb0IsQ0FBQ0g7SUFFekMsT0FBTyxTQUFTSSxJQUFJO1FBQ2xCLElBQU1DLFFBQVFKLE1BQU1LLE9BQU8sQ0FBQ0Y7UUFFNUIsT0FBT0M7SUFDVDtBQUNGO0lBRUEsV0FBZTtJQUNiUCxXQUFBQTtJQUNBQyxZQUFBQTtBQUNGIn0=

package/src/context/file.js

@@ -1,149 +0,0 @@
-"use strict";
-
-import Context from '../context';
-
-import { lineIndexFromNodeAndTokens } from "../utilities/lineIndex";
-import { nodeAsString, nodesAsString } from "../utilities/node";
-
-export default class FileContext extends Context {
-  constructor(context, filePath, tokens, node) {
-    super(context);
-
-    this.filePath = filePath;
-    this.tokens = tokens;
-    this.node = node;
-  }
-
-  getFilePath() {
-    return this.filePath;
-  }
-
-  getTokens() {
-    return this.tokens;
-  }
-
-  getNode() {
-    return this.node;
-  }
-
-  matchFilePath(filePath) {
-    const filePathMatches = (this.filePath === filePath);
-
-    return filePathMatches;
-  }
-
-  nodeAsString(node) {
-    const string = nodeAsString(node, this.tokens);
-
-    return string;
-  }
-
-  nodesAsString(nodes) {
-    const string = nodesAsString(nodes, this.tokens);
-
-    return string;
-  }
-
-  prepare() {
-    if (this.tokens !== null) {
-      return;
-    }
-
-    const file = this.findFile(this.filePath),
-          lexer = this.getLexer(),
-          parser = this.getParser(),
-          content = file.getContent();
-
-    this.tokens = lexer.tokenise(content);
-
-    this.node = parser.parse(this.tokens);
-  }
-
-  initialise(json) {
-    const { content } = json,
-          lexer = this.getLexer(),
-          parser = this.getParser();
-
-    this.tokens = lexer.tokenise(content);
-
-    this.node = parser.parse(this.tokens);
-
-    this.clear();
-
-    this.addProcedures();
-  }
-
-  async break(node) {
-    const filePath = this.filePath,
-          lineIndex = lineIndexFromNodeAndTokens(node, this.tokens),
-          releaseContext = this.getReleaseContext();
-
-    await releaseContext.break(filePath, lineIndex);
-  }
-
-  async verify() {
-    let verifies = false;
-
-    this.prepare();
-
-    if (this.node === null) {
-      this.warning(`Unable to verify the '${this.filePath}' file because it cannot be parsed.`);
-    } else {
-      this.debug(`Verifying the '${this.filePath}' file...`);
-
-      const fileVerifies = await this.verifyFile();
-
-      if (fileVerifies) {
-        verifies = true;
-      }
-
-      verifies ?
-        this.complete() :
-          this.clear();
-
-      if (verifies) {
-        this.info(`...verified the '${this.filePath}' file.`);
-      }
-    }
-
-    return verifies;
-  }
-
-  toJSON() {
-    const file = this.findFile(this.filePath),
-      filePath = this.filePath, ///
-      content = file.getContent(),
-      json = {
-        filePath,
-        content
-      };
-
-    return json;
-  }
-
-  static fromFile(Class, file, ...remainingArguments) {
-    const filePath = file.getPath(),
-          tokens = null,
-          node = null,
-          context = remainingArguments.pop(), ///
-          fileContext = new Class(context, filePath, tokens, node, ...remainingArguments);
-
-    return fileContext;
-  }
-
-  static fromFilePath(Class, filePath, ...remainingArguments) {
-    const tokens = null,
-          node = null,
-          context = remainingArguments.pop(), ///
-          fileContext = new Class(context, filePath, tokens, node, ...remainingArguments);
-
-    return fileContext;
-  }
-
-  static fromFilePathTokensAndNode(Class, filePath, tokens, node, ...remainingArguments) {
-    const context = remainingArguments.pop(), ///
-          fileContext = new Class(context, filePath, tokens, node, ...remainingArguments);
-
-    return fileContext;
-  }
-}

package/src/context/release.js

@@ -1,222 +0,0 @@
-"use strict";
-
-import { arrayUtilities } from "necessary";
-import { filePathUtilities } from "occam-model";
-
-import FurtleFileContext from "../context/file/furtle";
-import NominalFileContext from "../context/file/nominal";
-
-import { asyncResolve } from "../utilities/asynchronous";
-import { nominalLexer, nominalParser } from "../utilities/nominal";
-import { TRACE_LEVEL, DEBUG_LEVEL, INFO_LEVEL, WARNING_LEVEL, ERROR_LEVEL, BREAK_MESSAGE} from "../constants";
-
-const { push } = arrayUtilities,
-      { isFilePathFurtleFilePath, isFilePathNominalFilePath } = filePathUtilities;
-
-export default class ReleaseContext {
-  constructor(log, entries, callback, fileContexts) {
-    this.log = log;
-    this.entries = entries;
-    this.callback = callback;
-    this.fileContexts = fileContexts;
-  }
-
-  getLog() {
-    return this.log;
-  }
-
-  getEntries() {
-    return this.entries;
-  }
-
-  getCallback() {
-    return this.callback;
-  }
-
-  getFileContexts() {
-    return this.fileContexts;
-  }
-
-  getReleaseContext() {
-    const releaseContext = this;  ///
-
-    return releaseContext;
-  }
-
-  getLexer() {
-    const lexer = nominalLexer; ///
-
-    return lexer;
-  }
-
-  getParser() {
-    const parser = nominalParser; ///
-
-    return parser;
-  }
-
-  getProcedures() {
-    const procedures = [];
-
-    this.fileContexts.forEach((fileContext) => {
-      const includeRelease = false,
-            fileContextProcedures = fileContext.getProcedures(includeRelease);
-
-      push(procedures, fileContextProcedures);
-    });
-
-    return procedures;
-  }
-
-  findFile(filePath) { return this.entries.findFile(filePath); }
-
-  findFileContext(filePath) {
-    const fileContext = this.fileContexts.find(((fileContext) => {
-      const filePathMatches = fileContext.matchFilePath(filePath);
-
-      if (filePathMatches) {
-        return true;
-      }
-    })) || null;
-
-    return fileContext;
-  }
-
-  findProcedureByName(name) {
-    const procedures = this.getProcedures(),
-          procedure = procedures.find((procedure) => {
-            const nameMatches = procedure.matchName(name);
-
-            if (nameMatches) {
-              return true;
-            }
-          }) || null;
-
-    return procedure;
-  }
-
-  isProcedurePresentByName(name) {
-    const procedure = this.findProcedureByName(name),
-          procedurePresent = (procedure !== null);
-
-    return procedurePresent;
-  }
-
-  trace(message) {
-    const level = TRACE_LEVEL;
-
-    this.writeToLog(level, message);
-  }
-
-  debug(message) {
-    const level = DEBUG_LEVEL;
-
-    this.writeToLog(level, message);
-  }
-
-  info(message) {
-    const level = INFO_LEVEL;
-
-    this.writeToLog(level, message);
-  }
-
-  warning(message) {
-    const level = WARNING_LEVEL;
-
-    this.writeToLog(level, message);
-  }
-
-  error(message) {
-    const level = ERROR_LEVEL;
-
-    this.writeToLog(level, message);
-  }
-
-  writeToLog(level, message, filePath = null, lineIndex = null) {
-    this.log.write(level, message, filePath, lineIndex);
-  }
-
-  getDepth() {
-    const depth = 0;
-
-    return depth;
-  }
-
-  initialise() {
-    const releaseContext = this;  ///
-
-    fileContextsFromEntries(this.entries, this.fileContexts, releaseContext);
-
-    this.initialised = true;
-  }
-
-  async verify() {
-    let verifies = false;
-
-    const verifiedFileContexts = [],
-          fileContextsVerify = await verifyFileContexts(this.fileContexts, verifiedFileContexts);
-
-    if (fileContextsVerify) {
-      this.fileContexts = verifiedFileContexts; ///
-
-      this.verified = true;
-
-      verifies = true;
-    }
-
-    return verifies;
-  }
-
-  async break(filePath, lineIndex) {
-    const level = TRACE_LEVEL,
-          message = BREAK_MESSAGE;
-
-    this.writeToLog(level, message, filePath, lineIndex);
-
-    const context = this; ///
-
-    await this.callback(context, filePath, lineIndex);
-  }
-
-  static fromLogEntriesAndCallback(log, entries, callback) {
-    const fileContexts = [],
-          releaseContext = new ReleaseContext(log, entries, callback, fileContexts);
-
-    return releaseContext;
-  }
-}
-
-async function verifyFileContexts(fileContexts, verifiedFileContexts) {
-  const resolved = await asyncResolve(fileContexts, verifiedFileContexts, async (fileContext) => {
-          const fileContextVerifies = await fileContext.verify();
-
-          if (fileContextVerifies) {
-            return true;
-          }
-        }),
-        fileContextsVerify = resolved;  ///
-
-  return fileContextsVerify;
-}
-
-function fileContextsFromEntries(entries, fileContexts, releaseContext) {
-  entries.forEachFile((file) => {
-    const filePath = file.getPath(),
-          filePathFurtleFilePath = isFilePathFurtleFilePath(filePath),
-          filePathNominalFilePath = isFilePathNominalFilePath(filePath);
-
-    if (filePathFurtleFilePath) {
-      const furtleFileContext = FurtleFileContext.fromFile(file, releaseContext),
-            fileContext = furtleFileContext;  ///
-
-      fileContexts.push(fileContext);
-    }
-
-    if (filePathNominalFilePath) {
-      const context = releaseContext, ///
-            fileContext = NominalFileContext.fromFile(file, context);
-
-      fileContexts.push(fileContext);
-    }
-  });
-}

package/src/context.js

@@ -1,42 +0,0 @@
-"use strict";
-
-import { DOUBLE_SPACE } from "./constants";
-
-export default class Context {
-  constructor(context) {
-    this.context = context;
-  }
-
-  getContext() {
-    return this.context;
-  }
-
-  getDepth() {
-    let depth = this.context.getDepth();
-
-    depth++;
-
-    return depth;
-  }
-
-  getReleaseContext() { return this.context.getReleaseContext(); }
-
-  writeToLog(level, message) {
-    const depth = this.getDepth(),
-          indent = DOUBLE_SPACE.repeat(depth);
-
-    message = `${indent}${message}`;  ///
-
-    const releaseContext = this.getReleaseContext();
-
-    releaseContext.writeToLog(level, message);
-  }
-
-  static fromNothing(Class, ...remainingArguments) {
-    let context = remainingArguments.pop();
-
-    context = new Class(context, ...remainingArguments);  ///
-
-    return context;
-  }
-}

package/src/element.js

@@ -1,27 +0,0 @@
-"use strict";
-
-export default class Element {
-  constructor(context, string, node) {
-    this.context = context;
-    this.string = string;
-    this.node = node;
-  }
-
-  getContext() {
-    return this.context;
-  }
-
-  getString() {
-    return this.string;
-  }
-
-  getNode() {
-    return this.node;
-  }
-
-  async break(context) {
-    await context.break(this.node);
-  }
-
-  matchNode(node) { return this.node.match(node); }
-}

package/src/log.js

@@ -1,132 +0,0 @@
-"use strict";
-
-import { LEVELS, SINGLE_SPACE, EMPTY_STRING, LEVEL_MAXIMUM_LENGTH } from "./constants";
-
-const [ TRACE_LEVEL, DEBUG_LEVEL, INFO_LEVEL, WARNING_LEVEL, ERROR_LEVEL ] = LEVELS;
-
-export default class Log {
-  constructor(messages, logLevel, follow) {
-    this.messages = messages;
-    this.logLevel = logLevel;
-    this.follow = follow;
-  }
-
-  getMessages() {
-    return this.messages;
-  }
-
-  getLogLevel() {
-    return this.logLevel;
-  }
-
-  getFollow() {
-    return this.follow;
-  }
-
-  trace(message) {
-    const level = TRACE_LEVEL;
-
-    this.write(level, message);
-  }
-
-  debug(message) {
-    const level = DEBUG_LEVEL;
-
-    this.write(level, message);
-  }
-
-  info(message) {
-    const level = INFO_LEVEL;
-
-    this.write(level, message);
-  }
-
-  warning(message) {
-    const level = WARNING_LEVEL;
-
-    this.write(level, message);
-  }
-
-  error(message) {
-    const level = ERROR_LEVEL;
-
-    this.write(level, message);
-  }
-
-  write(level, message, filePath = null, lineIndex = null) {
-    const levelIndex = LEVELS.indexOf(level),
-          logLevelIndex = LEVELS.indexOf(this.logLevel);
-
-    if (levelIndex < logLevelIndex) {
-      return;
-    }
-
-    message = formatMessage(level, message, filePath, lineIndex);  ///
-
-    this.follow ?
-      console.log(message) :
-        this.messages.push(message);
-  }
-
-  static fromNothing() {
-    const messages = null,
-          logLevel = TRACE_LEVEL,
-          follow = true,
-          log = new Log(messages, logLevel, follow);
-
-    return log;
-  }
-
-  static fromFollowAndLogLevel(follow, logLevel) {
-    const messages = follow ?
-                       null :
-                         [],
-          log = new Log(messages, logLevel, follow);
-
-    return log;
-  }
-}
-
-function formatMessage(level, message, filePath, lineIndex) {
-  let formattedMessage = EMPTY_STRING;
-
-  const leftPaddedLevel = leftPadLevel(level),
-        upperCaseLeftPaddedLevel = leftPaddedLevel.toUpperCase();
-
-  formattedMessage += `${upperCaseLeftPaddedLevel}: `;
-
-  if (filePath !== null) {
-    formattedMessage += `${filePath} `;
-  }
-
-  if (lineIndex !== null) {
-    formattedMessage += `[${lineIndex}] `;
-  }
-
-  if ((filePath !== null) || (lineIndex !== null)) {
-    formattedMessage += `- `;
-  }
-
-  formattedMessage += message;
-
-  message = formattedMessage; ///
-
-  return message;
-}
-
-function leftPadLevel(level) {
-  const maximumLength = LEVEL_MAXIMUM_LENGTH,
-        leftPaddedLevel = leftPad(level, maximumLength);
-
-  return leftPaddedLevel;
-}
-
-function leftPad(string, maximumLength) {
-  const stringLength = string.length,
-        length = maximumLength - stringLength,
-        indent = SINGLE_SPACE.repeat(length),
-        leftPaddedString = `${indent}${string}`;
-
-  return leftPaddedString;
-}
-