occam-verify-cli 1.0.383 → 1.0.385

package/src/utilities/json.js

@@ -1,6 +1,6 @@
 "use strict";
 
-import dom from "../dom";
+import ontology from "../ontology";
 
 export function termFromJSON(json, context) {
   let { term } = json;
@@ -9,7 +9,7 @@ export function termFromJSON(json, context) {
 
   json = termJSON;  ///
 
-  const { Term } = dom;
+  const { Term } = ontology;
 
   term = Term.fromJSON(json, context);
 
@@ -52,7 +52,7 @@ export function statementFromJSON(json, context) {
   let { statement = null } = json;
 
   if (statement !== null) {
-    const { Statement } = dom,
+    const { Statement } = ontology,
           statementJSON = statement;  ///
 
     json = statementJSON; ///
@@ -66,7 +66,7 @@ export function statementFromJSON(json, context) {
 export function deductionFromJSON(json, context) {
   let { deduction } = json;
 
-  const { Deduction } = dom,
+  const { Deduction } = ontology,
         deductionJSON = deduction;  ///
 
   json = deductionJSON;  ///
@@ -80,7 +80,7 @@ export function signatureFromJSON(json, context) {
   let { signature = null } = json;
 
   if (signature !== null) {
-    const { Signature } = dom,
+    const { Signature } = ontology,
           signatureJSON = signature;  ///
 
     json = signatureJSON; ///
@@ -94,7 +94,7 @@ export function signatureFromJSON(json, context) {
 export function conclusionFromJSON(json, context) {
   let { conclusion } = json;
 
-  const { Conclusion } = dom,
+  const { Conclusion } = ontology,
         conclusionJSON = conclusion;  ///
 
   json = conclusionJSON;  ///
@@ -107,7 +107,7 @@ export function conclusionFromJSON(json, context) {
 export function metavariableFromJSON(json, context) {
   let { metavariable } = json;
 
-  const { Metavariable } = dom,
+  const { Metavariable } = ontology,
         metavariableJSON = metavariable;  ///
 
   json = metavariableJSON; ///
@@ -121,7 +121,7 @@ export function procedureCallFromJSON(json, context) {
   let { procedureCall = null } = json;
 
   if (procedureCall !== null) {
-    const { ProcedureCall } = dom,
+    const { ProcedureCall } = ontology,
           procedureCallJSON = procedureCall;  ///
 
     json = procedureCallJSON; ///
@@ -135,7 +135,7 @@ export function procedureCallFromJSON(json, context) {
 export function procedureReferenceFromJSON(json, context) {
   let { procedureReference } = json;
 
-  const { ProcedureReference } = dom,
+  const { ProcedureReference } = ontology,
         procedureReferenceJSON = procedureReference;  ///
 
   json = procedureReferenceJSON;  ///
@@ -148,7 +148,7 @@ export function procedureReferenceFromJSON(json, context) {
 export function typesFromJSON(json, types, context) {
   const { types: typesJSON } = json;
 
-  const { Type } = dom;
+  const { Type } = ontology;
 
   typesJSON.forEach((typeJSON) => {
     const json = typeJSON,  ///
@@ -161,7 +161,7 @@ export function typesFromJSON(json, types, context) {
 export function termsFromJSON(json, context) {
   let { terms } = json;
 
-  const { Term } = dom,
+  const { Term } = ontology,
         termsJSON = terms; ///
 
   terms = termsJSON.map((termJSON) => {
@@ -177,7 +177,7 @@ export function termsFromJSON(json, context) {
 export function rulesFromJSON(json, context) {
   let { rules } = json;
 
-  const { Rule } = dom,
+  const { Rule } = ontology,
         rulesJSON = rules; ///
 
   rules = rulesJSON.map((ruleJSON) => {
@@ -193,7 +193,7 @@ export function rulesFromJSON(json, context) {
 export function labelFromJSON(json, context) {
   let { label } = json;
 
-  const { Label } = dom,
+  const { Label } = ontology,
         labelJSON = label;  ///
 
   json = labelJSON; ///
@@ -206,7 +206,7 @@ export function labelFromJSON(json, context) {
 export function labelsFromJSON(json, context) {
   let { labels } = json;
 
-  const { Label } = dom,
+  const { Label } = ontology,
         labelsJSON = labels;  ///
 
   labels = labelsJSON.map((labelJSON) => {
@@ -222,7 +222,7 @@ export function labelsFromJSON(json, context) {
 export function axiomsFromJSON(json, context) {
   let { axioms } = json;
 
-  const { Axiom } = dom,
+  const { Axiom } = ontology,
         axiomsJSON = axioms; ///
 
   axioms = axiomsJSON.map((axiomJSON) => {
@@ -238,7 +238,7 @@ export function axiomsFromJSON(json, context) {
 export function premisesFromJSON(json, context) {
   let { premises } = json;
 
-  const { Premise } = dom,
+  const { Premise } = ontology,
         premisesJSON = premises;  ///
 
   premises = premisesJSON.map((premiseJSON) => {
@@ -254,7 +254,7 @@ export function premisesFromJSON(json, context) {
 export function theoremsFromJSON(json, context) {
   let { theorems } = json;
 
-  const { Theorem } = dom,
+  const { Theorem } = ontology,
         theoremsJSON = theorems; ///
 
   theorems = theoremsJSON.map((theoremJSON) => {
@@ -270,7 +270,7 @@ export function theoremsFromJSON(json, context) {
 export function variablesFromJSON(json, context) {
   let { variables } = json;
 
-  const { Variable } = dom,
+  const { Variable } = ontology,
         variablesJSON = variables; ///
 
   variables = variablesJSON.map((variableJSON) => {
@@ -286,7 +286,7 @@ export function variablesFromJSON(json, context) {
 export function propertiesFromJSON(json, context) {
   let { properties } = json;
 
-  const { Property } = dom,
+  const { Property } = ontology,
         propertiesJSON = properties; ///
 
   properties = propertiesJSON.map((propertyJSON) => {
@@ -319,7 +319,7 @@ export function superTypesFromJSON(json, context) {
 export function hypothesesFromJSON(json, context) {
   let { hypotheses } = json;
 
-  const { Hypothesis } = dom,
+  const { Hypothesis } = ontology,
         hypothesesJSON = hypotheses;  ///
 
   hypotheses = hypothesesJSON.map((hypothesisJSON) => {
@@ -335,7 +335,7 @@ export function hypothesesFromJSON(json, context) {
 export function parametersFromJSON(json, context) {
   let { parameters } = json;
 
-  const { Parameter } = dom,
+  const { Parameter } = ontology,
         parametersJSON = parameters; ///
 
   parameters = parametersJSON.map((parameterJSON) => {
@@ -351,7 +351,7 @@ export function parametersFromJSON(json, context) {
 export function conjecturesFromJSON(json, context) {
   let { conjectures } = json;
 
-  const { Conjecture } = dom,
+  const { Conjecture } = ontology,
         conjecturesJSON = conjectures; ///
 
   conjectures = conjecturesJSON.map((conjectureJSON) => {
@@ -367,7 +367,7 @@ export function conjecturesFromJSON(json, context) {
 export function combinatorsFromJSON(json, context) {
   let { combinators } = json;
 
-  const { Combinator } = dom,
+  const { Combinator } = ontology,
         combinatorsJSON = combinators; ///
 
   combinators = combinatorsJSON.map((combinatorJSON) => {
@@ -383,7 +383,7 @@ export function combinatorsFromJSON(json, context) {
 export function typePrefixesFromJSON(json, context) {
   let { typePrefixes } = json;
 
-  const { TypePrefix } = dom,
+  const { TypePrefix } = ontology,
         typePrefixesJSON = typePrefixes; ///
 
   typePrefixes = typePrefixesJSON.map((typePrefixJSON) => {
@@ -399,7 +399,7 @@ export function typePrefixesFromJSON(json, context) {
 export function constructorsFromJSON(json, context) {
   let { constructors } = json;
 
-  const { Constructor } = dom,
+  const { Constructor } = ontology,
         constructorsJSON = constructors; ///
 
   constructors = constructorsJSON.map((constructorJSON) => {
@@ -415,7 +415,7 @@ export function constructorsFromJSON(json, context) {
 export function metatheoremsFromJSON(json, context) {
   let { metatheorems } = json;
 
-  const { Metatheorem } = dom,
+  const { Metatheorem } = ontology,
         metatheoremsJSON = metatheorems; ///
 
   metatheorems = metatheoremsJSON.map((metatheoremJSON) => {
@@ -431,7 +431,7 @@ export function metatheoremsFromJSON(json, context) {
 export function suppositionsFromJSON(json, context) {
   let { suppositions } = json;
 
-  const { Supposition } = dom,
+  const { Supposition } = ontology,
         suppositionsJSON = suppositions;  ///
 
   suppositions = suppositionsJSON.map((suppositionJSON) => {
@@ -447,7 +447,7 @@ export function suppositionsFromJSON(json, context) {
 export function substitutionsFromJSON(json, context) {
   let { substitutions = [] } = json;  ///
 
-  const { StatementSubstitution } = dom,
+  const { StatementSubstitution } = ontology,
         substitutionsJSON = substitutions,  ///
         Substitution = StatementSubstitution; ///
 
@@ -464,7 +464,7 @@ export function substitutionsFromJSON(json, context) {
 export function metavariablesFromJSON(json, context) {
   let { metavariables } = json;
 
-  const { Metavariable } = dom,
+  const { Metavariable } = ontology,
         metavariablesJSON = metavariables; ///
 
   metavariables = metavariablesJSON.map((metavariableJSON) => {

package/src/utilities/node.js

@@ -1,8 +1,8 @@
 "use strict";
 
-import dom from "../dom";
+import ontology from "../ontology";
 
-import { baseType } from "../dom/type";
+import { baseType } from "../ontology/type";
 
 export function typeFromTypeNode(typeNode, context) {
   let type;
@@ -10,7 +10,7 @@ export function typeFromTypeNode(typeNode, context) {
   if (typeNode === null) {
     type = baseType;
   } else {
-    const { Type } = dom,
+    const { Type } = ontology,
           typeName = typeNode.getTypeName(),
           typePrefixName = typeNode.getTypePrefixName(),
           nominalTypeName = typeNode.getNominalTypeName(),
@@ -28,7 +28,7 @@ export function typeFromTypeNode(typeNode, context) {
 }
 
 export function termFromTermNode(termNode, context) {
-  const { Term } = dom,
+  const { Term } = ontology,
         node = termNode,  ///
         string = context.nodeAsString(node),
         type = null,
@@ -38,7 +38,7 @@ export function termFromTermNode(termNode, context) {
 }
 
 export function statementFromStatementNode(statementNode, context) {
-  const { Statement } = dom,
+  const { Statement } = ontology,
         node = statementNode, ///
         tokens = context.nodeAsTokens(node),
         string = context.tokensAsString(tokens),
@@ -64,7 +64,7 @@ export function variableFromTerm(term, context) {
         singularVariableNode = termNode.getSingularVariableNode();
 
   if (singularVariableNode !== null) {
-    const { Variable } = dom,
+    const { Variable } = ontology,
           variableNode = singularVariableNode;  ///
 
     variable = Variable.fromVariableNode(variableNode, context);

package/src/utilities/release.js

@@ -1,6 +1,6 @@
 "use strict";
 
-function verifyRelease(releaseName, dependentName, dependentReleased, releaseContextMap) {
+export function verifyRelease(releaseName, dependentName, dependentReleased, releaseContextMap) {
   let releaseVerifies = false;
 
   const releaseContext = releaseContextMap[releaseName];

package/src/utilities/releaseContext.js

@@ -57,7 +57,7 @@ export function createReleaseContext(dependency, dependentNames, context, callba
 
     if (!releaseContextCreated) {
       const error = null,
-        success = false;
+            success = false;
 
       callback(error, success);
 
@@ -68,7 +68,7 @@ export function createReleaseContext(dependency, dependentNames, context, callba
 
     if (!releaseMatchesDependency) {
       const error = null,
-        success = false;
+            success = false;
 
       callback(error, success);
 
@@ -137,7 +137,7 @@ export function initialiseReleaseContext(dependency, context) {
       initialiseDependencyReleaseContexts(dependency, releaseContext, context);
 
       const { log } = context,
-        releaseContexts = retrieveReleaseContexts(releaseContext, releaseContextMap);
+            releaseContexts = retrieveReleaseContexts(releaseContext, releaseContextMap);
 
       log.info(`Initialising the '${dependencyName}' context...`);
 

package/src/utilities/substitutions.js

@@ -1,10 +1,10 @@
 "use strict";
 
-import dom from "../dom";
+import ontology from "../ontology";
 
 export function termFromTermAndSubstitutions(term, substitutions, context) {
   if (term !== null) {
-    const { Variable } = dom,
+    const { Variable } = ontology,
           termNode = term.getNode(),
           variable = Variable.fromTermNode(termNode, context);
 
@@ -24,7 +24,7 @@ export function termFromTermAndSubstitutions(term, substitutions, context) {
 
 export function frameFromFrameAndSubstitutions(frame, substitutions, context) {
   if (frame !== null) {
-    const { Metavariable } = dom,
+    const { Metavariable } = ontology,
           frameNode = frame.getNode(),
           metavariable = Metavariable.fromFrameNode(frameNode, context);
 
@@ -46,7 +46,7 @@ export function frameFromFrameAndSubstitutions(frame, substitutions, context) {
 
 export function statementFromStatementAndSubstitutions(statement, substitutions, context) {
   if (statement !== null) {
-    const { Metavariable } = dom,
+    const { Metavariable } = ontology,
           statementNode = statement.getNode(),
           metavariable = Metavariable.fromStatementNode(statementNode, context);
 
@@ -55,7 +55,7 @@ export function statementFromStatementAndSubstitutions(statement, substitutions,
     if (metavariable !== null) {
       let substitution;
 
-      const { TermSubstitution, FrameSubstitution } = dom,
+      const { TermSubstitution, FrameSubstitution } = ontology,
             termSubstitution = TermSubstitution.fromStatementNode(statementNode, context),
             frameSubstitution = FrameSubstitution.fromStatementNode(statementNode, context);
 

package/src/utilities/type.js

@@ -1,6 +1,6 @@
 "use strict";
 
-import { baseType } from "../dom/type";
+import { baseType } from "../ontology/type";
 
 export function stringFromTypeNameTypePrefixNameAndSuperTypes(typeName, typePrefixName, superTypes) {
   let string;

package/src/verifier/combinator.js

@@ -1,6 +1,6 @@
 "use strict";
 
-import dom from "../dom";
+import ontology from "../ontology";
 import Verifier from "../verifier";
 
 import { nodeQuery } from "../utilities/query";
@@ -26,7 +26,7 @@ class CombinatorVerifier extends Verifier {
     {
       nodeQuery: statementNodeQuery,
       verify: (statementNode, context) => {
-        const { Statement } = dom,
+        const { Statement } = ontology,
               statement = Statement.fromStatementNode(statementNode, context),
               assignments = null,
               stated = false,
@@ -38,7 +38,7 @@ class CombinatorVerifier extends Verifier {
     {
       nodeQuery: termNodeQuery,
       verify: (termNode, context) => {
-        const { Term } = dom,
+        const { Term } = ontology,
               term = Term.fromTermNode(termNode, context),
               termVerifies = term.verify(context, () => {
                 const verifiesAhead = true;

package/src/verifier/constructor.js

@@ -2,7 +2,7 @@
 
 import { arrayUtilities } from "necessary";
 
-import dom from "../dom";
+import ontology from "../ontology";
 import Verifier from "../verifier";
 
 import { nodeQuery } from "../utilities/query";
@@ -58,7 +58,7 @@ class ConstructorVerifier extends Verifier {
     {
       nodeQuery: termNodeQuery,
       verify: (termNode, context, verifyAhead) => {
-        const { Term } = dom,
+        const { Term } = ontology,
               term = Term.fromTermNode(termNode, context),
               termVerifies = term.verify(context, verifyAhead);
 

package/src/verifier/topLevel.js

@@ -1,6 +1,6 @@
 "use strict";
 
-import dom from "../dom";
+import ontology from "../ontology";
 import Verifier from "../verifier";
 
 import { nodeQuery } from "../utilities/query";
@@ -39,7 +39,7 @@ class TopLevelVerifier extends Verifier {
     {
       nodeQuery: errorNodeQuery,
       verify: (errorNode, context) => {
-        const { Error } = dom,
+        const { Error } = ontology,
               error = Error.fromErrorNode(errorNode, context),
               errorVerifies = error.verify();
 
@@ -49,7 +49,7 @@ class TopLevelVerifier extends Verifier {
     {
       nodeQuery: ruleNodeQuery,
       verify: (ruleNode, context) => {
-        const { Rule } = dom,
+        const { Rule } = ontology,
               rule = Rule.fromRuleNode(ruleNode, context),
               ruleVerifies = rule.verify();
 
@@ -59,7 +59,7 @@ class TopLevelVerifier extends Verifier {
     {
       nodeQuery: axiomNodeQuery,
       verify: (axiomNode, context) => {
-        const { Axiom } = dom,
+        const { Axiom } = ontology,
               axiom = Axiom.fromAxiomNode(axiomNode, context),
               axiomVerifies = axiom.verify();
 
@@ -69,7 +69,7 @@ class TopLevelVerifier extends Verifier {
     {
       nodeQuery: lemmaNodeQuery,
       verify: (lemmaNode, context) => {
-        const { Lemma } = dom,
+        const { Lemma } = ontology,
               lemma = Lemma.fromLemmaNode(lemmaNode, context),
               lemmaVerifies = lemma.verify();
 
@@ -79,7 +79,7 @@ class TopLevelVerifier extends Verifier {
     {
       nodeQuery: sectionNodeQuery,
       verify: (sectionNode, context) => {
-        const { Section } = dom,
+        const { Section } = ontology,
               section = Section.fromSectionNode(sectionNode, context),
               sectionVerifies = section.verify();
 
@@ -89,7 +89,7 @@ class TopLevelVerifier extends Verifier {
     {
       nodeQuery: theoremNodeQuery,
       verify: (theoremNode, context) => {
-        const { Theorem } = dom,
+        const { Theorem } = ontology,
               theorem = Theorem.fromTheoremNode(theoremNode, context),
               theoremVerifies = theorem.verify();
 
@@ -99,7 +99,7 @@ class TopLevelVerifier extends Verifier {
     {
       nodeQuery: metaLemmaNodeQuery,
       verify: (metaLemmaNode, context) => {
-        const { MetaLemma } = dom,
+        const { MetaLemma } = ontology,
               metaLemma = MetaLemma.fromMetaLemmaNode(metaLemmaNode, context),
               metaLemmaVerifies = metaLemma.verify();
 
@@ -109,7 +109,7 @@ class TopLevelVerifier extends Verifier {
     {
       nodeQuery: conjectureNodeQuery,
       verify: (conjectureNode, context) => {
-        const { Conjecture } = dom,
+        const { Conjecture } = ontology,
               conjecture = Conjecture.fromConjectureNode(conjectureNode, context),
               conjectureVerifies = conjecture.verify();
 
@@ -119,7 +119,7 @@ class TopLevelVerifier extends Verifier {
     {
       nodeQuery: metatheoremNodeQuery,
       verify: (metatheoremNode, context) => {
-        const { Metatheorem } = dom,
+        const { Metatheorem } = ontology,
               metatheorem = Metatheorem.fromMetatheoremNode(metatheoremNode, context),
               metatheoremVerifies = metatheorem.verify();
 
@@ -129,7 +129,7 @@ class TopLevelVerifier extends Verifier {
     {
       nodeQuery: variableDeclarationNodeQuery,
       verify: (variableDeclarationNode, context) => {
-        const { VariableDeclaration } = dom,
+        const { VariableDeclaration } = ontology,
               variableDeclaration = VariableDeclaration.fromVariableDeclarationNode(variableDeclarationNode, context),
               variableDeclarationVerifies = variableDeclaration.verify();
 
@@ -139,7 +139,7 @@ class TopLevelVerifier extends Verifier {
     {
       nodeQuery: simpleTypeDeclarationNodeQuery,
       verify: (simpleTypeDeclarationNode, context) => {
-        const { SimpleTypeDeclaration } = dom,
+        const { SimpleTypeDeclaration } = ontology,
               simpleTypeDeclaration = SimpleTypeDeclaration.fromSimpleTypeDeclarationNode(simpleTypeDeclarationNode, context),
               simpleTypeDeclarationVerifies = simpleTypeDeclaration.verify();
 
@@ -149,7 +149,7 @@ class TopLevelVerifier extends Verifier {
     {
       nodeQuery: typePrefixDeclarationNodeQuery,
       verify: (typePrefixDeclarationNode, context) => {
-        const { TypePrefixDeclaration } = dom,
+        const { TypePrefixDeclaration } = ontology,
               typePrefixDeclaration = TypePrefixDeclaration.fromTypePrefixDeclarationNode(typePrefixDeclarationNode, context),
               typePrefixDeclarationVerifies = typePrefixDeclaration.verify();
 
@@ -159,7 +159,7 @@ class TopLevelVerifier extends Verifier {
     {
       nodeQuery: combinatorDeclarationNodeQuery,
       verify: (combinatorDeclarationNode, context) => {
-        const { CombinatorDeclaration } = dom,
+        const { CombinatorDeclaration } = ontology,
               combinatorDeclaration = CombinatorDeclaration.fromCombinatorDeclarationNode(combinatorDeclarationNode, context),
               combinatorDeclarationVerifies = combinatorDeclaration.verify();
 
@@ -169,7 +169,7 @@ class TopLevelVerifier extends Verifier {
     {
       nodeQuery: constructorDeclarationNodeQuery,
       verify: (constructorDeclarationNode, context) => {
-        const { ConstructorDeclaration } = dom,
+        const { ConstructorDeclaration } = ontology,
               constructorDeclaration = ConstructorDeclaration.fromConstructorDeclarationNode(constructorDeclarationNode, context),
               constructorDeclarationVerifies = constructorDeclaration.verify();
 
@@ -179,7 +179,7 @@ class TopLevelVerifier extends Verifier {
     {
       nodeQuery: complexTypeDeclarationNodeQuery,
       verify: (complexTypeDeclarationNode, context) => {
-        const { ComplexTypeDeclaration } = dom,
+        const { ComplexTypeDeclaration } = ontology,
               complexTypeDeclaration = ComplexTypeDeclaration.fromComplexTypeDeclarationNode(complexTypeDeclarationNode, context),
               complexTypeDeclarationVerifies = complexTypeDeclaration.verify();
 
@@ -189,7 +189,7 @@ class TopLevelVerifier extends Verifier {
     {
       nodeQuery: metavariableDeclarationNodeQuery,
       verify: (metavariableDeclarationNode, context) => {
-        const { MetavariableDeclaration } = dom,
+        const { MetavariableDeclaration } = ontology,
               metavariableDeclaration = MetavariableDeclaration.fromMetavariableDeclarationNode(metavariableDeclarationNode, context),
               metavariableDeclarationVerifies = metavariableDeclaration.verify();