occam-verify-cli 0.0.317 → 0.0.318

package/lib/verify/conclusion.js

@@ -17,18 +17,20 @@ function _interopRequireDefault(obj) {
     };
 }
 var metastatementNodeQuery = (0, _query.nodeQuery)("/*/metastatement!"), unqualifiedMetastatementNodeQuery = (0, _query.nodeQuery)("/conclusion/unqualifiedMetastatement!");
-function verifyConclusion(conclusionNode, conclusions, context) {
+function verifyConclusion(conclusionNode, conclusions, metaproofContext) {
     var conclusionVerified = false;
+    metaproofContext.begin(conclusionNode);
     var unqualifiedMetastatementNode = unqualifiedMetastatementNodeQuery(conclusionNode);
     if (unqualifiedMetastatementNode !== null) {
-        var unqualifiedMetastatementVerified = (0, _unqualified.default)(unqualifiedMetastatementNode, context);
+        var unqualifiedMetastatementVerified = (0, _unqualified.default)(unqualifiedMetastatementNode, metaproofContext);
         if (unqualifiedMetastatementVerified) {
             var metastatementNode = metastatementNodeQuery(unqualifiedMetastatementNode), conclusion = _conclusion.default.fromMetastatementNode(metastatementNode);
             conclusions.push(conclusion);
             conclusionVerified = true;
         }
     }
+    conclusionVerified ? metaproofContext.complete(conclusionNode) : metaproofContext.halt(conclusionNode);
     return conclusionVerified;
 }
 
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy92ZXJpZnkvY29uY2x1c2lvbi5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IENvbmNsdXNpb24gZnJvbSBcIi4uL2NvbmNsdXNpb25cIjtcbmltcG9ydCB2ZXJpZnlVbnF1YWxpZmllZE1ldGFzdGF0ZW1lbnQgZnJvbSBcIi4uL3ZlcmlmeS9tZXRhc3RhdGVtZW50L3VucXVhbGlmaWVkXCI7XG5cbmltcG9ydCB7IG5vZGVRdWVyeSB9IGZyb20gXCIuLi91dGlsaXRpZXMvcXVlcnlcIjtcblxuY29uc3QgbWV0YXN0YXRlbWVudE5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi8qL21ldGFzdGF0ZW1lbnQhXCIpLFxuICAgICAgdW5xdWFsaWZpZWRNZXRhc3RhdGVtZW50Tm9kZVF1ZXJ5ID0gbm9kZVF1ZXJ5KFwiL2NvbmNsdXNpb24vdW5xdWFsaWZpZWRNZXRhc3RhdGVtZW50IVwiKTtcblxuZXhwb3J0IGRlZmF1bHQgZnVuY3Rpb24gdmVyaWZ5Q29uY2x1c2lvbihjb25jbHVzaW9uTm9kZSwgY29uY2x1c2lvbnMsIGNvbnRleHQpIHtcbiAgbGV0IGNvbmNsdXNpb25WZXJpZmllZCA9IGZhbHNlO1xuXG4gIGNvbnN0IHVucXVhbGlmaWVkTWV0YXN0YXRlbWVudE5vZGUgPSB1bnF1YWxpZmllZE1ldGFzdGF0ZW1lbnROb2RlUXVlcnkoY29uY2x1c2lvbk5vZGUpO1xuXG4gIGlmICh1bnF1YWxpZmllZE1ldGFzdGF0ZW1lbnROb2RlICE9PSBudWxsKSB7XG4gICAgY29uc3QgdW5xdWFsaWZpZWRNZXRhc3RhdGVtZW50VmVyaWZpZWQgPSB2ZXJpZnlVbnF1YWxpZmllZE1ldGFzdGF0ZW1lbnQodW5xdWFsaWZpZWRNZXRhc3RhdGVtZW50Tm9kZSwgY29udGV4dCk7XG5cbiAgICBpZiAodW5xdWFsaWZpZWRNZXRhc3RhdGVtZW50VmVyaWZpZWQpIHtcbiAgICAgIGNvbnN0IG1ldGFzdGF0ZW1lbnROb2RlID0gbWV0YXN0YXRlbWVudE5vZGVRdWVyeSh1bnF1YWxpZmllZE1ldGFzdGF0ZW1lbnROb2RlKSxcbiAgICAgICAgICAgIGNvbmNsdXNpb24gPSBDb25jbHVzaW9uLmZyb21NZXRhc3RhdGVtZW50Tm9kZShtZXRhc3RhdGVtZW50Tm9kZSk7XG5cbiAgICAgIGNvbmNsdXNpb25zLnB1c2goY29uY2x1c2lvbik7XG5cbiAgICAgIGNvbmNsdXNpb25WZXJpZmllZCA9IHRydWU7XG4gICAgfVxuICB9XG5cbiAgcmV0dXJuIGNvbmNsdXNpb25WZXJpZmllZDtcbn1cbiJdLCJuYW1lcyI6WyJ2ZXJpZnlDb25jbHVzaW9uIiwibWV0YXN0YXRlbWVudE5vZGVRdWVyeSIsIm5vZGVRdWVyeSIsInVucXVhbGlmaWVkTWV0YXN0YXRlbWVudE5vZGVRdWVyeSIsImNvbmNsdXNpb25Ob2RlIiwiY29uY2x1c2lvbnMiLCJjb250ZXh0IiwiY29uY2x1c2lvblZlcmlmaWVkIiwidW5xdWFsaWZpZWRNZXRhc3RhdGVtZW50Tm9kZSIsInVucXVhbGlmaWVkTWV0YXN0YXRlbWVudFZlcmlmaWVkIiwidmVyaWZ5VW5xdWFsaWZpZWRNZXRhc3RhdGVtZW50IiwibWV0YXN0YXRlbWVudE5vZGUiLCJjb25jbHVzaW9uIiwiQ29uY2x1c2lvbiIsImZyb21NZXRhc3RhdGVtZW50Tm9kZSIsInB1c2giXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQVVBOzs7ZUFBd0JBOzs7K0RBUkQ7Z0VBQ29CO3FCQUVqQjs7Ozs7O0FBRTFCLElBQU1DLHlCQUF5QkMsSUFBQUEsZ0JBQVMsRUFBQyxzQkFDbkNDLG9DQUFvQ0QsSUFBQUEsZ0JBQVMsRUFBQztBQUVyQyxTQUFTRixpQkFBaUJJLGNBQWMsRUFBRUMsV0FBVyxFQUFFQyxPQUFPLEVBQUU7SUFDN0UsSUFBSUMscUJBQXFCLEtBQUs7SUFFOUIsSUFBTUMsK0JBQStCTCxrQ0FBa0NDO0lBRXZFLElBQUlJLGlDQUFpQyxJQUFJLEVBQUU7UUFDekMsSUFBTUMsbUNBQW1DQyxJQUFBQSxvQkFBOEIsRUFBQ0YsOEJBQThCRjtRQUV0RyxJQUFJRyxrQ0FBa0M7WUFDcEMsSUFBTUUsb0JBQW9CVix1QkFBdUJPLCtCQUMzQ0ksYUFBYUMsbUJBQVUsQ0FBQ0MscUJBQXFCLENBQUNIO1lBRXBETixZQUFZVSxJQUFJLENBQUNIO1lBRWpCTCxxQkFBcUIsSUFBSTtRQUMzQixDQUFDO0lBQ0gsQ0FBQztJQUVELE9BQU9BO0FBQ1QifQ==
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy92ZXJpZnkvY29uY2x1c2lvbi5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IENvbmNsdXNpb24gZnJvbSBcIi4uL2NvbmNsdXNpb25cIjtcbmltcG9ydCB2ZXJpZnlVbnF1YWxpZmllZE1ldGFzdGF0ZW1lbnQgZnJvbSBcIi4uL3ZlcmlmeS9tZXRhc3RhdGVtZW50L3VucXVhbGlmaWVkXCI7XG5cbmltcG9ydCB7IG5vZGVRdWVyeSB9IGZyb20gXCIuLi91dGlsaXRpZXMvcXVlcnlcIjtcblxuY29uc3QgbWV0YXN0YXRlbWVudE5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi8qL21ldGFzdGF0ZW1lbnQhXCIpLFxuICAgICAgdW5xdWFsaWZpZWRNZXRhc3RhdGVtZW50Tm9kZVF1ZXJ5ID0gbm9kZVF1ZXJ5KFwiL2NvbmNsdXNpb24vdW5xdWFsaWZpZWRNZXRhc3RhdGVtZW50IVwiKTtcblxuZXhwb3J0IGRlZmF1bHQgZnVuY3Rpb24gdmVyaWZ5Q29uY2x1c2lvbihjb25jbHVzaW9uTm9kZSwgY29uY2x1c2lvbnMsIG1ldGFwcm9vZkNvbnRleHQpIHtcbiAgbGV0IGNvbmNsdXNpb25WZXJpZmllZCA9IGZhbHNlO1xuXG4gIG1ldGFwcm9vZkNvbnRleHQuYmVnaW4oY29uY2x1c2lvbk5vZGUpO1xuXG4gIGNvbnN0IHVucXVhbGlmaWVkTWV0YXN0YXRlbWVudE5vZGUgPSB1bnF1YWxpZmllZE1ldGFzdGF0ZW1lbnROb2RlUXVlcnkoY29uY2x1c2lvbk5vZGUpO1xuXG4gIGlmICh1bnF1YWxpZmllZE1ldGFzdGF0ZW1lbnROb2RlICE9PSBudWxsKSB7XG4gICAgY29uc3QgdW5xdWFsaWZpZWRNZXRhc3RhdGVtZW50VmVyaWZpZWQgPSB2ZXJpZnlVbnF1YWxpZmllZE1ldGFzdGF0ZW1lbnQodW5xdWFsaWZpZWRNZXRhc3RhdGVtZW50Tm9kZSwgbWV0YXByb29mQ29udGV4dCk7XG5cbiAgICBpZiAodW5xdWFsaWZpZWRNZXRhc3RhdGVtZW50VmVyaWZpZWQpIHtcbiAgICAgIGNvbnN0IG1ldGFzdGF0ZW1lbnROb2RlID0gbWV0YXN0YXRlbWVudE5vZGVRdWVyeSh1bnF1YWxpZmllZE1ldGFzdGF0ZW1lbnROb2RlKSxcbiAgICAgICAgICAgIGNvbmNsdXNpb24gPSBDb25jbHVzaW9uLmZyb21NZXRhc3RhdGVtZW50Tm9kZShtZXRhc3RhdGVtZW50Tm9kZSk7XG5cbiAgICAgIGNvbmNsdXNpb25zLnB1c2goY29uY2x1c2lvbik7XG5cbiAgICAgIGNvbmNsdXNpb25WZXJpZmllZCA9IHRydWU7XG4gICAgfVxuICB9XG5cbiAgY29uY2x1c2lvblZlcmlmaWVkID9cbiAgICBtZXRhcHJvb2ZDb250ZXh0LmNvbXBsZXRlKGNvbmNsdXNpb25Ob2RlKSA6XG4gICAgICBtZXRhcHJvb2ZDb250ZXh0LmhhbHQoY29uY2x1c2lvbk5vZGUpO1xuXG4gIHJldHVybiBjb25jbHVzaW9uVmVyaWZpZWQ7XG59XG4iXSwibmFtZXMiOlsidmVyaWZ5Q29uY2x1c2lvbiIsIm1ldGFzdGF0ZW1lbnROb2RlUXVlcnkiLCJub2RlUXVlcnkiLCJ1bnF1YWxpZmllZE1ldGFzdGF0ZW1lbnROb2RlUXVlcnkiLCJjb25jbHVzaW9uTm9kZSIsImNvbmNsdXNpb25zIiwibWV0YXByb29mQ29udGV4dCIsImNvbmNsdXNpb25WZXJpZmllZCIsImJlZ2luIiwidW5xdWFsaWZpZWRNZXRhc3RhdGVtZW50Tm9kZSIsInVucXVhbGlmaWVkTWV0YXN0YXRlbWVudFZlcmlmaWVkIiwidmVyaWZ5VW5xdWFsaWZpZWRNZXRhc3RhdGVtZW50IiwibWV0YXN0YXRlbWVudE5vZGUiLCJjb25jbHVzaW9uIiwiQ29uY2x1c2lvbiIsImZyb21NZXRhc3RhdGVtZW50Tm9kZSIsInB1c2giLCJjb21wbGV0ZSIsImhhbHQiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQVVBOzs7ZUFBd0JBOzs7K0RBUkQ7Z0VBQ29CO3FCQUVqQjs7Ozs7O0FBRTFCLElBQU1DLHlCQUF5QkMsSUFBQUEsZ0JBQVMsRUFBQyxzQkFDbkNDLG9DQUFvQ0QsSUFBQUEsZ0JBQVMsRUFBQztBQUVyQyxTQUFTRixpQkFBaUJJLGNBQWMsRUFBRUMsV0FBVyxFQUFFQyxnQkFBZ0IsRUFBRTtJQUN0RixJQUFJQyxxQkFBcUIsS0FBSztJQUU5QkQsaUJBQWlCRSxLQUFLLENBQUNKO0lBRXZCLElBQU1LLCtCQUErQk4sa0NBQWtDQztJQUV2RSxJQUFJSyxpQ0FBaUMsSUFBSSxFQUFFO1FBQ3pDLElBQU1DLG1DQUFtQ0MsSUFBQUEsb0JBQThCLEVBQUNGLDhCQUE4Qkg7UUFFdEcsSUFBSUksa0NBQWtDO1lBQ3BDLElBQU1FLG9CQUFvQlgsdUJBQXVCUSwrQkFDM0NJLGFBQWFDLG1CQUFVLENBQUNDLHFCQUFxQixDQUFDSDtZQUVwRFAsWUFBWVcsSUFBSSxDQUFDSDtZQUVqQk4scUJBQXFCLElBQUk7UUFDM0IsQ0FBQztJQUNILENBQUM7SUFFREEscUJBQ0VELGlCQUFpQlcsUUFBUSxDQUFDYixrQkFDeEJFLGlCQUFpQlksSUFBSSxDQUFDZCxlQUFlO0lBRXpDLE9BQU9HO0FBQ1QifQ==

package/lib/verify/conditinalInference.js

@@ -17,14 +17,16 @@ function _interopRequireDefault(obj) {
     };
 }
 var conclusionNodeQuery = (0, _query.nodeQuery)("/conditionalInference/conclusion!"), premiseOrPremisesNodeQuery = (0, _query.nodeQuery)("/conditionalInference/premise|premises!");
-function verifyConditionalInference(conditionalInferenceNode, premises, conclusions, context) {
+function verifyConditionalInference(conditionalInferenceNode, premises, conclusions, metaproofContext) {
     var conditionalInferenceVerified = false;
-    var conclusionNode = conclusionNodeQuery(conditionalInferenceNode), premiseOrPremisesNode = premiseOrPremisesNodeQuery(conditionalInferenceNode), premiseOrPremisesVerified = (0, _premiseOrPremises.default)(premiseOrPremisesNode, premises, context);
+    metaproofContext.begin(conditionalInferenceNode);
+    var conclusionNode = conclusionNodeQuery(conditionalInferenceNode), premiseOrPremisesNode = premiseOrPremisesNodeQuery(conditionalInferenceNode), premiseOrPremisesVerified = (0, _premiseOrPremises.default)(premiseOrPremisesNode, premises, metaproofContext);
     if (premiseOrPremisesVerified) {
-        var conclusionVerified = (0, _conclusion.default)(conclusionNode, conclusions, context);
-        conditionalInferenceVerified = conclusionVerified;
+        var conclusionVerified = (0, _conclusion.default)(conclusionNode, conclusions, metaproofContext);
+        conditionalInferenceVerified = conclusionVerified; ///
     }
+    conditionalInferenceVerified ? metaproofContext.complete(conditionalInferenceNode) : metaproofContext.halt(conditionalInferenceNode);
     return conditionalInferenceVerified;
 }
 
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy92ZXJpZnkvY29uZGl0aW5hbEluZmVyZW5jZS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHZlcmlmeUNvbmNsdXNpb24gZnJvbSBcIi4uL3ZlcmlmeS9jb25jbHVzaW9uXCI7XG5pbXBvcnQgdmVyaWZ5UHJlbWlzZU9yUHJlbWlzZXMgZnJvbSBcIi4uL3ZlcmlmeS9wcmVtaXNlT3JQcmVtaXNlc1wiO1xuXG5pbXBvcnQgeyBub2RlUXVlcnkgfSBmcm9tIFwiLi4vdXRpbGl0aWVzL3F1ZXJ5XCI7XG5cbmNvbnN0IGNvbmNsdXNpb25Ob2RlUXVlcnkgPSBub2RlUXVlcnkoXCIvY29uZGl0aW9uYWxJbmZlcmVuY2UvY29uY2x1c2lvbiFcIiksXG4gICAgICBwcmVtaXNlT3JQcmVtaXNlc05vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi9jb25kaXRpb25hbEluZmVyZW5jZS9wcmVtaXNlfHByZW1pc2VzIVwiKTtcblxuZXhwb3J0IGRlZmF1bHQgZnVuY3Rpb24gdmVyaWZ5Q29uZGl0aW9uYWxJbmZlcmVuY2UoY29uZGl0aW9uYWxJbmZlcmVuY2VOb2RlLCBwcmVtaXNlcywgY29uY2x1c2lvbnMsIGNvbnRleHQpIHtcbiAgbGV0IGNvbmRpdGlvbmFsSW5mZXJlbmNlVmVyaWZpZWQgPSBmYWxzZTtcblxuICBjb25zdCBjb25jbHVzaW9uTm9kZSA9IGNvbmNsdXNpb25Ob2RlUXVlcnkoY29uZGl0aW9uYWxJbmZlcmVuY2VOb2RlKSxcbiAgICAgICAgcHJlbWlzZU9yUHJlbWlzZXNOb2RlID0gcHJlbWlzZU9yUHJlbWlzZXNOb2RlUXVlcnkoY29uZGl0aW9uYWxJbmZlcmVuY2VOb2RlKSxcbiAgICAgICAgcHJlbWlzZU9yUHJlbWlzZXNWZXJpZmllZCA9IHZlcmlmeVByZW1pc2VPclByZW1pc2VzKHByZW1pc2VPclByZW1pc2VzTm9kZSwgcHJlbWlzZXMsIGNvbnRleHQpO1xuXG4gIGlmIChwcmVtaXNlT3JQcmVtaXNlc1ZlcmlmaWVkKSB7XG4gICAgY29uc3QgY29uY2x1c2lvblZlcmlmaWVkID0gdmVyaWZ5Q29uY2x1c2lvbihjb25jbHVzaW9uTm9kZSwgY29uY2x1c2lvbnMsIGNvbnRleHQpO1xuXG4gICAgY29uZGl0aW9uYWxJbmZlcmVuY2VWZXJpZmllZCA9IGNvbmNsdXNpb25WZXJpZmllZDtcbiAgfVxuXG4gIHJldHVybiBjb25kaXRpb25hbEluZmVyZW5jZVZlcmlmaWVkO1xufVxuIl0sIm5hbWVzIjpbInZlcmlmeUNvbmRpdGlvbmFsSW5mZXJlbmNlIiwiY29uY2x1c2lvbk5vZGVRdWVyeSIsIm5vZGVRdWVyeSIsInByZW1pc2VPclByZW1pc2VzTm9kZVF1ZXJ5IiwiY29uZGl0aW9uYWxJbmZlcmVuY2VOb2RlIiwicHJlbWlzZXMiLCJjb25jbHVzaW9ucyIsImNvbnRleHQiLCJjb25kaXRpb25hbEluZmVyZW5jZVZlcmlmaWVkIiwiY29uY2x1c2lvbk5vZGUiLCJwcmVtaXNlT3JQcmVtaXNlc05vZGUiLCJwcmVtaXNlT3JQcmVtaXNlc1ZlcmlmaWVkIiwidmVyaWZ5UHJlbWlzZU9yUHJlbWlzZXMiLCJjb25jbHVzaW9uVmVyaWZpZWQiLCJ2ZXJpZnlDb25jbHVzaW9uIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFVQTs7O2VBQXdCQTs7OytEQVJLO3NFQUNPO3FCQUVWOzs7Ozs7QUFFMUIsSUFBTUMsc0JBQXNCQyxJQUFBQSxnQkFBUyxFQUFDLHNDQUNoQ0MsNkJBQTZCRCxJQUFBQSxnQkFBUyxFQUFDO0FBRTlCLFNBQVNGLDJCQUEyQkksd0JBQXdCLEVBQUVDLFFBQVEsRUFBRUMsV0FBVyxFQUFFQyxPQUFPLEVBQUU7SUFDM0csSUFBSUMsK0JBQStCLEtBQUs7SUFFeEMsSUFBTUMsaUJBQWlCUixvQkFBb0JHLDJCQUNyQ00sd0JBQXdCUCwyQkFBMkJDLDJCQUNuRE8sNEJBQTRCQyxJQUFBQSwwQkFBdUIsRUFBQ0YsdUJBQXVCTCxVQUFVRTtJQUUzRixJQUFJSSwyQkFBMkI7UUFDN0IsSUFBTUUscUJBQXFCQyxJQUFBQSxtQkFBZ0IsRUFBQ0wsZ0JBQWdCSCxhQUFhQztRQUV6RUMsK0JBQStCSztJQUNqQyxDQUFDO0lBRUQsT0FBT0w7QUFDVCJ9
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy92ZXJpZnkvY29uZGl0aW5hbEluZmVyZW5jZS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHZlcmlmeUNvbmNsdXNpb24gZnJvbSBcIi4uL3ZlcmlmeS9jb25jbHVzaW9uXCI7XG5pbXBvcnQgdmVyaWZ5UHJlbWlzZU9yUHJlbWlzZXMgZnJvbSBcIi4uL3ZlcmlmeS9wcmVtaXNlT3JQcmVtaXNlc1wiO1xuXG5pbXBvcnQgeyBub2RlUXVlcnkgfSBmcm9tIFwiLi4vdXRpbGl0aWVzL3F1ZXJ5XCI7XG5cbmNvbnN0IGNvbmNsdXNpb25Ob2RlUXVlcnkgPSBub2RlUXVlcnkoXCIvY29uZGl0aW9uYWxJbmZlcmVuY2UvY29uY2x1c2lvbiFcIiksXG4gICAgICBwcmVtaXNlT3JQcmVtaXNlc05vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi9jb25kaXRpb25hbEluZmVyZW5jZS9wcmVtaXNlfHByZW1pc2VzIVwiKTtcblxuZXhwb3J0IGRlZmF1bHQgZnVuY3Rpb24gdmVyaWZ5Q29uZGl0aW9uYWxJbmZlcmVuY2UoY29uZGl0aW9uYWxJbmZlcmVuY2VOb2RlLCBwcmVtaXNlcywgY29uY2x1c2lvbnMsIG1ldGFwcm9vZkNvbnRleHQpIHtcbiAgbGV0IGNvbmRpdGlvbmFsSW5mZXJlbmNlVmVyaWZpZWQgPSBmYWxzZTtcblxuICBtZXRhcHJvb2ZDb250ZXh0LmJlZ2luKGNvbmRpdGlvbmFsSW5mZXJlbmNlTm9kZSk7XG5cbiAgY29uc3QgY29uY2x1c2lvbk5vZGUgPSBjb25jbHVzaW9uTm9kZVF1ZXJ5KGNvbmRpdGlvbmFsSW5mZXJlbmNlTm9kZSksXG4gICAgICAgIHByZW1pc2VPclByZW1pc2VzTm9kZSA9IHByZW1pc2VPclByZW1pc2VzTm9kZVF1ZXJ5KGNvbmRpdGlvbmFsSW5mZXJlbmNlTm9kZSksXG4gICAgICAgIHByZW1pc2VPclByZW1pc2VzVmVyaWZpZWQgPSB2ZXJpZnlQcmVtaXNlT3JQcmVtaXNlcyhwcmVtaXNlT3JQcmVtaXNlc05vZGUsIHByZW1pc2VzLCBtZXRhcHJvb2ZDb250ZXh0KTtcblxuICBpZiAocHJlbWlzZU9yUHJlbWlzZXNWZXJpZmllZCkge1xuICAgIGNvbnN0IGNvbmNsdXNpb25WZXJpZmllZCA9IHZlcmlmeUNvbmNsdXNpb24oY29uY2x1c2lvbk5vZGUsIGNvbmNsdXNpb25zLCBtZXRhcHJvb2ZDb250ZXh0KTtcblxuICAgIGNvbmRpdGlvbmFsSW5mZXJlbmNlVmVyaWZpZWQgPSBjb25jbHVzaW9uVmVyaWZpZWQ7ICAvLy9cbiAgfVxuXG4gIGNvbmRpdGlvbmFsSW5mZXJlbmNlVmVyaWZpZWQgP1xuICAgIG1ldGFwcm9vZkNvbnRleHQuY29tcGxldGUoY29uZGl0aW9uYWxJbmZlcmVuY2VOb2RlKSA6XG4gICAgICBtZXRhcHJvb2ZDb250ZXh0LmhhbHQoY29uZGl0aW9uYWxJbmZlcmVuY2VOb2RlKTtcblxuICByZXR1cm4gY29uZGl0aW9uYWxJbmZlcmVuY2VWZXJpZmllZDtcbn1cbiJdLCJuYW1lcyI6WyJ2ZXJpZnlDb25kaXRpb25hbEluZmVyZW5jZSIsImNvbmNsdXNpb25Ob2RlUXVlcnkiLCJub2RlUXVlcnkiLCJwcmVtaXNlT3JQcmVtaXNlc05vZGVRdWVyeSIsImNvbmRpdGlvbmFsSW5mZXJlbmNlTm9kZSIsInByZW1pc2VzIiwiY29uY2x1c2lvbnMiLCJtZXRhcHJvb2ZDb250ZXh0IiwiY29uZGl0aW9uYWxJbmZlcmVuY2VWZXJpZmllZCIsImJlZ2luIiwiY29uY2x1c2lvbk5vZGUiLCJwcmVtaXNlT3JQcmVtaXNlc05vZGUiLCJwcmVtaXNlT3JQcmVtaXNlc1ZlcmlmaWVkIiwidmVyaWZ5UHJlbWlzZU9yUHJlbWlzZXMiLCJjb25jbHVzaW9uVmVyaWZpZWQiLCJ2ZXJpZnlDb25jbHVzaW9uIiwiY29tcGxldGUiLCJoYWx0Il0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFVQTs7O2VBQXdCQTs7OytEQVJLO3NFQUNPO3FCQUVWOzs7Ozs7QUFFMUIsSUFBTUMsc0JBQXNCQyxJQUFBQSxnQkFBUyxFQUFDLHNDQUNoQ0MsNkJBQTZCRCxJQUFBQSxnQkFBUyxFQUFDO0FBRTlCLFNBQVNGLDJCQUEyQkksd0JBQXdCLEVBQUVDLFFBQVEsRUFBRUMsV0FBVyxFQUFFQyxnQkFBZ0IsRUFBRTtJQUNwSCxJQUFJQywrQkFBK0IsS0FBSztJQUV4Q0QsaUJBQWlCRSxLQUFLLENBQUNMO0lBRXZCLElBQU1NLGlCQUFpQlQsb0JBQW9CRywyQkFDckNPLHdCQUF3QlIsMkJBQTJCQywyQkFDbkRRLDRCQUE0QkMsSUFBQUEsMEJBQXVCLEVBQUNGLHVCQUF1Qk4sVUFBVUU7SUFFM0YsSUFBSUssMkJBQTJCO1FBQzdCLElBQU1FLHFCQUFxQkMsSUFBQUEsbUJBQWdCLEVBQUNMLGdCQUFnQkosYUFBYUM7UUFFekVDLCtCQUErQk0sb0JBQXFCLEdBQUc7SUFDekQsQ0FBQztJQUVETiwrQkFDRUQsaUJBQWlCUyxRQUFRLENBQUNaLDRCQUN4QkcsaUJBQWlCVSxJQUFJLENBQUNiLHlCQUF5QjtJQUVuRCxPQUFPSTtBQUNUIn0=

package/lib/verify/declaration/combinator.js

@@ -16,9 +16,13 @@ function _interopRequireDefault(obj) {
     };
 }
 var statementNodeQuery = (0, _query.nodeQuery)("/combinatorDeclaration/statement");
-function verifyCombinatorDeclaration(combinatorDeclarationNode, context) {
-    var statementNode = statementNodeQuery(combinatorDeclarationNode), statementVerifiedAsCombinator = (0, _statementAsCombinator.default)(statementNode, context), combinatorDeclarationVerified = statementVerifiedAsCombinator; ///
+function verifyCombinatorDeclaration(combinatorDeclarationNode, fileContext) {
+    var combinatorDeclarationVerified;
+    fileContext.begin(combinatorDeclarationNode);
+    var statementNode = statementNodeQuery(combinatorDeclarationNode), statementVerifiedAsCombinator = (0, _statementAsCombinator.default)(statementNode, fileContext);
+    combinatorDeclarationVerified = statementVerifiedAsCombinator; ///
+    combinatorDeclarationVerified ? fileContext.complete(combinatorDeclarationNode) : fileContext.halt(combinatorDeclarationNode);
     return combinatorDeclarationVerified;
 }
 
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy92ZXJpZnkvZGVjbGFyYXRpb24vY29tYmluYXRvci5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHZlcmlmeVN0YXRlbWVudEFzQ29tYmluYXRvciBmcm9tIFwiLi4vLi4vdmVyaWZ5L3N0YXRlbWVudEFzQ29tYmluYXRvclwiO1xuXG5pbXBvcnQgeyBub2RlUXVlcnkgfSBmcm9tIFwiLi4vLi4vdXRpbGl0aWVzL3F1ZXJ5XCI7XG5cbmNvbnN0IHN0YXRlbWVudE5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi9jb21iaW5hdG9yRGVjbGFyYXRpb24vc3RhdGVtZW50XCIpO1xuXG5leHBvcnQgZGVmYXVsdCBmdW5jdGlvbiB2ZXJpZnlDb21iaW5hdG9yRGVjbGFyYXRpb24oY29tYmluYXRvckRlY2xhcmF0aW9uTm9kZSwgY29udGV4dCkge1xuICBjb25zdCBzdGF0ZW1lbnROb2RlID0gc3RhdGVtZW50Tm9kZVF1ZXJ5KGNvbWJpbmF0b3JEZWNsYXJhdGlvbk5vZGUpLFxuICAgICAgICBzdGF0ZW1lbnRWZXJpZmllZEFzQ29tYmluYXRvciA9IHZlcmlmeVN0YXRlbWVudEFzQ29tYmluYXRvcihzdGF0ZW1lbnROb2RlLCBjb250ZXh0KSxcbiAgICAgICAgY29tYmluYXRvckRlY2xhcmF0aW9uVmVyaWZpZWQgPSBzdGF0ZW1lbnRWZXJpZmllZEFzQ29tYmluYXRvcjsgLy8vXG5cbiAgcmV0dXJuIGNvbWJpbmF0b3JEZWNsYXJhdGlvblZlcmlmaWVkO1xufVxuIl0sIm5hbWVzIjpbInZlcmlmeUNvbWJpbmF0b3JEZWNsYXJhdGlvbiIsInN0YXRlbWVudE5vZGVRdWVyeSIsIm5vZGVRdWVyeSIsImNvbWJpbmF0b3JEZWNsYXJhdGlvbk5vZGUiLCJjb250ZXh0Iiwic3RhdGVtZW50Tm9kZSIsInN0YXRlbWVudFZlcmlmaWVkQXNDb21iaW5hdG9yIiwidmVyaWZ5U3RhdGVtZW50QXNDb21iaW5hdG9yIiwiY29tYmluYXRvckRlY2xhcmF0aW9uVmVyaWZpZWQiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQVFBOzs7ZUFBd0JBOzs7MEVBTmdCO3FCQUVkOzs7Ozs7QUFFMUIsSUFBTUMscUJBQXFCQyxJQUFBQSxnQkFBUyxFQUFDO0FBRXRCLFNBQVNGLDRCQUE0QkcseUJBQXlCLEVBQUVDLE9BQU8sRUFBRTtJQUN0RixJQUFNQyxnQkFBZ0JKLG1CQUFtQkUsNEJBQ25DRyxnQ0FBZ0NDLElBQUFBLDhCQUEyQixFQUFDRixlQUFlRCxVQUMzRUksZ0NBQWdDRiwrQkFBK0IsR0FBRztJQUV4RSxPQUFPRTtBQUNUIn0=
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy92ZXJpZnkvZGVjbGFyYXRpb24vY29tYmluYXRvci5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHZlcmlmeVN0YXRlbWVudEFzQ29tYmluYXRvciBmcm9tIFwiLi4vLi4vdmVyaWZ5L3N0YXRlbWVudEFzQ29tYmluYXRvclwiO1xuXG5pbXBvcnQgeyBub2RlUXVlcnkgfSBmcm9tIFwiLi4vLi4vdXRpbGl0aWVzL3F1ZXJ5XCI7XG5cbmNvbnN0IHN0YXRlbWVudE5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi9jb21iaW5hdG9yRGVjbGFyYXRpb24vc3RhdGVtZW50XCIpO1xuXG5leHBvcnQgZGVmYXVsdCBmdW5jdGlvbiB2ZXJpZnlDb21iaW5hdG9yRGVjbGFyYXRpb24oY29tYmluYXRvckRlY2xhcmF0aW9uTm9kZSwgZmlsZUNvbnRleHQpIHtcbiAgbGV0IGNvbWJpbmF0b3JEZWNsYXJhdGlvblZlcmlmaWVkO1xuXG4gIGZpbGVDb250ZXh0LmJlZ2luKGNvbWJpbmF0b3JEZWNsYXJhdGlvbk5vZGUpO1xuXG4gIGNvbnN0IHN0YXRlbWVudE5vZGUgPSBzdGF0ZW1lbnROb2RlUXVlcnkoY29tYmluYXRvckRlY2xhcmF0aW9uTm9kZSksXG4gICAgICAgIHN0YXRlbWVudFZlcmlmaWVkQXNDb21iaW5hdG9yID0gdmVyaWZ5U3RhdGVtZW50QXNDb21iaW5hdG9yKHN0YXRlbWVudE5vZGUsIGZpbGVDb250ZXh0KTtcblxuICBjb21iaW5hdG9yRGVjbGFyYXRpb25WZXJpZmllZCA9IHN0YXRlbWVudFZlcmlmaWVkQXNDb21iaW5hdG9yOyAvLy9cblxuICBjb21iaW5hdG9yRGVjbGFyYXRpb25WZXJpZmllZCA/XG4gICAgZmlsZUNvbnRleHQuY29tcGxldGUoY29tYmluYXRvckRlY2xhcmF0aW9uTm9kZSkgOlxuICAgICAgZmlsZUNvbnRleHQuaGFsdChjb21iaW5hdG9yRGVjbGFyYXRpb25Ob2RlKTtcblxuICByZXR1cm4gY29tYmluYXRvckRlY2xhcmF0aW9uVmVyaWZpZWQ7XG59XG4iXSwibmFtZXMiOlsidmVyaWZ5Q29tYmluYXRvckRlY2xhcmF0aW9uIiwic3RhdGVtZW50Tm9kZVF1ZXJ5Iiwibm9kZVF1ZXJ5IiwiY29tYmluYXRvckRlY2xhcmF0aW9uTm9kZSIsImZpbGVDb250ZXh0IiwiY29tYmluYXRvckRlY2xhcmF0aW9uVmVyaWZpZWQiLCJiZWdpbiIsInN0YXRlbWVudE5vZGUiLCJzdGF0ZW1lbnRWZXJpZmllZEFzQ29tYmluYXRvciIsInZlcmlmeVN0YXRlbWVudEFzQ29tYmluYXRvciIsImNvbXBsZXRlIiwiaGFsdCJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBUUE7OztlQUF3QkE7OzswRUFOZ0I7cUJBRWQ7Ozs7OztBQUUxQixJQUFNQyxxQkFBcUJDLElBQUFBLGdCQUFTLEVBQUM7QUFFdEIsU0FBU0YsNEJBQTRCRyx5QkFBeUIsRUFBRUMsV0FBVyxFQUFFO0lBQzFGLElBQUlDO0lBRUpELFlBQVlFLEtBQUssQ0FBQ0g7SUFFbEIsSUFBTUksZ0JBQWdCTixtQkFBbUJFLDRCQUNuQ0ssZ0NBQWdDQyxJQUFBQSw4QkFBMkIsRUFBQ0YsZUFBZUg7SUFFakZDLGdDQUFnQ0csK0JBQStCLEdBQUc7SUFFbEVILGdDQUNFRCxZQUFZTSxRQUFRLENBQUNQLDZCQUNuQkMsWUFBWU8sSUFBSSxDQUFDUiwwQkFBMEI7SUFFL0MsT0FBT0U7QUFDVCJ9

package/lib/verify/declaration/constructor.js

@@ -16,9 +16,13 @@ function _interopRequireDefault(obj) {
     };
 }
 var termNodeQuery = (0, _query.nodeQuery)("/constructorDeclaration/term"), typeNodeQuery = (0, _query.nodeQuery)("/constructorDeclaration/type");
-function verifyConstructorDeclaration(constructorDeclarationNode, context) {
-    var termNode = termNodeQuery(constructorDeclarationNode), typeNode = typeNodeQuery(constructorDeclarationNode), termVerifiedAsConstructor = (0, _termAsConstructor.default)(termNode, typeNode, context), constructorDeclarationVerified = termVerifiedAsConstructor; ///
+function verifyConstructorDeclaration(constructorDeclarationNode, fileContext) {
+    var constructorDeclarationVerified;
+    fileContext.begin(constructorDeclarationNode);
+    var termNode = termNodeQuery(constructorDeclarationNode), typeNode = typeNodeQuery(constructorDeclarationNode), termVerifiedAsConstructor = (0, _termAsConstructor.default)(termNode, typeNode, fileContext);
+    constructorDeclarationVerified = termVerifiedAsConstructor; ///
+    constructorDeclarationVerified ? fileContext.complete(constructorDeclarationNode) : fileContext.halt(constructorDeclarationNode);
     return constructorDeclarationVerified;
 }
 
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy92ZXJpZnkvZGVjbGFyYXRpb24vY29uc3RydWN0b3IuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB2ZXJpZnlUZXJtQXNDb25zdHJ1Y3RvciBmcm9tIFwiLi4vLi4vdmVyaWZ5L3Rlcm1Bc0NvbnN0cnVjdG9yXCI7XG5cbmltcG9ydCB7IG5vZGVRdWVyeSB9IGZyb20gXCIuLi8uLi91dGlsaXRpZXMvcXVlcnlcIjtcblxuY29uc3QgdGVybU5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi9jb25zdHJ1Y3RvckRlY2xhcmF0aW9uL3Rlcm1cIiksXG4gICAgICB0eXBlTm9kZVF1ZXJ5ID0gbm9kZVF1ZXJ5KFwiL2NvbnN0cnVjdG9yRGVjbGFyYXRpb24vdHlwZVwiKTtcblxuZXhwb3J0IGRlZmF1bHQgZnVuY3Rpb24gdmVyaWZ5Q29uc3RydWN0b3JEZWNsYXJhdGlvbihjb25zdHJ1Y3RvckRlY2xhcmF0aW9uTm9kZSwgY29udGV4dCkge1xuICBjb25zdCB0ZXJtTm9kZSA9IHRlcm1Ob2RlUXVlcnkoY29uc3RydWN0b3JEZWNsYXJhdGlvbk5vZGUpLFxuICAgICAgICB0eXBlTm9kZSA9IHR5cGVOb2RlUXVlcnkoY29uc3RydWN0b3JEZWNsYXJhdGlvbk5vZGUpLFxuICAgICAgICB0ZXJtVmVyaWZpZWRBc0NvbnN0cnVjdG9yID0gdmVyaWZ5VGVybUFzQ29uc3RydWN0b3IodGVybU5vZGUsIHR5cGVOb2RlLCBjb250ZXh0KSxcbiAgICAgICAgY29uc3RydWN0b3JEZWNsYXJhdGlvblZlcmlmaWVkID0gdGVybVZlcmlmaWVkQXNDb25zdHJ1Y3RvcjsgLy8vXG5cbiAgcmV0dXJuIGNvbnN0cnVjdG9yRGVjbGFyYXRpb25WZXJpZmllZDtcbn1cbiJdLCJuYW1lcyI6WyJ2ZXJpZnlDb25zdHJ1Y3RvckRlY2xhcmF0aW9uIiwidGVybU5vZGVRdWVyeSIsIm5vZGVRdWVyeSIsInR5cGVOb2RlUXVlcnkiLCJjb25zdHJ1Y3RvckRlY2xhcmF0aW9uTm9kZSIsImNvbnRleHQiLCJ0ZXJtTm9kZSIsInR5cGVOb2RlIiwidGVybVZlcmlmaWVkQXNDb25zdHJ1Y3RvciIsInZlcmlmeVRlcm1Bc0NvbnN0cnVjdG9yIiwiY29uc3RydWN0b3JEZWNsYXJhdGlvblZlcmlmaWVkIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFTQTs7O2VBQXdCQTs7O3NFQVBZO3FCQUVWOzs7Ozs7QUFFMUIsSUFBTUMsZ0JBQWdCQyxJQUFBQSxnQkFBUyxFQUFDLGlDQUMxQkMsZ0JBQWdCRCxJQUFBQSxnQkFBUyxFQUFDO0FBRWpCLFNBQVNGLDZCQUE2QkksMEJBQTBCLEVBQUVDLE9BQU8sRUFBRTtJQUN4RixJQUFNQyxXQUFXTCxjQUFjRyw2QkFDekJHLFdBQVdKLGNBQWNDLDZCQUN6QkksNEJBQTRCQyxJQUFBQSwwQkFBdUIsRUFBQ0gsVUFBVUMsVUFBVUYsVUFDeEVLLGlDQUFpQ0YsMkJBQTJCLEdBQUc7SUFFckUsT0FBT0U7QUFDVCJ9
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy92ZXJpZnkvZGVjbGFyYXRpb24vY29uc3RydWN0b3IuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB2ZXJpZnlUZXJtQXNDb25zdHJ1Y3RvciBmcm9tIFwiLi4vLi4vdmVyaWZ5L3Rlcm1Bc0NvbnN0cnVjdG9yXCI7XG5cbmltcG9ydCB7IG5vZGVRdWVyeSB9IGZyb20gXCIuLi8uLi91dGlsaXRpZXMvcXVlcnlcIjtcblxuY29uc3QgdGVybU5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi9jb25zdHJ1Y3RvckRlY2xhcmF0aW9uL3Rlcm1cIiksXG4gICAgICB0eXBlTm9kZVF1ZXJ5ID0gbm9kZVF1ZXJ5KFwiL2NvbnN0cnVjdG9yRGVjbGFyYXRpb24vdHlwZVwiKTtcblxuZXhwb3J0IGRlZmF1bHQgZnVuY3Rpb24gdmVyaWZ5Q29uc3RydWN0b3JEZWNsYXJhdGlvbihjb25zdHJ1Y3RvckRlY2xhcmF0aW9uTm9kZSwgZmlsZUNvbnRleHQpIHtcbiAgbGV0IGNvbnN0cnVjdG9yRGVjbGFyYXRpb25WZXJpZmllZDtcblxuICBmaWxlQ29udGV4dC5iZWdpbihjb25zdHJ1Y3RvckRlY2xhcmF0aW9uTm9kZSk7XG5cbiAgY29uc3QgdGVybU5vZGUgPSB0ZXJtTm9kZVF1ZXJ5KGNvbnN0cnVjdG9yRGVjbGFyYXRpb25Ob2RlKSxcbiAgICAgICAgdHlwZU5vZGUgPSB0eXBlTm9kZVF1ZXJ5KGNvbnN0cnVjdG9yRGVjbGFyYXRpb25Ob2RlKSxcbiAgICAgICAgdGVybVZlcmlmaWVkQXNDb25zdHJ1Y3RvciA9IHZlcmlmeVRlcm1Bc0NvbnN0cnVjdG9yKHRlcm1Ob2RlLCB0eXBlTm9kZSwgZmlsZUNvbnRleHQpO1xuXG4gIGNvbnN0cnVjdG9yRGVjbGFyYXRpb25WZXJpZmllZCA9IHRlcm1WZXJpZmllZEFzQ29uc3RydWN0b3I7IC8vL1xuXG4gIGNvbnN0cnVjdG9yRGVjbGFyYXRpb25WZXJpZmllZCA/XG4gICAgZmlsZUNvbnRleHQuY29tcGxldGUoY29uc3RydWN0b3JEZWNsYXJhdGlvbk5vZGUpIDpcbiAgICAgIGZpbGVDb250ZXh0LmhhbHQoY29uc3RydWN0b3JEZWNsYXJhdGlvbk5vZGUpO1xuXG4gIHJldHVybiBjb25zdHJ1Y3RvckRlY2xhcmF0aW9uVmVyaWZpZWQ7XG59XG4iXSwibmFtZXMiOlsidmVyaWZ5Q29uc3RydWN0b3JEZWNsYXJhdGlvbiIsInRlcm1Ob2RlUXVlcnkiLCJub2RlUXVlcnkiLCJ0eXBlTm9kZVF1ZXJ5IiwiY29uc3RydWN0b3JEZWNsYXJhdGlvbk5vZGUiLCJmaWxlQ29udGV4dCIsImNvbnN0cnVjdG9yRGVjbGFyYXRpb25WZXJpZmllZCIsImJlZ2luIiwidGVybU5vZGUiLCJ0eXBlTm9kZSIsInRlcm1WZXJpZmllZEFzQ29uc3RydWN0b3IiLCJ2ZXJpZnlUZXJtQXNDb25zdHJ1Y3RvciIsImNvbXBsZXRlIiwiaGFsdCJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBU0E7OztlQUF3QkE7OztzRUFQWTtxQkFFVjs7Ozs7O0FBRTFCLElBQU1DLGdCQUFnQkMsSUFBQUEsZ0JBQVMsRUFBQyxpQ0FDMUJDLGdCQUFnQkQsSUFBQUEsZ0JBQVMsRUFBQztBQUVqQixTQUFTRiw2QkFBNkJJLDBCQUEwQixFQUFFQyxXQUFXLEVBQUU7SUFDNUYsSUFBSUM7SUFFSkQsWUFBWUUsS0FBSyxDQUFDSDtJQUVsQixJQUFNSSxXQUFXUCxjQUFjRyw2QkFDekJLLFdBQVdOLGNBQWNDLDZCQUN6Qk0sNEJBQTRCQyxJQUFBQSwwQkFBdUIsRUFBQ0gsVUFBVUMsVUFBVUo7SUFFOUVDLGlDQUFpQ0ksMkJBQTJCLEdBQUc7SUFFL0RKLGlDQUNFRCxZQUFZTyxRQUFRLENBQUNSLDhCQUNuQkMsWUFBWVEsSUFBSSxDQUFDVCwyQkFBMkI7SUFFaEQsT0FBT0U7QUFDVCJ9

package/lib/verify/declaration/topLevel.js

@@ -8,44 +8,46 @@ Object.defineProperty(exports, "default", {
         return verifyTopLevelDeclaration;
     }
 });
-var _query = require("../../utilities/query");
 var _rule = /*#__PURE__*/ _interopRequireDefault(require("../../verify/rule"));
 var _axiom = /*#__PURE__*/ _interopRequireDefault(require("../../verify/axiom"));
 var _type = /*#__PURE__*/ _interopRequireDefault(require("../../verify/declaration/type"));
 var _variable = /*#__PURE__*/ _interopRequireDefault(require("../../verify/declaration/variable"));
 var _combinator = /*#__PURE__*/ _interopRequireDefault(require("../../verify/declaration/combinator"));
 var _constructor = /*#__PURE__*/ _interopRequireDefault(require("../../verify/declaration/constructor"));
+var _query = require("../../utilities/query");
 function _interopRequireDefault(obj) {
     return obj && obj.__esModule ? obj : {
         default: obj
     };
 }
 var ruleNodeQuery = (0, _query.nodeQuery)("/topLevelDeclaration/rule!"), axiomNodeQuery = (0, _query.nodeQuery)("/topLevelDeclaration/axiom!"), typeDeclarationNodeQuery = (0, _query.nodeQuery)("/topLevelDeclaration/typeDeclaration!"), variableDeclarationNodeQuery = (0, _query.nodeQuery)("/topLevelDeclaration/variableDeclaration!"), combinatorDeclarationNodeQuery = (0, _query.nodeQuery)("/topLevelDeclaration/combinatorDeclaration!"), constructorDeclarationNodeQuery = (0, _query.nodeQuery)("/topLevelDeclaration/constructorDeclaration!");
-function verifyTopLevelDeclaration(topLevelDeclarationNode, context) {
+function verifyTopLevelDeclaration(topLevelDeclarationNode, fileContext) {
     var topLevelDeclarationVerified = false;
+    fileContext.begin(topLevelDeclarationNode);
     var node = topLevelDeclarationNode, ruleNode = ruleNodeQuery(node), axiomNode = axiomNodeQuery(node), typeDeclarationNode = typeDeclarationNodeQuery(node), variableDeclarationNode = variableDeclarationNodeQuery(node), combinatorDeclarationNode = combinatorDeclarationNodeQuery(node), constructorDeclarationNode = constructorDeclarationNodeQuery(node);
     if (false) {
     ///
     } else if (ruleNode !== null) {
-        var ruleVerified = (0, _rule.default)(ruleNode, context);
+        var ruleVerified = (0, _rule.default)(ruleNode, fileContext);
         topLevelDeclarationVerified = ruleVerified; ///
     } else if (axiomNode !== null) {
-        var axiomVerified = (0, _axiom.default)(axiomNode, context);
+        var axiomVerified = (0, _axiom.default)(axiomNode, fileContext);
         topLevelDeclarationVerified = axiomVerified; ///
     } else if (typeDeclarationNode !== null) {
-        var typeDeclarationVerified = (0, _type.default)(typeDeclarationNode, context);
+        var typeDeclarationVerified = (0, _type.default)(typeDeclarationNode, fileContext);
         topLevelDeclarationVerified = typeDeclarationVerified; ///
     } else if (variableDeclarationNode !== null) {
-        var variableDeclarationVerified = (0, _variable.default)(variableDeclarationNode, context);
+        var variableDeclarationVerified = (0, _variable.default)(variableDeclarationNode, fileContext);
         topLevelDeclarationVerified = variableDeclarationVerified; ///
     } else if (combinatorDeclarationNode !== null) {
-        var combinatorDeclarationVerified = (0, _combinator.default)(combinatorDeclarationNode, context);
+        var combinatorDeclarationVerified = (0, _combinator.default)(combinatorDeclarationNode, fileContext);
         topLevelDeclarationVerified = combinatorDeclarationVerified; ///
     } else if (constructorDeclarationNode !== null) {
-        var constructorDeclarationVerified = (0, _constructor.default)(constructorDeclarationNode, context);
+        var constructorDeclarationVerified = (0, _constructor.default)(constructorDeclarationNode, fileContext);
         topLevelDeclarationVerified = constructorDeclarationVerified; ///
     }
+    topLevelDeclarationVerified ? fileContext.complete(topLevelDeclarationNode) : fileContext.halt(topLevelDeclarationNode);
     return topLevelDeclarationVerified;
 }
 
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy92ZXJpZnkvZGVjbGFyYXRpb24vdG9wTGV2ZWwuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IG5vZGVRdWVyeSB9IGZyb20gXCIuLi8uLi91dGlsaXRpZXMvcXVlcnlcIjtcblxuaW1wb3J0IHZlcmlmeVJ1bGUgZnJvbSBcIi4uLy4uL3ZlcmlmeS9ydWxlXCI7XG5pbXBvcnQgdmVyaWZ5QXhpb20gZnJvbSBcIi4uLy4uL3ZlcmlmeS9heGlvbVwiO1xuaW1wb3J0IHZlcmlmeVR5cGVEZWNsYXJhdGlvbiBmcm9tIFwiLi4vLi4vdmVyaWZ5L2RlY2xhcmF0aW9uL3R5cGVcIjtcbmltcG9ydCB2ZXJpZnlWYXJpYWJsZURlY2xhcmF0aW9uIGZyb20gXCIuLi8uLi92ZXJpZnkvZGVjbGFyYXRpb24vdmFyaWFibGVcIjtcbmltcG9ydCB2ZXJpZnlDb21iaW5hdG9yRGVjbGFyYXRpb24gZnJvbSBcIi4uLy4uL3ZlcmlmeS9kZWNsYXJhdGlvbi9jb21iaW5hdG9yXCI7XG5pbXBvcnQgdmVyaWZ5Q29uc3RydWN0b3JEZWNsYXJhdGlvbiBmcm9tIFwiLi4vLi4vdmVyaWZ5L2RlY2xhcmF0aW9uL2NvbnN0cnVjdG9yXCI7XG5cbmNvbnN0IHJ1bGVOb2RlUXVlcnkgPSBub2RlUXVlcnkoXCIvdG9wTGV2ZWxEZWNsYXJhdGlvbi9ydWxlIVwiKSxcbiAgICAgIGF4aW9tTm9kZVF1ZXJ5ID0gbm9kZVF1ZXJ5KFwiL3RvcExldmVsRGVjbGFyYXRpb24vYXhpb20hXCIpLFxuICAgICAgdHlwZURlY2xhcmF0aW9uTm9kZVF1ZXJ5ID0gbm9kZVF1ZXJ5KFwiL3RvcExldmVsRGVjbGFyYXRpb24vdHlwZURlY2xhcmF0aW9uIVwiKSxcbiAgICAgIHZhcmlhYmxlRGVjbGFyYXRpb25Ob2RlUXVlcnkgPSBub2RlUXVlcnkoXCIvdG9wTGV2ZWxEZWNsYXJhdGlvbi92YXJpYWJsZURlY2xhcmF0aW9uIVwiKSxcbiAgICAgIGNvbWJpbmF0b3JEZWNsYXJhdGlvbk5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi90b3BMZXZlbERlY2xhcmF0aW9uL2NvbWJpbmF0b3JEZWNsYXJhdGlvbiFcIiksXG4gICAgICBjb25zdHJ1Y3RvckRlY2xhcmF0aW9uTm9kZVF1ZXJ5ID0gbm9kZVF1ZXJ5KFwiL3RvcExldmVsRGVjbGFyYXRpb24vY29uc3RydWN0b3JEZWNsYXJhdGlvbiFcIik7XG5cbmV4cG9ydCBkZWZhdWx0IGZ1bmN0aW9uIHZlcmlmeVRvcExldmVsRGVjbGFyYXRpb24odG9wTGV2ZWxEZWNsYXJhdGlvbk5vZGUsIGNvbnRleHQpIHtcbiAgbGV0IHRvcExldmVsRGVjbGFyYXRpb25WZXJpZmllZCA9IGZhbHNlO1xuXG4gIGNvbnN0IG5vZGUgPSB0b3BMZXZlbERlY2xhcmF0aW9uTm9kZSwgLy8vXG4gICAgICAgIHJ1bGVOb2RlID0gcnVsZU5vZGVRdWVyeShub2RlKSxcbiAgICAgICAgYXhpb21Ob2RlID0gYXhpb21Ob2RlUXVlcnkobm9kZSksXG4gICAgICAgIHR5cGVEZWNsYXJhdGlvbk5vZGUgPSB0eXBlRGVjbGFyYXRpb25Ob2RlUXVlcnkobm9kZSksXG4gICAgICAgIHZhcmlhYmxlRGVjbGFyYXRpb25Ob2RlID0gdmFyaWFibGVEZWNsYXJhdGlvbk5vZGVRdWVyeShub2RlKSxcbiAgICAgICAgY29tYmluYXRvckRlY2xhcmF0aW9uTm9kZSA9IGNvbWJpbmF0b3JEZWNsYXJhdGlvbk5vZGVRdWVyeShub2RlKSxcbiAgICAgICAgY29uc3RydWN0b3JEZWNsYXJhdGlvbk5vZGUgPSBjb25zdHJ1Y3RvckRlY2xhcmF0aW9uTm9kZVF1ZXJ5KG5vZGUpO1xuXG4gIGlmIChmYWxzZSkge1xuICAgIC8vL1xuICB9IGVsc2UgaWYgKHJ1bGVOb2RlICE9PSBudWxsKSB7XG4gICAgY29uc3QgcnVsZVZlcmlmaWVkID0gdmVyaWZ5UnVsZShydWxlTm9kZSwgY29udGV4dCk7XG5cbiAgICB0b3BMZXZlbERlY2xhcmF0aW9uVmVyaWZpZWQgPSBydWxlVmVyaWZpZWQ7ICAvLy9cbiAgfSBlbHNlIGlmIChheGlvbU5vZGUgIT09IG51bGwpIHtcbiAgICBjb25zdCBheGlvbVZlcmlmaWVkID0gdmVyaWZ5QXhpb20oYXhpb21Ob2RlLCBjb250ZXh0KTtcblxuICAgIHRvcExldmVsRGVjbGFyYXRpb25WZXJpZmllZCA9IGF4aW9tVmVyaWZpZWQ7ICAvLy9cbiAgfSBlbHNlIGlmICh0eXBlRGVjbGFyYXRpb25Ob2RlICE9PSBudWxsKSB7XG4gICAgY29uc3QgdHlwZURlY2xhcmF0aW9uVmVyaWZpZWQgPSB2ZXJpZnlUeXBlRGVjbGFyYXRpb24odHlwZURlY2xhcmF0aW9uTm9kZSwgY29udGV4dCk7XG5cbiAgICB0b3BMZXZlbERlY2xhcmF0aW9uVmVyaWZpZWQgPSB0eXBlRGVjbGFyYXRpb25WZXJpZmllZDsgIC8vL1xuICB9IGVsc2UgaWYgKHZhcmlhYmxlRGVjbGFyYXRpb25Ob2RlICE9PSBudWxsKSB7XG4gICAgY29uc3QgdmFyaWFibGVEZWNsYXJhdGlvblZlcmlmaWVkID0gdmVyaWZ5VmFyaWFibGVEZWNsYXJhdGlvbih2YXJpYWJsZURlY2xhcmF0aW9uTm9kZSwgY29udGV4dCk7XG5cbiAgICB0b3BMZXZlbERlY2xhcmF0aW9uVmVyaWZpZWQgPSB2YXJpYWJsZURlY2xhcmF0aW9uVmVyaWZpZWQ7ICAvLy9cbiAgfSBlbHNlIGlmIChjb21iaW5hdG9yRGVjbGFyYXRpb25Ob2RlICE9PSBudWxsKSB7XG4gICAgY29uc3QgY29tYmluYXRvckRlY2xhcmF0aW9uVmVyaWZpZWQgPSB2ZXJpZnlDb21iaW5hdG9yRGVjbGFyYXRpb24oY29tYmluYXRvckRlY2xhcmF0aW9uTm9kZSwgY29udGV4dCk7XG5cbiAgICB0b3BMZXZlbERlY2xhcmF0aW9uVmVyaWZpZWQgPSBjb21iaW5hdG9yRGVjbGFyYXRpb25WZXJpZmllZDsgIC8vL1xuICB9IGVsc2UgaWYgKGNvbnN0cnVjdG9yRGVjbGFyYXRpb25Ob2RlICE9PSBudWxsKSB7XG4gICAgY29uc3QgY29uc3RydWN0b3JEZWNsYXJhdGlvblZlcmlmaWVkID0gdmVyaWZ5Q29uc3RydWN0b3JEZWNsYXJhdGlvbihjb25zdHJ1Y3RvckRlY2xhcmF0aW9uTm9kZSwgY29udGV4dCk7XG5cbiAgICB0b3BMZXZlbERlY2xhcmF0aW9uVmVyaWZpZWQgPSBjb25zdHJ1Y3RvckRlY2xhcmF0aW9uVmVyaWZpZWQ7ICAvLy9cbiAgfVxuXG4gIHJldHVybiB0b3BMZXZlbERlY2xhcmF0aW9uVmVyaWZpZWQ7XG59XG4iXSwibmFtZXMiOlsidmVyaWZ5VG9wTGV2ZWxEZWNsYXJhdGlvbiIsInJ1bGVOb2RlUXVlcnkiLCJub2RlUXVlcnkiLCJheGlvbU5vZGVRdWVyeSIsInR5cGVEZWNsYXJhdGlvbk5vZGVRdWVyeSIsInZhcmlhYmxlRGVjbGFyYXRpb25Ob2RlUXVlcnkiLCJjb21iaW5hdG9yRGVjbGFyYXRpb25Ob2RlUXVlcnkiLCJjb25zdHJ1Y3RvckRlY2xhcmF0aW9uTm9kZVF1ZXJ5IiwidG9wTGV2ZWxEZWNsYXJhdGlvbk5vZGUiLCJjb250ZXh0IiwidG9wTGV2ZWxEZWNsYXJhdGlvblZlcmlmaWVkIiwibm9kZSIsInJ1bGVOb2RlIiwiYXhpb21Ob2RlIiwidHlwZURlY2xhcmF0aW9uTm9kZSIsInZhcmlhYmxlRGVjbGFyYXRpb25Ob2RlIiwiY29tYmluYXRvckRlY2xhcmF0aW9uTm9kZSIsImNvbnN0cnVjdG9yRGVjbGFyYXRpb25Ob2RlIiwicnVsZVZlcmlmaWVkIiwidmVyaWZ5UnVsZSIsImF4aW9tVmVyaWZpZWQiLCJ2ZXJpZnlBeGlvbSIsInR5cGVEZWNsYXJhdGlvblZlcmlmaWVkIiwidmVyaWZ5VHlwZURlY2xhcmF0aW9uIiwidmFyaWFibGVEZWNsYXJhdGlvblZlcmlmaWVkIiwidmVyaWZ5VmFyaWFibGVEZWNsYXJhdGlvbiIsImNvbWJpbmF0b3JEZWNsYXJhdGlvblZlcmlmaWVkIiwidmVyaWZ5Q29tYmluYXRvckRlY2xhcmF0aW9uIiwiY29uc3RydWN0b3JEZWNsYXJhdGlvblZlcmlmaWVkIiwidmVyaWZ5Q29uc3RydWN0b3JEZWNsYXJhdGlvbiJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBa0JBOzs7ZUFBd0JBOzs7cUJBaEJFO3lEQUVIOzBEQUNDO3lEQUNVOzZEQUNJOytEQUNFO2dFQUNDOzs7Ozs7QUFFekMsSUFBTUMsZ0JBQWdCQyxJQUFBQSxnQkFBUyxFQUFDLCtCQUMxQkMsaUJBQWlCRCxJQUFBQSxnQkFBUyxFQUFDLGdDQUMzQkUsMkJBQTJCRixJQUFBQSxnQkFBUyxFQUFDLDBDQUNyQ0csK0JBQStCSCxJQUFBQSxnQkFBUyxFQUFDLDhDQUN6Q0ksaUNBQWlDSixJQUFBQSxnQkFBUyxFQUFDLGdEQUMzQ0ssa0NBQWtDTCxJQUFBQSxnQkFBUyxFQUFDO0FBRW5DLFNBQVNGLDBCQUEwQlEsdUJBQXVCLEVBQUVDLE9BQU8sRUFBRTtJQUNsRixJQUFJQyw4QkFBOEIsS0FBSztJQUV2QyxJQUFNQyxPQUFPSCx5QkFDUEksV0FBV1gsY0FBY1UsT0FDekJFLFlBQVlWLGVBQWVRLE9BQzNCRyxzQkFBc0JWLHlCQUF5Qk8sT0FDL0NJLDBCQUEwQlYsNkJBQTZCTSxPQUN2REssNEJBQTRCViwrQkFBK0JLLE9BQzNETSw2QkFBNkJWLGdDQUFnQ0k7SUFFbkUsSUFBSSxLQUFLLEVBQUU7SUFDVCxHQUFHO0lBQ0wsT0FBTyxJQUFJQyxhQUFhLElBQUksRUFBRTtRQUM1QixJQUFNTSxlQUFlQyxJQUFBQSxhQUFVLEVBQUNQLFVBQVVIO1FBRTFDQyw4QkFBOEJRLGNBQWUsR0FBRztJQUNsRCxPQUFPLElBQUlMLGNBQWMsSUFBSSxFQUFFO1FBQzdCLElBQU1PLGdCQUFnQkMsSUFBQUEsY0FBVyxFQUFDUixXQUFXSjtRQUU3Q0MsOEJBQThCVSxlQUFnQixHQUFHO0lBQ25ELE9BQU8sSUFBSU4sd0JBQXdCLElBQUksRUFBRTtRQUN2QyxJQUFNUSwwQkFBMEJDLElBQUFBLGFBQXFCLEVBQUNULHFCQUFxQkw7UUFFM0VDLDhCQUE4QlkseUJBQTBCLEdBQUc7SUFDN0QsT0FBTyxJQUFJUCw0QkFBNEIsSUFBSSxFQUFFO1FBQzNDLElBQU1TLDhCQUE4QkMsSUFBQUEsaUJBQXlCLEVBQUNWLHlCQUF5Qk47UUFFdkZDLDhCQUE4QmMsNkJBQThCLEdBQUc7SUFDakUsT0FBTyxJQUFJUiw4QkFBOEIsSUFBSSxFQUFFO1FBQzdDLElBQU1VLGdDQUFnQ0MsSUFBQUEsbUJBQTJCLEVBQUNYLDJCQUEyQlA7UUFFN0ZDLDhCQUE4QmdCLCtCQUFnQyxHQUFHO0lBQ25FLE9BQU8sSUFBSVQsK0JBQStCLElBQUksRUFBRTtRQUM5QyxJQUFNVyxpQ0FBaUNDLElBQUFBLG9CQUE0QixFQUFDWiw0QkFBNEJSO1FBRWhHQyw4QkFBOEJrQixnQ0FBaUMsR0FBRztJQUNwRSxDQUFDO0lBRUQsT0FBT2xCO0FBQ1QifQ==
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy92ZXJpZnkvZGVjbGFyYXRpb24vdG9wTGV2ZWwuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB2ZXJpZnlSdWxlIGZyb20gXCIuLi8uLi92ZXJpZnkvcnVsZVwiO1xuaW1wb3J0IHZlcmlmeUF4aW9tIGZyb20gXCIuLi8uLi92ZXJpZnkvYXhpb21cIjtcbmltcG9ydCB2ZXJpZnlUeXBlRGVjbGFyYXRpb24gZnJvbSBcIi4uLy4uL3ZlcmlmeS9kZWNsYXJhdGlvbi90eXBlXCI7XG5pbXBvcnQgdmVyaWZ5VmFyaWFibGVEZWNsYXJhdGlvbiBmcm9tIFwiLi4vLi4vdmVyaWZ5L2RlY2xhcmF0aW9uL3ZhcmlhYmxlXCI7XG5pbXBvcnQgdmVyaWZ5Q29tYmluYXRvckRlY2xhcmF0aW9uIGZyb20gXCIuLi8uLi92ZXJpZnkvZGVjbGFyYXRpb24vY29tYmluYXRvclwiO1xuaW1wb3J0IHZlcmlmeUNvbnN0cnVjdG9yRGVjbGFyYXRpb24gZnJvbSBcIi4uLy4uL3ZlcmlmeS9kZWNsYXJhdGlvbi9jb25zdHJ1Y3RvclwiO1xuXG5pbXBvcnQgeyBub2RlUXVlcnkgfSBmcm9tIFwiLi4vLi4vdXRpbGl0aWVzL3F1ZXJ5XCI7XG5cbmNvbnN0IHJ1bGVOb2RlUXVlcnkgPSBub2RlUXVlcnkoXCIvdG9wTGV2ZWxEZWNsYXJhdGlvbi9ydWxlIVwiKSxcbiAgICAgIGF4aW9tTm9kZVF1ZXJ5ID0gbm9kZVF1ZXJ5KFwiL3RvcExldmVsRGVjbGFyYXRpb24vYXhpb20hXCIpLFxuICAgICAgdHlwZURlY2xhcmF0aW9uTm9kZVF1ZXJ5ID0gbm9kZVF1ZXJ5KFwiL3RvcExldmVsRGVjbGFyYXRpb24vdHlwZURlY2xhcmF0aW9uIVwiKSxcbiAgICAgIHZhcmlhYmxlRGVjbGFyYXRpb25Ob2RlUXVlcnkgPSBub2RlUXVlcnkoXCIvdG9wTGV2ZWxEZWNsYXJhdGlvbi92YXJpYWJsZURlY2xhcmF0aW9uIVwiKSxcbiAgICAgIGNvbWJpbmF0b3JEZWNsYXJhdGlvbk5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi90b3BMZXZlbERlY2xhcmF0aW9uL2NvbWJpbmF0b3JEZWNsYXJhdGlvbiFcIiksXG4gICAgICBjb25zdHJ1Y3RvckRlY2xhcmF0aW9uTm9kZVF1ZXJ5ID0gbm9kZVF1ZXJ5KFwiL3RvcExldmVsRGVjbGFyYXRpb24vY29uc3RydWN0b3JEZWNsYXJhdGlvbiFcIik7XG5cbmV4cG9ydCBkZWZhdWx0IGZ1bmN0aW9uIHZlcmlmeVRvcExldmVsRGVjbGFyYXRpb24odG9wTGV2ZWxEZWNsYXJhdGlvbk5vZGUsIGZpbGVDb250ZXh0KSB7XG4gIGxldCB0b3BMZXZlbERlY2xhcmF0aW9uVmVyaWZpZWQgPSBmYWxzZTtcblxuICBmaWxlQ29udGV4dC5iZWdpbih0b3BMZXZlbERlY2xhcmF0aW9uTm9kZSk7XG5cbiAgY29uc3Qgbm9kZSA9IHRvcExldmVsRGVjbGFyYXRpb25Ob2RlLCAvLy9cbiAgICAgICAgcnVsZU5vZGUgPSBydWxlTm9kZVF1ZXJ5KG5vZGUpLFxuICAgICAgICBheGlvbU5vZGUgPSBheGlvbU5vZGVRdWVyeShub2RlKSxcbiAgICAgICAgdHlwZURlY2xhcmF0aW9uTm9kZSA9IHR5cGVEZWNsYXJhdGlvbk5vZGVRdWVyeShub2RlKSxcbiAgICAgICAgdmFyaWFibGVEZWNsYXJhdGlvbk5vZGUgPSB2YXJpYWJsZURlY2xhcmF0aW9uTm9kZVF1ZXJ5KG5vZGUpLFxuICAgICAgICBjb21iaW5hdG9yRGVjbGFyYXRpb25Ob2RlID0gY29tYmluYXRvckRlY2xhcmF0aW9uTm9kZVF1ZXJ5KG5vZGUpLFxuICAgICAgICBjb25zdHJ1Y3RvckRlY2xhcmF0aW9uTm9kZSA9IGNvbnN0cnVjdG9yRGVjbGFyYXRpb25Ob2RlUXVlcnkobm9kZSk7XG5cbiAgaWYgKGZhbHNlKSB7XG4gICAgLy8vXG4gIH0gZWxzZSBpZiAocnVsZU5vZGUgIT09IG51bGwpIHtcbiAgICBjb25zdCBydWxlVmVyaWZpZWQgPSB2ZXJpZnlSdWxlKHJ1bGVOb2RlLCBmaWxlQ29udGV4dCk7XG5cbiAgICB0b3BMZXZlbERlY2xhcmF0aW9uVmVyaWZpZWQgPSBydWxlVmVyaWZpZWQ7ICAvLy9cbiAgfSBlbHNlIGlmIChheGlvbU5vZGUgIT09IG51bGwpIHtcbiAgICBjb25zdCBheGlvbVZlcmlmaWVkID0gdmVyaWZ5QXhpb20oYXhpb21Ob2RlLCBmaWxlQ29udGV4dCk7XG5cbiAgICB0b3BMZXZlbERlY2xhcmF0aW9uVmVyaWZpZWQgPSBheGlvbVZlcmlmaWVkOyAgLy8vXG4gIH0gZWxzZSBpZiAodHlwZURlY2xhcmF0aW9uTm9kZSAhPT0gbnVsbCkge1xuICAgIGNvbnN0IHR5cGVEZWNsYXJhdGlvblZlcmlmaWVkID0gdmVyaWZ5VHlwZURlY2xhcmF0aW9uKHR5cGVEZWNsYXJhdGlvbk5vZGUsIGZpbGVDb250ZXh0KTtcblxuICAgIHRvcExldmVsRGVjbGFyYXRpb25WZXJpZmllZCA9IHR5cGVEZWNsYXJhdGlvblZlcmlmaWVkOyAgLy8vXG4gIH0gZWxzZSBpZiAodmFyaWFibGVEZWNsYXJhdGlvbk5vZGUgIT09IG51bGwpIHtcbiAgICBjb25zdCB2YXJpYWJsZURlY2xhcmF0aW9uVmVyaWZpZWQgPSB2ZXJpZnlWYXJpYWJsZURlY2xhcmF0aW9uKHZhcmlhYmxlRGVjbGFyYXRpb25Ob2RlLCBmaWxlQ29udGV4dCk7XG5cbiAgICB0b3BMZXZlbERlY2xhcmF0aW9uVmVyaWZpZWQgPSB2YXJpYWJsZURlY2xhcmF0aW9uVmVyaWZpZWQ7ICAvLy9cbiAgfSBlbHNlIGlmIChjb21iaW5hdG9yRGVjbGFyYXRpb25Ob2RlICE9PSBudWxsKSB7XG4gICAgY29uc3QgY29tYmluYXRvckRlY2xhcmF0aW9uVmVyaWZpZWQgPSB2ZXJpZnlDb21iaW5hdG9yRGVjbGFyYXRpb24oY29tYmluYXRvckRlY2xhcmF0aW9uTm9kZSwgZmlsZUNvbnRleHQpO1xuXG4gICAgdG9wTGV2ZWxEZWNsYXJhdGlvblZlcmlmaWVkID0gY29tYmluYXRvckRlY2xhcmF0aW9uVmVyaWZpZWQ7ICAvLy9cbiAgfSBlbHNlIGlmIChjb25zdHJ1Y3RvckRlY2xhcmF0aW9uTm9kZSAhPT0gbnVsbCkge1xuICAgIGNvbnN0IGNvbnN0cnVjdG9yRGVjbGFyYXRpb25WZXJpZmllZCA9IHZlcmlmeUNvbnN0cnVjdG9yRGVjbGFyYXRpb24oY29uc3RydWN0b3JEZWNsYXJhdGlvbk5vZGUsIGZpbGVDb250ZXh0KTtcblxuICAgIHRvcExldmVsRGVjbGFyYXRpb25WZXJpZmllZCA9IGNvbnN0cnVjdG9yRGVjbGFyYXRpb25WZXJpZmllZDsgIC8vL1xuICB9XG5cbiAgdG9wTGV2ZWxEZWNsYXJhdGlvblZlcmlmaWVkID9cbiAgICBmaWxlQ29udGV4dC5jb21wbGV0ZSh0b3BMZXZlbERlY2xhcmF0aW9uTm9kZSkgOlxuICAgICAgZmlsZUNvbnRleHQuaGFsdCh0b3BMZXZlbERlY2xhcmF0aW9uTm9kZSk7XG5cbiAgcmV0dXJuIHRvcExldmVsRGVjbGFyYXRpb25WZXJpZmllZDtcbn1cbiJdLCJuYW1lcyI6WyJ2ZXJpZnlUb3BMZXZlbERlY2xhcmF0aW9uIiwicnVsZU5vZGVRdWVyeSIsIm5vZGVRdWVyeSIsImF4aW9tTm9kZVF1ZXJ5IiwidHlwZURlY2xhcmF0aW9uTm9kZVF1ZXJ5IiwidmFyaWFibGVEZWNsYXJhdGlvbk5vZGVRdWVyeSIsImNvbWJpbmF0b3JEZWNsYXJhdGlvbk5vZGVRdWVyeSIsImNvbnN0cnVjdG9yRGVjbGFyYXRpb25Ob2RlUXVlcnkiLCJ0b3BMZXZlbERlY2xhcmF0aW9uTm9kZSIsImZpbGVDb250ZXh0IiwidG9wTGV2ZWxEZWNsYXJhdGlvblZlcmlmaWVkIiwiYmVnaW4iLCJub2RlIiwicnVsZU5vZGUiLCJheGlvbU5vZGUiLCJ0eXBlRGVjbGFyYXRpb25Ob2RlIiwidmFyaWFibGVEZWNsYXJhdGlvbk5vZGUiLCJjb21iaW5hdG9yRGVjbGFyYXRpb25Ob2RlIiwiY29uc3RydWN0b3JEZWNsYXJhdGlvbk5vZGUiLCJydWxlVmVyaWZpZWQiLCJ2ZXJpZnlSdWxlIiwiYXhpb21WZXJpZmllZCIsInZlcmlmeUF4aW9tIiwidHlwZURlY2xhcmF0aW9uVmVyaWZpZWQiLCJ2ZXJpZnlUeXBlRGVjbGFyYXRpb24iLCJ2YXJpYWJsZURlY2xhcmF0aW9uVmVyaWZpZWQiLCJ2ZXJpZnlWYXJpYWJsZURlY2xhcmF0aW9uIiwiY29tYmluYXRvckRlY2xhcmF0aW9uVmVyaWZpZWQiLCJ2ZXJpZnlDb21iaW5hdG9yRGVjbGFyYXRpb24iLCJjb25zdHJ1Y3RvckRlY2xhcmF0aW9uVmVyaWZpZWQiLCJ2ZXJpZnlDb25zdHJ1Y3RvckRlY2xhcmF0aW9uIiwiY29tcGxldGUiLCJoYWx0Il0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFrQkE7OztlQUF3QkE7Ozt5REFoQkQ7MERBQ0M7eURBQ1U7NkRBQ0k7K0RBQ0U7Z0VBQ0M7cUJBRWY7Ozs7OztBQUUxQixJQUFNQyxnQkFBZ0JDLElBQUFBLGdCQUFTLEVBQUMsK0JBQzFCQyxpQkFBaUJELElBQUFBLGdCQUFTLEVBQUMsZ0NBQzNCRSwyQkFBMkJGLElBQUFBLGdCQUFTLEVBQUMsMENBQ3JDRywrQkFBK0JILElBQUFBLGdCQUFTLEVBQUMsOENBQ3pDSSxpQ0FBaUNKLElBQUFBLGdCQUFTLEVBQUMsZ0RBQzNDSyxrQ0FBa0NMLElBQUFBLGdCQUFTLEVBQUM7QUFFbkMsU0FBU0YsMEJBQTBCUSx1QkFBdUIsRUFBRUMsV0FBVyxFQUFFO0lBQ3RGLElBQUlDLDhCQUE4QixLQUFLO0lBRXZDRCxZQUFZRSxLQUFLLENBQUNIO0lBRWxCLElBQU1JLE9BQU9KLHlCQUNQSyxXQUFXWixjQUFjVyxPQUN6QkUsWUFBWVgsZUFBZVMsT0FDM0JHLHNCQUFzQlgseUJBQXlCUSxPQUMvQ0ksMEJBQTBCWCw2QkFBNkJPLE9BQ3ZESyw0QkFBNEJYLCtCQUErQk0sT0FDM0RNLDZCQUE2QlgsZ0NBQWdDSztJQUVuRSxJQUFJLEtBQUssRUFBRTtJQUNULEdBQUc7SUFDTCxPQUFPLElBQUlDLGFBQWEsSUFBSSxFQUFFO1FBQzVCLElBQU1NLGVBQWVDLElBQUFBLGFBQVUsRUFBQ1AsVUFBVUo7UUFFMUNDLDhCQUE4QlMsY0FBZSxHQUFHO0lBQ2xELE9BQU8sSUFBSUwsY0FBYyxJQUFJLEVBQUU7UUFDN0IsSUFBTU8sZ0JBQWdCQyxJQUFBQSxjQUFXLEVBQUNSLFdBQVdMO1FBRTdDQyw4QkFBOEJXLGVBQWdCLEdBQUc7SUFDbkQsT0FBTyxJQUFJTix3QkFBd0IsSUFBSSxFQUFFO1FBQ3ZDLElBQU1RLDBCQUEwQkMsSUFBQUEsYUFBcUIsRUFBQ1QscUJBQXFCTjtRQUUzRUMsOEJBQThCYSx5QkFBMEIsR0FBRztJQUM3RCxPQUFPLElBQUlQLDRCQUE0QixJQUFJLEVBQUU7UUFDM0MsSUFBTVMsOEJBQThCQyxJQUFBQSxpQkFBeUIsRUFBQ1YseUJBQXlCUDtRQUV2RkMsOEJBQThCZSw2QkFBOEIsR0FBRztJQUNqRSxPQUFPLElBQUlSLDhCQUE4QixJQUFJLEVBQUU7UUFDN0MsSUFBTVUsZ0NBQWdDQyxJQUFBQSxtQkFBMkIsRUFBQ1gsMkJBQTJCUjtRQUU3RkMsOEJBQThCaUIsK0JBQWdDLEdBQUc7SUFDbkUsT0FBTyxJQUFJVCwrQkFBK0IsSUFBSSxFQUFFO1FBQzlDLElBQU1XLGlDQUFpQ0MsSUFBQUEsb0JBQTRCLEVBQUNaLDRCQUE0QlQ7UUFFaEdDLDhCQUE4Qm1CLGdDQUFpQyxHQUFHO0lBQ3BFLENBQUM7SUFFRG5CLDhCQUNFRCxZQUFZc0IsUUFBUSxDQUFDdkIsMkJBQ25CQyxZQUFZdUIsSUFBSSxDQUFDeEIsd0JBQXdCO0lBRTdDLE9BQU9FO0FBQ1QifQ==

package/lib/verify/declaration/type.js

@@ -16,9 +16,14 @@ function _interopRequireDefault(obj) {
     };
 }
 var firstTypeNodeQuery = (0, _query.nodeQuery)("/typeDeclaration/type[0]"), secondTypeNodeQuery = (0, _query.nodeQuery)("/typeDeclaration/type[1]");
-function verifyTypeDeclaration(typeDeclarationNode, context) {
-    var firstTypeNode = firstTypeNodeQuery(typeDeclarationNode), secondTypeNode = secondTypeNodeQuery(typeDeclarationNode), typeNode = firstTypeNode, superTypeNode = secondTypeNode, typeVerified = (0, _type.default)(typeNode, superTypeNode, context), typeDeclarationVerified = typeVerified; ///
+function verifyTypeDeclaration(typeDeclarationNode, fileContext) {
+    var typeDeclarationVerified;
+    fileContext.begin(typeDeclarationNode);
+    var firstTypeNode = firstTypeNodeQuery(typeDeclarationNode), secondTypeNode = secondTypeNodeQuery(typeDeclarationNode), typeNode = firstTypeNode, superTypeNode = secondTypeNode; ///
+    var typeVerified = (0, _type.default)(typeNode, superTypeNode, fileContext);
+    typeDeclarationVerified = typeVerified; ///
+    typeDeclarationVerified ? fileContext.complete(typeDeclarationNode) : fileContext.halt(typeDeclarationNode);
     return typeDeclarationVerified;
 }
 
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy92ZXJpZnkvZGVjbGFyYXRpb24vdHlwZS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHZlcmlmeVR5cGUgZnJvbSBcIi4uLy4uL3ZlcmlmeS90eXBlXCI7XG5cbmltcG9ydCB7IG5vZGVRdWVyeSB9IGZyb20gXCIuLi8uLi91dGlsaXRpZXMvcXVlcnlcIjtcblxuY29uc3QgZmlyc3RUeXBlTm9kZVF1ZXJ5ID0gbm9kZVF1ZXJ5KFwiL3R5cGVEZWNsYXJhdGlvbi90eXBlWzBdXCIpLFxuICAgICAgc2Vjb25kVHlwZU5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi90eXBlRGVjbGFyYXRpb24vdHlwZVsxXVwiKTtcblxuZXhwb3J0IGRlZmF1bHQgZnVuY3Rpb24gdmVyaWZ5VHlwZURlY2xhcmF0aW9uKHR5cGVEZWNsYXJhdGlvbk5vZGUsIGNvbnRleHQpIHtcbiAgY29uc3QgZmlyc3RUeXBlTm9kZSA9IGZpcnN0VHlwZU5vZGVRdWVyeSh0eXBlRGVjbGFyYXRpb25Ob2RlKSxcbiAgICAgICAgc2Vjb25kVHlwZU5vZGUgPSBzZWNvbmRUeXBlTm9kZVF1ZXJ5KHR5cGVEZWNsYXJhdGlvbk5vZGUpLFxuICAgICAgICB0eXBlTm9kZSA9IGZpcnN0VHlwZU5vZGUsIC8vL1xuICAgICAgICBzdXBlclR5cGVOb2RlID0gc2Vjb25kVHlwZU5vZGUsIC8vL1xuICAgICAgICB0eXBlVmVyaWZpZWQgPSB2ZXJpZnlUeXBlKHR5cGVOb2RlLCBzdXBlclR5cGVOb2RlLCBjb250ZXh0KSxcbiAgICAgICAgdHlwZURlY2xhcmF0aW9uVmVyaWZpZWQgPSB0eXBlVmVyaWZpZWQ7IC8vL1xuXG4gIHJldHVybiB0eXBlRGVjbGFyYXRpb25WZXJpZmllZDtcbn1cbiJdLCJuYW1lcyI6WyJ2ZXJpZnlUeXBlRGVjbGFyYXRpb24iLCJmaXJzdFR5cGVOb2RlUXVlcnkiLCJub2RlUXVlcnkiLCJzZWNvbmRUeXBlTm9kZVF1ZXJ5IiwidHlwZURlY2xhcmF0aW9uTm9kZSIsImNvbnRleHQiLCJmaXJzdFR5cGVOb2RlIiwic2Vjb25kVHlwZU5vZGUiLCJ0eXBlTm9kZSIsInN1cGVyVHlwZU5vZGUiLCJ0eXBlVmVyaWZpZWQiLCJ2ZXJpZnlUeXBlIiwidHlwZURlY2xhcmF0aW9uVmVyaWZpZWQiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQVNBOzs7ZUFBd0JBOzs7eURBUEQ7cUJBRUc7Ozs7OztBQUUxQixJQUFNQyxxQkFBcUJDLElBQUFBLGdCQUFTLEVBQUMsNkJBQy9CQyxzQkFBc0JELElBQUFBLGdCQUFTLEVBQUM7QUFFdkIsU0FBU0Ysc0JBQXNCSSxtQkFBbUIsRUFBRUMsT0FBTyxFQUFFO0lBQzFFLElBQU1DLGdCQUFnQkwsbUJBQW1CRyxzQkFDbkNHLGlCQUFpQkosb0JBQW9CQyxzQkFDckNJLFdBQVdGLGVBQ1hHLGdCQUFnQkYsZ0JBQ2hCRyxlQUFlQyxJQUFBQSxhQUFVLEVBQUNILFVBQVVDLGVBQWVKLFVBQ25ETywwQkFBMEJGLGNBQWMsR0FBRztJQUVqRCxPQUFPRTtBQUNUIn0=
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy92ZXJpZnkvZGVjbGFyYXRpb24vdHlwZS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHZlcmlmeVR5cGUgZnJvbSBcIi4uLy4uL3ZlcmlmeS90eXBlXCI7XG5cbmltcG9ydCB7IG5vZGVRdWVyeSB9IGZyb20gXCIuLi8uLi91dGlsaXRpZXMvcXVlcnlcIjtcblxuY29uc3QgZmlyc3RUeXBlTm9kZVF1ZXJ5ID0gbm9kZVF1ZXJ5KFwiL3R5cGVEZWNsYXJhdGlvbi90eXBlWzBdXCIpLFxuICAgICAgc2Vjb25kVHlwZU5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi90eXBlRGVjbGFyYXRpb24vdHlwZVsxXVwiKTtcblxuZXhwb3J0IGRlZmF1bHQgZnVuY3Rpb24gdmVyaWZ5VHlwZURlY2xhcmF0aW9uKHR5cGVEZWNsYXJhdGlvbk5vZGUsIGZpbGVDb250ZXh0KSB7XG4gIGxldCB0eXBlRGVjbGFyYXRpb25WZXJpZmllZDtcblxuICBmaWxlQ29udGV4dC5iZWdpbih0eXBlRGVjbGFyYXRpb25Ob2RlKTtcblxuICBjb25zdCBmaXJzdFR5cGVOb2RlID0gZmlyc3RUeXBlTm9kZVF1ZXJ5KHR5cGVEZWNsYXJhdGlvbk5vZGUpLFxuICAgICAgICBzZWNvbmRUeXBlTm9kZSA9IHNlY29uZFR5cGVOb2RlUXVlcnkodHlwZURlY2xhcmF0aW9uTm9kZSksXG4gICAgICAgIHR5cGVOb2RlID0gZmlyc3RUeXBlTm9kZSwgLy8vXG4gICAgICAgIHN1cGVyVHlwZU5vZGUgPSBzZWNvbmRUeXBlTm9kZTsgLy8vXG5cbiAgY29uc3QgdHlwZVZlcmlmaWVkID0gdmVyaWZ5VHlwZSh0eXBlTm9kZSwgc3VwZXJUeXBlTm9kZSwgZmlsZUNvbnRleHQpO1xuXG4gIHR5cGVEZWNsYXJhdGlvblZlcmlmaWVkID0gdHlwZVZlcmlmaWVkOyAvLy9cblxuICB0eXBlRGVjbGFyYXRpb25WZXJpZmllZCA/XG4gICAgZmlsZUNvbnRleHQuY29tcGxldGUodHlwZURlY2xhcmF0aW9uTm9kZSkgOlxuICAgICAgZmlsZUNvbnRleHQuaGFsdCh0eXBlRGVjbGFyYXRpb25Ob2RlKTtcblxuICByZXR1cm4gdHlwZURlY2xhcmF0aW9uVmVyaWZpZWQ7XG59XG4iXSwibmFtZXMiOlsidmVyaWZ5VHlwZURlY2xhcmF0aW9uIiwiZmlyc3RUeXBlTm9kZVF1ZXJ5Iiwibm9kZVF1ZXJ5Iiwic2Vjb25kVHlwZU5vZGVRdWVyeSIsInR5cGVEZWNsYXJhdGlvbk5vZGUiLCJmaWxlQ29udGV4dCIsInR5cGVEZWNsYXJhdGlvblZlcmlmaWVkIiwiYmVnaW4iLCJmaXJzdFR5cGVOb2RlIiwic2Vjb25kVHlwZU5vZGUiLCJ0eXBlTm9kZSIsInN1cGVyVHlwZU5vZGUiLCJ0eXBlVmVyaWZpZWQiLCJ2ZXJpZnlUeXBlIiwiY29tcGxldGUiLCJoYWx0Il0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFTQTs7O2VBQXdCQTs7O3lEQVBEO3FCQUVHOzs7Ozs7QUFFMUIsSUFBTUMscUJBQXFCQyxJQUFBQSxnQkFBUyxFQUFDLDZCQUMvQkMsc0JBQXNCRCxJQUFBQSxnQkFBUyxFQUFDO0FBRXZCLFNBQVNGLHNCQUFzQkksbUJBQW1CLEVBQUVDLFdBQVcsRUFBRTtJQUM5RSxJQUFJQztJQUVKRCxZQUFZRSxLQUFLLENBQUNIO0lBRWxCLElBQU1JLGdCQUFnQlAsbUJBQW1CRyxzQkFDbkNLLGlCQUFpQk4sb0JBQW9CQyxzQkFDckNNLFdBQVdGLGVBQ1hHLGdCQUFnQkYsZ0JBQWdCLEdBQUc7SUFFekMsSUFBTUcsZUFBZUMsSUFBQUEsYUFBVSxFQUFDSCxVQUFVQyxlQUFlTjtJQUV6REMsMEJBQTBCTSxjQUFjLEdBQUc7SUFFM0NOLDBCQUNFRCxZQUFZUyxRQUFRLENBQUNWLHVCQUNuQkMsWUFBWVUsSUFBSSxDQUFDWCxvQkFBb0I7SUFFekMsT0FBT0U7QUFDVCJ9

package/lib/verify/declaration/variable.js

@@ -16,9 +16,13 @@ function _interopRequireDefault(obj) {
     };
 }
 var typeNodeQuery = (0, _query.nodeQuery)("/variableDeclaration/type"), variableNodeQuery = (0, _query.nodeQuery)("/variableDeclaration/variable");
-function verifyVariableDeclaration(variableDeclarationNode, context) {
-    var typeNode = typeNodeQuery(variableDeclarationNode), variableNode = variableNodeQuery(variableDeclarationNode), variableVVerified = (0, _variable.default)(variableNode, typeNode, context), variableDeclarationVerified = variableVVerified; ///
+function verifyVariableDeclaration(variableDeclarationNode, fileContext) {
+    var variableDeclarationVerified;
+    fileContext.begin(variableDeclarationNode);
+    var typeNode = typeNodeQuery(variableDeclarationNode), variableNode = variableNodeQuery(variableDeclarationNode), variableVVerified = (0, _variable.default)(variableNode, typeNode, fileContext);
+    variableDeclarationVerified = variableVVerified; ///
+    variableDeclarationVerified ? fileContext.complete(variableDeclarationNode) : fileContext.halt(variableDeclarationNode);
     return variableDeclarationVerified;
 }
 
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy92ZXJpZnkvZGVjbGFyYXRpb24vdmFyaWFibGUuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB2ZXJpZnlWYXJpYWJsZSBmcm9tIFwiLi4vLi4vdmVyaWZ5L3ZhcmlhYmxlXCI7XG5cbmltcG9ydCB7IG5vZGVRdWVyeSB9IGZyb20gXCIuLi8uLi91dGlsaXRpZXMvcXVlcnlcIjtcblxuY29uc3QgdHlwZU5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi92YXJpYWJsZURlY2xhcmF0aW9uL3R5cGVcIiksXG4gICAgICB2YXJpYWJsZU5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi92YXJpYWJsZURlY2xhcmF0aW9uL3ZhcmlhYmxlXCIpO1xuXG5leHBvcnQgZGVmYXVsdCBmdW5jdGlvbiB2ZXJpZnlWYXJpYWJsZURlY2xhcmF0aW9uKHZhcmlhYmxlRGVjbGFyYXRpb25Ob2RlLCBjb250ZXh0KSB7XG4gIGNvbnN0IHR5cGVOb2RlID0gdHlwZU5vZGVRdWVyeSh2YXJpYWJsZURlY2xhcmF0aW9uTm9kZSksXG4gICAgICAgIHZhcmlhYmxlTm9kZSA9IHZhcmlhYmxlTm9kZVF1ZXJ5KHZhcmlhYmxlRGVjbGFyYXRpb25Ob2RlKSxcbiAgICAgICAgdmFyaWFibGVWVmVyaWZpZWQgPSB2ZXJpZnlWYXJpYWJsZSh2YXJpYWJsZU5vZGUsIHR5cGVOb2RlLCBjb250ZXh0KSxcbiAgICAgICAgdmFyaWFibGVEZWNsYXJhdGlvblZlcmlmaWVkID0gdmFyaWFibGVWVmVyaWZpZWQ7ICAvLy9cblxuICByZXR1cm4gdmFyaWFibGVEZWNsYXJhdGlvblZlcmlmaWVkO1xufVxuIl0sIm5hbWVzIjpbInZlcmlmeVZhcmlhYmxlRGVjbGFyYXRpb24iLCJ0eXBlTm9kZVF1ZXJ5Iiwibm9kZVF1ZXJ5IiwidmFyaWFibGVOb2RlUXVlcnkiLCJ2YXJpYWJsZURlY2xhcmF0aW9uTm9kZSIsImNvbnRleHQiLCJ0eXBlTm9kZSIsInZhcmlhYmxlTm9kZSIsInZhcmlhYmxlVlZlcmlmaWVkIiwidmVyaWZ5VmFyaWFibGUiLCJ2YXJpYWJsZURlY2xhcmF0aW9uVmVyaWZpZWQiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQVNBOzs7ZUFBd0JBOzs7NkRBUEc7cUJBRUQ7Ozs7OztBQUUxQixJQUFNQyxnQkFBZ0JDLElBQUFBLGdCQUFTLEVBQUMsOEJBQzFCQyxvQkFBb0JELElBQUFBLGdCQUFTLEVBQUM7QUFFckIsU0FBU0YsMEJBQTBCSSx1QkFBdUIsRUFBRUMsT0FBTyxFQUFFO0lBQ2xGLElBQU1DLFdBQVdMLGNBQWNHLDBCQUN6QkcsZUFBZUosa0JBQWtCQywwQkFDakNJLG9CQUFvQkMsSUFBQUEsaUJBQWMsRUFBQ0YsY0FBY0QsVUFBVUQsVUFDM0RLLDhCQUE4QkYsbUJBQW9CLEdBQUc7SUFFM0QsT0FBT0U7QUFDVCJ9
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy92ZXJpZnkvZGVjbGFyYXRpb24vdmFyaWFibGUuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB2ZXJpZnlWYXJpYWJsZSBmcm9tIFwiLi4vLi4vdmVyaWZ5L3ZhcmlhYmxlXCI7XG5cbmltcG9ydCB7IG5vZGVRdWVyeSB9IGZyb20gXCIuLi8uLi91dGlsaXRpZXMvcXVlcnlcIjtcblxuY29uc3QgdHlwZU5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi92YXJpYWJsZURlY2xhcmF0aW9uL3R5cGVcIiksXG4gICAgICB2YXJpYWJsZU5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi92YXJpYWJsZURlY2xhcmF0aW9uL3ZhcmlhYmxlXCIpO1xuXG5leHBvcnQgZGVmYXVsdCBmdW5jdGlvbiB2ZXJpZnlWYXJpYWJsZURlY2xhcmF0aW9uKHZhcmlhYmxlRGVjbGFyYXRpb25Ob2RlLCBmaWxlQ29udGV4dCkge1xuICBsZXQgdmFyaWFibGVEZWNsYXJhdGlvblZlcmlmaWVkO1xuXG4gIGZpbGVDb250ZXh0LmJlZ2luKHZhcmlhYmxlRGVjbGFyYXRpb25Ob2RlKTtcblxuICBjb25zdCB0eXBlTm9kZSA9IHR5cGVOb2RlUXVlcnkodmFyaWFibGVEZWNsYXJhdGlvbk5vZGUpLFxuICAgICAgICB2YXJpYWJsZU5vZGUgPSB2YXJpYWJsZU5vZGVRdWVyeSh2YXJpYWJsZURlY2xhcmF0aW9uTm9kZSksXG4gICAgICAgIHZhcmlhYmxlVlZlcmlmaWVkID0gdmVyaWZ5VmFyaWFibGUodmFyaWFibGVOb2RlLCB0eXBlTm9kZSwgZmlsZUNvbnRleHQpO1xuXG4gIHZhcmlhYmxlRGVjbGFyYXRpb25WZXJpZmllZCA9IHZhcmlhYmxlVlZlcmlmaWVkOyAgLy8vXG5cbiAgdmFyaWFibGVEZWNsYXJhdGlvblZlcmlmaWVkID9cbiAgICBmaWxlQ29udGV4dC5jb21wbGV0ZSh2YXJpYWJsZURlY2xhcmF0aW9uTm9kZSkgOlxuICAgICAgZmlsZUNvbnRleHQuaGFsdCh2YXJpYWJsZURlY2xhcmF0aW9uTm9kZSk7XG5cbiAgcmV0dXJuIHZhcmlhYmxlRGVjbGFyYXRpb25WZXJpZmllZDtcbn1cbiJdLCJuYW1lcyI6WyJ2ZXJpZnlWYXJpYWJsZURlY2xhcmF0aW9uIiwidHlwZU5vZGVRdWVyeSIsIm5vZGVRdWVyeSIsInZhcmlhYmxlTm9kZVF1ZXJ5IiwidmFyaWFibGVEZWNsYXJhdGlvbk5vZGUiLCJmaWxlQ29udGV4dCIsInZhcmlhYmxlRGVjbGFyYXRpb25WZXJpZmllZCIsImJlZ2luIiwidHlwZU5vZGUiLCJ2YXJpYWJsZU5vZGUiLCJ2YXJpYWJsZVZWZXJpZmllZCIsInZlcmlmeVZhcmlhYmxlIiwiY29tcGxldGUiLCJoYWx0Il0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFTQTs7O2VBQXdCQTs7OzZEQVBHO3FCQUVEOzs7Ozs7QUFFMUIsSUFBTUMsZ0JBQWdCQyxJQUFBQSxnQkFBUyxFQUFDLDhCQUMxQkMsb0JBQW9CRCxJQUFBQSxnQkFBUyxFQUFDO0FBRXJCLFNBQVNGLDBCQUEwQkksdUJBQXVCLEVBQUVDLFdBQVcsRUFBRTtJQUN0RixJQUFJQztJQUVKRCxZQUFZRSxLQUFLLENBQUNIO0lBRWxCLElBQU1JLFdBQVdQLGNBQWNHLDBCQUN6QkssZUFBZU4sa0JBQWtCQywwQkFDakNNLG9CQUFvQkMsSUFBQUEsaUJBQWMsRUFBQ0YsY0FBY0QsVUFBVUg7SUFFakVDLDhCQUE4QkksbUJBQW9CLEdBQUc7SUFFckRKLDhCQUNFRCxZQUFZTyxRQUFRLENBQUNSLDJCQUNuQkMsWUFBWVEsSUFBSSxDQUFDVCx3QkFBd0I7SUFFN0MsT0FBT0U7QUFDVCJ9

package/lib/verify/equality.js

@@ -17,15 +17,16 @@ function _interopRequireDefault(obj) {
     };
 }
 var firstTermNodeQuery = (0, _query.nodeQuery)("/equality/term[0]"), secondTermNodeQuery = (0, _query.nodeQuery)("/equality/term[1]");
-function verifyEquality(equalityNode, context) {
+function verifyEquality(equalityNode, proofContext) {
     var equalityVerified = false;
-    var types = [], values = [], firstTermNode = firstTermNodeQuery(equalityNode), secondTermNode = secondTermNodeQuery(equalityNode), firstTermVerified = (0, _term.default)(firstTermNode, types, values, context), secondTermVerified = (0, _term.default)(secondTermNode, types, values, context);
+    proofContext.begin(equalityNode);
+    var types = [], values = [], context = proofContext, firstTermNode = firstTermNodeQuery(equalityNode), secondTermNode = secondTermNodeQuery(equalityNode), firstTermVerified = (0, _term.default)(firstTermNode, types, values, context), secondTermVerified = (0, _term.default)(secondTermNode, types, values, context);
     if (firstTermVerified && secondTermVerified) {
         var firstType = (0, _array.first)(types), secondType = (0, _array.second)(types), firstTypeEqualToSubTypeOfOrSuperTypeOfSecondType = firstType.isEqualToSubTypeOfOrSuperTypeOf(secondType);
         if (firstTypeEqualToSubTypeOfOrSuperTypeOfSecondType) {
-            var derived = context.isDerived();
+            var derived = proofContext.isDerived();
             if (derived) {
-                var termsEqual = equateTerms(firstTermNode, secondTermNode, context);
+                var termsEqual = equateTerms(firstTermNode, secondTermNode, proofContext);
                 if (termsEqual) {
                     equalityVerified = true;
                 }
@@ -34,12 +35,13 @@ function verifyEquality(equalityNode, context) {
             }
         }
     }
+    equalityVerified ? proofContext.complete(equalityNode) : proofContext.halt(equalityNode);
     return equalityVerified;
 }
-function equateTerms(firstTermNode, secondTermNode, context) {
+function equateTerms(firstTermNode, secondTermNode, proofContext) {
     var termsEqual = true; ///
     debugger;
     return termsEqual;
 }
 
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy92ZXJpZnkvZXF1YWxpdHkuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB2ZXJpZnlUZXJtIGZyb20gXCIuLi92ZXJpZnkvdGVybVwiO1xuXG5pbXBvcnQgeyBub2RlUXVlcnkgfSBmcm9tIFwiLi4vdXRpbGl0aWVzL3F1ZXJ5XCI7XG5pbXBvcnQgeyBmaXJzdCwgc2Vjb25kIH0gZnJvbSBcIi4uL3V0aWxpdGllcy9hcnJheVwiO1xuXG5jb25zdCBmaXJzdFRlcm1Ob2RlUXVlcnkgPSBub2RlUXVlcnkoXCIvZXF1YWxpdHkvdGVybVswXVwiKSxcbiAgICAgIHNlY29uZFRlcm1Ob2RlUXVlcnkgPSBub2RlUXVlcnkoXCIvZXF1YWxpdHkvdGVybVsxXVwiKTtcblxuZXhwb3J0IGRlZmF1bHQgZnVuY3Rpb24gdmVyaWZ5RXF1YWxpdHkoZXF1YWxpdHlOb2RlLCBjb250ZXh0KSB7XG4gIGxldCBlcXVhbGl0eVZlcmlmaWVkID0gZmFsc2U7XG5cbiAgY29uc3QgdHlwZXMgPSBbXSxcbiAgICAgICAgdmFsdWVzID0gW10sXG4gICAgICAgIGZpcnN0VGVybU5vZGUgPSBmaXJzdFRlcm1Ob2RlUXVlcnkoZXF1YWxpdHlOb2RlKSxcbiAgICAgICAgc2Vjb25kVGVybU5vZGUgPSBzZWNvbmRUZXJtTm9kZVF1ZXJ5KGVxdWFsaXR5Tm9kZSksXG4gICAgICAgIGZpcnN0VGVybVZlcmlmaWVkID0gdmVyaWZ5VGVybShmaXJzdFRlcm1Ob2RlLCB0eXBlcywgdmFsdWVzLCBjb250ZXh0KSxcbiAgICAgICAgc2Vjb25kVGVybVZlcmlmaWVkID0gdmVyaWZ5VGVybShzZWNvbmRUZXJtTm9kZSwgdHlwZXMsIHZhbHVlcywgY29udGV4dCk7XG5cbiAgaWYgKGZpcnN0VGVybVZlcmlmaWVkICYmIHNlY29uZFRlcm1WZXJpZmllZCkge1xuICAgIGNvbnN0IGZpcnN0VHlwZSA9IGZpcnN0KHR5cGVzKSxcbiAgICAgICAgICBzZWNvbmRUeXBlID0gc2Vjb25kKHR5cGVzKSxcbiAgICAgICAgICBmaXJzdFR5cGVFcXVhbFRvU3ViVHlwZU9mT3JTdXBlclR5cGVPZlNlY29uZFR5cGUgPSBmaXJzdFR5cGUuaXNFcXVhbFRvU3ViVHlwZU9mT3JTdXBlclR5cGVPZihzZWNvbmRUeXBlKTtcblxuICAgIGlmIChmaXJzdFR5cGVFcXVhbFRvU3ViVHlwZU9mT3JTdXBlclR5cGVPZlNlY29uZFR5cGUpIHtcbiAgICAgIGNvbnN0IGRlcml2ZWQgPSBjb250ZXh0LmlzRGVyaXZlZCgpO1xuXG4gICAgICBpZiAoZGVyaXZlZCkge1xuICAgICAgICBjb25zdCB0ZXJtc0VxdWFsID0gZXF1YXRlVGVybXMoZmlyc3RUZXJtTm9kZSwgc2Vjb25kVGVybU5vZGUsIGNvbnRleHQpO1xuXG4gICAgICAgIGlmICh0ZXJtc0VxdWFsKSB7XG4gICAgICAgICAgZXF1YWxpdHlWZXJpZmllZCA9IHRydWU7XG4gICAgICAgIH1cbiAgICAgIH0gZWxzZSB7XG4gICAgICAgIGVxdWFsaXR5VmVyaWZpZWQgPSB0cnVlO1xuICAgICAgfVxuICAgIH1cbiAgfVxuXG4gIHJldHVybiBlcXVhbGl0eVZlcmlmaWVkO1xufVxuXG5mdW5jdGlvbiBlcXVhdGVUZXJtcyhmaXJzdFRlcm1Ob2RlLCBzZWNvbmRUZXJtTm9kZSwgY29udGV4dCkge1xuICBsZXQgdGVybXNFcXVhbCA9IHRydWU7ICAvLy9cblxuICBkZWJ1Z2dlclxuXG4gIHJldHVybiB0ZXJtc0VxdWFsO1xufSJdLCJuYW1lcyI6WyJ2ZXJpZnlFcXVhbGl0eSIsImZpcnN0VGVybU5vZGVRdWVyeSIsIm5vZGVRdWVyeSIsInNlY29uZFRlcm1Ob2RlUXVlcnkiLCJlcXVhbGl0eU5vZGUiLCJjb250ZXh0IiwiZXF1YWxpdHlWZXJpZmllZCIsInR5cGVzIiwidmFsdWVzIiwiZmlyc3RUZXJtTm9kZSIsInNlY29uZFRlcm1Ob2RlIiwiZmlyc3RUZXJtVmVyaWZpZWQiLCJ2ZXJpZnlUZXJtIiwic2Vjb25kVGVybVZlcmlmaWVkIiwiZmlyc3RUeXBlIiwiZmlyc3QiLCJzZWNvbmRUeXBlIiwic2Vjb25kIiwiZmlyc3RUeXBlRXF1YWxUb1N1YlR5cGVPZk9yU3VwZXJUeXBlT2ZTZWNvbmRUeXBlIiwiaXNFcXVhbFRvU3ViVHlwZU9mT3JTdXBlclR5cGVPZiIsImRlcml2ZWQiLCJpc0Rlcml2ZWQiLCJ0ZXJtc0VxdWFsIiwiZXF1YXRlVGVybXMiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQVVBOzs7ZUFBd0JBOzs7eURBUkQ7cUJBRUc7cUJBQ0k7Ozs7OztBQUU5QixJQUFNQyxxQkFBcUJDLElBQUFBLGdCQUFTLEVBQUMsc0JBQy9CQyxzQkFBc0JELElBQUFBLGdCQUFTLEVBQUM7QUFFdkIsU0FBU0YsZUFBZUksWUFBWSxFQUFFQyxPQUFPLEVBQUU7SUFDNUQsSUFBSUMsbUJBQW1CLEtBQUs7SUFFNUIsSUFBTUMsUUFBUSxFQUFFLEVBQ1ZDLFNBQVMsRUFBRSxFQUNYQyxnQkFBZ0JSLG1CQUFtQkcsZUFDbkNNLGlCQUFpQlAsb0JBQW9CQyxlQUNyQ08sb0JBQW9CQyxJQUFBQSxhQUFVLEVBQUNILGVBQWVGLE9BQU9DLFFBQVFILFVBQzdEUSxxQkFBcUJELElBQUFBLGFBQVUsRUFBQ0YsZ0JBQWdCSCxPQUFPQyxRQUFRSDtJQUVyRSxJQUFJTSxxQkFBcUJFLG9CQUFvQjtRQUMzQyxJQUFNQyxZQUFZQyxJQUFBQSxZQUFLLEVBQUNSLFFBQ2xCUyxhQUFhQyxJQUFBQSxhQUFNLEVBQUNWLFFBQ3BCVyxtREFBbURKLFVBQVVLLCtCQUErQixDQUFDSDtRQUVuRyxJQUFJRSxrREFBa0Q7WUFDcEQsSUFBTUUsVUFBVWYsUUFBUWdCLFNBQVM7WUFFakMsSUFBSUQsU0FBUztnQkFDWCxJQUFNRSxhQUFhQyxZQUFZZCxlQUFlQyxnQkFBZ0JMO2dCQUU5RCxJQUFJaUIsWUFBWTtvQkFDZGhCLG1CQUFtQixJQUFJO2dCQUN6QixDQUFDO1lBQ0gsT0FBTztnQkFDTEEsbUJBQW1CLElBQUk7WUFDekIsQ0FBQztRQUNILENBQUM7SUFDSCxDQUFDO0lBRUQsT0FBT0E7QUFDVDtBQUVBLFNBQVNpQixZQUFZZCxhQUFhLEVBQUVDLGNBQWMsRUFBRUwsT0FBTyxFQUFFO0lBQzNELElBQUlpQixhQUFhLElBQUksRUFBRyxHQUFHO0lBRTNCLFFBQVE7SUFFUixPQUFPQTtBQUNUIn0=
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy92ZXJpZnkvZXF1YWxpdHkuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB2ZXJpZnlUZXJtIGZyb20gXCIuLi92ZXJpZnkvdGVybVwiO1xuXG5pbXBvcnQgeyBub2RlUXVlcnkgfSBmcm9tIFwiLi4vdXRpbGl0aWVzL3F1ZXJ5XCI7XG5pbXBvcnQgeyBmaXJzdCwgc2Vjb25kIH0gZnJvbSBcIi4uL3V0aWxpdGllcy9hcnJheVwiO1xuXG5jb25zdCBmaXJzdFRlcm1Ob2RlUXVlcnkgPSBub2RlUXVlcnkoXCIvZXF1YWxpdHkvdGVybVswXVwiKSxcbiAgICAgIHNlY29uZFRlcm1Ob2RlUXVlcnkgPSBub2RlUXVlcnkoXCIvZXF1YWxpdHkvdGVybVsxXVwiKTtcblxuZXhwb3J0IGRlZmF1bHQgZnVuY3Rpb24gdmVyaWZ5RXF1YWxpdHkoZXF1YWxpdHlOb2RlLCBwcm9vZkNvbnRleHQpIHtcbiAgbGV0IGVxdWFsaXR5VmVyaWZpZWQgPSBmYWxzZTtcblxuICBwcm9vZkNvbnRleHQuYmVnaW4oZXF1YWxpdHlOb2RlKTtcblxuICBjb25zdCB0eXBlcyA9IFtdLFxuICAgICAgICB2YWx1ZXMgPSBbXSxcbiAgICAgICAgY29udGV4dCA9IHByb29mQ29udGV4dCxcbiAgICAgICAgZmlyc3RUZXJtTm9kZSA9IGZpcnN0VGVybU5vZGVRdWVyeShlcXVhbGl0eU5vZGUpLFxuICAgICAgICBzZWNvbmRUZXJtTm9kZSA9IHNlY29uZFRlcm1Ob2RlUXVlcnkoZXF1YWxpdHlOb2RlKSxcbiAgICAgICAgZmlyc3RUZXJtVmVyaWZpZWQgPSB2ZXJpZnlUZXJtKGZpcnN0VGVybU5vZGUsIHR5cGVzLCB2YWx1ZXMsIGNvbnRleHQpLFxuICAgICAgICBzZWNvbmRUZXJtVmVyaWZpZWQgPSB2ZXJpZnlUZXJtKHNlY29uZFRlcm1Ob2RlLCB0eXBlcywgdmFsdWVzLCBjb250ZXh0KTtcblxuICBpZiAoZmlyc3RUZXJtVmVyaWZpZWQgJiYgc2Vjb25kVGVybVZlcmlmaWVkKSB7XG4gICAgY29uc3QgZmlyc3RUeXBlID0gZmlyc3QodHlwZXMpLFxuICAgICAgICAgIHNlY29uZFR5cGUgPSBzZWNvbmQodHlwZXMpLFxuICAgICAgICAgIGZpcnN0VHlwZUVxdWFsVG9TdWJUeXBlT2ZPclN1cGVyVHlwZU9mU2Vjb25kVHlwZSA9IGZpcnN0VHlwZS5pc0VxdWFsVG9TdWJUeXBlT2ZPclN1cGVyVHlwZU9mKHNlY29uZFR5cGUpO1xuXG4gICAgaWYgKGZpcnN0VHlwZUVxdWFsVG9TdWJUeXBlT2ZPclN1cGVyVHlwZU9mU2Vjb25kVHlwZSkge1xuICAgICAgY29uc3QgZGVyaXZlZCA9IHByb29mQ29udGV4dC5pc0Rlcml2ZWQoKTtcblxuICAgICAgaWYgKGRlcml2ZWQpIHtcbiAgICAgICAgY29uc3QgdGVybXNFcXVhbCA9IGVxdWF0ZVRlcm1zKGZpcnN0VGVybU5vZGUsIHNlY29uZFRlcm1Ob2RlLCBwcm9vZkNvbnRleHQpO1xuXG4gICAgICAgIGlmICh0ZXJtc0VxdWFsKSB7XG4gICAgICAgICAgZXF1YWxpdHlWZXJpZmllZCA9IHRydWU7XG4gICAgICAgIH1cbiAgICAgIH0gZWxzZSB7XG4gICAgICAgIGVxdWFsaXR5VmVyaWZpZWQgPSB0cnVlO1xuICAgICAgfVxuICAgIH1cbiAgfVxuXG4gIGVxdWFsaXR5VmVyaWZpZWQgP1xuICAgIHByb29mQ29udGV4dC5jb21wbGV0ZShlcXVhbGl0eU5vZGUpIDpcbiAgICAgIHByb29mQ29udGV4dC5oYWx0KGVxdWFsaXR5Tm9kZSk7XG5cbiAgcmV0dXJuIGVxdWFsaXR5VmVyaWZpZWQ7XG59XG5cbmZ1bmN0aW9uIGVxdWF0ZVRlcm1zKGZpcnN0VGVybU5vZGUsIHNlY29uZFRlcm1Ob2RlLCBwcm9vZkNvbnRleHQpIHtcbiAgbGV0IHRlcm1zRXF1YWwgPSB0cnVlOyAgLy8vXG5cbiAgZGVidWdnZXJcblxuICByZXR1cm4gdGVybXNFcXVhbDtcbn0iXSwibmFtZXMiOlsidmVyaWZ5RXF1YWxpdHkiLCJmaXJzdFRlcm1Ob2RlUXVlcnkiLCJub2RlUXVlcnkiLCJzZWNvbmRUZXJtTm9kZVF1ZXJ5IiwiZXF1YWxpdHlOb2RlIiwicHJvb2ZDb250ZXh0IiwiZXF1YWxpdHlWZXJpZmllZCIsImJlZ2luIiwidHlwZXMiLCJ2YWx1ZXMiLCJjb250ZXh0IiwiZmlyc3RUZXJtTm9kZSIsInNlY29uZFRlcm1Ob2RlIiwiZmlyc3RUZXJtVmVyaWZpZWQiLCJ2ZXJpZnlUZXJtIiwic2Vjb25kVGVybVZlcmlmaWVkIiwiZmlyc3RUeXBlIiwiZmlyc3QiLCJzZWNvbmRUeXBlIiwic2Vjb25kIiwiZmlyc3RUeXBlRXF1YWxUb1N1YlR5cGVPZk9yU3VwZXJUeXBlT2ZTZWNvbmRUeXBlIiwiaXNFcXVhbFRvU3ViVHlwZU9mT3JTdXBlclR5cGVPZiIsImRlcml2ZWQiLCJpc0Rlcml2ZWQiLCJ0ZXJtc0VxdWFsIiwiZXF1YXRlVGVybXMiLCJjb21wbGV0ZSIsImhhbHQiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQVVBOzs7ZUFBd0JBOzs7eURBUkQ7cUJBRUc7cUJBQ0k7Ozs7OztBQUU5QixJQUFNQyxxQkFBcUJDLElBQUFBLGdCQUFTLEVBQUMsc0JBQy9CQyxzQkFBc0JELElBQUFBLGdCQUFTLEVBQUM7QUFFdkIsU0FBU0YsZUFBZUksWUFBWSxFQUFFQyxZQUFZLEVBQUU7SUFDakUsSUFBSUMsbUJBQW1CLEtBQUs7SUFFNUJELGFBQWFFLEtBQUssQ0FBQ0g7SUFFbkIsSUFBTUksUUFBUSxFQUFFLEVBQ1ZDLFNBQVMsRUFBRSxFQUNYQyxVQUFVTCxjQUNWTSxnQkFBZ0JWLG1CQUFtQkcsZUFDbkNRLGlCQUFpQlQsb0JBQW9CQyxlQUNyQ1Msb0JBQW9CQyxJQUFBQSxhQUFVLEVBQUNILGVBQWVILE9BQU9DLFFBQVFDLFVBQzdESyxxQkFBcUJELElBQUFBLGFBQVUsRUFBQ0YsZ0JBQWdCSixPQUFPQyxRQUFRQztJQUVyRSxJQUFJRyxxQkFBcUJFLG9CQUFvQjtRQUMzQyxJQUFNQyxZQUFZQyxJQUFBQSxZQUFLLEVBQUNULFFBQ2xCVSxhQUFhQyxJQUFBQSxhQUFNLEVBQUNYLFFBQ3BCWSxtREFBbURKLFVBQVVLLCtCQUErQixDQUFDSDtRQUVuRyxJQUFJRSxrREFBa0Q7WUFDcEQsSUFBTUUsVUFBVWpCLGFBQWFrQixTQUFTO1lBRXRDLElBQUlELFNBQVM7Z0JBQ1gsSUFBTUUsYUFBYUMsWUFBWWQsZUFBZUMsZ0JBQWdCUDtnQkFFOUQsSUFBSW1CLFlBQVk7b0JBQ2RsQixtQkFBbUIsSUFBSTtnQkFDekIsQ0FBQztZQUNILE9BQU87Z0JBQ0xBLG1CQUFtQixJQUFJO1lBQ3pCLENBQUM7UUFDSCxDQUFDO0lBQ0gsQ0FBQztJQUVEQSxtQkFDRUQsYUFBYXFCLFFBQVEsQ0FBQ3RCLGdCQUNwQkMsYUFBYXNCLElBQUksQ0FBQ3ZCLGFBQWE7SUFFbkMsT0FBT0U7QUFDVDtBQUVBLFNBQVNtQixZQUFZZCxhQUFhLEVBQUVDLGNBQWMsRUFBRVAsWUFBWSxFQUFFO0lBQ2hFLElBQUltQixhQUFhLElBQUksRUFBRyxHQUFHO0lBRTNCLFFBQVE7SUFFUixPQUFPQTtBQUNUIn0=

package/lib/verify/file.js

@@ -9,8 +9,7 @@ Object.defineProperty(exports, "default", {
     }
 });
 var _file = /*#__PURE__*/ _interopRequireDefault(require("../context/file"));
-var _release = /*#__PURE__*/ _interopRequireDefault(require("../context/release"));
-var _topLevel = /*#__PURE__*/ _interopRequireDefault(require("../verify/declaration/topLevel"));
+var _topLevel = /*#__PURE__*/ _interopRequireDefault(require("./declaration/topLevel"));
 var _query = require("../utilities/query");
 function _interopRequireDefault(obj) {
     return obj && obj.__esModule ? obj : {
@@ -18,22 +17,21 @@ function _interopRequireDefault(obj) {
     };
 }
 var topLevelDeclarationNodesQuery = (0, _query.nodesQuery)("/document/topLevelDeclaration");
-function verifyFile(filePath) {
-    var releaseContext = arguments.length > 1 && arguments[1] !== void 0 ? arguments[1] : _release.default.fromNothing();
-    var fileVerified = false;
+function verifyFile(filePath, releaseContext) {
+    var fileVerified;
     releaseContext.debug("Verifying the '".concat(filePath, "' file..."));
-    var fileContext = _file.default.fromReleaseContextAndFilePath(releaseContext, filePath), context = fileContext, node = fileContext.getNode(), topLevelDeclarationNodes = topLevelDeclarationNodesQuery(node), topLevelDeclarationsVerified = topLevelDeclarationNodes.every(function(topLevelDeclarationNode) {
-        var topLevelDeclarationVerified = (0, _topLevel.default)(topLevelDeclarationNode, context);
+    var fileContext = _file.default.fromReleaseContextAndFilePath(releaseContext, filePath), node = fileContext.getNode(), topLevelDeclarationNodes = topLevelDeclarationNodesQuery(node), topLevelDeclarationsVerified = topLevelDeclarationNodes.every(function(topLevelDeclarationNode) {
+        var topLevelDeclarationVerified = (0, _topLevel.default)(topLevelDeclarationNode, fileContext);
         if (topLevelDeclarationVerified) {
             return true;
         }
     });
+    fileVerified = topLevelDeclarationsVerified; ///
     if (topLevelDeclarationsVerified) {
         releaseContext.addFileContext(fileContext);
-        fileVerified = true;
         releaseContext.info("Verified the '".concat(filePath, "' file."));
     }
     return fileVerified;
 }
 
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy92ZXJpZnkvZmlsZS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IEZpbGVDb250ZXh0IGZyb20gXCIuLi9jb250ZXh0L2ZpbGVcIjtcbmltcG9ydCBSZWxlYXNlQ29udGV4dCBmcm9tIFwiLi4vY29udGV4dC9yZWxlYXNlXCI7XG5pbXBvcnQgdmVyaWZ5VG9wTGV2ZWxEZWNsYXJhdGlvbiBmcm9tIFwiLi4vdmVyaWZ5L2RlY2xhcmF0aW9uL3RvcExldmVsXCI7XG5cbmltcG9ydCB7IG5vZGVzUXVlcnkgfSBmcm9tIFwiLi4vdXRpbGl0aWVzL3F1ZXJ5XCI7XG5cbmNvbnN0IHRvcExldmVsRGVjbGFyYXRpb25Ob2Rlc1F1ZXJ5ID0gbm9kZXNRdWVyeShcIi9kb2N1bWVudC90b3BMZXZlbERlY2xhcmF0aW9uXCIpO1xuXG5leHBvcnQgZGVmYXVsdCBmdW5jdGlvbiB2ZXJpZnlGaWxlKGZpbGVQYXRoLCByZWxlYXNlQ29udGV4dCA9IFJlbGVhc2VDb250ZXh0LmZyb21Ob3RoaW5nKCkpIHtcbiAgbGV0IGZpbGVWZXJpZmllZCA9IGZhbHNlO1xuXG4gIHJlbGVhc2VDb250ZXh0LmRlYnVnKGBWZXJpZnlpbmcgdGhlICcke2ZpbGVQYXRofScgZmlsZS4uLmApO1xuXG4gIGNvbnN0IGZpbGVDb250ZXh0ID0gRmlsZUNvbnRleHQuZnJvbVJlbGVhc2VDb250ZXh0QW5kRmlsZVBhdGgocmVsZWFzZUNvbnRleHQsIGZpbGVQYXRoKSxcbiAgICAgICAgY29udGV4dCA9IGZpbGVDb250ZXh0LCAgLy8vXG4gICAgICAgIG5vZGUgPSBmaWxlQ29udGV4dC5nZXROb2RlKCksXG4gICAgICAgIHRvcExldmVsRGVjbGFyYXRpb25Ob2RlcyA9IHRvcExldmVsRGVjbGFyYXRpb25Ob2Rlc1F1ZXJ5KG5vZGUpLFxuICAgICAgICB0b3BMZXZlbERlY2xhcmF0aW9uc1ZlcmlmaWVkID0gdG9wTGV2ZWxEZWNsYXJhdGlvbk5vZGVzLmV2ZXJ5KCh0b3BMZXZlbERlY2xhcmF0aW9uTm9kZSkgPT4ge1xuICAgICAgICAgIGNvbnN0IHRvcExldmVsRGVjbGFyYXRpb25WZXJpZmllZCA9IHZlcmlmeVRvcExldmVsRGVjbGFyYXRpb24odG9wTGV2ZWxEZWNsYXJhdGlvbk5vZGUsIGNvbnRleHQpO1xuXG4gICAgICAgICAgaWYgKHRvcExldmVsRGVjbGFyYXRpb25WZXJpZmllZCkge1xuICAgICAgICAgICAgcmV0dXJuIHRydWU7XG4gICAgICAgICAgfVxuICAgICAgICB9KVxuXG4gIGlmICh0b3BMZXZlbERlY2xhcmF0aW9uc1ZlcmlmaWVkKSB7XG4gICAgcmVsZWFzZUNvbnRleHQuYWRkRmlsZUNvbnRleHQoZmlsZUNvbnRleHQpO1xuXG4gICAgZmlsZVZlcmlmaWVkID0gdHJ1ZTtcblxuICAgIHJlbGVhc2VDb250ZXh0LmluZm8oYFZlcmlmaWVkIHRoZSAnJHtmaWxlUGF0aH0nIGZpbGUuYCk7XG4gIH1cblxuICByZXR1cm4gZmlsZVZlcmlmaWVkO1xufVxuIl0sIm5hbWVzIjpbInZlcmlmeUZpbGUiLCJ0b3BMZXZlbERlY2xhcmF0aW9uTm9kZXNRdWVyeSIsIm5vZGVzUXVlcnkiLCJmaWxlUGF0aCIsInJlbGVhc2VDb250ZXh0IiwiUmVsZWFzZUNvbnRleHQiLCJmcm9tTm90aGluZyIsImZpbGVWZXJpZmllZCIsImRlYnVnIiwiZmlsZUNvbnRleHQiLCJGaWxlQ29udGV4dCIsImZyb21SZWxlYXNlQ29udGV4dEFuZEZpbGVQYXRoIiwiY29udGV4dCIsIm5vZGUiLCJnZXROb2RlIiwidG9wTGV2ZWxEZWNsYXJhdGlvbk5vZGVzIiwidG9wTGV2ZWxEZWNsYXJhdGlvbnNWZXJpZmllZCIsImV2ZXJ5IiwidG9wTGV2ZWxEZWNsYXJhdGlvbk5vZGUiLCJ0b3BMZXZlbERlY2xhcmF0aW9uVmVyaWZpZWQiLCJ2ZXJpZnlUb3BMZXZlbERlY2xhcmF0aW9uIiwiYWRkRmlsZUNvbnRleHQiLCJpbmZvIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFVQTs7O2VBQXdCQTs7O3lEQVJBOzREQUNHOzZEQUNXO3FCQUVYOzs7Ozs7QUFFM0IsSUFBTUMsZ0NBQWdDQyxJQUFBQSxpQkFBVSxFQUFDO0FBRWxDLFNBQVNGLFdBQVdHLFFBQVEsRUFBaUQ7UUFBL0NDLGlCQUFBQSxpRUFBaUJDLGdCQUFjLENBQUNDLFdBQVcsRUFBRTtJQUN4RixJQUFJQyxlQUFlLEtBQUs7SUFFeEJILGVBQWVJLEtBQUssQ0FBQyxBQUFDLGtCQUEwQixPQUFUTCxVQUFTO0lBRWhELElBQU1NLGNBQWNDLGFBQVcsQ0FBQ0MsNkJBQTZCLENBQUNQLGdCQUFnQkQsV0FDeEVTLFVBQVVILGFBQ1ZJLE9BQU9KLFlBQVlLLE9BQU8sSUFDMUJDLDJCQUEyQmQsOEJBQThCWSxPQUN6REcsK0JBQStCRCx5QkFBeUJFLEtBQUssQ0FBQyxTQUFDQyx5QkFBNEI7UUFDekYsSUFBTUMsOEJBQThCQyxJQUFBQSxpQkFBeUIsRUFBQ0YseUJBQXlCTjtRQUV2RixJQUFJTyw2QkFBNkI7WUFDL0IsT0FBTyxJQUFJO1FBQ2IsQ0FBQztJQUNIO0lBRU4sSUFBSUgsOEJBQThCO1FBQ2hDWixlQUFlaUIsY0FBYyxDQUFDWjtRQUU5QkYsZUFBZSxJQUFJO1FBRW5CSCxlQUFla0IsSUFBSSxDQUFDLEFBQUMsaUJBQXlCLE9BQVRuQixVQUFTO0lBQ2hELENBQUM7SUFFRCxPQUFPSTtBQUNUIn0=
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy92ZXJpZnkvZmlsZS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IEZpbGVDb250ZXh0IGZyb20gXCIuLi9jb250ZXh0L2ZpbGVcIjtcbmltcG9ydCB2ZXJpZnlUb3BMZXZlbERlY2xhcmF0aW9uIGZyb20gXCIuL2RlY2xhcmF0aW9uL3RvcExldmVsXCI7XG5cbmltcG9ydCB7IG5vZGVzUXVlcnkgfSBmcm9tIFwiLi4vdXRpbGl0aWVzL3F1ZXJ5XCI7XG5cbmNvbnN0IHRvcExldmVsRGVjbGFyYXRpb25Ob2Rlc1F1ZXJ5ID0gbm9kZXNRdWVyeShcIi9kb2N1bWVudC90b3BMZXZlbERlY2xhcmF0aW9uXCIpO1xuXG5leHBvcnQgZGVmYXVsdCBmdW5jdGlvbiB2ZXJpZnlGaWxlKGZpbGVQYXRoLCByZWxlYXNlQ29udGV4dCkge1xuICBsZXQgZmlsZVZlcmlmaWVkO1xuXG4gIHJlbGVhc2VDb250ZXh0LmRlYnVnKGBWZXJpZnlpbmcgdGhlICcke2ZpbGVQYXRofScgZmlsZS4uLmApO1xuXG4gIGNvbnN0IGZpbGVDb250ZXh0ID0gRmlsZUNvbnRleHQuZnJvbVJlbGVhc2VDb250ZXh0QW5kRmlsZVBhdGgocmVsZWFzZUNvbnRleHQsIGZpbGVQYXRoKSxcbiAgICAgICAgbm9kZSA9IGZpbGVDb250ZXh0LmdldE5vZGUoKSxcbiAgICAgICAgdG9wTGV2ZWxEZWNsYXJhdGlvbk5vZGVzID0gdG9wTGV2ZWxEZWNsYXJhdGlvbk5vZGVzUXVlcnkobm9kZSksXG4gICAgICAgIHRvcExldmVsRGVjbGFyYXRpb25zVmVyaWZpZWQgPSB0b3BMZXZlbERlY2xhcmF0aW9uTm9kZXMuZXZlcnkoKHRvcExldmVsRGVjbGFyYXRpb25Ob2RlKSA9PiB7XG4gICAgICAgICAgY29uc3QgdG9wTGV2ZWxEZWNsYXJhdGlvblZlcmlmaWVkID0gdmVyaWZ5VG9wTGV2ZWxEZWNsYXJhdGlvbih0b3BMZXZlbERlY2xhcmF0aW9uTm9kZSwgZmlsZUNvbnRleHQpO1xuXG4gICAgICAgICAgaWYgKHRvcExldmVsRGVjbGFyYXRpb25WZXJpZmllZCkge1xuICAgICAgICAgICAgcmV0dXJuIHRydWU7XG4gICAgICAgICAgfVxuICAgICAgICB9KVxuXG4gIGZpbGVWZXJpZmllZCA9IHRvcExldmVsRGVjbGFyYXRpb25zVmVyaWZpZWQ7ICAvLy9cblxuICBpZiAodG9wTGV2ZWxEZWNsYXJhdGlvbnNWZXJpZmllZCkge1xuICAgIHJlbGVhc2VDb250ZXh0LmFkZEZpbGVDb250ZXh0KGZpbGVDb250ZXh0KTtcblxuICAgIHJlbGVhc2VDb250ZXh0LmluZm8oYFZlcmlmaWVkIHRoZSAnJHtmaWxlUGF0aH0nIGZpbGUuYCk7XG4gIH1cblxuICByZXR1cm4gZmlsZVZlcmlmaWVkO1xufVxuIl0sIm5hbWVzIjpbInZlcmlmeUZpbGUiLCJ0b3BMZXZlbERlY2xhcmF0aW9uTm9kZXNRdWVyeSIsIm5vZGVzUXVlcnkiLCJmaWxlUGF0aCIsInJlbGVhc2VDb250ZXh0IiwiZmlsZVZlcmlmaWVkIiwiZGVidWciLCJmaWxlQ29udGV4dCIsIkZpbGVDb250ZXh0IiwiZnJvbVJlbGVhc2VDb250ZXh0QW5kRmlsZVBhdGgiLCJub2RlIiwiZ2V0Tm9kZSIsInRvcExldmVsRGVjbGFyYXRpb25Ob2RlcyIsInRvcExldmVsRGVjbGFyYXRpb25zVmVyaWZpZWQiLCJldmVyeSIsInRvcExldmVsRGVjbGFyYXRpb25Ob2RlIiwidG9wTGV2ZWxEZWNsYXJhdGlvblZlcmlmaWVkIiwidmVyaWZ5VG9wTGV2ZWxEZWNsYXJhdGlvbiIsImFkZEZpbGVDb250ZXh0IiwiaW5mbyJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBU0E7OztlQUF3QkE7Ozt5REFQQTs2REFDYztxQkFFWDs7Ozs7O0FBRTNCLElBQU1DLGdDQUFnQ0MsSUFBQUEsaUJBQVUsRUFBQztBQUVsQyxTQUFTRixXQUFXRyxRQUFRLEVBQUVDLGNBQWMsRUFBRTtJQUMzRCxJQUFJQztJQUVKRCxlQUFlRSxLQUFLLENBQUMsQUFBQyxrQkFBMEIsT0FBVEgsVUFBUztJQUVoRCxJQUFNSSxjQUFjQyxhQUFXLENBQUNDLDZCQUE2QixDQUFDTCxnQkFBZ0JELFdBQ3hFTyxPQUFPSCxZQUFZSSxPQUFPLElBQzFCQywyQkFBMkJYLDhCQUE4QlMsT0FDekRHLCtCQUErQkQseUJBQXlCRSxLQUFLLENBQUMsU0FBQ0MseUJBQTRCO1FBQ3pGLElBQU1DLDhCQUE4QkMsSUFBQUEsaUJBQXlCLEVBQUNGLHlCQUF5QlI7UUFFdkYsSUFBSVMsNkJBQTZCO1lBQy9CLE9BQU8sSUFBSTtRQUNiLENBQUM7SUFDSDtJQUVOWCxlQUFlUSw4QkFBK0IsR0FBRztJQUVqRCxJQUFJQSw4QkFBOEI7UUFDaENULGVBQWVjLGNBQWMsQ0FBQ1g7UUFFOUJILGVBQWVlLElBQUksQ0FBQyxBQUFDLGlCQUF5QixPQUFUaEIsVUFBUztJQUNoRCxDQUFDO0lBRUQsT0FBT0U7QUFDVCJ9

package/lib/verify/label.js

@@ -9,16 +9,18 @@ Object.defineProperty(exports, "default", {
     }
 });
 var _query = require("../utilities/query");
-function verifyLabel(labelNode, labels, context) {
+function verifyLabel(labelNode, labels, fileContext) {
     var labelVerified = false;
-    var labelName = (0, _query.labelNameFromLabelNode)(labelNode), label = labelName, labelPresent = context.isLabelPresent(label);
+    fileContext.begin(labelNode);
+    var labelName = (0, _query.labelNameFromLabelNode)(labelNode), label = labelName, labelPresent = fileContext.isLabelPresent(label);
     if (labelPresent) {
-        context.error("The label ".concat(label, " is already present"), labelNode);
+        fileContext.error("The label ".concat(label, " is already present"), labelNode);
     } else {
         labels.push(label);
         labelVerified = true;
     }
+    labelVerified ? fileContext.complete(labelNode) : fileContext.halt(labelNode);
     return labelVerified;
 }
 
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy92ZXJpZnkvbGFiZWwuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IGxhYmVsTmFtZUZyb21MYWJlbE5vZGUgfSBmcm9tIFwiLi4vdXRpbGl0aWVzL3F1ZXJ5XCI7XG5cbmV4cG9ydCBkZWZhdWx0IGZ1bmN0aW9uIHZlcmlmeUxhYmVsKGxhYmVsTm9kZSwgbGFiZWxzLCBjb250ZXh0KSB7XG4gIGxldCBsYWJlbFZlcmlmaWVkID0gZmFsc2U7XG5cbiAgY29uc3QgbGFiZWxOYW1lID0gbGFiZWxOYW1lRnJvbUxhYmVsTm9kZShsYWJlbE5vZGUpLFxuICAgICAgICBsYWJlbCA9IGxhYmVsTmFtZSwgIC8vL1xuICAgICAgICBsYWJlbFByZXNlbnQgPSBjb250ZXh0LmlzTGFiZWxQcmVzZW50KGxhYmVsKTtcblxuICBpZiAobGFiZWxQcmVzZW50KSB7XG4gICAgY29udGV4dC5lcnJvcihgVGhlIGxhYmVsICR7bGFiZWx9IGlzIGFscmVhZHkgcHJlc2VudGAsIGxhYmVsTm9kZSk7XG4gIH0gZWxzZSB7XG4gICAgbGFiZWxzLnB1c2gobGFiZWwpO1xuXG4gICAgbGFiZWxWZXJpZmllZCA9IHRydWU7XG4gIH1cblxuICByZXR1cm4gbGFiZWxWZXJpZmllZDtcbn1cbiJdLCJuYW1lcyI6WyJ2ZXJpZnlMYWJlbCIsImxhYmVsTm9kZSIsImxhYmVscyIsImNvbnRleHQiLCJsYWJlbFZlcmlmaWVkIiwibGFiZWxOYW1lIiwibGFiZWxOYW1lRnJvbUxhYmVsTm9kZSIsImxhYmVsIiwibGFiZWxQcmVzZW50IiwiaXNMYWJlbFByZXNlbnQiLCJlcnJvciIsInB1c2giXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQUlBOzs7ZUFBd0JBOzs7cUJBRmU7QUFFeEIsU0FBU0EsWUFBWUMsU0FBUyxFQUFFQyxNQUFNLEVBQUVDLE9BQU8sRUFBRTtJQUM5RCxJQUFJQyxnQkFBZ0IsS0FBSztJQUV6QixJQUFNQyxZQUFZQyxJQUFBQSw2QkFBc0IsRUFBQ0wsWUFDbkNNLFFBQVFGLFdBQ1JHLGVBQWVMLFFBQVFNLGNBQWMsQ0FBQ0Y7SUFFNUMsSUFBSUMsY0FBYztRQUNoQkwsUUFBUU8sS0FBSyxDQUFDLEFBQUMsYUFBa0IsT0FBTkgsT0FBTSx3QkFBc0JOO0lBQ3pELE9BQU87UUFDTEMsT0FBT1MsSUFBSSxDQUFDSjtRQUVaSCxnQkFBZ0IsSUFBSTtJQUN0QixDQUFDO0lBRUQsT0FBT0E7QUFDVCJ9
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy92ZXJpZnkvbGFiZWwuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IGxhYmVsTmFtZUZyb21MYWJlbE5vZGUgfSBmcm9tIFwiLi4vdXRpbGl0aWVzL3F1ZXJ5XCI7XG5cbmV4cG9ydCBkZWZhdWx0IGZ1bmN0aW9uIHZlcmlmeUxhYmVsKGxhYmVsTm9kZSwgbGFiZWxzLCBmaWxlQ29udGV4dCkge1xuICBsZXQgbGFiZWxWZXJpZmllZCA9IGZhbHNlO1xuXG4gIGZpbGVDb250ZXh0LmJlZ2luKGxhYmVsTm9kZSk7XG5cbiAgY29uc3QgbGFiZWxOYW1lID0gbGFiZWxOYW1lRnJvbUxhYmVsTm9kZShsYWJlbE5vZGUpLFxuICAgICAgICBsYWJlbCA9IGxhYmVsTmFtZSwgIC8vL1xuICAgICAgICBsYWJlbFByZXNlbnQgPSBmaWxlQ29udGV4dC5pc0xhYmVsUHJlc2VudChsYWJlbCk7XG5cbiAgaWYgKGxhYmVsUHJlc2VudCkge1xuICAgIGZpbGVDb250ZXh0LmVycm9yKGBUaGUgbGFiZWwgJHtsYWJlbH0gaXMgYWxyZWFkeSBwcmVzZW50YCwgbGFiZWxOb2RlKTtcbiAgfSBlbHNlIHtcbiAgICBsYWJlbHMucHVzaChsYWJlbCk7XG5cbiAgICBsYWJlbFZlcmlmaWVkID0gdHJ1ZTtcbiAgfVxuXG4gIGxhYmVsVmVyaWZpZWQgP1xuICAgIGZpbGVDb250ZXh0LmNvbXBsZXRlKGxhYmVsTm9kZSkgOlxuICAgICAgZmlsZUNvbnRleHQuaGFsdChsYWJlbE5vZGUpO1xuXG4gIHJldHVybiBsYWJlbFZlcmlmaWVkO1xufVxuIl0sIm5hbWVzIjpbInZlcmlmeUxhYmVsIiwibGFiZWxOb2RlIiwibGFiZWxzIiwiZmlsZUNvbnRleHQiLCJsYWJlbFZlcmlmaWVkIiwiYmVnaW4iLCJsYWJlbE5hbWUiLCJsYWJlbE5hbWVGcm9tTGFiZWxOb2RlIiwibGFiZWwiLCJsYWJlbFByZXNlbnQiLCJpc0xhYmVsUHJlc2VudCIsImVycm9yIiwicHVzaCIsImNvbXBsZXRlIiwiaGFsdCJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBSUE7OztlQUF3QkE7OztxQkFGZTtBQUV4QixTQUFTQSxZQUFZQyxTQUFTLEVBQUVDLE1BQU0sRUFBRUMsV0FBVyxFQUFFO0lBQ2xFLElBQUlDLGdCQUFnQixLQUFLO0lBRXpCRCxZQUFZRSxLQUFLLENBQUNKO0lBRWxCLElBQU1LLFlBQVlDLElBQUFBLDZCQUFzQixFQUFDTixZQUNuQ08sUUFBUUYsV0FDUkcsZUFBZU4sWUFBWU8sY0FBYyxDQUFDRjtJQUVoRCxJQUFJQyxjQUFjO1FBQ2hCTixZQUFZUSxLQUFLLENBQUMsQUFBQyxhQUFrQixPQUFOSCxPQUFNLHdCQUFzQlA7SUFDN0QsT0FBTztRQUNMQyxPQUFPVSxJQUFJLENBQUNKO1FBRVpKLGdCQUFnQixJQUFJO0lBQ3RCLENBQUM7SUFFREEsZ0JBQ0VELFlBQVlVLFFBQVEsQ0FBQ1osYUFDbkJFLFlBQVlXLElBQUksQ0FBQ2IsVUFBVTtJQUUvQixPQUFPRztBQUNUIn0=

package/lib/verify/labels.js

@@ -14,9 +14,10 @@ function _interopRequireDefault(obj) {
         default: obj
     };
 }
-function verifyLabels(labelNodes, labels, context) {
-    var labelsVerified = labelNodes.every(function(labelNode) {
-        var labelVerified = (0, _label.default)(labelNode, labels, context);
+function verifyLabels(labelNodes, labels, fileContext) {
+    var labelsVerified;
+    labelsVerified = labelNodes.every(function(labelNode) {
+        var labelVerified = (0, _label.default)(labelNode, labels, fileContext);
         if (labelVerified) {
             return true;
         }
@@ -24,4 +25,4 @@ function verifyLabels(labelNodes, labels, context) {
     return labelsVerified;
 }
 
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy92ZXJpZnkvbGFiZWxzLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgdmVyaWZ5TGFiZWwgZnJvbSBcIi4uL3ZlcmlmeS9sYWJlbFwiO1xuXG5leHBvcnQgZGVmYXVsdCBmdW5jdGlvbiB2ZXJpZnlMYWJlbHMobGFiZWxOb2RlcywgbGFiZWxzLCBjb250ZXh0KSB7XG4gIGNvbnN0IGxhYmVsc1ZlcmlmaWVkID0gbGFiZWxOb2Rlcy5ldmVyeSgobGFiZWxOb2RlKSA9PiB7XG4gICAgY29uc3QgbGFiZWxWZXJpZmllZCA9IHZlcmlmeUxhYmVsKGxhYmVsTm9kZSwgbGFiZWxzLCBjb250ZXh0KTtcblxuICAgIGlmIChsYWJlbFZlcmlmaWVkKSB7XG4gICAgICByZXR1cm4gdHJ1ZTtcbiAgICB9XG4gIH0pO1xuXG4gIHJldHVybiBsYWJlbHNWZXJpZmllZDtcbn1cbiJdLCJuYW1lcyI6WyJ2ZXJpZnlMYWJlbHMiLCJsYWJlbE5vZGVzIiwibGFiZWxzIiwiY29udGV4dCIsImxhYmVsc1ZlcmlmaWVkIiwiZXZlcnkiLCJsYWJlbE5vZGUiLCJsYWJlbFZlcmlmaWVkIiwidmVyaWZ5TGFiZWwiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQUlBOzs7ZUFBd0JBOzs7MERBRkE7Ozs7OztBQUVULFNBQVNBLGFBQWFDLFVBQVUsRUFBRUMsTUFBTSxFQUFFQyxPQUFPLEVBQUU7SUFDaEUsSUFBTUMsaUJBQWlCSCxXQUFXSSxLQUFLLENBQUMsU0FBQ0MsV0FBYztRQUNyRCxJQUFNQyxnQkFBZ0JDLElBQUFBLGNBQVcsRUFBQ0YsV0FBV0osUUFBUUM7UUFFckQsSUFBSUksZUFBZTtZQUNqQixPQUFPLElBQUk7UUFDYixDQUFDO0lBQ0g7SUFFQSxPQUFPSDtBQUNUIn0=
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy92ZXJpZnkvbGFiZWxzLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgdmVyaWZ5TGFiZWwgZnJvbSBcIi4uL3ZlcmlmeS9sYWJlbFwiO1xuXG5leHBvcnQgZGVmYXVsdCBmdW5jdGlvbiB2ZXJpZnlMYWJlbHMobGFiZWxOb2RlcywgbGFiZWxzLCBmaWxlQ29udGV4dCkge1xuICBsZXQgbGFiZWxzVmVyaWZpZWQ7XG5cbiAgbGFiZWxzVmVyaWZpZWQgPSBsYWJlbE5vZGVzLmV2ZXJ5KChsYWJlbE5vZGUpID0+IHtcbiAgICBjb25zdCBsYWJlbFZlcmlmaWVkID0gdmVyaWZ5TGFiZWwobGFiZWxOb2RlLCBsYWJlbHMsIGZpbGVDb250ZXh0KTtcblxuICAgIGlmIChsYWJlbFZlcmlmaWVkKSB7XG4gICAgICByZXR1cm4gdHJ1ZTtcbiAgICB9XG4gIH0pO1xuXG4gIHJldHVybiBsYWJlbHNWZXJpZmllZDtcbn1cbiJdLCJuYW1lcyI6WyJ2ZXJpZnlMYWJlbHMiLCJsYWJlbE5vZGVzIiwibGFiZWxzIiwiZmlsZUNvbnRleHQiLCJsYWJlbHNWZXJpZmllZCIsImV2ZXJ5IiwibGFiZWxOb2RlIiwibGFiZWxWZXJpZmllZCIsInZlcmlmeUxhYmVsIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFJQTs7O2VBQXdCQTs7OzBEQUZBOzs7Ozs7QUFFVCxTQUFTQSxhQUFhQyxVQUFVLEVBQUVDLE1BQU0sRUFBRUMsV0FBVyxFQUFFO0lBQ3BFLElBQUlDO0lBRUpBLGlCQUFpQkgsV0FBV0ksS0FBSyxDQUFDLFNBQUNDLFdBQWM7UUFDL0MsSUFBTUMsZ0JBQWdCQyxJQUFBQSxjQUFXLEVBQUNGLFdBQVdKLFFBQVFDO1FBRXJELElBQUlJLGVBQWU7WUFDakIsT0FBTyxJQUFJO1FBQ2IsQ0FBQztJQUNIO0lBRUEsT0FBT0g7QUFDVCJ9

package/lib/verify/metaDerivation.js

@@ -21,69 +21,72 @@ function _interopRequireDefault(obj) {
     };
 }
 var metaDerivationNodeQuery = (0, _query.nodeQuery)("/metaSubproof/metaDerivation!"), metaDerivationChildNodesQuery = (0, _query.nodesQuery)("/metaDerivation/*"), qualifiedMetastatementNodeQuery = (0, _query.nodeQuery)("/qualifiedMetastatement"), unqualifiedMetastatementNodeQuery = (0, _query.nodeQuery)("/unqualifiedMetastatement!"), qualifiedOrUnqualifiedMetastatementNodesQuery = (0, _query.nodesQuery)("/metaSubproof/qualifiedMetastatement|unqualifiedMetastatement");
-function verifyMetaDerivation(metaDerivationNode, context) {
+function verifyMetaDerivation(metaDerivationNode, metaproofContext) {
+    var metaDerivationVerified;
+    metaproofContext.begin(metaDerivationNode);
     var derived = true;
-    context.setDerived(derived);
+    metaproofContext.setDerived(derived);
     var metaDerivationChildNodes = metaDerivationChildNodesQuery(metaDerivationNode), metaDerivationChildNodesVerified = metaDerivationChildNodes.every(function(metaDerivationChildNode) {
         var metaDerivationChildNodeVerified;
         var ruleName = metaDerivationChildNode.getRuleName();
         switch(ruleName){
             case _ruleNames.META_SUBPROOF_RULE_NAME:
                 {
-                    var metaSubproofNode = metaDerivationChildNode, metaSubproofVerified = verifyMetaSubproof(metaSubproofNode, context);
+                    var metaSubproofNode = metaDerivationChildNode, metaSubproofVerified = verifyMetaSubproof(metaSubproofNode, metaproofContext);
                     if (metaSubproofVerified) {
                         var metaAssertion = _metaAssertion.default.fromMetaSubproofNode(metaSubproofNode);
-                        context.addMetaAssertion(metaAssertion);
+                        metaproofContext.addMetaAssertion(metaAssertion);
                         metaDerivationChildNodeVerified = true;
                     }
                     break;
                 }
             case _ruleNames.QUALIFIED_METASTATEMENT_RULE_NAME:
                 {
-                    var qualifiedMetastatementNode = metaDerivationChildNode, qualifiedMetastatementVerified = (0, _qualified.default)(qualifiedMetastatementNode, context);
+                    var qualifiedMetastatementNode = metaDerivationChildNode, qualifiedMetastatementVerified = (0, _qualified.default)(qualifiedMetastatementNode, metaproofContext);
                     if (qualifiedMetastatementVerified) {
                         var metaAssertion1 = _metaAssertion.default.fromQualifiedMetastatementNode(qualifiedMetastatementNode);
-                        context.addMetaAssertion(metaAssertion1);
+                        metaproofContext.addMetaAssertion(metaAssertion1);
                         metaDerivationChildNodeVerified = qualifiedMetastatementVerified; ///
                     }
                     break;
                 }
             case _ruleNames.UNQUALIFIED_METASTATEMENT_RULE_NAME:
                 {
-                    var unqualifiedMetastatementNode = metaDerivationChildNode, unqualifiedMetastatementVerified = (0, _unqualified.default)(unqualifiedMetastatementNode, context);
+                    var unqualifiedMetastatementNode = metaDerivationChildNode, unqualifiedMetastatementVerified = (0, _unqualified.default)(unqualifiedMetastatementNode, metaproofContext);
                     if (unqualifiedMetastatementVerified) {
                         var metaAssertion2 = _metaAssertion.default.fromUnqualifiedMetastatementNode(unqualifiedMetastatementNode);
-                        context.addMetaAssertion(metaAssertion2);
+                        metaproofContext.addMetaAssertion(metaAssertion2);
                         metaDerivationChildNodeVerified = true;
                     }
                     break;
                 }
         }
         return metaDerivationChildNodeVerified;
-    }), metaDerivationVerified = metaDerivationChildNodesVerified; ///
+    });
+    metaDerivationVerified = metaDerivationChildNodesVerified; ///
+    metaDerivationVerified ? metaproofContext.complete(metaDerivationNode) : metaproofContext.halt(metaDerivationNode);
     return metaDerivationVerified;
 }
-function verifyMetaSubproof(metaSubproofNode, context) {
+function verifyMetaSubproof(metaSubproofNode, metaproofContext) {
     var metaSubproofVerified = false;
-    var metaproofContext = _metaproof.default.fromContext(context);
-    context = metaproofContext; ///
-    var qualifiedOrUnqualifiedMetastatementNodes = qualifiedOrUnqualifiedMetastatementNodesQuery(metaSubproofNode), firstQualifiedOrUnqualifiedMetastatementNode = (0, _array.first)(qualifiedOrUnqualifiedMetastatementNodes), unqualifiedMetastatementNode = firstQualifiedOrUnqualifiedMetastatementNode, unqualifiedMetastatementVerified = (0, _unqualified.default)(unqualifiedMetastatementNode, context);
+    metaproofContext = _metaproof.default.fromMetaproofContext(metaproofContext); ///
+    var qualifiedOrUnqualifiedMetastatementNodes = qualifiedOrUnqualifiedMetastatementNodesQuery(metaSubproofNode), firstQualifiedOrUnqualifiedMetastatementNode = (0, _array.first)(qualifiedOrUnqualifiedMetastatementNodes), unqualifiedMetastatementNode = firstQualifiedOrUnqualifiedMetastatementNode, unqualifiedMetastatementVerified = (0, _unqualified.default)(unqualifiedMetastatementNode, metaproofContext);
     if (unqualifiedMetastatementVerified) {
         var metaAssertion = _metaAssertion.default.fromUnqualifiedMetastatementNode(unqualifiedMetastatementNode);
-        context.addMetaAssertion(metaAssertion);
+        metaproofContext.addMetaAssertion(metaAssertion);
         var metaDerivationVerified = true;
         var metaDerivationNode = metaDerivationNodeQuery(metaSubproofNode);
         if (metaDerivationNode !== null) {
-            metaDerivationVerified = verifyMetaDerivation(metaDerivationNode, context);
+            metaDerivationVerified = verifyMetaDerivation(metaDerivationNode, metaproofContext);
         }
         if (metaDerivationVerified) {
             var secondQualifiedOrUnqualifiedMetastatementNode = (0, _array.second)(qualifiedOrUnqualifiedMetastatementNodes), qualifiedOrUnqualifiedMetastatementNode = secondQualifiedOrUnqualifiedMetastatementNode, qualifiedMetastatementNode = qualifiedMetastatementNodeQuery(qualifiedOrUnqualifiedMetastatementNode), unqualifiedMetastatementNode1 = unqualifiedMetastatementNodeQuery(qualifiedOrUnqualifiedMetastatementNode);
             if (qualifiedMetastatementNode !== null) {
-                var qualifiedMetastatementVerified = (0, _qualified.default)(qualifiedMetastatementNode, context);
+                var qualifiedMetastatementVerified = (0, _qualified.default)(qualifiedMetastatementNode, metaproofContext);
                 metaSubproofVerified = qualifiedMetastatementVerified; ///
             }
             if (unqualifiedMetastatementNode1 !== null) {
-                var unqualifiedMetastatementVerified1 = (0, _unqualified.default)(unqualifiedMetastatementNode1, context);
+                var unqualifiedMetastatementVerified1 = (0, _unqualified.default)(unqualifiedMetastatementNode1, metaproofContext);
                 metaSubproofVerified = unqualifiedMetastatementVerified1; ///
             }
         }
@@ -91,4 +94,4 @@ function verifyMetaSubproof(metaSubproofNode, context) {
     return metaSubproofVerified;
 }
 
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy92ZXJpZnkvbWV0YURlcml2YXRpb24uanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBNZXRhQXNzZXJ0aW9uIGZyb20gXCIuLi9tZXRhQXNzZXJ0aW9uXCI7XG5pbXBvcnQgTWV0YXByb29mQ29udGV4dCBmcm9tIFwiLi4vY29udGV4dC9tZXRhcHJvb2ZcIjtcbmltcG9ydCB2ZXJpZnlRdWFsaWZpZWRNZXRhc3RhdGVtZW50IGZyb20gXCIuLi92ZXJpZnkvbWV0YXN0YXRlbWVudC9xdWFsaWZpZWRcIjtcbmltcG9ydCB2ZXJpZnlVbnF1YWxpZmllZE1ldGFzdGF0ZW1lbnQgZnJvbSBcIi4uL3ZlcmlmeS9tZXRhc3RhdGVtZW50L3VucXVhbGlmaWVkXCI7XG5cbmltcG9ydCB7IGZpcnN0LCBzZWNvbmQgfSBmcm9tIFwiLi4vdXRpbGl0aWVzL2FycmF5XCI7XG5pbXBvcnQgeyBub2RlUXVlcnksIG5vZGVzUXVlcnkgfSBmcm9tIFwiLi4vdXRpbGl0aWVzL3F1ZXJ5XCI7XG5pbXBvcnQgeyBNRVRBX1NVQlBST09GX1JVTEVfTkFNRSwgUVVBTElGSUVEX01FVEFTVEFURU1FTlRfUlVMRV9OQU1FLCBVTlFVQUxJRklFRF9NRVRBU1RBVEVNRU5UX1JVTEVfTkFNRSB9IGZyb20gXCIuLi9ydWxlTmFtZXNcIjtcblxuY29uc3QgbWV0YURlcml2YXRpb25Ob2RlUXVlcnkgPSBub2RlUXVlcnkoXCIvbWV0YVN1YnByb29mL21ldGFEZXJpdmF0aW9uIVwiKSxcbiAgICAgIG1ldGFEZXJpdmF0aW9uQ2hpbGROb2Rlc1F1ZXJ5ID0gbm9kZXNRdWVyeShcIi9tZXRhRGVyaXZhdGlvbi8qXCIpLFxuICAgICAgcXVhbGlmaWVkTWV0YXN0YXRlbWVudE5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi9xdWFsaWZpZWRNZXRhc3RhdGVtZW50XCIpLFxuICAgICAgdW5xdWFsaWZpZWRNZXRhc3RhdGVtZW50Tm9kZVF1ZXJ5ID0gbm9kZVF1ZXJ5KFwiL3VucXVhbGlmaWVkTWV0YXN0YXRlbWVudCFcIiksXG4gICAgICBxdWFsaWZpZWRPclVucXVhbGlmaWVkTWV0YXN0YXRlbWVudE5vZGVzUXVlcnkgPSBub2Rlc1F1ZXJ5KFwiL21ldGFTdWJwcm9vZi9xdWFsaWZpZWRNZXRhc3RhdGVtZW50fHVucXVhbGlmaWVkTWV0YXN0YXRlbWVudFwiKVxuXG5leHBvcnQgZGVmYXVsdCBmdW5jdGlvbiB2ZXJpZnlNZXRhRGVyaXZhdGlvbihtZXRhRGVyaXZhdGlvbk5vZGUsIGNvbnRleHQpIHtcbiAgY29uc3QgZGVyaXZlZCA9IHRydWU7XG5cbiAgY29udGV4dC5zZXREZXJpdmVkKGRlcml2ZWQpO1xuXG4gIGNvbnN0IG1ldGFEZXJpdmF0aW9uQ2hpbGROb2RlcyA9IG1ldGFEZXJpdmF0aW9uQ2hpbGROb2Rlc1F1ZXJ5KG1ldGFEZXJpdmF0aW9uTm9kZSksXG4gICAgICAgIG1ldGFEZXJpdmF0aW9uQ2hpbGROb2Rlc1ZlcmlmaWVkID0gbWV0YURlcml2YXRpb25DaGlsZE5vZGVzLmV2ZXJ5KChtZXRhRGVyaXZhdGlvbkNoaWxkTm9kZSkgPT4ge1xuICAgICAgICAgIGxldCBtZXRhRGVyaXZhdGlvbkNoaWxkTm9kZVZlcmlmaWVkO1xuXG4gICAgICAgICAgY29uc3QgcnVsZU5hbWUgPSBtZXRhRGVyaXZhdGlvbkNoaWxkTm9kZS5nZXRSdWxlTmFtZSgpO1xuXG4gICAgICAgICAgc3dpdGNoIChydWxlTmFtZSkge1xuICAgICAgICAgICAgY2FzZSBNRVRBX1NVQlBST09GX1JVTEVfTkFNRToge1xuICAgICAgICAgICAgICBjb25zdCBtZXRhU3VicHJvb2ZOb2RlID0gbWV0YURlcml2YXRpb25DaGlsZE5vZGUsICAvLy9cbiAgICAgICAgICAgICAgICAgICAgbWV0YVN1YnByb29mVmVyaWZpZWQgPSB2ZXJpZnlNZXRhU3VicHJvb2YobWV0YVN1YnByb29mTm9kZSwgY29udGV4dCk7XG5cbiAgICAgICAgICAgICAgaWYgKG1ldGFTdWJwcm9vZlZlcmlmaWVkKSB7XG4gICAgICAgICAgICAgICAgY29uc3QgbWV0YUFzc2VydGlvbiA9IE1ldGFBc3NlcnRpb24uZnJvbU1ldGFTdWJwcm9vZk5vZGUobWV0YVN1YnByb29mTm9kZSk7XG5cbiAgICAgICAgICAgICAgICBjb250ZXh0LmFkZE1ldGFBc3NlcnRpb24obWV0YUFzc2VydGlvbik7XG5cbiAgICAgICAgICAgICAgICBtZXRhRGVyaXZhdGlvbkNoaWxkTm9kZVZlcmlmaWVkID0gdHJ1ZTtcbiAgICAgICAgICAgICAgfVxuXG4gICAgICAgICAgICAgIGJyZWFrO1xuICAgICAgICAgICAgfVxuXG4gICAgICAgICAgICBjYXNlIFFVQUxJRklFRF9NRVRBU1RBVEVNRU5UX1JVTEVfTkFNRToge1xuICAgICAgICAgICAgICBjb25zdCBxdWFsaWZpZWRNZXRhc3RhdGVtZW50Tm9kZSA9IG1ldGFEZXJpdmF0aW9uQ2hpbGROb2RlLCAgLy8vXG4gICAgICAgICAgICAgICAgICAgIHF1YWxpZmllZE1ldGFzdGF0ZW1lbnRWZXJpZmllZCA9IHZlcmlmeVF1YWxpZmllZE1ldGFzdGF0ZW1lbnQocXVhbGlmaWVkTWV0YXN0YXRlbWVudE5vZGUsIGNvbnRleHQpO1xuXG4gICAgICAgICAgICAgIGlmIChxdWFsaWZpZWRNZXRhc3RhdGVtZW50VmVyaWZpZWQpIHtcbiAgICAgICAgICAgICAgICBjb25zdCBtZXRhQXNzZXJ0aW9uID0gTWV0YUFzc2VydGlvbi5mcm9tUXVhbGlmaWVkTWV0YXN0YXRlbWVudE5vZGUocXVhbGlmaWVkTWV0YXN0YXRlbWVudE5vZGUpO1xuXG4gICAgICAgICAgICAgICAgY29udGV4dC5hZGRNZXRhQXNzZXJ0aW9uKG1ldGFBc3NlcnRpb24pO1xuXG4gICAgICAgICAgICAgICAgbWV0YURlcml2YXRpb25DaGlsZE5vZGVWZXJpZmllZCA9IHF1YWxpZmllZE1ldGFzdGF0ZW1lbnRWZXJpZmllZDsgLy8vXG4gICAgICAgICAgICAgIH1cblxuICAgICAgICAgICAgICBicmVhaztcbiAgICAgICAgICAgIH1cblxuICAgICAgICAgICAgY2FzZSBVTlFVQUxJRklFRF9NRVRBU1RBVEVNRU5UX1JVTEVfTkFNRToge1xuICAgICAgICAgICAgICBjb25zdCB1bnF1YWxpZmllZE1ldGFzdGF0ZW1lbnROb2RlID0gbWV0YURlcml2YXRpb25DaGlsZE5vZGUsICAvLy9cbiAgICAgICAgICAgICAgICAgICAgdW5xdWFsaWZpZWRNZXRhc3RhdGVtZW50VmVyaWZpZWQgPSB2ZXJpZnlVbnF1YWxpZmllZE1ldGFzdGF0ZW1lbnQodW5xdWFsaWZpZWRNZXRhc3RhdGVtZW50Tm9kZSwgY29udGV4dCk7XG5cbiAgICAgICAgICAgICAgaWYgKHVucXVhbGlmaWVkTWV0YXN0YXRlbWVudFZlcmlmaWVkKSB7XG4gICAgICAgICAgICAgICAgY29uc3QgbWV0YUFzc2VydGlvbiA9IE1ldGFBc3NlcnRpb24uZnJvbVVucXVhbGlmaWVkTWV0YXN0YXRlbWVudE5vZGUodW5xdWFsaWZpZWRNZXRhc3RhdGVtZW50Tm9kZSk7XG5cbiAgICAgICAgICAgICAgICBjb250ZXh0LmFkZE1ldGFBc3NlcnRpb24obWV0YUFzc2VydGlvbik7XG5cbiAgICAgICAgICAgICAgICBtZXRhRGVyaXZhdGlvbkNoaWxkTm9kZVZlcmlmaWVkID0gdHJ1ZTtcbiAgICAgICAgICAgICAgfVxuXG4gICAgICAgICAgICAgIGJyZWFrO1xuICAgICAgICAgICAgfVxuICAgICAgICAgIH1cblxuICAgICAgICAgIHJldHVybiBtZXRhRGVyaXZhdGlvbkNoaWxkTm9kZVZlcmlmaWVkO1xuICAgICAgICB9KSxcbiAgICAgICAgbWV0YURlcml2YXRpb25WZXJpZmllZCA9IG1ldGFEZXJpdmF0aW9uQ2hpbGROb2Rlc1ZlcmlmaWVkOyAgLy8vXG5cbiAgcmV0dXJuIG1ldGFEZXJpdmF0aW9uVmVyaWZpZWQ7XG59XG5cbmZ1bmN0aW9uIHZlcmlmeU1ldGFTdWJwcm9vZihtZXRhU3VicHJvb2ZOb2RlLCBjb250ZXh0KSB7XG4gIGxldCBtZXRhU3VicHJvb2ZWZXJpZmllZCA9IGZhbHNlO1xuXG4gIGNvbnN0IG1ldGFwcm9vZkNvbnRleHQgPSBNZXRhcHJvb2ZDb250ZXh0LmZyb21Db250ZXh0KGNvbnRleHQpO1xuXG4gIGNvbnRleHQgPSBtZXRhcHJvb2ZDb250ZXh0OyAvLy9cblxuICBjb25zdCBxdWFsaWZpZWRPclVucXVhbGlmaWVkTWV0YXN0YXRlbWVudE5vZGVzID0gcXVhbGlmaWVkT3JVbnF1YWxpZmllZE1ldGFzdGF0ZW1lbnROb2Rlc1F1ZXJ5KG1ldGFTdWJwcm9vZk5vZGUpLFxuICAgICAgICBmaXJzdFF1YWxpZmllZE9yVW5xdWFsaWZpZWRNZXRhc3RhdGVtZW50Tm9kZSA9IGZpcnN0KHF1YWxpZmllZE9yVW5xdWFsaWZpZWRNZXRhc3RhdGVtZW50Tm9kZXMpLFxuICAgICAgICB1bnF1YWxpZmllZE1ldGFzdGF0ZW1lbnROb2RlID0gZmlyc3RRdWFsaWZpZWRPclVucXVhbGlmaWVkTWV0YXN0YXRlbWVudE5vZGUsICAvLy9cbiAgICAgICAgdW5xdWFsaWZpZWRNZXRhc3RhdGVtZW50VmVyaWZpZWQgPSB2ZXJpZnlVbnF1YWxpZmllZE1ldGFzdGF0ZW1lbnQodW5xdWFsaWZpZWRNZXRhc3RhdGVtZW50Tm9kZSwgY29udGV4dCk7XG5cbiAgaWYgKHVucXVhbGlmaWVkTWV0YXN0YXRlbWVudFZlcmlmaWVkKSB7XG4gICAgY29uc3QgbWV0YUFzc2VydGlvbiA9IE1ldGFBc3NlcnRpb24uZnJvbVVucXVhbGlmaWVkTWV0YXN0YXRlbWVudE5vZGUodW5xdWFsaWZpZWRNZXRhc3RhdGVtZW50Tm9kZSk7XG5cbiAgICBjb250ZXh0LmFkZE1ldGFBc3NlcnRpb24obWV0YUFzc2VydGlvbik7XG5cbiAgICBsZXQgbWV0YURlcml2YXRpb25WZXJpZmllZCA9IHRydWU7XG5cbiAgICBjb25zdCBtZXRhRGVyaXZhdGlvbk5vZGUgPSBtZXRhRGVyaXZhdGlvbk5vZGVRdWVyeShtZXRhU3VicHJvb2ZOb2RlKTtcblxuICAgIGlmIChtZXRhRGVyaXZhdGlvbk5vZGUgIT09IG51bGwpIHtcbiAgICAgIG1ldGFEZXJpdmF0aW9uVmVyaWZpZWQgPSB2ZXJpZnlNZXRhRGVyaXZhdGlvbihtZXRhRGVyaXZhdGlvbk5vZGUsIGNvbnRleHQpO1xuICAgIH1cblxuICAgIGlmIChtZXRhRGVyaXZhdGlvblZlcmlmaWVkKSB7XG4gICAgICBjb25zdCBzZWNvbmRRdWFsaWZpZWRPclVucXVhbGlmaWVkTWV0YXN0YXRlbWVudE5vZGUgPSBzZWNvbmQocXVhbGlmaWVkT3JVbnF1YWxpZmllZE1ldGFzdGF0ZW1lbnROb2RlcyksXG4gICAgICAgICAgICBxdWFsaWZpZWRPclVucXVhbGlmaWVkTWV0YXN0YXRlbWVudE5vZGUgPSBzZWNvbmRRdWFsaWZpZWRPclVucXVhbGlmaWVkTWV0YXN0YXRlbWVudE5vZGUsICAvLy9cbiAgICAgICAgICAgIHF1YWxpZmllZE1ldGFzdGF0ZW1lbnROb2RlID0gcXVhbGlmaWVkTWV0YXN0YXRlbWVudE5vZGVRdWVyeShxdWFsaWZpZWRPclVucXVhbGlmaWVkTWV0YXN0YXRlbWVudE5vZGUpLFxuICAgICAgICAgICAgdW5xdWFsaWZpZWRNZXRhc3RhdGVtZW50Tm9kZSA9IHVucXVhbGlmaWVkTWV0YXN0YXRlbWVudE5vZGVRdWVyeShxdWFsaWZpZWRPclVucXVhbGlmaWVkTWV0YXN0YXRlbWVudE5vZGUpO1xuXG4gICAgICBpZiAocXVhbGlmaWVkTWV0YXN0YXRlbWVudE5vZGUgIT09IG51bGwpIHtcbiAgICAgICAgY29uc3QgcXVhbGlmaWVkTWV0YXN0YXRlbWVudFZlcmlmaWVkID0gdmVyaWZ5UXVhbGlmaWVkTWV0YXN0YXRlbWVudChxdWFsaWZpZWRNZXRhc3RhdGVtZW50Tm9kZSwgY29udGV4dCk7XG5cbiAgICAgICAgbWV0YVN1YnByb29mVmVyaWZpZWQgPSBxdWFsaWZpZWRNZXRhc3RhdGVtZW50VmVyaWZpZWQ7ICAvLy9cbiAgICAgIH1cblxuICAgICAgaWYgKHVucXVhbGlmaWVkTWV0YXN0YXRlbWVudE5vZGUgIT09IG51bGwpIHtcbiAgICAgICAgY29uc3QgdW5xdWFsaWZpZWRNZXRhc3RhdGVtZW50VmVyaWZpZWQgPSB2ZXJpZnlVbnF1YWxpZmllZE1ldGFzdGF0ZW1lbnQodW5xdWFsaWZpZWRNZXRhc3RhdGVtZW50Tm9kZSwgY29udGV4dCk7XG5cbiAgICAgICAgbWV0YVN1YnByb29mVmVyaWZpZWQgPSB1bnF1YWxpZmllZE1ldGFzdGF0ZW1lbnRWZXJpZmllZDsgIC8vL1xuICAgICAgfVxuICAgIH1cbiAgfVxuXG4gIHJldHVybiBtZXRhU3VicHJvb2ZWZXJpZmllZDtcbn1cbiJdLCJuYW1lcyI6WyJ2ZXJpZnlNZXRhRGVyaXZhdGlvbiIsIm1ldGFEZXJpdmF0aW9uTm9kZVF1ZXJ5Iiwibm9kZVF1ZXJ5IiwibWV0YURlcml2YXRpb25DaGlsZE5vZGVzUXVlcnkiLCJub2Rlc1F1ZXJ5IiwicXVhbGlmaWVkTWV0YXN0YXRlbWVudE5vZGVRdWVyeSIsInVucXVhbGlmaWVkTWV0YXN0YXRlbWVudE5vZGVRdWVyeSIsInF1YWxpZmllZE9yVW5xdWFsaWZpZWRNZXRhc3RhdGVtZW50Tm9kZXNRdWVyeSIsIm1ldGFEZXJpdmF0aW9uTm9kZSIsImNvbnRleHQiLCJkZXJpdmVkIiwic2V0RGVyaXZlZCIsIm1ldGFEZXJpdmF0aW9uQ2hpbGROb2RlcyIsIm1ldGFEZXJpdmF0aW9uQ2hpbGROb2Rlc1ZlcmlmaWVkIiwiZXZlcnkiLCJtZXRhRGVyaXZhdGlvbkNoaWxkTm9kZSIsIm1ldGFEZXJpdmF0aW9uQ2hpbGROb2RlVmVyaWZpZWQiLCJydWxlTmFtZSIsImdldFJ1bGVOYW1lIiwiTUVUQV9TVUJQUk9PRl9SVUxFX05BTUUiLCJtZXRhU3VicHJvb2ZOb2RlIiwibWV0YVN1YnByb29mVmVyaWZpZWQiLCJ2ZXJpZnlNZXRhU3VicHJvb2YiLCJtZXRhQXNzZXJ0aW9uIiwiTWV0YUFzc2VydGlvbiIsImZyb21NZXRhU3VicHJvb2ZOb2RlIiwiYWRkTWV0YUFzc2VydGlvbiIsIlFVQUxJRklFRF9NRVRBU1RBVEVNRU5UX1JVTEVfTkFNRSIsInF1YWxpZmllZE1ldGFzdGF0ZW1lbnROb2RlIiwicXVhbGlmaWVkTWV0YXN0YXRlbWVudFZlcmlmaWVkIiwidmVyaWZ5UXVhbGlmaWVkTWV0YXN0YXRlbWVudCIsImZyb21RdWFsaWZpZWRNZXRhc3RhdGVtZW50Tm9kZSIsIlVOUVVBTElGSUVEX01FVEFTVEFURU1FTlRfUlVMRV9OQU1FIiwidW5xdWFsaWZpZWRNZXRhc3RhdGVtZW50Tm9kZSIsInVucXVhbGlmaWVkTWV0YXN0YXRlbWVudFZlcmlmaWVkIiwidmVyaWZ5VW5xdWFsaWZpZWRNZXRhc3RhdGVtZW50IiwiZnJvbVVucXVhbGlmaWVkTWV0YXN0YXRlbWVudE5vZGUiLCJtZXRhRGVyaXZhdGlvblZlcmlmaWVkIiwibWV0YXByb29mQ29udGV4dCIsIk1ldGFwcm9vZkNvbnRleHQiLCJmcm9tQ29udGV4dCIsInF1YWxpZmllZE9yVW5xdWFsaWZpZWRNZXRhc3RhdGVtZW50Tm9kZXMiLCJmaXJzdFF1YWxpZmllZE9yVW5xdWFsaWZpZWRNZXRhc3RhdGVtZW50Tm9kZSIsImZpcnN0Iiwic2Vjb25kUXVhbGlmaWVkT3JVbnF1YWxpZmllZE1ldGFzdGF0ZW1lbnROb2RlIiwic2Vjb25kIiwicXVhbGlmaWVkT3JVbnF1YWxpZmllZE1ldGFzdGF0ZW1lbnROb2RlIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFpQkE7OztlQUF3QkE7OztrRUFmRTs4REFDRzs4REFDWTtnRUFDRTtxQkFFYjtxQkFDUTt5QkFDMEU7Ozs7OztBQUVoSCxJQUFNQywwQkFBMEJDLElBQUFBLGdCQUFTLEVBQUMsa0NBQ3BDQyxnQ0FBZ0NDLElBQUFBLGlCQUFVLEVBQUMsc0JBQzNDQyxrQ0FBa0NILElBQUFBLGdCQUFTLEVBQUMsNEJBQzVDSSxvQ0FBb0NKLElBQUFBLGdCQUFTLEVBQUMsK0JBQzlDSyxnREFBZ0RILElBQUFBLGlCQUFVLEVBQUM7QUFFbEQsU0FBU0oscUJBQXFCUSxrQkFBa0IsRUFBRUMsT0FBTyxFQUFFO0lBQ3hFLElBQU1DLFVBQVUsSUFBSTtJQUVwQkQsUUFBUUUsVUFBVSxDQUFDRDtJQUVuQixJQUFNRSwyQkFBMkJULDhCQUE4QksscUJBQ3pESyxtQ0FBbUNELHlCQUF5QkUsS0FBSyxDQUFDLFNBQUNDLHlCQUE0QjtRQUM3RixJQUFJQztRQUVKLElBQU1DLFdBQVdGLHdCQUF3QkcsV0FBVztRQUVwRCxPQUFRRDtZQUNOLEtBQUtFLGtDQUF1QjtnQkFBRTtvQkFDNUIsSUFBTUMsbUJBQW1CTCx5QkFDbkJNLHVCQUF1QkMsbUJBQW1CRixrQkFBa0JYO29CQUVsRSxJQUFJWSxzQkFBc0I7d0JBQ3hCLElBQU1FLGdCQUFnQkMsc0JBQWEsQ0FBQ0Msb0JBQW9CLENBQUNMO3dCQUV6RFgsUUFBUWlCLGdCQUFnQixDQUFDSDt3QkFFekJQLGtDQUFrQyxJQUFJO29CQUN4QyxDQUFDO29CQUVELEtBQU07Z0JBQ1I7WUFFQSxLQUFLVyw0Q0FBaUM7Z0JBQUU7b0JBQ3RDLElBQU1DLDZCQUE2QmIseUJBQzdCYyxpQ0FBaUNDLElBQUFBLGtCQUE0QixFQUFDRiw0QkFBNEJuQjtvQkFFaEcsSUFBSW9CLGdDQUFnQzt3QkFDbEMsSUFBTU4saUJBQWdCQyxzQkFBYSxDQUFDTyw4QkFBOEIsQ0FBQ0g7d0JBRW5FbkIsUUFBUWlCLGdCQUFnQixDQUFDSDt3QkFFekJQLGtDQUFrQ2EsZ0NBQWdDLEdBQUc7b0JBQ3ZFLENBQUM7b0JBRUQsS0FBTTtnQkFDUjtZQUVBLEtBQUtHLDhDQUFtQztnQkFBRTtvQkFDeEMsSUFBTUMsK0JBQStCbEIseUJBQy9CbUIsbUNBQW1DQyxJQUFBQSxvQkFBOEIsRUFBQ0YsOEJBQThCeEI7b0JBRXRHLElBQUl5QixrQ0FBa0M7d0JBQ3BDLElBQU1YLGlCQUFnQkMsc0JBQWEsQ0FBQ1ksZ0NBQWdDLENBQUNIO3dCQUVyRXhCLFFBQVFpQixnQkFBZ0IsQ0FBQ0g7d0JBRXpCUCxrQ0FBa0MsSUFBSTtvQkFDeEMsQ0FBQztvQkFFRCxLQUFNO2dCQUNSO1FBQ0Y7UUFFQSxPQUFPQTtJQUNULElBQ0FxQix5QkFBeUJ4QixrQ0FBbUMsR0FBRztJQUVyRSxPQUFPd0I7QUFDVDtBQUVBLFNBQVNmLG1CQUFtQkYsZ0JBQWdCLEVBQUVYLE9BQU8sRUFBRTtJQUNyRCxJQUFJWSx1QkFBdUIsS0FBSztJQUVoQyxJQUFNaUIsbUJBQW1CQyxrQkFBZ0IsQ0FBQ0MsV0FBVyxDQUFDL0I7SUFFdERBLFVBQVU2QixrQkFBa0IsR0FBRztJQUUvQixJQUFNRywyQ0FBMkNsQyw4Q0FBOENhLG1CQUN6RnNCLCtDQUErQ0MsSUFBQUEsWUFBSyxFQUFDRiwyQ0FDckRSLCtCQUErQlMsOENBQy9CUixtQ0FBbUNDLElBQUFBLG9CQUE4QixFQUFDRiw4QkFBOEJ4QjtJQUV0RyxJQUFJeUIsa0NBQWtDO1FBQ3BDLElBQU1YLGdCQUFnQkMsc0JBQWEsQ0FBQ1ksZ0NBQWdDLENBQUNIO1FBRXJFeEIsUUFBUWlCLGdCQUFnQixDQUFDSDtRQUV6QixJQUFJYyx5QkFBeUIsSUFBSTtRQUVqQyxJQUFNN0IscUJBQXFCUCx3QkFBd0JtQjtRQUVuRCxJQUFJWix1QkFBdUIsSUFBSSxFQUFFO1lBQy9CNkIseUJBQXlCckMscUJBQXFCUSxvQkFBb0JDO1FBQ3BFLENBQUM7UUFFRCxJQUFJNEIsd0JBQXdCO1lBQzFCLElBQU1PLGdEQUFnREMsSUFBQUEsYUFBTSxFQUFDSiwyQ0FDdkRLLDBDQUEwQ0YsK0NBQzFDaEIsNkJBQTZCdkIsZ0NBQWdDeUMsMENBQzdEYixnQ0FBK0IzQixrQ0FBa0N3QztZQUV2RSxJQUFJbEIsK0JBQStCLElBQUksRUFBRTtnQkFDdkMsSUFBTUMsaUNBQWlDQyxJQUFBQSxrQkFBNEIsRUFBQ0YsNEJBQTRCbkI7Z0JBRWhHWSx1QkFBdUJRLGdDQUFpQyxHQUFHO1lBQzdELENBQUM7WUFFRCxJQUFJSSxrQ0FBaUMsSUFBSSxFQUFFO2dCQUN6QyxJQUFNQyxvQ0FBbUNDLElBQUFBLG9CQUE4QixFQUFDRiwrQkFBOEJ4QjtnQkFFdEdZLHVCQUF1QmEsbUNBQW1DLEdBQUc7WUFDL0QsQ0FBQztRQUNILENBQUM7SUFDSCxDQUFDO0lBRUQsT0FBT2I7QUFDVCJ9
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy92ZXJpZnkvbWV0YURlcml2YXRpb24uanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBNZXRhQXNzZXJ0aW9uIGZyb20gXCIuLi9tZXRhQXNzZXJ0aW9uXCI7XG5pbXBvcnQgTWV0YXByb29mQ29udGV4dCBmcm9tIFwiLi4vY29udGV4dC9tZXRhcHJvb2ZcIjtcbmltcG9ydCB2ZXJpZnlRdWFsaWZpZWRNZXRhc3RhdGVtZW50IGZyb20gXCIuLi92ZXJpZnkvbWV0YXN0YXRlbWVudC9xdWFsaWZpZWRcIjtcbmltcG9ydCB2ZXJpZnlVbnF1YWxpZmllZE1ldGFzdGF0ZW1lbnQgZnJvbSBcIi4uL3ZlcmlmeS9tZXRhc3RhdGVtZW50L3VucXVhbGlmaWVkXCI7XG5cbmltcG9ydCB7IGZpcnN0LCBzZWNvbmQgfSBmcm9tIFwiLi4vdXRpbGl0aWVzL2FycmF5XCI7XG5pbXBvcnQgeyBub2RlUXVlcnksIG5vZGVzUXVlcnkgfSBmcm9tIFwiLi4vdXRpbGl0aWVzL3F1ZXJ5XCI7XG5pbXBvcnQgeyBNRVRBX1NVQlBST09GX1JVTEVfTkFNRSwgUVVBTElGSUVEX01FVEFTVEFURU1FTlRfUlVMRV9OQU1FLCBVTlFVQUxJRklFRF9NRVRBU1RBVEVNRU5UX1JVTEVfTkFNRSB9IGZyb20gXCIuLi9ydWxlTmFtZXNcIjtcblxuY29uc3QgbWV0YURlcml2YXRpb25Ob2RlUXVlcnkgPSBub2RlUXVlcnkoXCIvbWV0YVN1YnByb29mL21ldGFEZXJpdmF0aW9uIVwiKSxcbiAgICAgIG1ldGFEZXJpdmF0aW9uQ2hpbGROb2Rlc1F1ZXJ5ID0gbm9kZXNRdWVyeShcIi9tZXRhRGVyaXZhdGlvbi8qXCIpLFxuICAgICAgcXVhbGlmaWVkTWV0YXN0YXRlbWVudE5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi9xdWFsaWZpZWRNZXRhc3RhdGVtZW50XCIpLFxuICAgICAgdW5xdWFsaWZpZWRNZXRhc3RhdGVtZW50Tm9kZVF1ZXJ5ID0gbm9kZVF1ZXJ5KFwiL3VucXVhbGlmaWVkTWV0YXN0YXRlbWVudCFcIiksXG4gICAgICBxdWFsaWZpZWRPclVucXVhbGlmaWVkTWV0YXN0YXRlbWVudE5vZGVzUXVlcnkgPSBub2Rlc1F1ZXJ5KFwiL21ldGFTdWJwcm9vZi9xdWFsaWZpZWRNZXRhc3RhdGVtZW50fHVucXVhbGlmaWVkTWV0YXN0YXRlbWVudFwiKVxuXG5leHBvcnQgZGVmYXVsdCBmdW5jdGlvbiB2ZXJpZnlNZXRhRGVyaXZhdGlvbihtZXRhRGVyaXZhdGlvbk5vZGUsIG1ldGFwcm9vZkNvbnRleHQpIHtcbiAgbGV0IG1ldGFEZXJpdmF0aW9uVmVyaWZpZWQ7XG5cbiAgbWV0YXByb29mQ29udGV4dC5iZWdpbihtZXRhRGVyaXZhdGlvbk5vZGUpO1xuXG4gIGNvbnN0IGRlcml2ZWQgPSB0cnVlO1xuXG4gIG1ldGFwcm9vZkNvbnRleHQuc2V0RGVyaXZlZChkZXJpdmVkKTtcblxuICBjb25zdCBtZXRhRGVyaXZhdGlvbkNoaWxkTm9kZXMgPSBtZXRhRGVyaXZhdGlvbkNoaWxkTm9kZXNRdWVyeShtZXRhRGVyaXZhdGlvbk5vZGUpLFxuICAgICAgICBtZXRhRGVyaXZhdGlvbkNoaWxkTm9kZXNWZXJpZmllZCA9IG1ldGFEZXJpdmF0aW9uQ2hpbGROb2Rlcy5ldmVyeSgobWV0YURlcml2YXRpb25DaGlsZE5vZGUpID0+IHtcbiAgICAgICAgICBsZXQgbWV0YURlcml2YXRpb25DaGlsZE5vZGVWZXJpZmllZDtcblxuICAgICAgICAgIGNvbnN0IHJ1bGVOYW1lID0gbWV0YURlcml2YXRpb25DaGlsZE5vZGUuZ2V0UnVsZU5hbWUoKTtcblxuICAgICAgICAgIHN3aXRjaCAocnVsZU5hbWUpIHtcbiAgICAgICAgICAgIGNhc2UgTUVUQV9TVUJQUk9PRl9SVUxFX05BTUU6IHtcbiAgICAgICAgICAgICAgY29uc3QgbWV0YVN1YnByb29mTm9kZSA9IG1ldGFEZXJpdmF0aW9uQ2hpbGROb2RlLCAgLy8vXG4gICAgICAgICAgICAgICAgICAgIG1ldGFTdWJwcm9vZlZlcmlmaWVkID0gdmVyaWZ5TWV0YVN1YnByb29mKG1ldGFTdWJwcm9vZk5vZGUsIG1ldGFwcm9vZkNvbnRleHQpO1xuXG4gICAgICAgICAgICAgIGlmIChtZXRhU3VicHJvb2ZWZXJpZmllZCkge1xuICAgICAgICAgICAgICAgIGNvbnN0IG1ldGFBc3NlcnRpb24gPSBNZXRhQXNzZXJ0aW9uLmZyb21NZXRhU3VicHJvb2ZOb2RlKG1ldGFTdWJwcm9vZk5vZGUpO1xuXG4gICAgICAgICAgICAgICAgbWV0YXByb29mQ29udGV4dC5hZGRNZXRhQXNzZXJ0aW9uKG1ldGFBc3NlcnRpb24pO1xuXG4gICAgICAgICAgICAgICAgbWV0YURlcml2YXRpb25DaGlsZE5vZGVWZXJpZmllZCA9IHRydWU7XG4gICAgICAgICAgICAgIH1cblxuICAgICAgICAgICAgICBicmVhaztcbiAgICAgICAgICAgIH1cblxuICAgICAgICAgICAgY2FzZSBRVUFMSUZJRURfTUVUQVNUQVRFTUVOVF9SVUxFX05BTUU6IHtcbiAgICAgICAgICAgICAgY29uc3QgcXVhbGlmaWVkTWV0YXN0YXRlbWVudE5vZGUgPSBtZXRhRGVyaXZhdGlvbkNoaWxkTm9kZSwgIC8vL1xuICAgICAgICAgICAgICAgICAgICBxdWFsaWZpZWRNZXRhc3RhdGVtZW50VmVyaWZpZWQgPSB2ZXJpZnlRdWFsaWZpZWRNZXRhc3RhdGVtZW50KHF1YWxpZmllZE1ldGFzdGF0ZW1lbnROb2RlLCBtZXRhcHJvb2ZDb250ZXh0KTtcblxuICAgICAgICAgICAgICBpZiAocXVhbGlmaWVkTWV0YXN0YXRlbWVudFZlcmlmaWVkKSB7XG4gICAgICAgICAgICAgICAgY29uc3QgbWV0YUFzc2VydGlvbiA9IE1ldGFBc3NlcnRpb24uZnJvbVF1YWxpZmllZE1ldGFzdGF0ZW1lbnROb2RlKHF1YWxpZmllZE1ldGFzdGF0ZW1lbnROb2RlKTtcblxuICAgICAgICAgICAgICAgIG1ldGFwcm9vZkNvbnRleHQuYWRkTWV0YUFzc2VydGlvbihtZXRhQXNzZXJ0aW9uKTtcblxuICAgICAgICAgICAgICAgIG1ldGFEZXJpdmF0aW9uQ2hpbGROb2RlVmVyaWZpZWQgPSBxdWFsaWZpZWRNZXRhc3RhdGVtZW50VmVyaWZpZWQ7IC8vL1xuICAgICAgICAgICAgICB9XG5cbiAgICAgICAgICAgICAgYnJlYWs7XG4gICAgICAgICAgICB9XG5cbiAgICAgICAgICAgIGNhc2UgVU5RVUFMSUZJRURfTUVUQVNUQVRFTUVOVF9SVUxFX05BTUU6IHtcbiAgICAgICAgICAgICAgY29uc3QgdW5xdWFsaWZpZWRNZXRhc3RhdGVtZW50Tm9kZSA9IG1ldGFEZXJpdmF0aW9uQ2hpbGROb2RlLCAgLy8vXG4gICAgICAgICAgICAgICAgICAgIHVucXVhbGlmaWVkTWV0YXN0YXRlbWVudFZlcmlmaWVkID0gdmVyaWZ5VW5xdWFsaWZpZWRNZXRhc3RhdGVtZW50KHVucXVhbGlmaWVkTWV0YXN0YXRlbWVudE5vZGUsIG1ldGFwcm9vZkNvbnRleHQpO1xuXG4gICAgICAgICAgICAgIGlmICh1bnF1YWxpZmllZE1ldGFzdGF0ZW1lbnRWZXJpZmllZCkge1xuICAgICAgICAgICAgICAgIGNvbnN0IG1ldGFBc3NlcnRpb24gPSBNZXRhQXNzZXJ0aW9uLmZyb21VbnF1YWxpZmllZE1ldGFzdGF0ZW1lbnROb2RlKHVucXVhbGlmaWVkTWV0YXN0YXRlbWVudE5vZGUpO1xuXG4gICAgICAgICAgICAgICAgbWV0YXByb29mQ29udGV4dC5hZGRNZXRhQXNzZXJ0aW9uKG1ldGFBc3NlcnRpb24pO1xuXG4gICAgICAgICAgICAgICAgbWV0YURlcml2YXRpb25DaGlsZE5vZGVWZXJpZmllZCA9IHRydWU7XG4gICAgICAgICAgICAgIH1cblxuICAgICAgICAgICAgICBicmVhaztcbiAgICAgICAgICAgIH1cbiAgICAgICAgICB9XG5cbiAgICAgICAgICByZXR1cm4gbWV0YURlcml2YXRpb25DaGlsZE5vZGVWZXJpZmllZDtcbiAgICAgICAgfSk7XG5cbiAgbWV0YURlcml2YXRpb25WZXJpZmllZCA9IG1ldGFEZXJpdmF0aW9uQ2hpbGROb2Rlc1ZlcmlmaWVkOyAgLy8vXG5cbiAgbWV0YURlcml2YXRpb25WZXJpZmllZCA/XG4gICAgbWV0YXByb29mQ29udGV4dC5jb21wbGV0ZShtZXRhRGVyaXZhdGlvbk5vZGUpIDpcbiAgICAgIG1ldGFwcm9vZkNvbnRleHQuaGFsdChtZXRhRGVyaXZhdGlvbk5vZGUpO1xuXG4gIHJldHVybiBtZXRhRGVyaXZhdGlvblZlcmlmaWVkO1xufVxuXG5mdW5jdGlvbiB2ZXJpZnlNZXRhU3VicHJvb2YobWV0YVN1YnByb29mTm9kZSwgbWV0YXByb29mQ29udGV4dCkge1xuICBsZXQgbWV0YVN1YnByb29mVmVyaWZpZWQgPSBmYWxzZTtcblxuICBtZXRhcHJvb2ZDb250ZXh0ID0gTWV0YXByb29mQ29udGV4dC5mcm9tTWV0YXByb29mQ29udGV4dChtZXRhcHJvb2ZDb250ZXh0KTsgLy8vXG5cbiAgY29uc3QgcXVhbGlmaWVkT3JVbnF1YWxpZmllZE1ldGFzdGF0ZW1lbnROb2RlcyA9IHF1YWxpZmllZE9yVW5xdWFsaWZpZWRNZXRhc3RhdGVtZW50Tm9kZXNRdWVyeShtZXRhU3VicHJvb2ZOb2RlKSxcbiAgICAgICAgZmlyc3RRdWFsaWZpZWRPclVucXVhbGlmaWVkTWV0YXN0YXRlbWVudE5vZGUgPSBmaXJzdChxdWFsaWZpZWRPclVucXVhbGlmaWVkTWV0YXN0YXRlbWVudE5vZGVzKSxcbiAgICAgICAgdW5xdWFsaWZpZWRNZXRhc3RhdGVtZW50Tm9kZSA9IGZpcnN0UXVhbGlmaWVkT3JVbnF1YWxpZmllZE1ldGFzdGF0ZW1lbnROb2RlLCAgLy8vXG4gICAgICAgIHVucXVhbGlmaWVkTWV0YXN0YXRlbWVudFZlcmlmaWVkID0gdmVyaWZ5VW5xdWFsaWZpZWRNZXRhc3RhdGVtZW50KHVucXVhbGlmaWVkTWV0YXN0YXRlbWVudE5vZGUsIG1ldGFwcm9vZkNvbnRleHQpO1xuXG4gIGlmICh1bnF1YWxpZmllZE1ldGFzdGF0ZW1lbnRWZXJpZmllZCkge1xuICAgIGNvbnN0IG1ldGFBc3NlcnRpb24gPSBNZXRhQXNzZXJ0aW9uLmZyb21VbnF1YWxpZmllZE1ldGFzdGF0ZW1lbnROb2RlKHVucXVhbGlmaWVkTWV0YXN0YXRlbWVudE5vZGUpO1xuXG4gICAgbWV0YXByb29mQ29udGV4dC5hZGRNZXRhQXNzZXJ0aW9uKG1ldGFBc3NlcnRpb24pO1xuXG4gICAgbGV0IG1ldGFEZXJpdmF0aW9uVmVyaWZpZWQgPSB0cnVlO1xuXG4gICAgY29uc3QgbWV0YURlcml2YXRpb25Ob2RlID0gbWV0YURlcml2YXRpb25Ob2RlUXVlcnkobWV0YVN1YnByb29mTm9kZSk7XG5cbiAgICBpZiAobWV0YURlcml2YXRpb25Ob2RlICE9PSBudWxsKSB7XG4gICAgICBtZXRhRGVyaXZhdGlvblZlcmlmaWVkID0gdmVyaWZ5TWV0YURlcml2YXRpb24obWV0YURlcml2YXRpb25Ob2RlLCBtZXRhcHJvb2ZDb250ZXh0KTtcbiAgICB9XG5cbiAgICBpZiAobWV0YURlcml2YXRpb25WZXJpZmllZCkge1xuICAgICAgY29uc3Qgc2Vjb25kUXVhbGlmaWVkT3JVbnF1YWxpZmllZE1ldGFzdGF0ZW1lbnROb2RlID0gc2Vjb25kKHF1YWxpZmllZE9yVW5xdWFsaWZpZWRNZXRhc3RhdGVtZW50Tm9kZXMpLFxuICAgICAgICAgICAgcXVhbGlmaWVkT3JVbnF1YWxpZmllZE1ldGFzdGF0ZW1lbnROb2RlID0gc2Vjb25kUXVhbGlmaWVkT3JVbnF1YWxpZmllZE1ldGFzdGF0ZW1lbnROb2RlLCAgLy8vXG4gICAgICAgICAgICBxdWFsaWZpZWRNZXRhc3RhdGVtZW50Tm9kZSA9IHF1YWxpZmllZE1ldGFzdGF0ZW1lbnROb2RlUXVlcnkocXVhbGlmaWVkT3JVbnF1YWxpZmllZE1ldGFzdGF0ZW1lbnROb2RlKSxcbiAgICAgICAgICAgIHVucXVhbGlmaWVkTWV0YXN0YXRlbWVudE5vZGUgPSB1bnF1YWxpZmllZE1ldGFzdGF0ZW1lbnROb2RlUXVlcnkocXVhbGlmaWVkT3JVbnF1YWxpZmllZE1ldGFzdGF0ZW1lbnROb2RlKTtcblxuICAgICAgaWYgKHF1YWxpZmllZE1ldGFzdGF0ZW1lbnROb2RlICE9PSBudWxsKSB7XG4gICAgICAgIGNvbnN0IHF1YWxpZmllZE1ldGFzdGF0ZW1lbnRWZXJpZmllZCA9IHZlcmlmeVF1YWxpZmllZE1ldGFzdGF0ZW1lbnQocXVhbGlmaWVkTWV0YXN0YXRlbWVudE5vZGUsIG1ldGFwcm9vZkNvbnRleHQpO1xuXG4gICAgICAgIG1ldGFTdWJwcm9vZlZlcmlmaWVkID0gcXVhbGlmaWVkTWV0YXN0YXRlbWVudFZlcmlmaWVkOyAgLy8vXG4gICAgICB9XG5cbiAgICAgIGlmICh1bnF1YWxpZmllZE1ldGFzdGF0ZW1lbnROb2RlICE9PSBudWxsKSB7XG4gICAgICAgIGNvbnN0IHVucXVhbGlmaWVkTWV0YXN0YXRlbWVudFZlcmlmaWVkID0gdmVyaWZ5VW5xdWFsaWZpZWRNZXRhc3RhdGVtZW50KHVucXVhbGlmaWVkTWV0YXN0YXRlbWVudE5vZGUsIG1ldGFwcm9vZkNvbnRleHQpO1xuXG4gICAgICAgIG1ldGFTdWJwcm9vZlZlcmlmaWVkID0gdW5xdWFsaWZpZWRNZXRhc3RhdGVtZW50VmVyaWZpZWQ7ICAvLy9cbiAgICAgIH1cbiAgICB9XG4gIH1cblxuICByZXR1cm4gbWV0YVN1YnByb29mVmVyaWZpZWQ7XG59XG4iXSwibmFtZXMiOlsidmVyaWZ5TWV0YURlcml2YXRpb24iLCJtZXRhRGVyaXZhdGlvbk5vZGVRdWVyeSIsIm5vZGVRdWVyeSIsIm1ldGFEZXJpdmF0aW9uQ2hpbGROb2Rlc1F1ZXJ5Iiwibm9kZXNRdWVyeSIsInF1YWxpZmllZE1ldGFzdGF0ZW1lbnROb2RlUXVlcnkiLCJ1bnF1YWxpZmllZE1ldGFzdGF0ZW1lbnROb2RlUXVlcnkiLCJxdWFsaWZpZWRPclVucXVhbGlmaWVkTWV0YXN0YXRlbWVudE5vZGVzUXVlcnkiLCJtZXRhRGVyaXZhdGlvbk5vZGUiLCJtZXRhcHJvb2ZDb250ZXh0IiwibWV0YURlcml2YXRpb25WZXJpZmllZCIsImJlZ2luIiwiZGVyaXZlZCIsInNldERlcml2ZWQiLCJtZXRhRGVyaXZhdGlvbkNoaWxkTm9kZXMiLCJtZXRhRGVyaXZhdGlvbkNoaWxkTm9kZXNWZXJpZmllZCIsImV2ZXJ5IiwibWV0YURlcml2YXRpb25DaGlsZE5vZGUiLCJtZXRhRGVyaXZhdGlvbkNoaWxkTm9kZVZlcmlmaWVkIiwicnVsZU5hbWUiLCJnZXRSdWxlTmFtZSIsIk1FVEFfU1VCUFJPT0ZfUlVMRV9OQU1FIiwibWV0YVN1YnByb29mTm9kZSIsIm1ldGFTdWJwcm9vZlZlcmlmaWVkIiwidmVyaWZ5TWV0YVN1YnByb29mIiwibWV0YUFzc2VydGlvbiIsIk1ldGFBc3NlcnRpb24iLCJmcm9tTWV0YVN1YnByb29mTm9kZSIsImFkZE1ldGFBc3NlcnRpb24iLCJRVUFMSUZJRURfTUVUQVNUQVRFTUVOVF9SVUxFX05BTUUiLCJxdWFsaWZpZWRNZXRhc3RhdGVtZW50Tm9kZSIsInF1YWxpZmllZE1ldGFzdGF0ZW1lbnRWZXJpZmllZCIsInZlcmlmeVF1YWxpZmllZE1ldGFzdGF0ZW1lbnQiLCJmcm9tUXVhbGlmaWVkTWV0YXN0YXRlbWVudE5vZGUiLCJVTlFVQUxJRklFRF9NRVRBU1RBVEVNRU5UX1JVTEVfTkFNRSIsInVucXVhbGlmaWVkTWV0YXN0YXRlbWVudE5vZGUiLCJ1bnF1YWxpZmllZE1ldGFzdGF0ZW1lbnRWZXJpZmllZCIsInZlcmlmeVVucXVhbGlmaWVkTWV0YXN0YXRlbWVudCIsImZyb21VbnF1YWxpZmllZE1ldGFzdGF0ZW1lbnROb2RlIiwiY29tcGxldGUiLCJoYWx0IiwiTWV0YXByb29mQ29udGV4dCIsImZyb21NZXRhcHJvb2ZDb250ZXh0IiwicXVhbGlmaWVkT3JVbnF1YWxpZmllZE1ldGFzdGF0ZW1lbnROb2RlcyIsImZpcnN0UXVhbGlmaWVkT3JVbnF1YWxpZmllZE1ldGFzdGF0ZW1lbnROb2RlIiwiZmlyc3QiLCJzZWNvbmRRdWFsaWZpZWRPclVucXVhbGlmaWVkTWV0YXN0YXRlbWVudE5vZGUiLCJzZWNvbmQiLCJxdWFsaWZpZWRPclVucXVhbGlmaWVkTWV0YXN0YXRlbWVudE5vZGUiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQWlCQTs7O2VBQXdCQTs7O2tFQWZFOzhEQUNHOzhEQUNZO2dFQUNFO3FCQUViO3FCQUNRO3lCQUMwRTs7Ozs7O0FBRWhILElBQU1DLDBCQUEwQkMsSUFBQUEsZ0JBQVMsRUFBQyxrQ0FDcENDLGdDQUFnQ0MsSUFBQUEsaUJBQVUsRUFBQyxzQkFDM0NDLGtDQUFrQ0gsSUFBQUEsZ0JBQVMsRUFBQyw0QkFDNUNJLG9DQUFvQ0osSUFBQUEsZ0JBQVMsRUFBQywrQkFDOUNLLGdEQUFnREgsSUFBQUEsaUJBQVUsRUFBQztBQUVsRCxTQUFTSixxQkFBcUJRLGtCQUFrQixFQUFFQyxnQkFBZ0IsRUFBRTtJQUNqRixJQUFJQztJQUVKRCxpQkFBaUJFLEtBQUssQ0FBQ0g7SUFFdkIsSUFBTUksVUFBVSxJQUFJO0lBRXBCSCxpQkFBaUJJLFVBQVUsQ0FBQ0Q7SUFFNUIsSUFBTUUsMkJBQTJCWCw4QkFBOEJLLHFCQUN6RE8sbUNBQW1DRCx5QkFBeUJFLEtBQUssQ0FBQyxTQUFDQyx5QkFBNEI7UUFDN0YsSUFBSUM7UUFFSixJQUFNQyxXQUFXRix3QkFBd0JHLFdBQVc7UUFFcEQsT0FBUUQ7WUFDTixLQUFLRSxrQ0FBdUI7Z0JBQUU7b0JBQzVCLElBQU1DLG1CQUFtQkwseUJBQ25CTSx1QkFBdUJDLG1CQUFtQkYsa0JBQWtCYjtvQkFFbEUsSUFBSWMsc0JBQXNCO3dCQUN4QixJQUFNRSxnQkFBZ0JDLHNCQUFhLENBQUNDLG9CQUFvQixDQUFDTDt3QkFFekRiLGlCQUFpQm1CLGdCQUFnQixDQUFDSDt3QkFFbENQLGtDQUFrQyxJQUFJO29CQUN4QyxDQUFDO29CQUVELEtBQU07Z0JBQ1I7WUFFQSxLQUFLVyw0Q0FBaUM7Z0JBQUU7b0JBQ3RDLElBQU1DLDZCQUE2QmIseUJBQzdCYyxpQ0FBaUNDLElBQUFBLGtCQUE0QixFQUFDRiw0QkFBNEJyQjtvQkFFaEcsSUFBSXNCLGdDQUFnQzt3QkFDbEMsSUFBTU4saUJBQWdCQyxzQkFBYSxDQUFDTyw4QkFBOEIsQ0FBQ0g7d0JBRW5FckIsaUJBQWlCbUIsZ0JBQWdCLENBQUNIO3dCQUVsQ1Asa0NBQWtDYSxnQ0FBZ0MsR0FBRztvQkFDdkUsQ0FBQztvQkFFRCxLQUFNO2dCQUNSO1lBRUEsS0FBS0csOENBQW1DO2dCQUFFO29CQUN4QyxJQUFNQywrQkFBK0JsQix5QkFDL0JtQixtQ0FBbUNDLElBQUFBLG9CQUE4QixFQUFDRiw4QkFBOEIxQjtvQkFFdEcsSUFBSTJCLGtDQUFrQzt3QkFDcEMsSUFBTVgsaUJBQWdCQyxzQkFBYSxDQUFDWSxnQ0FBZ0MsQ0FBQ0g7d0JBRXJFMUIsaUJBQWlCbUIsZ0JBQWdCLENBQUNIO3dCQUVsQ1Asa0NBQWtDLElBQUk7b0JBQ3hDLENBQUM7b0JBRUQsS0FBTTtnQkFDUjtRQUNGO1FBRUEsT0FBT0E7SUFDVDtJQUVOUix5QkFBeUJLLGtDQUFtQyxHQUFHO0lBRS9ETCx5QkFDRUQsaUJBQWlCOEIsUUFBUSxDQUFDL0Isc0JBQ3hCQyxpQkFBaUIrQixJQUFJLENBQUNoQyxtQkFBbUI7SUFFN0MsT0FBT0U7QUFDVDtBQUVBLFNBQVNjLG1CQUFtQkYsZ0JBQWdCLEVBQUViLGdCQUFnQixFQUFFO0lBQzlELElBQUljLHVCQUF1QixLQUFLO0lBRWhDZCxtQkFBbUJnQyxrQkFBZ0IsQ0FBQ0Msb0JBQW9CLENBQUNqQyxtQkFBbUIsR0FBRztJQUUvRSxJQUFNa0MsMkNBQTJDcEMsOENBQThDZSxtQkFDekZzQiwrQ0FBK0NDLElBQUFBLFlBQUssRUFBQ0YsMkNBQ3JEUiwrQkFBK0JTLDhDQUMvQlIsbUNBQW1DQyxJQUFBQSxvQkFBOEIsRUFBQ0YsOEJBQThCMUI7SUFFdEcsSUFBSTJCLGtDQUFrQztRQUNwQyxJQUFNWCxnQkFBZ0JDLHNCQUFhLENBQUNZLGdDQUFnQyxDQUFDSDtRQUVyRTFCLGlCQUFpQm1CLGdCQUFnQixDQUFDSDtRQUVsQyxJQUFJZix5QkFBeUIsSUFBSTtRQUVqQyxJQUFNRixxQkFBcUJQLHdCQUF3QnFCO1FBRW5ELElBQUlkLHVCQUF1QixJQUFJLEVBQUU7WUFDL0JFLHlCQUF5QlYscUJBQXFCUSxvQkFBb0JDO1FBQ3BFLENBQUM7UUFFRCxJQUFJQyx3QkFBd0I7WUFDMUIsSUFBTW9DLGdEQUFnREMsSUFBQUEsYUFBTSxFQUFDSiwyQ0FDdkRLLDBDQUEwQ0YsK0NBQzFDaEIsNkJBQTZCekIsZ0NBQWdDMkMsMENBQzdEYixnQ0FBK0I3QixrQ0FBa0MwQztZQUV2RSxJQUFJbEIsK0JBQStCLElBQUksRUFBRTtnQkFDdkMsSUFBTUMsaUNBQWlDQyxJQUFBQSxrQkFBNEIsRUFBQ0YsNEJBQTRCckI7Z0JBRWhHYyx1QkFBdUJRLGdDQUFpQyxHQUFHO1lBQzdELENBQUM7WUFFRCxJQUFJSSxrQ0FBaUMsSUFBSSxFQUFFO2dCQUN6QyxJQUFNQyxvQ0FBbUNDLElBQUFBLG9CQUE4QixFQUFDRiwrQkFBOEIxQjtnQkFFdEdjLHVCQUF1QmEsbUNBQW1DLEdBQUc7WUFDL0QsQ0FBQztRQUNILENBQUM7SUFDSCxDQUFDO0lBRUQsT0FBT2I7QUFDVCJ9