occam-verify-cli 1.0.420 → 1.0.427

package/lib/utilities/subproof.js

@@ -1,42 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "subproofStringFromSubproofNode", {
-    enumerable: true,
-    get: function() {
-        return subproofStringFromSubproofNode;
-    }
-});
-function subproofStringFromSubproofNode(subproofNode, context) {
-    var suppositionStatementsOrNonsenseString = suppositionStatementOrNonsenseStringFromSubproofNode(subproofNode, context), lastStatementOrNonsenseString = lastStatementOrNonsenseStringFromSubproofNode(subproofNode, context), subproofString = "[".concat(suppositionStatementsOrNonsenseString, "] ... ").concat(lastStatementOrNonsenseString);
-    return subproofString;
-}
-function suppositionStatementOrNonsenseStringFromSubproofNode(subproofNode, context) {
-    var suppositionNodes = subproofNode.getSuppositionNodes(), suppositionStatementsOrNonsenseString = suppositionNodes.reduce(function(suppositionStatementsOrNonsenseString, suppositionNode) {
-        var suppositionOrStepNode = suppositionNode, statementOrNonsenseString = statementOrNonsenseStringFromSuppositionOrStepNode(suppositionOrStepNode, context), suppositionStatementOrNonsenseString = statementOrNonsenseString; ///
-        suppositionStatementsOrNonsenseString = suppositionStatementsOrNonsenseString !== null ? "".concat(suppositionStatementsOrNonsenseString, ", ").concat(suppositionStatementOrNonsenseString) : suppositionStatementOrNonsenseString; ///
-        return suppositionStatementsOrNonsenseString;
-    }, null);
-    return suppositionStatementsOrNonsenseString;
-}
-function lastStatementOrNonsenseStringFromSubproofNode(subproofNode, context) {
-    var lastStepNode = subproofNode.getLastStepNode(), suppositionOrStepNode = lastStepNode, statementOrNonsenseString = statementOrNonsenseStringFromSuppositionOrStepNode(suppositionOrStepNode, context), lastStatementOrNonsenseString = statementOrNonsenseString; ///
-    return lastStatementOrNonsenseString;
-}
-function statementOrNonsenseStringFromSuppositionOrStepNode(suppositionOrStepNode, context) {
-    var statementOrNonsenseString;
-    var nonsenseNode = suppositionOrStepNode.getNonsenseNode(), statementNode = suppositionOrStepNode.getStatementNode();
-    if (false) {
-    ///
-    } else if (nonsenseNode !== null) {
-        var nonsenseString = context.nodeAsString(nonsenseNode);
-        statementOrNonsenseString = nonsenseString; ///
-    } else if (statementNode !== null) {
-        var statementString = context.nodeAsString(statementNode);
-        statementOrNonsenseString = statementString; ///
-    }
-    return statementOrNonsenseString;
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvc3VicHJvb2YuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmV4cG9ydCBmdW5jdGlvbiBzdWJwcm9vZlN0cmluZ0Zyb21TdWJwcm9vZk5vZGUoc3VicHJvb2ZOb2RlLCBjb250ZXh0KSB7XG4gIGNvbnN0IHN1cHBvc2l0aW9uU3RhdGVtZW50c09yTm9uc2Vuc2VTdHJpbmcgPSBzdXBwb3NpdGlvblN0YXRlbWVudE9yTm9uc2Vuc2VTdHJpbmdGcm9tU3VicHJvb2ZOb2RlKHN1YnByb29mTm9kZSwgY29udGV4dCksXG4gICAgICAgIGxhc3RTdGF0ZW1lbnRPck5vbnNlbnNlU3RyaW5nID0gbGFzdFN0YXRlbWVudE9yTm9uc2Vuc2VTdHJpbmdGcm9tU3VicHJvb2ZOb2RlKHN1YnByb29mTm9kZSwgY29udGV4dCksXG4gICAgICAgIHN1YnByb29mU3RyaW5nID0gYFske3N1cHBvc2l0aW9uU3RhdGVtZW50c09yTm9uc2Vuc2VTdHJpbmd9XSAuLi4gJHtsYXN0U3RhdGVtZW50T3JOb25zZW5zZVN0cmluZ31gO1xuXG4gIHJldHVybiBzdWJwcm9vZlN0cmluZztcbn1cblxuZnVuY3Rpb24gc3VwcG9zaXRpb25TdGF0ZW1lbnRPck5vbnNlbnNlU3RyaW5nRnJvbVN1YnByb29mTm9kZShzdWJwcm9vZk5vZGUsIGNvbnRleHQpIHtcbiAgY29uc3Qgc3VwcG9zaXRpb25Ob2RlcyA9IHN1YnByb29mTm9kZS5nZXRTdXBwb3NpdGlvbk5vZGVzKCksXG4gICAgICAgIHN1cHBvc2l0aW9uU3RhdGVtZW50c09yTm9uc2Vuc2VTdHJpbmcgPSBzdXBwb3NpdGlvbk5vZGVzLnJlZHVjZSgoc3VwcG9zaXRpb25TdGF0ZW1lbnRzT3JOb25zZW5zZVN0cmluZywgc3VwcG9zaXRpb25Ob2RlKSA9PiB7XG4gICAgICAgICAgY29uc3Qgc3VwcG9zaXRpb25PclN0ZXBOb2RlID0gc3VwcG9zaXRpb25Ob2RlLCAgLy8vXG4gICAgICAgICAgICAgICAgc3RhdGVtZW50T3JOb25zZW5zZVN0cmluZyA9IHN0YXRlbWVudE9yTm9uc2Vuc2VTdHJpbmdGcm9tU3VwcG9zaXRpb25PclN0ZXBOb2RlKHN1cHBvc2l0aW9uT3JTdGVwTm9kZSwgY29udGV4dCksXG4gICAgICAgICAgICAgICAgc3VwcG9zaXRpb25TdGF0ZW1lbnRPck5vbnNlbnNlU3RyaW5nID0gc3RhdGVtZW50T3JOb25zZW5zZVN0cmluZzsgLy8vXG5cbiAgICAgICAgICBzdXBwb3NpdGlvblN0YXRlbWVudHNPck5vbnNlbnNlU3RyaW5nID0gKHN1cHBvc2l0aW9uU3RhdGVtZW50c09yTm9uc2Vuc2VTdHJpbmcgIT09IG51bGwpID9cbiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBgJHtzdXBwb3NpdGlvblN0YXRlbWVudHNPck5vbnNlbnNlU3RyaW5nfSwgJHtzdXBwb3NpdGlvblN0YXRlbWVudE9yTm9uc2Vuc2VTdHJpbmd9YCA6XG4gICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBzdXBwb3NpdGlvblN0YXRlbWVudE9yTm9uc2Vuc2VTdHJpbmc7IC8vL1xuXG4gICAgICAgICAgcmV0dXJuIHN1cHBvc2l0aW9uU3RhdGVtZW50c09yTm9uc2Vuc2VTdHJpbmc7XG4gICAgICAgIH0sIG51bGwpO1xuXG4gIHJldHVybiBzdXBwb3NpdGlvblN0YXRlbWVudHNPck5vbnNlbnNlU3RyaW5nO1xufVxuXG5mdW5jdGlvbiBsYXN0U3RhdGVtZW50T3JOb25zZW5zZVN0cmluZ0Zyb21TdWJwcm9vZk5vZGUoc3VicHJvb2ZOb2RlLCBjb250ZXh0KSB7XG4gIGNvbnN0IGxhc3RTdGVwTm9kZSA9IHN1YnByb29mTm9kZS5nZXRMYXN0U3RlcE5vZGUoKSxcbiAgICAgICAgc3VwcG9zaXRpb25PclN0ZXBOb2RlID0gbGFzdFN0ZXBOb2RlLCAvLy9cbiAgICAgICAgc3RhdGVtZW50T3JOb25zZW5zZVN0cmluZyA9IHN0YXRlbWVudE9yTm9uc2Vuc2VTdHJpbmdGcm9tU3VwcG9zaXRpb25PclN0ZXBOb2RlKHN1cHBvc2l0aW9uT3JTdGVwTm9kZSwgY29udGV4dCksXG4gICAgICAgIGxhc3RTdGF0ZW1lbnRPck5vbnNlbnNlU3RyaW5nID0gc3RhdGVtZW50T3JOb25zZW5zZVN0cmluZzsgLy8vXG5cbiAgcmV0dXJuIGxhc3RTdGF0ZW1lbnRPck5vbnNlbnNlU3RyaW5nO1xufVxuXG5mdW5jdGlvbiBzdGF0ZW1lbnRPck5vbnNlbnNlU3RyaW5nRnJvbVN1cHBvc2l0aW9uT3JTdGVwTm9kZShzdXBwb3NpdGlvbk9yU3RlcE5vZGUsIGNvbnRleHQpIHtcbiAgbGV0IHN0YXRlbWVudE9yTm9uc2Vuc2VTdHJpbmc7XG5cbiAgY29uc3Qgbm9uc2Vuc2VOb2RlID0gc3VwcG9zaXRpb25PclN0ZXBOb2RlLmdldE5vbnNlbnNlTm9kZSgpLFxuICAgICAgICBzdGF0ZW1lbnROb2RlID0gc3VwcG9zaXRpb25PclN0ZXBOb2RlLmdldFN0YXRlbWVudE5vZGUoKTtcblxuICBpZiAoZmFsc2UpIHtcbiAgICAvLy9cbiAgfSBlbHNlIGlmIChub25zZW5zZU5vZGUgIT09IG51bGwpIHtcbiAgICBjb25zdCBub25zZW5zZVN0cmluZyA9IGNvbnRleHQubm9kZUFzU3RyaW5nKG5vbnNlbnNlTm9kZSk7XG5cbiAgICBzdGF0ZW1lbnRPck5vbnNlbnNlU3RyaW5nID0gbm9uc2Vuc2VTdHJpbmc7IC8vL1xuICB9IGVsc2UgaWYgKHN0YXRlbWVudE5vZGUgIT09IG51bGwpIHtcbiAgICBjb25zdCBzdGF0ZW1lbnRTdHJpbmcgPSBjb250ZXh0Lm5vZGVBc1N0cmluZyhzdGF0ZW1lbnROb2RlKTtcblxuICAgIHN0YXRlbWVudE9yTm9uc2Vuc2VTdHJpbmcgPSBzdGF0ZW1lbnRTdHJpbmc7ICAvLy9cbiAgfVxuXG4gIHJldHVybiBzdGF0ZW1lbnRPck5vbnNlbnNlU3RyaW5nO1xufSJdLCJuYW1lcyI6WyJzdWJwcm9vZlN0cmluZ0Zyb21TdWJwcm9vZk5vZGUiLCJzdWJwcm9vZk5vZGUiLCJjb250ZXh0Iiwic3VwcG9zaXRpb25TdGF0ZW1lbnRzT3JOb25zZW5zZVN0cmluZyIsInN1cHBvc2l0aW9uU3RhdGVtZW50T3JOb25zZW5zZVN0cmluZ0Zyb21TdWJwcm9vZk5vZGUiLCJsYXN0U3RhdGVtZW50T3JOb25zZW5zZVN0cmluZyIsImxhc3RTdGF0ZW1lbnRPck5vbnNlbnNlU3RyaW5nRnJvbVN1YnByb29mTm9kZSIsInN1YnByb29mU3RyaW5nIiwic3VwcG9zaXRpb25Ob2RlcyIsImdldFN1cHBvc2l0aW9uTm9kZXMiLCJyZWR1Y2UiLCJzdXBwb3NpdGlvbk5vZGUiLCJzdXBwb3NpdGlvbk9yU3RlcE5vZGUiLCJzdGF0ZW1lbnRPck5vbnNlbnNlU3RyaW5nIiwic3RhdGVtZW50T3JOb25zZW5zZVN0cmluZ0Zyb21TdXBwb3NpdGlvbk9yU3RlcE5vZGUiLCJzdXBwb3NpdGlvblN0YXRlbWVudE9yTm9uc2Vuc2VTdHJpbmciLCJsYXN0U3RlcE5vZGUiLCJnZXRMYXN0U3RlcE5vZGUiLCJub25zZW5zZU5vZGUiLCJnZXROb25zZW5zZU5vZGUiLCJzdGF0ZW1lbnROb2RlIiwiZ2V0U3RhdGVtZW50Tm9kZSIsIm5vbnNlbnNlU3RyaW5nIiwibm9kZUFzU3RyaW5nIiwic3RhdGVtZW50U3RyaW5nIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFFZ0JBOzs7ZUFBQUE7OztBQUFULFNBQVNBLCtCQUErQkMsWUFBWSxFQUFFQyxPQUFPO0lBQ2xFLElBQU1DLHdDQUF3Q0MscURBQXFESCxjQUFjQyxVQUMzR0csZ0NBQWdDQyw4Q0FBOENMLGNBQWNDLFVBQzVGSyxpQkFBaUIsQUFBQyxJQUFpREYsT0FBOUNGLHVDQUFzQyxVQUFzQyxPQUE5QkU7SUFFekUsT0FBT0U7QUFDVDtBQUVBLFNBQVNILHFEQUFxREgsWUFBWSxFQUFFQyxPQUFPO0lBQ2pGLElBQU1NLG1CQUFtQlAsYUFBYVEsbUJBQW1CLElBQ25ETix3Q0FBd0NLLGlCQUFpQkUsTUFBTSxDQUFDLFNBQUNQLHVDQUF1Q1E7UUFDdEcsSUFBTUMsd0JBQXdCRCxpQkFDeEJFLDRCQUE0QkMsbURBQW1ERix1QkFBdUJWLFVBQ3RHYSx1Q0FBdUNGLDJCQUEyQixHQUFHO1FBRTNFVix3Q0FBd0MsQUFBQ0EsMENBQTBDLE9BQ3pDLEFBQUMsR0FBNENZLE9BQTFDWix1Q0FBc0MsTUFBeUMsT0FBckNZLHdDQUMzQ0Esc0NBQXNDLEdBQUc7UUFFckYsT0FBT1o7SUFDVCxHQUFHO0lBRVQsT0FBT0E7QUFDVDtBQUVBLFNBQVNHLDhDQUE4Q0wsWUFBWSxFQUFFQyxPQUFPO0lBQzFFLElBQU1jLGVBQWVmLGFBQWFnQixlQUFlLElBQzNDTCx3QkFBd0JJLGNBQ3hCSCw0QkFBNEJDLG1EQUFtREYsdUJBQXVCVixVQUN0R0csZ0NBQWdDUSwyQkFBMkIsR0FBRztJQUVwRSxPQUFPUjtBQUNUO0FBRUEsU0FBU1MsbURBQW1ERixxQkFBcUIsRUFBRVYsT0FBTztJQUN4RixJQUFJVztJQUVKLElBQU1LLGVBQWVOLHNCQUFzQk8sZUFBZSxJQUNwREMsZ0JBQWdCUixzQkFBc0JTLGdCQUFnQjtJQUU1RCxJQUFJLE9BQU87SUFDVCxHQUFHO0lBQ0wsT0FBTyxJQUFJSCxpQkFBaUIsTUFBTTtRQUNoQyxJQUFNSSxpQkFBaUJwQixRQUFRcUIsWUFBWSxDQUFDTDtRQUU1Q0wsNEJBQTRCUyxnQkFBZ0IsR0FBRztJQUNqRCxPQUFPLElBQUlGLGtCQUFrQixNQUFNO1FBQ2pDLElBQU1JLGtCQUFrQnRCLFFBQVFxQixZQUFZLENBQUNIO1FBRTdDUCw0QkFBNEJXLGlCQUFrQixHQUFHO0lBQ25EO0lBRUEsT0FBT1g7QUFDVCJ9

package/lib/utilities/type.js

@@ -1,40 +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 stringFromTypeNameTypePrefixNameAndSuperTypes () {
-        return stringFromTypeNameTypePrefixNameAndSuperTypes;
-    },
-    get superTypesStringFromSuperTypes () {
-        return superTypesStringFromSuperTypes;
-    }
-});
-var _type = require("../ontology/type");
-function stringFromTypeNameTypePrefixNameAndSuperTypes(typeName, typePrefixName, superTypes) {
-    var string;
-    string = typePrefixName !== null ? "".concat(typePrefixName).concat(typeName) : typeName;
-    var superTypesString = superTypesStringFromSuperTypes(superTypes);
-    if (superTypesString !== null) {
-        string = "".concat(string, ":").concat(superTypesString);
-    }
-    return string;
-}
-function superTypesStringFromSuperTypes(superTypes) {
-    var superTypesString = superTypes.reduce(function(superTypesString, superType) {
-        if (superType !== _type.baseType) {
-            var superTypeString = superType.getString();
-            superTypesString = superTypesString === null ? "'".concat(superTypeString, "'") : "".concat(superTypesString, ", '").concat(superTypeString, "'");
-        }
-        return superTypesString;
-    }, null);
-    return superTypesString;
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvdHlwZS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHsgYmFzZVR5cGUgfSBmcm9tIFwiLi4vb250b2xvZ3kvdHlwZVwiO1xuXG5leHBvcnQgZnVuY3Rpb24gc3RyaW5nRnJvbVR5cGVOYW1lVHlwZVByZWZpeE5hbWVBbmRTdXBlclR5cGVzKHR5cGVOYW1lLCB0eXBlUHJlZml4TmFtZSwgc3VwZXJUeXBlcykge1xuICBsZXQgc3RyaW5nO1xuXG4gIHN0cmluZyA9ICh0eXBlUHJlZml4TmFtZSAhPT0gbnVsbCkgP1xuICAgICAgICAgICAgIGAke3R5cGVQcmVmaXhOYW1lfSR7dHlwZU5hbWV9YDpcbiAgICAgICAgICAgICAgIHR5cGVOYW1lO1xuXG4gIGNvbnN0IHN1cGVyVHlwZXNTdHJpbmcgPSBzdXBlclR5cGVzU3RyaW5nRnJvbVN1cGVyVHlwZXMoc3VwZXJUeXBlcyk7XG5cbiAgaWYgKHN1cGVyVHlwZXNTdHJpbmcgIT09IG51bGwpIHtcbiAgICBzdHJpbmcgPSBgJHtzdHJpbmd9OiR7c3VwZXJUeXBlc1N0cmluZ31gO1xuICB9XG5cbiAgcmV0dXJuIHN0cmluZztcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIHN1cGVyVHlwZXNTdHJpbmdGcm9tU3VwZXJUeXBlcyhzdXBlclR5cGVzKSB7XG4gIGNvbnN0IHN1cGVyVHlwZXNTdHJpbmcgPSBzdXBlclR5cGVzLnJlZHVjZSgoc3VwZXJUeXBlc1N0cmluZywgc3VwZXJUeXBlKSA9PiB7XG4gICAgaWYgKHN1cGVyVHlwZSAhPT0gYmFzZVR5cGUpIHtcbiAgICAgIGNvbnN0IHN1cGVyVHlwZVN0cmluZyA9IHN1cGVyVHlwZS5nZXRTdHJpbmcoKTtcblxuICAgICAgc3VwZXJUeXBlc1N0cmluZyA9IChzdXBlclR5cGVzU3RyaW5nID09PSBudWxsKSA/XG4gICAgICAgICAgICAgICAgICAgICAgICAgICBgJyR7c3VwZXJUeXBlU3RyaW5nfSdgIDpcbiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgYCR7c3VwZXJUeXBlc1N0cmluZ30sICcke3N1cGVyVHlwZVN0cmluZ30nYDtcbiAgICB9XG5cbiAgICByZXR1cm4gc3VwZXJUeXBlc1N0cmluZztcbiAgfSwgbnVsbCk7XG5cbiAgcmV0dXJuIHN1cGVyVHlwZXNTdHJpbmc7XG59XG4iXSwibmFtZXMiOlsic3RyaW5nRnJvbVR5cGVOYW1lVHlwZVByZWZpeE5hbWVBbmRTdXBlclR5cGVzIiwic3VwZXJUeXBlc1N0cmluZ0Zyb21TdXBlclR5cGVzIiwidHlwZU5hbWUiLCJ0eXBlUHJlZml4TmFtZSIsInN1cGVyVHlwZXMiLCJzdHJpbmciLCJzdXBlclR5cGVzU3RyaW5nIiwicmVkdWNlIiwic3VwZXJUeXBlIiwiYmFzZVR5cGUiLCJzdXBlclR5cGVTdHJpbmciLCJnZXRTdHJpbmciXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7Ozs7OztRQUlnQkE7ZUFBQUE7O1FBZ0JBQztlQUFBQTs7O29CQWxCUztBQUVsQixTQUFTRCw4Q0FBOENFLFFBQVEsRUFBRUMsY0FBYyxFQUFFQyxVQUFVO0lBQ2hHLElBQUlDO0lBRUpBLFNBQVMsQUFBQ0YsbUJBQW1CLE9BQ2xCLEFBQUMsR0FBbUJELE9BQWpCQyxnQkFBMEIsT0FBVEQsWUFDbEJBO0lBRWIsSUFBTUksbUJBQW1CTCwrQkFBK0JHO0lBRXhELElBQUlFLHFCQUFxQixNQUFNO1FBQzdCRCxTQUFTLEFBQUMsR0FBWUMsT0FBVkQsUUFBTyxLQUFvQixPQUFqQkM7SUFDeEI7SUFFQSxPQUFPRDtBQUNUO0FBRU8sU0FBU0osK0JBQStCRyxVQUFVO0lBQ3ZELElBQU1FLG1CQUFtQkYsV0FBV0csTUFBTSxDQUFDLFNBQUNELGtCQUFrQkU7UUFDNUQsSUFBSUEsY0FBY0MsY0FBUSxFQUFFO1lBQzFCLElBQU1DLGtCQUFrQkYsVUFBVUcsU0FBUztZQUUzQ0wsbUJBQW1CLEFBQUNBLHFCQUFxQixPQUNwQixBQUFDLElBQW1CLE9BQWhCSSxpQkFBZ0IsT0FDbEIsQUFBQyxHQUF3QkEsT0FBdEJKLGtCQUFpQixPQUFxQixPQUFoQkksaUJBQWdCO1FBQ2xFO1FBRUEsT0FBT0o7SUFDVCxHQUFHO0lBRUgsT0FBT0E7QUFDVCJ9

package/src/assignment/equality.js

@@ -1,29 +0,0 @@
-"use strict";
-
-export default class EqualityAssignment {
-  constructor(equality) {
-    this.equality = equality;
-  }
-
-  getEquality() {
-    return this.equality;
-  }
-
-  assign(context) {
-    const equalityAdded = context.addEquality(this.equality),
-          equalityString = this.equality.getString(),
-          equalityAssigned = equalityAdded; ///
-
-    equalityAssigned ?
-      context.trace(`Assigned the '${equalityString}' equality.`) :
-        context.debug(`Unable to assign the '${equalityString}' equality.`);
-
-    return equalityAssigned;
-  }
-
-  static fromEquality(equality) {
-    const equalityAssignment = new EqualityAssignment(equality);
-
-    return equalityAssignment;
-  }
-}

package/src/assignment/judgement.js

@@ -1,29 +0,0 @@
-"use strict";
-
-export default class JudgementAssignment {
-  constructor(judgement) {
-    this.judgement = judgement;
-  }
-
-  getJudgement() {
-    return this.judgement;
-  }
-
-  assign(context) {
-    const judgementAdded = context.addJudgement(this.judgement),
-          judgementString = this.judgement.getString(),
-          judgementAssigned = judgementAdded; ///
-
-    judgementAssigned ?
-      context.trace(`Assigned the '${judgementString}' judgement.`) :
-        context.debug(`Unable to assign the '${judgementString}' judgement.`);
-
-    return judgementAssigned;
-  }
-
-  static fromJudgement(judgement) {
-    const judgementAssignment = new JudgementAssignment(judgement);
-
-    return judgementAssignment;
-  }
-}

package/src/assignment/variable.js

@@ -1,34 +0,0 @@
-"use strict";
-
-export default class VariableAssignment {
-  constructor(variable) {
-    this.variable = variable;
-  }
-
-  getVariable() {
-    return this.variable;
-  }
-
-  assign(context) {
-    const nested = false;
-
-    context.addVariable(this.variable, nested);
-
-    const variableType = this.variable.getType(),
-          variableString = this.variable.getString(),
-          variableAssigned = true, ///
-          variableTypeString = variableType.getString();
-
-    variableAssigned ?
-      context.trace(`Assigned the '${variableString}' variable with type '${variableTypeString}'.`) :
-        context.debug(`Unable to assign the '${variableString}' variable with type '${variableTypeString}'.`);
-
-    return variableAssigned;
-  }
-
-  static fromVariable(variable) {
-    const variableAssignment = new VariableAssignment(variable);
-
-    return variableAssignment;
-  }
-}

package/src/context/bracketed/combinator.js

@@ -1,31 +0,0 @@
-"use strict";
-
-import BracketedContext from "../../context/bracketted";
-import StatementPartialContext from "../../context/partial/statement";
-
-import { STATEMENT_META_TYPE_NAME } from "../../metaTypeNames";
-import { nominalLexer, nominalParser } from "../../utilities/nominal";
-
-class CombinatorBracketedContext extends BracketedContext {
-  getBracketedStatementNode() {
-    const node = this.getNode(),
-          bracketedStatementNode = node;  ///
-
-    return bracketedStatementNode;
-  }
-
-  static fromNothing() {
-    const string = `(${STATEMENT_META_TYPE_NAME})`,
-          lexer = nominalLexer, ///
-          parser = nominalParser, ///
-          statementPartialContext = StatementPartialContext.fromStringLexerAndParser(string, lexer, parser),
-          context = statementPartialContext,  ///
-          combinatorBracketedContext = BracketedContext.fromString(CombinatorBracketedContext, string, context);
-
-    return combinatorBracketedContext;
-  }
-}
-
-const combinatorBracketedContext = CombinatorBracketedContext.fromNothing();
-
-export default  combinatorBracketedContext;

package/src/context/bracketed/constructor.js

@@ -1,31 +0,0 @@
-"use strict";
-
-import BracketedContext from "../../context/bracketted";
-import TermPartialContext from "../../context/partial/term";
-
-import { BASE_TYPE_SYMBOL } from "../../constants";
-import { nominalLexer, nominalParser } from "../../utilities/nominal";
-
-class ConstructorBracketedContext extends BracketedContext {
-  getBracketedTermNode() {
-    const node = this.getNode(),
-          bracketedTermNode = node;  ///
-
-    return bracketedTermNode;
-  }
-
-  static fromNothing() {
-    const string = `(${BASE_TYPE_SYMBOL})`,
-          lexer = nominalLexer, ///
-          parser = nominalParser, ///
-          termPartialContext = TermPartialContext.fromStringLexerAndParser(string, lexer, parser),
-          context = termPartialContext,
-          constructorBracketedContext = BracketedContext.fromString(ConstructorBracketedContext, string, context);
-
-    return constructorBracketedContext;
-  }
-}
-
-const constructorBracketedContext = ConstructorBracketedContext.fromNothing();
-
-export default constructorBracketedContext;

package/src/context/bracketted.js

@@ -1,41 +0,0 @@
-"use strict";
-
-export default class BracketedContext {
-  constructor(string, node, tokens) {
-    this.string = string;
-    this.node = node;
-    this.tokens = tokens;
-  }
-
-  getString() {
-    return this.string;
-  }
-
-  getNode() {
-    return this.node;
-  }
-
-  getTokens() {
-    return this.tokens;
-  }
-
-  nodeAsTokens() {
-    return this.tokens;
-  }
-
-  nodeAsString() {
-    return this.string;
-  }
-
-  tokensAsString() {
-    return this.string;
-  }
-
-  static fromString(Class, string, context) {
-    const node = context.getNode(),
-          tokens = context.getTokens(),
-          bracketedContext = new Class(string, node, tokens);
-
-    return bracketedContext;
-  }
-}

package/src/context/partial/metavariable.js

@@ -1,39 +0,0 @@
-"use strict";
-
-import PartialContext from "../../context/partial";
-
-import { ruleFromBNF } from "../../context/partial";
-
-const bnf = `
-
-        _ ::= metavariable... <END_OF_LINE> ;
-        
-      `,
-      rule = ruleFromBNF(bnf);
-
-export default class MetavariablePartialContext extends PartialContext {
-  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(),
-          lexer = context.getLexer(),
-          parser = context.getParser(),
-          metavariablePartialContext = PartialContext.fromStringLexerAndParser(MetavariablePartialContext, string, lexer, parser);
-
-    return metavariablePartialContext;
-  }
-
-  static fromStringLexerAndParser(string, lexer, parser) { return PartialContext.fromStringLexerAndParser(MetavariablePartialContext, string, lexer, parser); }
-}

package/src/context/partial/statement.js

@@ -1,39 +0,0 @@
-"use strict";
-
-import PartialContext from "../../context/partial";
-
-import { ruleFromBNF } from "../../context/partial";
-
-const bnf = `
-
-        _ ::= statement... <END_OF_LINE> ;
-        
-      `,
-      rule = ruleFromBNF(bnf);
-
-export default class StatementPartialContext extends PartialContext {
-  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(),
-          lexer = context.getLexer(),
-          parser = context.getParser(),
-          statementPartialContext = PartialContext.fromStringLexerAndParser(StatementPartialContext, string, lexer, parser);
-
-    return statementPartialContext;
-  }
-
-  static fromStringLexerAndParser(string, lexer, parser) { return PartialContext.fromStringLexerAndParser(StatementPartialContext, string, lexer, parser); }
-}

package/src/context/partial/term.js

@@ -1,49 +0,0 @@
-"use strict";
-
-import PartialContext from "../../context/partial";
-
-import { ruleFromBNF } from "../../context/partial";
-
-const bnf = `
-
-        _ ::= term... <END_OF_LINE> ;
-        
-      `,
-      rule = ruleFromBNF(bnf);
-
-export default class TermPartialContext extends PartialContext {
-  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(),
-          lexer = context.getLexer(),
-          parser = context.getParser(),
-          termPartialContext = PartialContext.fromStringLexerAndParser(TermPartialContext, string, lexer, parser);
-
-    return termPartialContext;
-  }
-
-  static fromStringLexerAndParser(string, lexer, parser) { return PartialContext.fromStringLexerAndParser(TermPartialContext, string, lexer, parser); }
-}
-
-export function termNodeFromTermString(termString, context) {
-  const string = termString,  ///
-        lexer = context.getLexer(),
-        parser = context.getParser(),
-        termPartialContext = TermPartialContext.fromStringLexerAndParser(string, lexer, parser),
-        termNode = termPartialContext.getTermNode();
-
-  return termNode;
-}

package/src/context/partial/variable.js

@@ -1,49 +0,0 @@
-"use strict";
-
-import PartialContext from "../../context/partial";
-
-import { ruleFromBNF } from "../../context/partial";
-
-const bnf = `
-
-        _ ::= variable... <END_OF_LINE> ;
-        
-      `,
-      rule = ruleFromBNF(bnf);
-
-export default class VariablePartialContext extends PartialContext {
-  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(),
-          lexer = context.getLexer(),
-          parser = context.getParser(),
-          variablePartialContext = PartialContext.fromStringLexerAndParser(VariablePartialContext, string, context, lexer, parser);
-
-    return variablePartialContext;
-  }
-
-  static fromStringLexerAndParser(string, lexer, parser) { return PartialContext.fromStringLexerAndParser(VariablePartialContext, string, lexer, parser); }
-}
-
-export function variableNodeFromVariableString(variableString, context) {
-  const string = variableString,  ///
-        lexer = context.getLexer(),
-        parser = context.getParser(),
-        variablePartialContext = VariablePartialContext.fromStringLexerAndParser(string, lexer, parser),
-        variableNode = variablePartialContext.getVariableNode();
-
-  return variableNode;
-}

package/src/context/partial.js

@@ -1,71 +0,0 @@
-"use strict";
-
-import { BNFLexer } from "occam-lexers";
-import { BNFParser } from "occam-parsers";
-import { arrayUtilities } from "necessary";
-
-const { first } = arrayUtilities;
-
-const bnfLexer = BNFLexer.fromNothing(),
-      bnfParser = BNFParser.fromNothing();
-
-export default class PartialContext {
-  constructor(node, tokens) {
-    this.node = node;
-    this.tokens = tokens;
-  }
-
-  getNode() {
-    return this.node;
-  }
-
-  getTokens() {
-    return this.tokens;
-  }
-
-  static fromStringLexerAndParser(Class, string, lexer, parser) {
-    const { rule } = Class,
-          startRule = rule, ///
-          content = `${string}
-`;
-
-    let tokens = lexer.tokenise(content),
-        node = parser.parse(tokens, startRule);
-
-    node.someChildNode((childNode) => {
-      const childNodeNonTerminalNode = childNode.isNonTerminalNode();
-
-      if (childNodeNonTerminalNode) {
-        node = childNode; ///
-
-        tokens = tokensFromTokensAndNode(tokens, node);  ///
-
-        return true;
-      }
-    })
-
-    const partialContext = new Class(node, tokens);
-
-    return partialContext;
-  }
-}
-
-export function ruleFromBNF(bnf) {
-  const tokens = bnfLexer.tokensFromBNF(bnf),
-        rules = bnfParser.rulesFromTokens(tokens),
-        firstRule = first(rules),
-        rule = firstRule; ///
-
-  return rule;
-}
-
-function tokensFromTokensAndNode(tokens, node) {
-  const lastSignificantTokenIndex = node.getLastSignificantTokenIndex(tokens),
-        firstSignificantTokenIndex = node.getFirstSignificantTokenIndex(tokens),
-        start = firstSignificantTokenIndex, ///
-        end = lastSignificantTokenIndex + 1;
-
-  tokens = tokens.slice(start, end);  ///
-
-  return tokens;
-}

package/src/ontology/combinator/bracketed.js

@@ -1,38 +0,0 @@
-"use strict";
-
-import ontology from "../../ontology";
-import Combinator from "../combinator";
-import combinatorBracketedContext from "../../context/bracketed/combinator";
-
-import { define } from "../../ontology";
-
-export default define(class BracketedCombinator extends Combinator {
-  unifyStatement(statement, assignments, stated, context) {
-    let statementUnifies;
-
-    const statementString = statement.getString();
-
-    context.trace(`Unifying the '${statementString}' statement with the bracketed combinator...`);
-
-    statementUnifies = super.unifyStatement(statement, assignments, stated, context);
-
-    if (statementUnifies) {
-      context.debug(`...unified the '${statementString}' statement with the bracketed combinator.`);
-    }
-
-    return statementUnifies;
-  }
-
-  static name = "BracketedCombinator";
-
-  static fromNothing() {
-    const { Statement } = ontology,
-          bracketedStatementNode = combinatorBracketedContext.getBracketedStatementNode(),
-          statementNode = bracketedStatementNode, ///
-          context = combinatorBracketedContext, ///
-          statement = Statement.fromStatementNode(statementNode, context),
-          bracketedCombinator = new BracketedCombinator(statement);
-
-    return bracketedCombinator;
-  }
-});

package/src/ontology/combinator.js

@@ -1,72 +0,0 @@
-"use strict";
-
-import ontology from "../ontology";
-
-import { define } from "../ontology";
-import { unifyStatementWithCombinator } from "../process/unify";
-import { statementFromJSON, statementToStatementJSON } from "../utilities/json";
-
-export default define(class Combinator {
-  constructor(statement) {
-    this.statement = statement;
-  }
-
-  getStatement() {
-    return this.statement;
-  }
-
-  getString() { return this.statement.getString(); }
-
-  getStatementNode() {
-    const statementNode = this.statement.getNode();
-
-    return statementNode;
-  }
-
-  unifyStatement(statement, assignments, stated, context) {
-    let statementUnifies;
-
-    const combinator = this,  ///
-          statementString = statement.getString(),
-          combinatorString = combinator.getString();
-
-    context.trace(`Unifying the '${statementString}' statement with the '${combinatorString}' combinator...`);
-
-    const statementUnifiesWithCombinator = unifyStatementWithCombinator(statement, combinator, assignments, stated, context);
-
-    statementUnifies = statementUnifiesWithCombinator; ///
-
-    if (statementUnifies) {
-      context.debug(`...unified the '${statementString}' statement with the '${combinatorString}' combinator.`);
-    }
-
-    return statementUnifies;
-  }
-
-  toJSON() {
-    const statementJSON = statementToStatementJSON(this.statement),
-          statement = statementJSON,  ///
-          json = {
-            statement
-          };
-
-    return json;
-  }
-
-  static name = "Combinator";
-
-  static fromJSON(json, context) {
-    const statement = statementFromJSON(json, context),
-          combinator = new Combinator(statement);
-
-    return combinator;
-  }
-
-  static fromCombinatorDeclarationNode(combinatorDeclarationNode, context) {
-    const { Statement } = ontology,
-          statement = Statement.fromCombinatorDeclarationNode(combinatorDeclarationNode, context),
-          combinator = new Combinator(statement);
-
-    return combinator;
-  }
-});