occam-verify-cli 1.0.642 → 1.0.648

package/lib/utilities/type.js

@@ -18,10 +18,10 @@ function _interop_require_default(obj) {
 var baseType = null;
 function baseTypeFromNothing() {
     if (baseType === null) {
-        var Type = _elements.default.Type, name = _constants.BASE_TYPE_SYMBOL, context = null, provisional = false;
-        baseType = Type.fromNameAndProvisional(name, provisional, context);
+        var Type = _elements.default.Type, name = _constants.BASE_TYPE_SYMBOL, context = null;
+        baseType = Type.fromName(name, context);
     }
     return baseType;
 }
 
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvdHlwZS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IGVsZW1lbnRzIGZyb20gXCIuLi9lbGVtZW50c1wiO1xuXG5pbXBvcnQgeyBCQVNFX1RZUEVfU1lNQk9MIH0gZnJvbSBcIi4uL2NvbnN0YW50c1wiO1xuXG5sZXQgYmFzZVR5cGUgPSBudWxsO1xuXG5leHBvcnQgZnVuY3Rpb24gYmFzZVR5cGVGcm9tTm90aGluZygpIHtcbiAgaWYgKGJhc2VUeXBlID09PSBudWxsKSB7XG4gICAgY29uc3QgeyBUeXBlIH0gPSBlbGVtZW50cyxcbiAgICAgICAgICBuYW1lID0gQkFTRV9UWVBFX1NZTUJPTCwgIC8vL1xuICAgICAgICAgIGNvbnRleHQgPSBudWxsLFxuICAgICAgICAgIHByb3Zpc2lvbmFsID0gZmFsc2U7XG5cbiAgICBiYXNlVHlwZSA9IFR5cGUuZnJvbU5hbWVBbmRQcm92aXNpb25hbChuYW1lLCBwcm92aXNpb25hbCwgY29udGV4dCk7XG4gIH1cblxuICByZXR1cm4gYmFzZVR5cGU7XG59XG4iXSwibmFtZXMiOlsiYmFzZVR5cGVGcm9tTm90aGluZyIsImJhc2VUeXBlIiwiVHlwZSIsImVsZW1lbnRzIiwibmFtZSIsIkJBU0VfVFlQRV9TWU1CT0wiLCJjb250ZXh0IiwicHJvdmlzaW9uYWwiLCJmcm9tTmFtZUFuZFByb3Zpc2lvbmFsIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFRZ0JBOzs7ZUFBQUE7OzsrREFOSzt5QkFFWTs7Ozs7O0FBRWpDLElBQUlDLFdBQVc7QUFFUixTQUFTRDtJQUNkLElBQUlDLGFBQWEsTUFBTTtRQUNyQixJQUFNLEFBQUVDLE9BQVNDLGlCQUFRLENBQWpCRCxNQUNGRSxPQUFPQywyQkFBZ0IsRUFDdkJDLFVBQVUsTUFDVkMsY0FBYztRQUVwQk4sV0FBV0MsS0FBS00sc0JBQXNCLENBQUNKLE1BQU1HLGFBQWFEO0lBQzVEO0lBRUEsT0FBT0w7QUFDVCJ9
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvdHlwZS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IGVsZW1lbnRzIGZyb20gXCIuLi9lbGVtZW50c1wiO1xuXG5pbXBvcnQgeyBCQVNFX1RZUEVfU1lNQk9MIH0gZnJvbSBcIi4uL2NvbnN0YW50c1wiO1xuXG5sZXQgYmFzZVR5cGUgPSBudWxsO1xuXG5leHBvcnQgZnVuY3Rpb24gYmFzZVR5cGVGcm9tTm90aGluZygpIHtcbiAgaWYgKGJhc2VUeXBlID09PSBudWxsKSB7XG4gICAgY29uc3QgeyBUeXBlIH0gPSBlbGVtZW50cyxcbiAgICAgICAgICBuYW1lID0gQkFTRV9UWVBFX1NZTUJPTCwgIC8vL1xuICAgICAgICAgIGNvbnRleHQgPSBudWxsO1xuXG4gICAgYmFzZVR5cGUgPSBUeXBlLmZyb21OYW1lKG5hbWUsIGNvbnRleHQpO1xuICB9XG5cbiAgcmV0dXJuIGJhc2VUeXBlO1xufVxuIl0sIm5hbWVzIjpbImJhc2VUeXBlRnJvbU5vdGhpbmciLCJiYXNlVHlwZSIsIlR5cGUiLCJlbGVtZW50cyIsIm5hbWUiLCJCQVNFX1RZUEVfU1lNQk9MIiwiY29udGV4dCIsImZyb21OYW1lIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFRZ0JBOzs7ZUFBQUE7OzsrREFOSzt5QkFFWTs7Ozs7O0FBRWpDLElBQUlDLFdBQVc7QUFFUixTQUFTRDtJQUNkLElBQUlDLGFBQWEsTUFBTTtRQUNyQixJQUFNLEFBQUVDLE9BQVNDLGlCQUFRLENBQWpCRCxNQUNGRSxPQUFPQywyQkFBZ0IsRUFDdkJDLFVBQVU7UUFFaEJMLFdBQVdDLEtBQUtLLFFBQVEsQ0FBQ0gsTUFBTUU7SUFDakM7SUFFQSxPQUFPTDtBQUNUIn0=

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "occam-verify-cli",
   "author": "James Smith",
-  "version": "1.0.642",
+  "version": "1.0.648",
   "license": "MIT, Anti-996",
   "homepage": "https://github.com/djalbat/occam-verify-cli",
   "description": "Occam's Verifier",

package/src/context/file/nominal.js

@@ -263,7 +263,7 @@ export default class NominalFileContext extends FileContext {
     this.types.push(type);
 
     const filePath = this.getFilePath(),
-          typeString = type.toString();
+          typeString = type.getString();
 
     this.trace(`Added the '${typeString}' type to the '${filePath}' file context.`)
   }
@@ -272,7 +272,7 @@ export default class NominalFileContext extends FileContext {
     this.rules.push(rule);
 
     const filePath = this.getFilePath(),
-          ruleString = rule.toString();
+          ruleString = rule.getString();
 
     this.trace(`Added the '${ruleString}' rule to the '${filePath}' file context.`)
   }
@@ -281,7 +281,7 @@ export default class NominalFileContext extends FileContext {
     this.axioms.push(axiom);
 
     const filePath = this.getFilePath(),
-          axiomString = axiom.toString();
+          axiomString = axiom.getString();
 
     this.trace(`Added the '${axiomString}' axiom to the '${filePath}' file context.`)
   }
@@ -290,7 +290,7 @@ export default class NominalFileContext extends FileContext {
     this.lemmas.push(lemma);
 
     const filePath = this.getFilePath(),
-          lemmaString = lemma.toString();
+          lemmaString = lemma.getString();
 
     this.trace(`Added the '${lemmaString}' lemma to the '${filePath}' file context.`)
   }
@@ -299,7 +299,7 @@ export default class NominalFileContext extends FileContext {
     this.theorems.push(theorem);
 
     const filePath = this.getFilePath(),
-          theoremString = theorem.toString();
+          theoremString = theorem.getString();
 
     this.trace(`Added the '${theoremString}' theorem to the '${filePath}' file context.`)
   }
@@ -308,7 +308,7 @@ export default class NominalFileContext extends FileContext {
     this.variables.push(variable);
 
     const filePath = this.getFilePath(),
-          variableString = variable.toString();
+          variableString = variable.getString();
 
     this.trace(`Added the '${variableString}' variable to the '${filePath}' file context.`)
   }
@@ -317,7 +317,7 @@ export default class NominalFileContext extends FileContext {
     this.metaLemmas.push(metaLemma);
 
     const filePath = this.getFilePath(),
-          metaLemmaString = metaLemma.toString();
+          metaLemmaString = metaLemma.getString();
 
     this.trace(`Added the '${metaLemmaString}' meta-lemma to the '${filePath}' file context.`)
   }
@@ -326,7 +326,7 @@ export default class NominalFileContext extends FileContext {
     this.conjectures.push(conjecture);
 
     const filePath = this.getFilePath(),
-          ocnjectureString = ocnjecture.toString();
+          ocnjectureString = ocnjecture.getString();
 
     this.trace(`Added the '${ocnjectureString}' ocnjecture to the '${filePath}' file context.`)
   }
@@ -335,7 +335,7 @@ export default class NominalFileContext extends FileContext {
     this.combinators.push(combinator);
 
     const filePath = this.getFilePath(),
-          combinatorString = combinator.toString();
+          combinatorString = combinator.getString();
 
     this.trace(`Added the '${combinatorString}' combinator to the '${filePath}' file context.`)
   }
@@ -344,7 +344,7 @@ export default class NominalFileContext extends FileContext {
     this.typePrefixes.push(typePrefix);
 
     const filePath = this.getFilePath(),
-          typePrefixString = typePrefix.toString();
+          typePrefixString = typePrefix.getString();
 
     this.trace(`Added the '${typePrefixString}' type-prefix to the '${filePath}' file context.`)
   }
@@ -353,7 +353,7 @@ export default class NominalFileContext extends FileContext {
     this.constructors.push(constructor);
 
     const filePath = this.getFilePath(),
-          constructorString = constructor.toString();
+          constructorString = constructor.getString();
 
     this.trace(`Added the '${constructorString}' constructor to the '${filePath}' file context.`)
   }
@@ -362,7 +362,7 @@ export default class NominalFileContext extends FileContext {
     this.metatheorems.push(metatheorem);
 
     const filePath = this.getFilePath(),
-          metatheoremString = metatheorem.toString();
+          metatheoremString = metatheorem.getString();
 
     this.trace(`Added the '${metatheoremString}' metatheorem to the '${filePath}' file context.`)
   }
@@ -371,7 +371,7 @@ export default class NominalFileContext extends FileContext {
     this.metavariables.push(metavariable);
 
     const filePath = this.getFilePath(),
-          metavariableString = metavariable.toString();
+          metavariableString = metavariable.getString();
 
     this.trace(`Added the '${metavariableString}' metavariable to the '${filePath}' file context.`)
   }

package/src/context.js

@@ -33,7 +33,7 @@ export default class Context extends ContextBase {
 
   getFrames() {
     const context = this.getContext(),
-      frames = context.getFrames();
+          frames = context.getFrames();
 
     return frames;
   }
@@ -87,9 +87,9 @@ export default class Context extends ContextBase {
     return combinators;
   }
 
-  getConstrustors(includeRelease) {
+  getConstructors(includeRelease) {
     const context = this.getContext(),
-          constructors = context.getConstrustors(includeRelease);
+          constructors = context.getConstructors(includeRelease);
 
     return constructors;
   }
@@ -118,7 +118,7 @@ export default class Context extends ContextBase {
 
   findRuleByReference(reference) {
     const context = this.getContext(),
-      rule = context.findRuleByReference(reference);
+          rule = context.findRuleByReference(reference);
 
     return rule;
   }
@@ -146,14 +146,14 @@ export default class Context extends ContextBase {
 
   findFrameByFrameNode(frameNode) {
     const context = this.getContext(),
-      frame = context.findFrameByFrameNode(frameNode);
+          frame = context.findFrameByFrameNode(frameNode);
 
     return frame;
   }
 
   findEqualityByEqualityNode(equalityNode) {
     const context = this.getContext(),
-      equality = context.findEqualityByEqualityNode(equalityNode);
+          equality = context.findEqualityByEqualityNode(equalityNode);
 
     return equality;
   }
@@ -186,6 +186,13 @@ export default class Context extends ContextBase {
     return substitution;
   }
 
+  findTypeByNominalTypeName(nominalTypeName) {
+    const context = this.getContext(),
+          type = context.findTypeByNominalTypeName(nominalTypeName);
+
+    return type;
+  }
+
   findVariableByVariableIdentifier(variableIdentifier) {
     const context = this.getContext(),
           variable = context.findVariableByVariableIdentifier(variableIdentifier);
@@ -238,7 +245,7 @@ export default class Context extends ContextBase {
 
   findProcedureByProcedureName(procedureName) {
     const context = this.getContext(),
-      procedure = context.findProcedureByProcedureName(procedureName);
+          procedure = context.findProcedureByProcedureName(procedureName);
 
     return procedure;
   }
@@ -279,11 +286,11 @@ export default class Context extends ContextBase {
     return framePresent;
   }
 
-  isJudgementPresentByJudgementNode(judgementNode) {
+  isTypePresentByNominalTypeName(nominalTypeName) {
     const context = this.getContext(),
-          judgementPresent = context.isJudgementPresentByJudgementNode(judgementNode);
+          typePresent = context.isTypePresentByNominalTypeName(nominalTypeName);
 
-    return judgementPresent;
+    return typePresent;
   }
 
   isEqualityPresentByEqualityNode(equalityNode) {
@@ -293,6 +300,13 @@ export default class Context extends ContextBase {
     return equalityPresent;
   }
 
+  isJudgementPresentByJudgementNode(judgementNode) {
+    const context = this.getContext(),
+          judgementPresent = context.isJudgementPresentByJudgementNode(judgementNode);
+
+    return judgementPresent;
+  }
+
   isStatementPresentByStatementNode(statementNode) {
     const context = this.getContext(),
       statementPresent = context.isStatementPresentByStatementNode(statementNode);

package/src/element/assertion/type.js

@@ -80,9 +80,10 @@ export default define(class TypeAssertion extends Assertion {
   validateType(context) {
     let typeValidates;
 
-    const typeString = this.type.getString();
+    const typeString = this.type.getString(),
+          typeAssertionString = this.getString();  ///
 
-    context.trace(`Validating the '${typeString}' type...`);
+    context.trace(`Validating the '${typeAssertionString}' type assertion's '${typeString}' type...`);
 
     const nominalTypeName = this.type.getNominalTypeName(),
           type = context.findTypeByNominalTypeName(nominalTypeName);
@@ -96,7 +97,7 @@ export default define(class TypeAssertion extends Assertion {
     }
 
     if (typeValidates) {
-      context.debug(`...verified the '${typeString}' type.`);
+      context.debug(`...validated the '${typeAssertionString}' type assertion's '${typeString}' type.`);
     }
 
     return typeValidates;
@@ -178,10 +179,13 @@ export default define(class TypeAssertion extends Assertion {
     }
 
     const typeAssertion = this, ///
-          variableAssigment = variableAssignmentFromTypeAssertion(typeAssertion, context),
-          assignment = variableAssigment;  ///
+          variableAssigment = variableAssignmentFromTypeAssertion(typeAssertion, context);
 
-    context.addAassignment(assignment);
+    if (variableAssigment !== null) {
+      const assignment = variableAssigment;  ///
+
+      context.addAssignment(assignment);
+    }
   }
 
   static name = "TypeAssertion";

package/src/element/combinator.js

@@ -3,7 +3,8 @@
 import { Element } from "occam-languages";
 
 import { define } from "../elements";
-import { verifyCombinator } from "../process/verify";
+import { attempt } from "../utilities/context";
+import { verifyStatementAsCombinator } from "../process/verify";
 import { unifyStatementWithCombinator } from "../process/unify";
 import { statementFromJSON, statementToStatementJSON } from "../utilities/json";
 
@@ -26,18 +27,21 @@ export default define(class Combinator extends Element {
   }
 
   verify(context) {
-    let verifies;
+    let verifies = false;
 
     const combinatorString = this.getString();  ///
 
     context.trace(`Verifying the '${combinatorString}' combinator...`);
 
-    const combinator = this,  ///
-          combinatorVerifies = verifyCombinator(combinator);
+    attempt((context) => {
+      const statementVerifiesAsCombinator = verifyStatementAsCombinator(this.statement, context);
 
-    if (combinatorVerifies) {
-      verifies = true;
-    }
+      if (statementVerifiesAsCombinator) {
+        this.setContext(context);
+
+        verifies = true;
+      }
+    }, context)
 
     if (verifies) {
       context.debug(`...verified the '${combinatorString}' combinator.`);

package/src/element/constructor.js

@@ -3,6 +3,8 @@
 import { Element } from "occam-languages";
 
 import { define } from "../elements";
+import { attempt } from "../utilities/context";
+import { verifyTermAsConstructor } from "../process/verify";
 import { unifyTermWithConstructor } from "../process/unify";
 import { termFromJSON, termToTermJSON } from "../utilities/json";
 
@@ -24,12 +26,53 @@ export default define(class Constructor extends Element {
     return constructorNode;
   }
 
-  isProvisional() { return this.term.isProvisional(); }
-
   getType() { return this.term.getType(); }
 
+  getString() {
+    let string;
+
+    const type = this.getType();
+
+    if (type === null) {
+      const termString = this.term.getString();
+
+      string = termString;  ///
+    } else {
+      const typeString = type.getString(),
+            termString = this.term.getString();
+
+      string = `${termString}.${typeString}`;
+    }
+
+    return string;
+  }
+
   setType(type) { this.term.setType(type); }
 
+  verify(context) {
+    let verifies = false;
+
+    const constructorString = this.getString();  ///
+
+    context.trace(`Verifying the '${constructorString}' constructor...`);
+
+    attempt((context) => {
+      const termVerifiesAsConstructor = verifyTermAsConstructor(this.term, context);
+
+      if (termVerifiesAsConstructor) {
+        this.setContext(context);
+
+        verifies = true;
+      }
+    }, context);
+
+    if (verifies) {
+      context.debug(`...verified the '${constructorString}' constructor.`);
+    }
+
+    return verifies;
+  }
+
   unifyTerm(term, context, validateForwards) {
     let termUnifies = false;
 
@@ -38,8 +81,16 @@ export default define(class Constructor extends Element {
 
     context.trace(`Unifying the '${termString}' term with the '${constructorString}' constructor...`);
 
+    const specifiContext = context; ///
+
+    context = this.getContext();
+
+    const generalContext = context; ///
+
+    context = specifiContext; ///
+
     const constructor = this, ///
-          termUnifiesWithConstructor = unifyTermWithConstructor(term, constructor, context);
+          termUnifiesWithConstructor = unifyTermWithConstructor(term, constructor, generalContext, specifiContext);
 
     if (termUnifiesWithConstructor) {
       let validatesForwards;

package/src/element/declaration/combinator.js

@@ -25,8 +25,11 @@ export default define(class CombinatorDeclaration extends Declaration {
   async verify() {
     let verifies = false;
 
-    const context = this.getContext(),
-          combinatorDeclarationString = this.getString();  ///
+    const context = this.getContext();
+
+    await this.break(context);
+
+    const combinatorDeclarationString = this.getString();  ///
 
     context.trace(`Verifying the '${combinatorDeclarationString}' combinator declaration...`);
 

package/src/element/declaration/complexType.js

@@ -5,19 +5,19 @@ import Declaration from "../declaration";
 import { define } from "../../elements";
 
 export default define(class ComplexTypeDeclaration extends Declaration {
-  constructor(context, string, node, type, prefixed) {
+  constructor(context, string, node, type, superTypes) {
     super(context, string, node);
 
     this.type = type;
-    this.prefixed = prefixed;
+    this.superTypes = superTypes;
   }
 
   getType() {
     return this.type;
   }
 
-  isPrefixed() {
-    return this.prefixed;
+  getSuperTypes() {
+    return this.superTypes;
   }
 
   getComplexTypeDeclarationNode() {
@@ -266,8 +266,11 @@ export default define(class ComplexTypeDeclaration extends Declaration {
   async verify() {
     let verifies = false;
 
-    const context = this.getContext(),
-          complexTypeDeclarationString = this.getString(); ///
+    const context = this.getContext();
+
+    await this.break(context);
+
+    const complexTypeDeclarationString = this.getString(); ///
 
     context.trace(`Verifying the '${complexTypeDeclarationString}' complex type declaration...`);
 

package/src/element/declaration/constructor.js

@@ -17,7 +17,7 @@ export default define(class ConstructorDeclaration extends Declaration {
     return this.type;
   }
 
-  isProvisinal() {
+  isProvisional() {
     return this.provisional;
   }
 
@@ -32,37 +32,6 @@ export default define(class ConstructorDeclaration extends Declaration {
     return constructorDeclarationNode;
   }
 
-  async verify() {
-    let verifies = false;
-
-    const context = this.getContext(),
-          constructorDeclarationString = this.getString();  ///
-
-    context.trace(`Verifying the '${constructorDeclarationString}' constructor declaration...`);
-
-    const typeVerified = this.verifyType();
-
-    if (typeVerified) {
-      const constructorVerifies = this.verifyConstructor();
-
-      if (constructorVerifies) {
-        const constructorTypeVerifies = this.verifyConstructorType();
-
-        if (constructorTypeVerifies) {
-          context.addConstructor(this.constructor);
-
-          verifies = true;
-        }
-      }
-    }
-
-    if (verifies) {
-      context.debug(`...verified the '${constructorDeclarationString}' constructor declaration.`);
-    }
-
-    return verifies;
-  }
-
   verifyType() {
     let typeVerifies = false;
 
@@ -76,8 +45,7 @@ export default define(class ConstructorDeclaration extends Declaration {
           type = context.findTypeByNominalTypeName(nominalTypeName);
 
     if (type !== null) {
-      const includeSupertypes = false,
-            provisional = this.isProvisional(includeSupertypes),
+      const provisional = this.isProvisional(),
             typeComparesToProvisional = type.compareProvisional(provisional);
 
       if (!typeComparesToProvisional) {
@@ -118,71 +86,37 @@ export default define(class ConstructorDeclaration extends Declaration {
     return constructorVerifies;
   }
 
-  // verifyConstructorType() {
-  //   let constructorTypeVerifies = false;
-  //
-  //   const context = this.getContext(),
-  //         constructorType = this,
-  //         constructorTypeString = constructorType.getString(),
-  //         constructorDeclarationString = this.getString();  ///
-  //
-  //   context.trace(`Verifying the '${constructorDeclarationString}' constructor declaration's '${constructorTypeString}' type...`);
-  //
-  //   const nominalTypeName = this.type.getNominalTypeName(),
-  //     typePresent = context.isTypePresentByNominalTypeName(nominalTypeName);
-  //
-  //   if (!typePresent) {
-  //     context.debug(`The '${typeString}' type is not present.`);
-  //   } else {
-  //     const includeSupertypes = false,
-  //       provisional = type.isProvisional(includeSupertypes),
-  //       typeComparesToProvisional = type.compareProvisional(provisional);
-  //
-  //     if (!typeComparesToProvisional) {
-  //       provisional ?
-  //         context.debug(`The '${typeString}' type is present but not provisional.`) :
-  //         context.debug(`The '${typeString}' type is present but provisional.`);
-  //     } else {
-  //       this.constructor.setType(type);
-  //
-  //       constructorTypeVerifies = true;
-  //     }
-  //   }
-  //
-  //   if (constructorTypeVerifies) {
-  //     context.debug(`...verified the '${constructorDeclarationString}' constructor declaration's '${typeString}' type.`);
-  //   }
-  //
-  //   return constructorTypeVerifies;
-  // }
+  async verify() {
+    let verifies = false;
 
-  static name = "ConstructorDeclaration";
-});
+    const context = this.getContext();
+
+    await this.break(context);
+
+    const constructorDeclarationString = this.getString();  ///
+
+    context.trace(`Verifying the '${constructorDeclarationString}' constructor declaration...`);
+
+    const typeVerified = this.verifyType();
+
+    if (typeVerified) {
+      const constructorVerifies = this.verifyConstructor();
+
+      if (constructorVerifies) {
+        this.constructor.setType(this.type);
+
+        context.addConstructor(this.constructor);
 
+        verifies = true;
+      }
+    }
 
-// verifyConstructor() {
-//   let constructorValidates = false;
-//
-//   const context = this.getContext(),
-//         constructorString = this.constructor.getString();
-//
-//   context.trace(`Verifying the '${constructorString}' constructor...`);
-//
-//   const term = this.constructor.getTerm(),
-//         termNode = term.getNode(),
-//         termValidates = validateTerm(termNode, context, () => {
-//           const validatesFormards = true;
-//
-//           return validatesFormards;
-//         });
-//
-//   if (termValidates) {
-//     constructorValidates = true;
-//   }
-//
-//   if (constructorValidates) {
-//     context.debug(`...verified the '${constructorString}' constructor.`);
-//   }
-//
-//   return constructorValidates;
-// }
+    if (verifies) {
+      context.debug(`...verified the '${constructorDeclarationString}' constructor declaration.`);
+    }
+
+    return verifies;
+  }
+
+  static name = "ConstructorDeclaration";
+});