occam-verify-cli 1.0.521 → 1.0.524

package/lib/element/topLevelMetaAssertion/metatheorem.js

@@ -260,15 +260,15 @@ var _default = (0, _elements.define)((_Metatheorem = /*#__PURE__*/ function(TopL
                     return _get(_get_prototype_of(Metatheorem.prototype), "verify", _this);
                 };
                 return _async_to_generator(function() {
-                    var verifies, node, context, metaLemmaString, metaTheorem;
+                    var verifies, context, metaLemmaString, metaTheorem;
                     return _ts_generator(this, function(_state) {
-                        node = this.getNode(), context = this.getContext(), metaLemmaString = this.getString(); ///
-                        context.trace("Verifying the '".concat(metaLemmaString, "' metatheorem..."), node);
+                        context = this.getContext(), metaLemmaString = this.getString(); ///
+                        context.trace("Verifying the '".concat(metaLemmaString, "' metatheorem..."));
                         verifies = _superprop_get_verify().call(_this1);
                         if (verifies) {
                             metaTheorem = this; ///
                             context.addMetatheorem(metaTheorem);
-                            context.debug("...verified the '".concat(metaLemmaString, "' metatheorem."), node);
+                            context.debug("...verified the '".concat(metaLemmaString, "' metatheorem."));
                         }
                         return [
                             2,
@@ -289,4 +289,4 @@ var _default = (0, _elements.define)((_Metatheorem = /*#__PURE__*/ function(TopL
     return Metatheorem;
 }(_topLevelMetaAssertion.default), _define_property(_Metatheorem, "name", "Metatheorem"), _Metatheorem));
 
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9lbGVtZW50L3RvcExldmVsTWV0YUFzc2VydGlvbi9tZXRhdGhlb3JlbS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IFRvcExldmVsTWV0YUFzc2VydGlvbiBmcm9tIFwiLi4vdG9wTGV2ZWxNZXRhQXNzZXJ0aW9uXCI7XG5cbmltcG9ydCB7IGRlZmluZSB9IGZyb20gXCIuLi8uLi9lbGVtZW50c1wiO1xuXG5leHBvcnQgZGVmYXVsdCBkZWZpbmUoY2xhc3MgTWV0YXRoZW9yZW0gZXh0ZW5kcyBUb3BMZXZlbE1ldGFBc3NlcnRpb24ge1xuICBhc3luYyB2ZXJpZnkoKSB7XG4gICAgbGV0IHZlcmlmaWVzO1xuXG4gICAgY29uc3Qgbm9kZSA9IHRoaXMuZ2V0Tm9kZSgpLFxuICAgICAgICAgIGNvbnRleHQgPSB0aGlzLmdldENvbnRleHQoKSxcbiAgICAgICAgICBtZXRhTGVtbWFTdHJpbmcgPSB0aGlzLmdldFN0cmluZygpOyAvLy9cblxuICAgIGNvbnRleHQudHJhY2UoYFZlcmlmeWluZyB0aGUgJyR7bWV0YUxlbW1hU3RyaW5nfScgbWV0YXRoZW9yZW0uLi5gLCBub2RlKTtcblxuICAgIHZlcmlmaWVzID0gc3VwZXIudmVyaWZ5KCk7XG5cbiAgICBpZiAodmVyaWZpZXMpIHtcbiAgICAgIGNvbnN0IG1ldGFUaGVvcmVtID0gdGhpczsgLy8vXG5cbiAgICAgIGNvbnRleHQuYWRkTWV0YXRoZW9yZW0obWV0YVRoZW9yZW0pO1xuXG4gICAgICBjb250ZXh0LmRlYnVnKGAuLi52ZXJpZmllZCB0aGUgJyR7bWV0YUxlbW1hU3RyaW5nfScgbWV0YXRoZW9yZW0uYCwgbm9kZSk7XG4gICAgfVxuXG4gICAgcmV0dXJuIHZlcmlmaWVzO1xuICB9XG5cbiAgc3RhdGljIG5hbWUgPSBcIk1ldGF0aGVvcmVtXCI7XG5cbiAgc3RhdGljIGZyb21KU09OKGpzb24sIGNvbnRleHQpIHsgcmV0dXJuIFRvcExldmVsTWV0YUFzc2VydGlvbi5mcm9tSlNPTihNZXRhdGhlb3JlbSwganNvbiwgY29udGV4dCk7IH1cbn0pO1xuIl0sIm5hbWVzIjpbImRlZmluZSIsIk1ldGF0aGVvcmVtIiwidmVyaWZ5IiwidmVyaWZpZXMiLCJub2RlIiwiY29udGV4dCIsIm1ldGFMZW1tYVN0cmluZyIsIm1ldGFUaGVvcmVtIiwiZ2V0Tm9kZSIsImdldENvbnRleHQiLCJnZXRTdHJpbmciLCJ0cmFjZSIsImFkZE1ldGF0aGVvcmVtIiwiZGVidWciLCJmcm9tSlNPTiIsImpzb24iLCJUb3BMZXZlbE1ldGFBc3NlcnRpb24iLCJuYW1lIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFNQTs7O2VBQUE7Ozs0RUFKa0M7d0JBRVg7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0lBRXZCLFdBQWVBLElBQUFBLGdCQUFNLGdDQUFDOzthQUFNQztnQ0FBQUE7UUFBTixPQUFBLGtCQUFNQTs7OztZQUNwQkMsS0FBQUE7bUJBQU4sU0FBTUE7OztrREFEb0JEOzs7d0JBRXBCRSxVQUVFQyxNQUNBQyxTQUNBQyxpQkFPRUM7O3dCQVRGSCxPQUFPLElBQUksQ0FBQ0ksT0FBTyxJQUNuQkgsVUFBVSxJQUFJLENBQUNJLFVBQVUsSUFDekJILGtCQUFrQixJQUFJLENBQUNJLFNBQVMsSUFBSSxHQUFHO3dCQUU3Q0wsUUFBUU0sS0FBSyxDQUFDLEFBQUMsa0JBQWlDLE9BQWhCTCxpQkFBZ0IscUJBQW1CRjt3QkFFbkVELFdBQVcsd0JBQUE7d0JBRVgsSUFBSUEsVUFBVTs0QkFDTkksY0FBYyxJQUFJLEVBQUUsR0FBRzs0QkFFN0JGLFFBQVFPLGNBQWMsQ0FBQ0w7NEJBRXZCRixRQUFRUSxLQUFLLENBQUMsQUFBQyxvQkFBbUMsT0FBaEJQLGlCQUFnQixtQkFBaUJGO3dCQUNyRTt3QkFFQTs7NEJBQU9EOzs7Z0JBQ1Q7Ozs7O1lBSU9XLEtBQUFBO21CQUFQLFNBQU9BLFNBQVNDLElBQUksRUFBRVYsT0FBTztnQkFBSSxPQUFPVyw4QkFBcUIsQ0FBQ0YsUUFBUSxDQUFDYixhQUFhYyxNQUFNVjtZQUFVOzs7O0VBekJ0RFcsOEJBQXFCLEdBdUJuRSwrQkFBT0MsUUFBTyJ9
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9lbGVtZW50L3RvcExldmVsTWV0YUFzc2VydGlvbi9tZXRhdGhlb3JlbS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IFRvcExldmVsTWV0YUFzc2VydGlvbiBmcm9tIFwiLi4vdG9wTGV2ZWxNZXRhQXNzZXJ0aW9uXCI7XG5cbmltcG9ydCB7IGRlZmluZSB9IGZyb20gXCIuLi8uLi9lbGVtZW50c1wiO1xuXG5leHBvcnQgZGVmYXVsdCBkZWZpbmUoY2xhc3MgTWV0YXRoZW9yZW0gZXh0ZW5kcyBUb3BMZXZlbE1ldGFBc3NlcnRpb24ge1xuICBhc3luYyB2ZXJpZnkoKSB7XG4gICAgbGV0IHZlcmlmaWVzO1xuXG4gICAgY29uc3QgY29udGV4dCA9IHRoaXMuZ2V0Q29udGV4dCgpLFxuICAgICAgICAgIG1ldGFMZW1tYVN0cmluZyA9IHRoaXMuZ2V0U3RyaW5nKCk7IC8vL1xuXG4gICAgY29udGV4dC50cmFjZShgVmVyaWZ5aW5nIHRoZSAnJHttZXRhTGVtbWFTdHJpbmd9JyBtZXRhdGhlb3JlbS4uLmApO1xuXG4gICAgdmVyaWZpZXMgPSBzdXBlci52ZXJpZnkoKTtcblxuICAgIGlmICh2ZXJpZmllcykge1xuICAgICAgY29uc3QgbWV0YVRoZW9yZW0gPSB0aGlzOyAvLy9cblxuICAgICAgY29udGV4dC5hZGRNZXRhdGhlb3JlbShtZXRhVGhlb3JlbSk7XG5cbiAgICAgIGNvbnRleHQuZGVidWcoYC4uLnZlcmlmaWVkIHRoZSAnJHttZXRhTGVtbWFTdHJpbmd9JyBtZXRhdGhlb3JlbS5gKTtcbiAgICB9XG5cbiAgICByZXR1cm4gdmVyaWZpZXM7XG4gIH1cblxuICBzdGF0aWMgbmFtZSA9IFwiTWV0YXRoZW9yZW1cIjtcblxuICBzdGF0aWMgZnJvbUpTT04oanNvbiwgY29udGV4dCkgeyByZXR1cm4gVG9wTGV2ZWxNZXRhQXNzZXJ0aW9uLmZyb21KU09OKE1ldGF0aGVvcmVtLCBqc29uLCBjb250ZXh0KTsgfVxufSk7XG4iXSwibmFtZXMiOlsiZGVmaW5lIiwiTWV0YXRoZW9yZW0iLCJ2ZXJpZnkiLCJ2ZXJpZmllcyIsImNvbnRleHQiLCJtZXRhTGVtbWFTdHJpbmciLCJtZXRhVGhlb3JlbSIsImdldENvbnRleHQiLCJnZXRTdHJpbmciLCJ0cmFjZSIsImFkZE1ldGF0aGVvcmVtIiwiZGVidWciLCJmcm9tSlNPTiIsImpzb24iLCJUb3BMZXZlbE1ldGFBc3NlcnRpb24iLCJuYW1lIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFNQTs7O2VBQUE7Ozs0RUFKa0M7d0JBRVg7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0lBRXZCLFdBQWVBLElBQUFBLGdCQUFNLGdDQUFDOzthQUFNQztnQ0FBQUE7UUFBTixPQUFBLGtCQUFNQTs7OztZQUNwQkMsS0FBQUE7bUJBQU4sU0FBTUE7OztrREFEb0JEOzs7d0JBRXBCRSxVQUVFQyxTQUNBQyxpQkFPRUM7O3dCQVJGRixVQUFVLElBQUksQ0FBQ0csVUFBVSxJQUN6QkYsa0JBQWtCLElBQUksQ0FBQ0csU0FBUyxJQUFJLEdBQUc7d0JBRTdDSixRQUFRSyxLQUFLLENBQUMsQUFBQyxrQkFBaUMsT0FBaEJKLGlCQUFnQjt3QkFFaERGLFdBQVcsd0JBQUE7d0JBRVgsSUFBSUEsVUFBVTs0QkFDTkcsY0FBYyxJQUFJLEVBQUUsR0FBRzs0QkFFN0JGLFFBQVFNLGNBQWMsQ0FBQ0o7NEJBRXZCRixRQUFRTyxLQUFLLENBQUMsQUFBQyxvQkFBbUMsT0FBaEJOLGlCQUFnQjt3QkFDcEQ7d0JBRUE7OzRCQUFPRjs7O2dCQUNUOzs7OztZQUlPUyxLQUFBQTttQkFBUCxTQUFPQSxTQUFTQyxJQUFJLEVBQUVULE9BQU87Z0JBQUksT0FBT1UsOEJBQXFCLENBQUNGLFFBQVEsQ0FBQ1gsYUFBYVksTUFBTVQ7WUFBVTs7OztFQXhCdERVLDhCQUFxQixHQXNCbkUsK0JBQU9DLFFBQU8ifQ==

package/lib/utilities/customGrammar.js

@@ -22,13 +22,13 @@ _export(exports, {
         return _default;
     }
 });
-var _occamcustomgrammars = require("occam-custom-grammars");
+var _occamnominal = require("occam-nominal");
 function customGrammarFromNameAndEntries(name, entries) {
-    var termBNF = entries.getTermBNF(), statementBNF = entries.getStatementBNF(), typeVocabulary = entries.getTypeVocabulary(), symbolVocabulary = entries.getSymbolVocabulary(), customGrammar = _occamcustomgrammars.CustomGrammar.fromNameTermBNFStatementBNFTypeVocabularyAndSymbolVocabulary(name, termBNF, statementBNF, typeVocabulary, symbolVocabulary);
+    var termBNF = entries.getTermBNF(), statementBNF = entries.getStatementBNF(), typeVocabulary = entries.getTypeVocabulary(), symbolVocabulary = entries.getSymbolVocabulary(), customGrammar = _occamnominal.CustomGrammar.fromNameTermBNFStatementBNFTypeVocabularyAndSymbolVocabulary(name, termBNF, statementBNF, typeVocabulary, symbolVocabulary);
     return customGrammar;
 }
 function combinedCustomGrammarFromNothing() {
-    var customGrammars = [], combinedCustomGrammar = _occamcustomgrammars.CombinedCustomGrammar.fromCustomGrammars(customGrammars);
+    var customGrammars = [], combinedCustomGrammar = _occamnominal.CombinedCustomGrammar.fromCustomGrammars(customGrammars);
     return combinedCustomGrammar;
 }
 function combinedCustomGrammarFromReleaseContexts(releaseContexts) {
@@ -37,7 +37,7 @@ function combinedCustomGrammarFromReleaseContexts(releaseContexts) {
         return customGrammar;
     });
     customGrammars.reverse(); ///
-    var combinedCustomGrammar = _occamcustomgrammars.CombinedCustomGrammar.fromCustomGrammars(customGrammars);
+    var combinedCustomGrammar = _occamnominal.CombinedCustomGrammar.fromCustomGrammars(customGrammars);
     return combinedCustomGrammar;
 }
 var _default = {
@@ -46,4 +46,4 @@ var _default = {
     combinedCustomGrammarFromReleaseContexts: combinedCustomGrammarFromReleaseContexts
 };
 
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvY3VzdG9tR3JhbW1hci5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHsgQ3VzdG9tR3JhbW1hciwgQ29tYmluZWRDdXN0b21HcmFtbWFyIH0gZnJvbSBcIm9jY2FtLWN1c3RvbS1ncmFtbWFyc1wiO1xuXG5leHBvcnQgZnVuY3Rpb24gY3VzdG9tR3JhbW1hckZyb21OYW1lQW5kRW50cmllcyhuYW1lLCBlbnRyaWVzKSB7XG4gIGNvbnN0IHRlcm1CTkYgPSBlbnRyaWVzLmdldFRlcm1CTkYoKSxcbiAgICAgICAgc3RhdGVtZW50Qk5GID0gZW50cmllcy5nZXRTdGF0ZW1lbnRCTkYoKSxcbiAgICAgICAgdHlwZVZvY2FidWxhcnkgPSBlbnRyaWVzLmdldFR5cGVWb2NhYnVsYXJ5KCksXG4gICAgICAgIHN5bWJvbFZvY2FidWxhcnkgPSBlbnRyaWVzLmdldFN5bWJvbFZvY2FidWxhcnkoKSxcbiAgICAgICAgY3VzdG9tR3JhbW1hciA9IEN1c3RvbUdyYW1tYXIuZnJvbU5hbWVUZXJtQk5GU3RhdGVtZW50Qk5GVHlwZVZvY2FidWxhcnlBbmRTeW1ib2xWb2NhYnVsYXJ5KG5hbWUsIHRlcm1CTkYsIHN0YXRlbWVudEJORiwgdHlwZVZvY2FidWxhcnksIHN5bWJvbFZvY2FidWxhcnkpO1xuXG4gIHJldHVybiBjdXN0b21HcmFtbWFyO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gY29tYmluZWRDdXN0b21HcmFtbWFyRnJvbU5vdGhpbmcoKSB7XG4gIGNvbnN0IGN1c3RvbUdyYW1tYXJzID0gW10sXG4gICAgICAgIGNvbWJpbmVkQ3VzdG9tR3JhbW1hciA9IENvbWJpbmVkQ3VzdG9tR3JhbW1hci5mcm9tQ3VzdG9tR3JhbW1hcnMoY3VzdG9tR3JhbW1hcnMpO1xuXG4gIHJldHVybiBjb21iaW5lZEN1c3RvbUdyYW1tYXI7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBjb21iaW5lZEN1c3RvbUdyYW1tYXJGcm9tUmVsZWFzZUNvbnRleHRzKHJlbGVhc2VDb250ZXh0cykge1xuICBjb25zdCBjdXN0b21HcmFtbWFycyA9IHJlbGVhc2VDb250ZXh0cy5tYXAoKHJlbGVhc2VDb250ZXh0KSA9PiB7XG4gICAgY29uc3QgY3VzdG9tR3JhbW1hciA9IHJlbGVhc2VDb250ZXh0LmdldEN1c3RvbUdyYW1tYXIoKTtcblxuICAgIHJldHVybiBjdXN0b21HcmFtbWFyO1xuICB9KTtcblxuICBjdXN0b21HcmFtbWFycy5yZXZlcnNlKCk7IC8vL1xuXG4gIGNvbnN0IGNvbWJpbmVkQ3VzdG9tR3JhbW1hciA9IENvbWJpbmVkQ3VzdG9tR3JhbW1hci5mcm9tQ3VzdG9tR3JhbW1hcnMoY3VzdG9tR3JhbW1hcnMpO1xuXG4gIHJldHVybiBjb21iaW5lZEN1c3RvbUdyYW1tYXI7XG59XG5cbmV4cG9ydCBkZWZhdWx0IHtcbiAgY3VzdG9tR3JhbW1hckZyb21OYW1lQW5kRW50cmllcyxcbiAgY29tYmluZWRDdXN0b21HcmFtbWFyRnJvbU5vdGhpbmcsXG4gIGNvbWJpbmVkQ3VzdG9tR3JhbW1hckZyb21SZWxlYXNlQ29udGV4dHNcbn07XG4iXSwibmFtZXMiOlsiY29tYmluZWRDdXN0b21HcmFtbWFyRnJvbU5vdGhpbmciLCJjb21iaW5lZEN1c3RvbUdyYW1tYXJGcm9tUmVsZWFzZUNvbnRleHRzIiwiY3VzdG9tR3JhbW1hckZyb21OYW1lQW5kRW50cmllcyIsIm5hbWUiLCJlbnRyaWVzIiwidGVybUJORiIsImdldFRlcm1CTkYiLCJzdGF0ZW1lbnRCTkYiLCJnZXRTdGF0ZW1lbnRCTkYiLCJ0eXBlVm9jYWJ1bGFyeSIsImdldFR5cGVWb2NhYnVsYXJ5Iiwic3ltYm9sVm9jYWJ1bGFyeSIsImdldFN5bWJvbFZvY2FidWxhcnkiLCJjdXN0b21HcmFtbWFyIiwiQ3VzdG9tR3JhbW1hciIsImZyb21OYW1lVGVybUJORlN0YXRlbWVudEJORlR5cGVWb2NhYnVsYXJ5QW5kU3ltYm9sVm9jYWJ1bGFyeSIsImN1c3RvbUdyYW1tYXJzIiwiY29tYmluZWRDdXN0b21HcmFtbWFyIiwiQ29tYmluZWRDdXN0b21HcmFtbWFyIiwiZnJvbUN1c3RvbUdyYW1tYXJzIiwicmVsZWFzZUNvbnRleHRzIiwibWFwIiwicmVsZWFzZUNvbnRleHQiLCJnZXRDdXN0b21HcmFtbWFyIiwicmV2ZXJzZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7Ozs7O1FBY2dCQTtlQUFBQTs7UUFPQUM7ZUFBQUE7O1FBakJBQztlQUFBQTs7UUErQmhCO2VBQUE7OzttQ0FqQ3FEO0FBRTlDLFNBQVNBLGdDQUFnQ0MsSUFBSSxFQUFFQyxPQUFPO0lBQzNELElBQU1DLFVBQVVELFFBQVFFLFVBQVUsSUFDNUJDLGVBQWVILFFBQVFJLGVBQWUsSUFDdENDLGlCQUFpQkwsUUFBUU0saUJBQWlCLElBQzFDQyxtQkFBbUJQLFFBQVFRLG1CQUFtQixJQUM5Q0MsZ0JBQWdCQyxrQ0FBYSxDQUFDQyw0REFBNEQsQ0FBQ1osTUFBTUUsU0FBU0UsY0FBY0UsZ0JBQWdCRTtJQUU5SSxPQUFPRTtBQUNUO0FBRU8sU0FBU2I7SUFDZCxJQUFNZ0IsaUJBQWlCLEVBQUUsRUFDbkJDLHdCQUF3QkMsMENBQXFCLENBQUNDLGtCQUFrQixDQUFDSDtJQUV2RSxPQUFPQztBQUNUO0FBRU8sU0FBU2hCLHlDQUF5Q21CLGVBQWU7SUFDdEUsSUFBTUosaUJBQWlCSSxnQkFBZ0JDLEdBQUcsQ0FBQyxTQUFDQztRQUMxQyxJQUFNVCxnQkFBZ0JTLGVBQWVDLGdCQUFnQjtRQUVyRCxPQUFPVjtJQUNUO0lBRUFHLGVBQWVRLE9BQU8sSUFBSSxHQUFHO0lBRTdCLElBQU1QLHdCQUF3QkMsMENBQXFCLENBQUNDLGtCQUFrQixDQUFDSDtJQUV2RSxPQUFPQztBQUNUO0lBRUEsV0FBZTtJQUNiZixpQ0FBQUE7SUFDQUYsa0NBQUFBO0lBQ0FDLDBDQUFBQTtBQUNGIn0=
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvY3VzdG9tR3JhbW1hci5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHsgQ3VzdG9tR3JhbW1hciwgQ29tYmluZWRDdXN0b21HcmFtbWFyIH0gZnJvbSBcIm9jY2FtLW5vbWluYWxcIjtcblxuZXhwb3J0IGZ1bmN0aW9uIGN1c3RvbUdyYW1tYXJGcm9tTmFtZUFuZEVudHJpZXMobmFtZSwgZW50cmllcykge1xuICBjb25zdCB0ZXJtQk5GID0gZW50cmllcy5nZXRUZXJtQk5GKCksXG4gICAgICAgIHN0YXRlbWVudEJORiA9IGVudHJpZXMuZ2V0U3RhdGVtZW50Qk5GKCksXG4gICAgICAgIHR5cGVWb2NhYnVsYXJ5ID0gZW50cmllcy5nZXRUeXBlVm9jYWJ1bGFyeSgpLFxuICAgICAgICBzeW1ib2xWb2NhYnVsYXJ5ID0gZW50cmllcy5nZXRTeW1ib2xWb2NhYnVsYXJ5KCksXG4gICAgICAgIGN1c3RvbUdyYW1tYXIgPSBDdXN0b21HcmFtbWFyLmZyb21OYW1lVGVybUJORlN0YXRlbWVudEJORlR5cGVWb2NhYnVsYXJ5QW5kU3ltYm9sVm9jYWJ1bGFyeShuYW1lLCB0ZXJtQk5GLCBzdGF0ZW1lbnRCTkYsIHR5cGVWb2NhYnVsYXJ5LCBzeW1ib2xWb2NhYnVsYXJ5KTtcblxuICByZXR1cm4gY3VzdG9tR3JhbW1hcjtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIGNvbWJpbmVkQ3VzdG9tR3JhbW1hckZyb21Ob3RoaW5nKCkge1xuICBjb25zdCBjdXN0b21HcmFtbWFycyA9IFtdLFxuICAgICAgICBjb21iaW5lZEN1c3RvbUdyYW1tYXIgPSBDb21iaW5lZEN1c3RvbUdyYW1tYXIuZnJvbUN1c3RvbUdyYW1tYXJzKGN1c3RvbUdyYW1tYXJzKTtcblxuICByZXR1cm4gY29tYmluZWRDdXN0b21HcmFtbWFyO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gY29tYmluZWRDdXN0b21HcmFtbWFyRnJvbVJlbGVhc2VDb250ZXh0cyhyZWxlYXNlQ29udGV4dHMpIHtcbiAgY29uc3QgY3VzdG9tR3JhbW1hcnMgPSByZWxlYXNlQ29udGV4dHMubWFwKChyZWxlYXNlQ29udGV4dCkgPT4ge1xuICAgIGNvbnN0IGN1c3RvbUdyYW1tYXIgPSByZWxlYXNlQ29udGV4dC5nZXRDdXN0b21HcmFtbWFyKCk7XG5cbiAgICByZXR1cm4gY3VzdG9tR3JhbW1hcjtcbiAgfSk7XG5cbiAgY3VzdG9tR3JhbW1hcnMucmV2ZXJzZSgpOyAvLy9cblxuICBjb25zdCBjb21iaW5lZEN1c3RvbUdyYW1tYXIgPSBDb21iaW5lZEN1c3RvbUdyYW1tYXIuZnJvbUN1c3RvbUdyYW1tYXJzKGN1c3RvbUdyYW1tYXJzKTtcblxuICByZXR1cm4gY29tYmluZWRDdXN0b21HcmFtbWFyO1xufVxuXG5leHBvcnQgZGVmYXVsdCB7XG4gIGN1c3RvbUdyYW1tYXJGcm9tTmFtZUFuZEVudHJpZXMsXG4gIGNvbWJpbmVkQ3VzdG9tR3JhbW1hckZyb21Ob3RoaW5nLFxuICBjb21iaW5lZEN1c3RvbUdyYW1tYXJGcm9tUmVsZWFzZUNvbnRleHRzXG59O1xuIl0sIm5hbWVzIjpbImNvbWJpbmVkQ3VzdG9tR3JhbW1hckZyb21Ob3RoaW5nIiwiY29tYmluZWRDdXN0b21HcmFtbWFyRnJvbVJlbGVhc2VDb250ZXh0cyIsImN1c3RvbUdyYW1tYXJGcm9tTmFtZUFuZEVudHJpZXMiLCJuYW1lIiwiZW50cmllcyIsInRlcm1CTkYiLCJnZXRUZXJtQk5GIiwic3RhdGVtZW50Qk5GIiwiZ2V0U3RhdGVtZW50Qk5GIiwidHlwZVZvY2FidWxhcnkiLCJnZXRUeXBlVm9jYWJ1bGFyeSIsInN5bWJvbFZvY2FidWxhcnkiLCJnZXRTeW1ib2xWb2NhYnVsYXJ5IiwiY3VzdG9tR3JhbW1hciIsIkN1c3RvbUdyYW1tYXIiLCJmcm9tTmFtZVRlcm1CTkZTdGF0ZW1lbnRCTkZUeXBlVm9jYWJ1bGFyeUFuZFN5bWJvbFZvY2FidWxhcnkiLCJjdXN0b21HcmFtbWFycyIsImNvbWJpbmVkQ3VzdG9tR3JhbW1hciIsIkNvbWJpbmVkQ3VzdG9tR3JhbW1hciIsImZyb21DdXN0b21HcmFtbWFycyIsInJlbGVhc2VDb250ZXh0cyIsIm1hcCIsInJlbGVhc2VDb250ZXh0IiwiZ2V0Q3VzdG9tR3JhbW1hciIsInJldmVyc2UiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7Ozs7OztRQWNnQkE7ZUFBQUE7O1FBT0FDO2VBQUFBOztRQWpCQUM7ZUFBQUE7O1FBK0JoQjtlQUFBOzs7NEJBakNxRDtBQUU5QyxTQUFTQSxnQ0FBZ0NDLElBQUksRUFBRUMsT0FBTztJQUMzRCxJQUFNQyxVQUFVRCxRQUFRRSxVQUFVLElBQzVCQyxlQUFlSCxRQUFRSSxlQUFlLElBQ3RDQyxpQkFBaUJMLFFBQVFNLGlCQUFpQixJQUMxQ0MsbUJBQW1CUCxRQUFRUSxtQkFBbUIsSUFDOUNDLGdCQUFnQkMsMkJBQWEsQ0FBQ0MsNERBQTRELENBQUNaLE1BQU1FLFNBQVNFLGNBQWNFLGdCQUFnQkU7SUFFOUksT0FBT0U7QUFDVDtBQUVPLFNBQVNiO0lBQ2QsSUFBTWdCLGlCQUFpQixFQUFFLEVBQ25CQyx3QkFBd0JDLG1DQUFxQixDQUFDQyxrQkFBa0IsQ0FBQ0g7SUFFdkUsT0FBT0M7QUFDVDtBQUVPLFNBQVNoQix5Q0FBeUNtQixlQUFlO0lBQ3RFLElBQU1KLGlCQUFpQkksZ0JBQWdCQyxHQUFHLENBQUMsU0FBQ0M7UUFDMUMsSUFBTVQsZ0JBQWdCUyxlQUFlQyxnQkFBZ0I7UUFFckQsT0FBT1Y7SUFDVDtJQUVBRyxlQUFlUSxPQUFPLElBQUksR0FBRztJQUU3QixJQUFNUCx3QkFBd0JDLG1DQUFxQixDQUFDQyxrQkFBa0IsQ0FBQ0g7SUFFdkUsT0FBT0M7QUFDVDtJQUVBLFdBQWU7SUFDYmYsaUNBQUFBO0lBQ0FGLGtDQUFBQTtJQUNBQywwQ0FBQUE7QUFDRiJ9

package/lib/utilities/nominal.js

@@ -16,7 +16,7 @@ _export(exports, {
         return nominalParser;
     }
 });
-var _occamcustomgrammars = require("occam-custom-grammars");
+var _occamnominal = require("occam-nominal");
 var _lexer = /*#__PURE__*/ _interop_require_default(require("../nominal/lexer"));
 var _parser = /*#__PURE__*/ _interop_require_default(require("../nominal/parser"));
 var _customGrammar = require("./customGrammar");
@@ -25,9 +25,9 @@ function _interop_require_default(obj) {
         default: obj
     };
 }
-var nominalLexerFromCombinedCustomGrammar = _occamcustomgrammars.lexersUtilities.nominalLexerFromCombinedCustomGrammar, nominalParserFromCombinedCustomGrammar = _occamcustomgrammars.parsersUtilities.nominalParserFromCombinedCustomGrammar;
+var nominalLexerFromCombinedCustomGrammar = _occamnominal.lexersUtilities.nominalLexerFromCombinedCustomGrammar, nominalParserFromCombinedCustomGrammar = _occamnominal.parsersUtilities.nominalParserFromCombinedCustomGrammar;
 var combinedCustomGrammar = (0, _customGrammar.combinedCustomGrammarFromNothing)();
 var nominalLexer = nominalLexerFromCombinedCustomGrammar(_lexer.default, combinedCustomGrammar);
 var nominalParser = nominalParserFromCombinedCustomGrammar(_parser.default, combinedCustomGrammar);
 
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvbm9taW5hbC5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHsgbGV4ZXJzVXRpbGl0aWVzLCBwYXJzZXJzVXRpbGl0aWVzIH0gZnJvbSBcIm9jY2FtLWN1c3RvbS1ncmFtbWFyc1wiO1xuXG5pbXBvcnQgTm9taW5hbExleGVyIGZyb20gXCIuLi9ub21pbmFsL2xleGVyXCI7XG5pbXBvcnQgTm9taW5hbFBhcnNlciBmcm9tIFwiLi4vbm9taW5hbC9wYXJzZXJcIjtcblxuaW1wb3J0IHsgY29tYmluZWRDdXN0b21HcmFtbWFyRnJvbU5vdGhpbmcgfSBmcm9tIFwiLi9jdXN0b21HcmFtbWFyXCI7XG5cbmNvbnN0IHsgbm9taW5hbExleGVyRnJvbUNvbWJpbmVkQ3VzdG9tR3JhbW1hciB9ID0gbGV4ZXJzVXRpbGl0aWVzLFxuICAgICAgeyBub21pbmFsUGFyc2VyRnJvbUNvbWJpbmVkQ3VzdG9tR3JhbW1hciB9ID0gcGFyc2Vyc1V0aWxpdGllcztcblxuY29uc3QgY29tYmluZWRDdXN0b21HcmFtbWFyID0gY29tYmluZWRDdXN0b21HcmFtbWFyRnJvbU5vdGhpbmcoKTtcblxuZXhwb3J0IGNvbnN0IG5vbWluYWxMZXhlciA9IG5vbWluYWxMZXhlckZyb21Db21iaW5lZEN1c3RvbUdyYW1tYXIoTm9taW5hbExleGVyLCBjb21iaW5lZEN1c3RvbUdyYW1tYXIpO1xuXG5leHBvcnQgY29uc3Qgbm9taW5hbFBhcnNlciA9IG5vbWluYWxQYXJzZXJGcm9tQ29tYmluZWRDdXN0b21HcmFtbWFyKE5vbWluYWxQYXJzZXIsIGNvbWJpbmVkQ3VzdG9tR3JhbW1hcik7XG4iXSwibmFtZXMiOlsibm9taW5hbExleGVyIiwibm9taW5hbFBhcnNlciIsIm5vbWluYWxMZXhlckZyb21Db21iaW5lZEN1c3RvbUdyYW1tYXIiLCJsZXhlcnNVdGlsaXRpZXMiLCJub21pbmFsUGFyc2VyRnJvbUNvbWJpbmVkQ3VzdG9tR3JhbW1hciIsInBhcnNlcnNVdGlsaXRpZXMiLCJjb21iaW5lZEN1c3RvbUdyYW1tYXIiLCJjb21iaW5lZEN1c3RvbUdyYW1tYXJGcm9tTm90aGluZyIsIk5vbWluYWxMZXhlciIsIk5vbWluYWxQYXJzZXIiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7Ozs7OztRQWNhQTtlQUFBQTs7UUFFQUM7ZUFBQUE7OzttQ0FkcUM7NERBRXpCOzZEQUNDOzZCQUV1Qjs7Ozs7O0FBRWpELElBQU0sQUFBRUMsd0NBQTBDQyxvQ0FBZSxDQUF6REQsdUNBQ0YsQUFBRUUseUNBQTJDQyxxQ0FBZ0IsQ0FBM0REO0FBRVIsSUFBTUUsd0JBQXdCQyxJQUFBQSwrQ0FBZ0M7QUFFdkQsSUFBTVAsZUFBZUUsc0NBQXNDTSxjQUFZLEVBQUVGO0FBRXpFLElBQU1MLGdCQUFnQkcsdUNBQXVDSyxlQUFhLEVBQUVIIn0=
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvbm9taW5hbC5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHsgbGV4ZXJzVXRpbGl0aWVzLCBwYXJzZXJzVXRpbGl0aWVzIH0gZnJvbSBcIm9jY2FtLW5vbWluYWxcIjtcblxuaW1wb3J0IE5vbWluYWxMZXhlciBmcm9tIFwiLi4vbm9taW5hbC9sZXhlclwiO1xuaW1wb3J0IE5vbWluYWxQYXJzZXIgZnJvbSBcIi4uL25vbWluYWwvcGFyc2VyXCI7XG5cbmltcG9ydCB7IGNvbWJpbmVkQ3VzdG9tR3JhbW1hckZyb21Ob3RoaW5nIH0gZnJvbSBcIi4vY3VzdG9tR3JhbW1hclwiO1xuXG5jb25zdCB7IG5vbWluYWxMZXhlckZyb21Db21iaW5lZEN1c3RvbUdyYW1tYXIgfSA9IGxleGVyc1V0aWxpdGllcyxcbiAgICAgIHsgbm9taW5hbFBhcnNlckZyb21Db21iaW5lZEN1c3RvbUdyYW1tYXIgfSA9IHBhcnNlcnNVdGlsaXRpZXM7XG5cbmNvbnN0IGNvbWJpbmVkQ3VzdG9tR3JhbW1hciA9IGNvbWJpbmVkQ3VzdG9tR3JhbW1hckZyb21Ob3RoaW5nKCk7XG5cbmV4cG9ydCBjb25zdCBub21pbmFsTGV4ZXIgPSBub21pbmFsTGV4ZXJGcm9tQ29tYmluZWRDdXN0b21HcmFtbWFyKE5vbWluYWxMZXhlciwgY29tYmluZWRDdXN0b21HcmFtbWFyKTtcblxuZXhwb3J0IGNvbnN0IG5vbWluYWxQYXJzZXIgPSBub21pbmFsUGFyc2VyRnJvbUNvbWJpbmVkQ3VzdG9tR3JhbW1hcihOb21pbmFsUGFyc2VyLCBjb21iaW5lZEN1c3RvbUdyYW1tYXIpO1xuIl0sIm5hbWVzIjpbIm5vbWluYWxMZXhlciIsIm5vbWluYWxQYXJzZXIiLCJub21pbmFsTGV4ZXJGcm9tQ29tYmluZWRDdXN0b21HcmFtbWFyIiwibGV4ZXJzVXRpbGl0aWVzIiwibm9taW5hbFBhcnNlckZyb21Db21iaW5lZEN1c3RvbUdyYW1tYXIiLCJwYXJzZXJzVXRpbGl0aWVzIiwiY29tYmluZWRDdXN0b21HcmFtbWFyIiwiY29tYmluZWRDdXN0b21HcmFtbWFyRnJvbU5vdGhpbmciLCJOb21pbmFsTGV4ZXIiLCJOb21pbmFsUGFyc2VyIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7Ozs7Ozs7UUFjYUE7ZUFBQUE7O1FBRUFDO2VBQUFBOzs7NEJBZHFDOzREQUV6Qjs2REFDQzs2QkFFdUI7Ozs7OztBQUVqRCxJQUFNLEFBQUVDLHdDQUEwQ0MsNkJBQWUsQ0FBekRELHVDQUNGLEFBQUVFLHlDQUEyQ0MsOEJBQWdCLENBQTNERDtBQUVSLElBQU1FLHdCQUF3QkMsSUFBQUEsK0NBQWdDO0FBRXZELElBQU1QLGVBQWVFLHNDQUFzQ00sY0FBWSxFQUFFRjtBQUV6RSxJQUFNTCxnQkFBZ0JHLHVDQUF1Q0ssZUFBYSxFQUFFSCJ9

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "occam-verify-cli",
   "author": "James Smith",
-  "version": "1.0.521",
+  "version": "1.0.524",
   "license": "MIT, Anti-996",
   "homepage": "https://github.com/djalbat/occam-verify-cli",
   "description": "Occam's Verifier",
@@ -12,12 +12,12 @@
   "dependencies": {
     "argumentative": "^2.0.36",
     "necessary": "^17.0.9",
-    "occam-custom-grammars": "^5.0.1369",
     "occam-file-system": "^6.0.502",
-    "occam-furtle": "^3.0.32",
+    "occam-furtle": "^3.0.34",
     "occam-grammars": "^1.3.510",
     "occam-lexers": "^23.1.34",
     "occam-model": "^1.0.489",
+    "occam-nominal": "^0.0.4",
     "occam-parsers": "^23.1.37"
   },
   "devDependencies": {

package/src/action/verify.js

@@ -13,7 +13,7 @@ export default async function verifyAction(argument, log) {
   const name = argument, ///
         context = {},
         callback = async (context, filePath, lineIndex) => {
-          debugger
+          ///
         },
         dependency = Dependency.fromName(name),
         dependentNames = [],

package/src/context/release.js

@@ -3,7 +3,7 @@
 import { arrayUtilities } from "necessary";
 
 import { filePathUtilities } from "occam-model";
-import { lexersUtilities, parsersUtilities } from "occam-custom-grammars";
+import { lexersUtilities, parsersUtilities } from "occam-nominal";
 import { FurtleFileContext, asynchronousUtilities } from "occam-furtle";
 
 import NominalLexer from "../nominal/lexer";

package/src/element/combinator.js

@@ -21,11 +21,10 @@ export default define(class Combinator extends Element {
   verify() {
     let verifies;
 
-    const node = this.getNode(),
-          context = this.getContext(),
+    const context = this.getContext(),
           combinatorString = this.getString();  ///
 
-    context.trace(`Verifying the '${combinatorString}' combinator...`, node);
+    context.trace(`Verifying the '${combinatorString}' combinator...`);
 
     const combinator = this,  ///
           combinatorVerifies = verifyCombinator(combinator, context);
@@ -35,7 +34,7 @@ export default define(class Combinator extends Element {
     }
 
     if (verifies) {
-      context.debug(`...verified the '${combinatorString}' combinator.`, node);
+      context.debug(`...verified the '${combinatorString}' combinator.`);
     }
 
     return verifies;

package/src/element/conclusion.js

@@ -20,10 +20,9 @@ export  default define(class Conclusion extends Element {
   verify(context) {
     let verifies = false;
 
-    const node = this.getNode(),
-          conclusionString = this.getString();  ///
+    const conclusionString = this.getString();  ///
 
-    context.trace(`Verifying the '${conclusionString}' conclusion...`, node);
+    context.trace(`Verifying the '${conclusionString}' conclusion...`);
 
     if (this.statement !== null) {
       attempt((context) => {
@@ -38,11 +37,11 @@ export  default define(class Conclusion extends Element {
         }
       }, context);
     } else {
-      context.debug(`Unable to verify the '${conclusionString}' conclusion because it is nonsense.`, node);
+      context.debug(`Unable to verify the '${conclusionString}' conclusion because it is nonsense.`);
     }
 
     if (verifies) {
-      context.debug(`...verified the '${conclusionString}' conclusion.`, node);
+      context.debug(`...verified the '${conclusionString}' conclusion.`);
     }
 
     return verifies;

package/src/element/declaration/combinator.js

@@ -18,11 +18,10 @@ export default define(class CombinatorDeclaration extends Declaration {
   async verify() {
     let verifies = false;
 
-    const node = this.getNode(),
-          context = this.getContext(),
+    const context = this.getContext(),
           combinatorDeclarationString = this.getString();  ///
 
-    context.trace(`Verifying the '${combinatorDeclarationString}' combinator declaration...`, node);
+    context.trace(`Verifying the '${combinatorDeclarationString}' combinator declaration...`);
 
     const combinatorVerifies = this.combinator.verify();
 
@@ -33,7 +32,7 @@ export default define(class CombinatorDeclaration extends Declaration {
     }
 
     if (verifies) {
-      context.debug(`...verified the '${combinatorDeclarationString}' combinator declaration.`, node);
+      context.debug(`...verified the '${combinatorDeclarationString}' combinator declaration.`);
     }
 
     return verifies;

package/src/element/declaration/complexType.js

@@ -23,11 +23,10 @@ export default define(class ComplexTypeDeclaration extends Declaration {
   verifyType() {
     let typeVerifies = false;
 
-    const node = this.getNode(),
-          context = this.getContext(),
+    const context = this.getContext(),
           typeString = this.type.getString();
 
-    context.trace(`Verifying the '${typeString}' complex type...`, node);
+    context.trace(`Verifying the '${typeString}' complex type...`);
 
     const typeName = this.type.getName(),
           includeRelease = true,
@@ -35,20 +34,20 @@ export default define(class ComplexTypeDeclaration extends Declaration {
           typePresent = context.isTypePresentByTypeName(typeName, includeRelease, includeDependencies);
 
     if (typePresent) {
-      context.trace(`The '${typeString}' type is already present.`, node);
+      context.trace(`The '${typeString}' type is already present.`);
     } else {
       const prefixedTypeName = typeName, ///
             typePresent = context.isTypePresentByPrefixedTypeName(prefixedTypeName);
 
       if (typePresent) {
-        context.trace(`The '${typeString}' type is already present.`, node);
+        context.trace(`The '${typeString}' type is already present.`);
       } else {
         typeVerifies = true;
       }
     }
 
     if (typeVerifies) {
-      context.trace(`...verified the '${typeString}' complex type.`, node);
+      context.trace(`...verified the '${typeString}' complex type.`);
     }
 
     return typeVerifies;
@@ -57,18 +56,17 @@ export default define(class ComplexTypeDeclaration extends Declaration {
   verifySuperType(superType) {
     let superTypeVerifies = false;
 
-    const node = this.getNode(),
-          context = this.getContext(),
+    const context = this.getContext(),
           superTypeString = superType.getString();
 
-    context.trace(`Verifying the '${superTypeString}' super-type...`, node);
+    context.trace(`Verifying the '${superTypeString}' super-type...`);
 
     const nominalTypeName = superType.getNominalTypeName(),
           typeName = nominalTypeName, ///
           typeComparesToTypeName = this.type.compareTypeName(typeName);
 
     if (typeComparesToTypeName) {
-      context.trace(`The super-type's name compares to the ${typeName}' complex type's name.`, node);
+      context.trace(`The super-type's name compares to the ${typeName}' complex type's name.`);
     } else {
       const oldSuperType = superType;
 
@@ -86,7 +84,7 @@ export default define(class ComplexTypeDeclaration extends Declaration {
     }
 
     if (superTypeVerifies) {
-      context.debug(`...verified the '${superTypeString}' super-type.`, node);
+      context.debug(`...verified the '${superTypeString}' super-type.`);
     }
 
     return superTypeVerifies;
@@ -95,18 +93,17 @@ export default define(class ComplexTypeDeclaration extends Declaration {
   verifySuperTypes() {
     let superTypesVerify;
 
-    const node = this.getNode(),
-          context = this.getContext(),
+    const context = this.getContext(),
           typeString = this.type.getString();
 
-    context.trace(`Verifying the '${typeString}' complex type's super-types...`, node);
+    context.trace(`Verifying the '${typeString}' complex type's super-types...`);
 
     const typeBasic = this.type.isBasic();
 
     if (typeBasic) {
       superTypesVerify = true;
 
-      context.trace(`The '${typeString}' complex type is basic.`, node)
+      context.trace(`The '${typeString}' complex type is basic.`)
     } else  {
       const superTypes = this.type.getSuperTypes();
 
@@ -120,7 +117,7 @@ export default define(class ComplexTypeDeclaration extends Declaration {
     }
 
     if (superTypesVerify) {
-      context.debug(`...verified the '${typeString}' complex type's super-types.`, node);
+      context.debug(`...verified the '${typeString}' complex type's super-types.`);
     }
 
     return superTypesVerify;
@@ -129,11 +126,10 @@ export default define(class ComplexTypeDeclaration extends Declaration {
   verifyProperty(property, properties) {
     let propertyVerifies = false;
 
-    const node = this.getNode(),
-          context = this.getContext(),
+    const context = this.getContext(),
           propertyString = property.getString();
 
-    context.trace(`Verifying the '${propertyString}' property...`, node);
+    context.trace(`Verifying the '${propertyString}' property...`);
 
     const propertyNameVerifies = this.verifyPropertyName(property, properties);
 
@@ -146,7 +142,7 @@ export default define(class ComplexTypeDeclaration extends Declaration {
     }
 
     if (propertyVerifies) {
-      context.debug(`...verified the '${propertyString}' property.`, node);
+      context.debug(`...verified the '${propertyString}' property.`);
     }
 
     return propertyVerifies;

package/src/element/declaration/constructor.js

@@ -19,11 +19,10 @@ export default define(class ConstructorDeclaration extends Declaration {
   async verify() {
     let verifies;
 
-    const node = this.getNode(),
-          context = this.getContext(),
+    const context = this.getContext(),
           constructorDeclarationString = this.getString(); ///
 
-    context.trace(`Verifying the '${constructorDeclarationString}' constructor declaration...`, node);
+    context.trace(`Verifying the '${constructorDeclarationString}' constructor declaration...`);
 
     const constructorTypeVerifies = this.verifyConstructorType();
 
@@ -38,7 +37,7 @@ export default define(class ConstructorDeclaration extends Declaration {
     }
 
     if (verifies) {
-      context.debug(`...verified the '${constructorDeclarationString}' constructor declaration.`, node);
+      context.debug(`...verified the '${constructorDeclarationString}' constructor declaration.`);
     }
 
     return verifies;
@@ -47,11 +46,10 @@ export default define(class ConstructorDeclaration extends Declaration {
   verifyConstructor() {
     let constructorValidates = false;
 
-    const node = this.getNode(),
-          context = this.getContext(),
+    const context = this.getContext(),
           constructorString = this.constructor.getString();
 
-    context.trace(`Verifying the '${constructorString}' constructor...`, node);
+    context.trace(`Verifying the '${constructorString}' constructor...`);
 
     const term = this.constructor.getTerm(),
           termNode = term.getNode(),
@@ -62,7 +60,7 @@ export default define(class ConstructorDeclaration extends Declaration {
     }
 
     if (constructorValidates) {
-      context.debug(`...verified the '${constructorString}' constructor.`, node);
+      context.debug(`...verified the '${constructorString}' constructor.`);
     }
 
     return constructorValidates;
@@ -71,8 +69,7 @@ export default define(class ConstructorDeclaration extends Declaration {
   verifyConstructorType() {
     let constructorTypeVerifies = false;
 
-    const node = this.getNode(),
-          context = this.getContext();
+    const context = this.getContext();
 
     let type;
 
@@ -80,7 +77,7 @@ export default define(class ConstructorDeclaration extends Declaration {
 
     const typeString = type.getString();
 
-    context.trace(`Verifying the '${typeString}' type...`, node);
+    context.trace(`Verifying the '${typeString}' type...`);
 
     const nominalTypeName = type.getNominalTypeName();
 
@@ -89,7 +86,7 @@ export default define(class ConstructorDeclaration extends Declaration {
     const typePresent = (type !== null)
 
     if (!typePresent) {
-      context.debug(`The '${typeString}' type is not present.`, node);
+      context.debug(`The '${typeString}' type is not present.`);
     } else {
       const includeSupertypes = false,
             provisional = type.isProvisional(includeSupertypes),
@@ -97,8 +94,8 @@ export default define(class ConstructorDeclaration extends Declaration {
 
       if (!typeComparesToProvisional) {
         provisional ?
-          context.debug(`The '${typeString}' type is present but not provisional.`, node) :
-            context.debug(`The '${typeString}' type is present but provisional.`, node);
+          context.debug(`The '${typeString}' type is present but not provisional.`) :
+            context.debug(`The '${typeString}' type is present but provisional.`);
       } else {
         this.constructor.setType(type);
 
@@ -107,7 +104,7 @@ export default define(class ConstructorDeclaration extends Declaration {
     }
 
     if (constructorTypeVerifies) {
-      context.debug(`...verified the '${typeString}' type.`, node);
+      context.debug(`...verified the '${typeString}' type.`);
     }
 
     return constructorTypeVerifies;

package/src/element/declaration/metavariable.js

@@ -18,27 +18,26 @@ export default define(class MetavariableDeclaration extends Declaration {
   verifyType(type) {
     let typeVerifies;
 
-    const node = this.getNode(),
-          context = this.getContext();
+    const context = this.getContext();
 
     if (type === null) {
       typeVerifies = true;
     } else {
       const typeString = type.getString();
 
-      context.trace(`Verifying the '${typeString}' type...`, node);
+      context.trace(`Verifying the '${typeString}' type...`);
 
       const nominalTypeName = type.getNominalTypeName(),
             typePresent = context.isTypePresentByNominalTypeName(nominalTypeName);
 
       if (!typePresent) {
-        context.debug(`The '${typeString}' type is not present.`, node);
+        context.debug(`The '${typeString}' type is not present.`);
       } else {
         typeVerifies = true;
       }
 
       if (typeVerifies) {
-        context.debug(`...verified the '${typeString}' type.`, node);
+        context.debug(`...verified the '${typeString}' type.`);
       }
     }
 
@@ -48,23 +47,22 @@ export default define(class MetavariableDeclaration extends Declaration {
   verifyMetavariable(metavariable) {
     let metavariableVerifies = false;
 
-    const node = this.getNode(),
-          context = this.getContext(),
+    const context = this.getContext(),
           metavariableString = metavariable.getString();
 
-    context.trace(`Verifying the '${metavariableString}' metavariable...`, node);
+    context.trace(`Verifying the '${metavariableString}' metavariable...`);
 
     const metavariableNode = metavariable.getNode(), ///
           termNode = metavariableNode.getTermNode();
 
     if (termNode !== null) {
-      context.debug(`A term was found in the '${metavariableString}' metavariable when a type should have been present.`, node);
+      context.debug(`A term was found in the '${metavariableString}' metavariable when a type should have been present.`);
     } else {
       const metavariableName = metavariable.getName(),
             metavariablePresent = context.isMetavariablePresentByMetavariableName(metavariableName);
 
       if (metavariablePresent) {
-        context.debug(`The '${metavariableName}' metavariable is already present.`, node);
+        context.debug(`The '${metavariableName}' metavariable is already present.`);
       } else {
         const type = metavariable.getType(),
               typeVerifies = this.verifyType(type);
@@ -74,7 +72,7 @@ export default define(class MetavariableDeclaration extends Declaration {
     }
 
     if (metavariableVerifies) {
-      context.debug(`...verified the '${metavariableString}' metavariable.`, node);
+      context.debug(`...verified the '${metavariableString}' metavariable.`);
     }
 
     return metavariableVerifies;
@@ -83,11 +81,10 @@ export default define(class MetavariableDeclaration extends Declaration {
   async verify() {
     let verifies;
 
-    const node = this.getNode(),
-          context = this.getContext(),
+    const context = this.getContext(),
           metavariableDeclarationString = this.getString(); ///
 
-    context.trace(`Verifying the '${metavariableDeclarationString}' metavariable declaration...`, node);
+    context.trace(`Verifying the '${metavariableDeclarationString}' metavariable declaration...`);
 
     const metavariableVerifies = this.verifyMetavariable(this.metavariable);
 
@@ -98,7 +95,7 @@ export default define(class MetavariableDeclaration extends Declaration {
     }
 
     if (verifies) {
-      context.debug(`...verified the '${metavariableDeclarationString}' metavariable declaration.`, node);
+      context.debug(`...verified the '${metavariableDeclarationString}' metavariable declaration.`);
     }
 
     return verifies;

package/src/element/declaration/simpleType.js

@@ -23,11 +23,10 @@ export default define(class SimpleTypeDeclaration extends Declaration {
   verifyType() {
     let typeVerifies = false;
 
-    const node = this.getNode(),
-          context = this.getContext(),
+    const context = this.getContext(),
           typeString = this.type.getString();
 
-    context.trace(`Verifying the '${typeString}' simple type...`, node);
+    context.trace(`Verifying the '${typeString}' simple type...`);
 
     const typeName = this.type.getName(),
           includeRelease = true,
@@ -35,20 +34,20 @@ export default define(class SimpleTypeDeclaration extends Declaration {
           typePresent = context.isTypePresentByTypeName(typeName, includeRelease, includeDependencies);
 
     if (typePresent) {
-      context.trace(`The '${typeString}' type is already present.`, node);
+      context.trace(`The '${typeString}' type is already present.`);
     } else {
       const prefixedTypeName = typeName, ///
             typePresent = context.isTypePresentByPrefixedTypeName(prefixedTypeName);
 
       if (typePresent) {
-        context.trace(`The '${typeString}' type is already present.`, node);
+        context.trace(`The '${typeString}' type is already present.`);
       } else {
         typeVerifies = true;
       }
     }
 
     if (typeVerifies) {
-      context.trace(`...verified the '${typeString}' simple type.`, node);
+      context.trace(`...verified the '${typeString}' simple type.`);
     }
 
     return typeVerifies;
@@ -57,18 +56,17 @@ export default define(class SimpleTypeDeclaration extends Declaration {
   verifySuperType(superType) {
     let superTypeVerifies = false;
 
-    const node = this.getNode(),
-          context = this.getContext(),
+    const context = this.getContext(),
           superTypeString = superType.getString();
 
-    context.trace(`Verifying the '${superTypeString}' super-type...`, node);
+    context.trace(`Verifying the '${superTypeString}' super-type...`);
 
     const nominalTypeName = superType.getNominalTypeName(),
           typeName = nominalTypeName, ///
           typeComparesToTypeName = this.type.compareTypeName(typeName);
 
     if (typeComparesToTypeName) {
-      context.trace(`The super-type's name compares to the ${typeName}' simple type's name.`, node);
+      context.trace(`The super-type's name compares to the ${typeName}' simple type's name.`);
     } else {
       const oldSuperType = superType;
 
@@ -86,7 +84,7 @@ export default define(class SimpleTypeDeclaration extends Declaration {
     }
 
     if (superTypeVerifies) {
-      context.debug(`...verified the '${superTypeString}' super-type.`, node);
+      context.debug(`...verified the '${superTypeString}' super-type.`);
     }
 
     return superTypeVerifies;
@@ -95,18 +93,17 @@ export default define(class SimpleTypeDeclaration extends Declaration {
   verifySuperTypes() {
     let superTypesVerify;
 
-    const node = this.getNode(),
-          context = this.getContext(),
+    const context = this.getContext(),
           typeString = this.type.getString();
 
-    context.trace(`Verifying the '${typeString}' simple type's super-types...`, node);
+    context.trace(`Verifying the '${typeString}' simple type's super-types...`);
 
     const typeBasic = this.type.isBasic();
 
     if (typeBasic) {
       superTypesVerify = true;
 
-      context.trace(`The '${typeString}' simple type is basic.`, node)
+      context.trace(`The '${typeString}' simple type is basic.`)
     } else  {
       const superTypes = this.type.getSuperTypes();
 
@@ -120,7 +117,7 @@ export default define(class SimpleTypeDeclaration extends Declaration {
     }
 
     if (superTypesVerify) {
-      context.debug(`...verified the '${typeString}' simple type's super-types.`, node);
+      context.debug(`...verified the '${typeString}' simple type's super-types.`);
     }
 
     return superTypesVerify;