occam-verify-cli 1.0.935 → 1.0.936

package/src/element/section.js

@@ -8,8 +8,8 @@ import {enclose} from "../utilities/context";
 const { asyncEvery } = asynchronousUtilities;
 
 export default define(class Section extends Element {
-  constructor(context, string, node, lineIndex, hypotheses, topLevelAssertion) {
-    super(context, string, node, lineIndex);
+  constructor(context, string, node, breakPoint, hypotheses, topLevelAssertion) {
+    super(context, string, node, breakPoint);
 
     this.hypotheses = hypotheses;
     this.topLevelAssertion = topLevelAssertion;

package/src/element/signature.js

@@ -11,8 +11,8 @@ import { join, ablate, attempt, reconcile, serialise, unserialise, instantiate }
 const { match } = arrayUtilities;
 
 export default define(class Signature extends Element {
-  constructor(context, string, node, lineIndex, terms) {
-    super(context, string, node, lineIndex);
+  constructor(context, string, node, breakPoint, terms) {
+    super(context, string, node, breakPoint);
 
     this.terms = terms;
   }
@@ -234,11 +234,11 @@ export default define(class Signature extends Element {
 
     return serialise((context) => {
       const string = this.getString(),
-            lineIndex = this.getLineIndex(),
+            breakPoint = this.getBreakPoint(),
             json = {
               context,
               string,
-              lineIndex
+              breakPoint
             };
 
       return json;
@@ -250,12 +250,12 @@ export default define(class Signature extends Element {
 
     unserialise((json, context) => {
       instantiate((context) => {
-        const { string, lineIndex } = json,
+        const { string, breakPoint } = json,
               signatureNode = instantiateSignature(string, context),
               node = signatureNode,  ///
               terms = termsFromSignatureNode(signatureNode, context);
 
-        signature = new Signature(context, string, node, lineIndex, terms);
+        signature = new Signature(context, string, node, breakPoint, terms);
       }, context);
     }, json, context);
 

package/src/element/statement.js

@@ -394,10 +394,10 @@ export default define(class Statement extends Element {
 
   toJSON() {
     const string = this.getString(),
-          lineIndex = this.getLineIndex(),
+          breakPoint = this.getBreakPoint(),
           json = {
             string,
-            lineIndex
+            breakPoint
           };
 
     return json;
@@ -405,13 +405,13 @@ export default define(class Statement extends Element {
 
   static fromJSON(json, context) {
     return instantiate((context) => {
-      const { string, lineIndex } = json,
+      const { string, breakPoint } = json,
             statementNode = instantiateStatement(string, context),
             node = statementNode; ///
 
       context = null;
 
-      const statement = new Statement(context, string, node, lineIndex);
+      const statement = new Statement(context, string, node, breakPoint);
 
       return statement;
     }, context);

package/src/element/subDerivation.js

@@ -9,8 +9,8 @@ const { last } = arrayUtilities,
       { asyncEvery } = asynchronousUtilities;
 
 export default define(class SubDerivation extends Element {
-  constructor(context, string, node, lineIndex, subproofOrProofAssertions) {
-    super(context, string, node, lineIndex);
+  constructor(context, string, node, breakPoint, subproofOrProofAssertions) {
+    super(context, string, node, breakPoint);
 
     this.subproofOrProofAssertions = subproofOrProofAssertions;
   }

package/src/element/subproof.js

@@ -8,8 +8,8 @@ import { enclose } from "../utilities/context";
 const { asyncEvery } = asynchronousUtilities;
 
 export default define(class Subproof extends Element {
-  constructor(context, string, node, lineIndex, suppositions, subDerivation) {
-    super(context, string, node, lineIndex);
+  constructor(context, string, node, breakPoint, suppositions, subDerivation) {
+    super(context, string, node, breakPoint);
 
     this.suppositions = suppositions;
     this.subDerivation = subDerivation;

package/src/element/substitution/frame.js

@@ -9,8 +9,8 @@ import { frameSubstitutionStringFromFrameAndMetavariable } from "../../utilities
 import { ablate, ablates, manifest, attempts, descend, instantiate, unserialises } from "../../utilities/context";
 
 export default define(class FrameSubstitution extends Substitution {
-  constructor(contexts, string, node, lineIndex, targetFrame, replacementFrame) {
-    super(contexts, string, node, lineIndex);
+  constructor(contexts, string, node, breakPoint, targetFrame, replacementFrame) {
+    super(contexts, string, node, breakPoint);
 
     this.targetFrame = targetFrame;
     this.replacementFrame = replacementFrame;
@@ -195,7 +195,7 @@ export default define(class FrameSubstitution extends Substitution {
         const context = specificContext;  ///
 
         instantiate((context) => {
-          const { string, lineIndex } = json,
+          const { string, breakPoint } = json,
                 specificContext = context,  ///
                 contexts = [
                   generalContext,
@@ -206,7 +206,7 @@ export default define(class FrameSubstitution extends Substitution {
                 targetFrame = targetFrameFromFrameSubstitutionNode(frameSubstitutionNode, context),
                 replacementFrame = replacementFrameFromFrameSubstitutionNode(frameSubstitutionNode, context);
 
-          frameSubstitutionn = new FrameSubstitution(contexts, string, node, lineIndex, targetFrame, replacementFrame);
+          frameSubstitutionn = new FrameSubstitution(contexts, string, node, breakPoint, targetFrame, replacementFrame);
         }, context);
       }, json, context);
     }

package/src/element/substitution/reference.js

@@ -9,8 +9,8 @@ import { referenceSubstitutionStringFromReferenceAndMetavariable } from "../../u
 import { ablates, manifest, attempts, descend, instantiate, unserialises } from "../../utilities/context";
 
 export default define(class ReferenceSubstitution extends Substitution {
-  constructor(context, string, node, lineIndex, targetReference, replacementReference) {
-    super(context, string, node, lineIndex);
+  constructor(context, string, node, breakPoint, targetReference, replacementReference) {
+    super(context, string, node, breakPoint);
 
     this.targetReference = targetReference;
     this.replacementReference = replacementReference;
@@ -200,7 +200,7 @@ export default define(class ReferenceSubstitution extends Substitution {
         const context = specificContext;  ///
 
         instantiate((context) => {
-          const { string, lineIndex } = json,
+          const { string, breakPoint } = json,
                 specificContext = context,  ///
                 contexts = [
                   generalContext,
@@ -211,7 +211,7 @@ export default define(class ReferenceSubstitution extends Substitution {
                 targetReference = targetReferenceFromReferenceSubstitutionNode(referenceSubstitutionNode, context),
                 replacementReference = replacementReferenceFromReferenceSubstitutionNode(referenceSubstitutionNode, context);
 
-          referenceSubstitutionn = new ReferenceSubstitution(contexts, string, node, lineIndex, targetReference, replacementReference);
+          referenceSubstitutionn = new ReferenceSubstitution(contexts, string, node, breakPoint, targetReference, replacementReference);
         }, context);
       }, json, context);
     }

package/src/element/substitution/statement.js

@@ -11,8 +11,8 @@ import { join, ablates, manifest, attempts, descend, reconcile, instantiate, uns
 import { statementSubstitutionStringFromStatementAndMetavariable, statementSubstitutionStringFromStatementMetavariableAndSubstitution } from "../../utilities/string";
 
 export default define(class StatementSubstitution extends Substitution {
-  constructor(contexts, string, node, lineIndex, resolved, substitution, targetStatement, replacementStatement) {
-    super(contexts, string, node, lineIndex);
+  constructor(contexts, string, node, breakPoint, resolved, substitution, targetStatement, replacementStatement) {
+    super(contexts, string, node, breakPoint);
 
     this.resolved = resolved;
     this.substitution = substitution;
@@ -360,7 +360,7 @@ export default define(class StatementSubstitution extends Substitution {
         const context = specificContext;  ///
 
         instantiate((context) => {
-          const { string, lineIndex } = json,
+          const { string, breakPoint } = json,
                 specificContext = context,  ///
                 contexts = [
                   generalContext,
@@ -373,7 +373,7 @@ export default define(class StatementSubstitution extends Substitution {
                 targetStatement = targetStatementFromStatementSubstitutionNode(statementSubstitutionNode, context),
                 replacementStatement = replacementStatementFromStatementSubstitutionNode(statementSubstitutionNode, context);
 
-          statementSubstitutionn = new StatementSubstitution(contexts, string, node, lineIndex, resolved, substitution, targetStatement, replacementStatement);
+          statementSubstitutionn = new StatementSubstitution(contexts, string, node, breakPoint, resolved, substitution, targetStatement, replacementStatement);
         }, context);
       }, json, context);
     }

package/src/element/substitution/term.js

@@ -10,8 +10,8 @@ import { termSubstitutionStringFromTermAndVariable } from "../../utilities/strin
 import { ablate, ablates, manifest, attempts, descend, instantiate, unserialises } from "../../utilities/context";
 
 export default define(class TermSubstitution extends Substitution {
-  constructor(context, string, node, lineIndex, targetTerm, replacementTerm) {
-    super(context, string, node, lineIndex);
+  constructor(context, string, node, breakPoint, targetTerm, replacementTerm) {
+    super(context, string, node, breakPoint);
 
     this.targetTerm = targetTerm;
     this.replacementTerm = replacementTerm;
@@ -204,7 +204,7 @@ export default define(class TermSubstitution extends Substitution {
         const context = specificContext;  ///
 
         instantiate((context) => {
-          const { string, lineIndex } = json,
+          const { string, breakPoint } = json,
                 specificContext = context,  ///
                 contexts = [
                   generalContext,
@@ -215,7 +215,7 @@ export default define(class TermSubstitution extends Substitution {
                 targetTerm = targetTermFromTermSubstitutionNode(termSubstitutionNode, context),
                 replacementTerm = replacementTermFromTermSubstitutionNode(termSubstitutionNode, context);
 
-          termSubstitutionn = new TermSubstitution(contexts, string, node, lineIndex, targetTerm, replacementTerm);
+          termSubstitutionn = new TermSubstitution(contexts, string, node, breakPoint, targetTerm, replacementTerm);
         }, context);
       }, json, context);
     }

package/src/element/substitution.js

@@ -9,11 +9,11 @@ const { first, second } = arrayUtilities,
       { primitiveFromNode } =primitiveUtilities;
 
 class Element {
-  constructor(contexts, string, node, lineIndex) {
+  constructor(contexts, string, node, breakPoint) {
     this.contexts = contexts;
     this.string = string;
     this.node = node;
-    this.lineIndex = lineIndex;
+    this.breakPoint = breakPoint;
   }
 
   getContexts() {
@@ -28,8 +28,8 @@ class Element {
     return this.node;
   }
 
-  getLineIndex() {
-    return this.lineIndex;
+  getBreakPoint() {
+    return this.breakPoint;
   }
 
   setContexts(contexts) {
@@ -44,12 +44,12 @@ class Element {
     this.node = node;
   }
 
-  setLineIndex(lineIndex) {
-    this.lineIndex = lineIndex;
+  setLineIndex(breakPoint) {
+    this.breakPoint = breakPoint;
   }
 
   async break(context) {
-    this.lineIndex = await context.break(this.node, this.lineIndex);
+    this.breakPoint = await context.break(this.node, this.breakPoint);
   }
 
   matchNode(node) { return this.node.match(node); }
@@ -244,12 +244,12 @@ export default class Substitution extends Element {
     return serialises((...contexts) => {
       const name = this.getName(),
             string = this.getString(),
-            lineIndex = this.getLineIndex(),
+            breakPoint = this.getBreakPoint(),
             json = {
               name,
               contexts,
               string,
-              lineIndex
+              breakPoint
             };
 
       return json;

package/src/element/term.js

@@ -14,8 +14,8 @@ import { typeFromJSON, typeToTypeJSON, provisionalFromJSON, provisionalToProvisi
 const { filter } = arrayUtilities;
 
 export default define(class Term extends Element {
-  constructor(context, string, node, lineIndex, type, provisional) {
-    super(context, string, node, lineIndex, provisional);
+  constructor(context, string, node, breakPoint, type, provisional) {
+    super(context, string, node, breakPoint, provisional);
 
     this.type = type;
     this.provisional = provisional;
@@ -289,12 +289,12 @@ export default define(class Term extends Element {
     const typeJSON = typeToTypeJSON(this.type),
           provisionalJSON = provisionalToProvisionalJSON(this.provisional),
           string = this.getString(), ///
-          lineIndex = this.getLineIndex(),
+          breakPoint = this.getBreakPoint(),
           type = typeJSON,  ///
           provisional = provisionalJSON,  ///
           json = {
             string,
-            lineIndex,
+            breakPoint,
             type,
             provisional
           };
@@ -306,7 +306,7 @@ export default define(class Term extends Element {
 
   static fromJSON(json, context) {
     return instantiate((context) => {
-      const { string, lineIndex } = json,
+      const { string, breakPoint } = json,
             termNode = instantiateTerm(string, context),
             node = termNode,  ///
             type = typeFromJSON(json, context),
@@ -314,7 +314,7 @@ export default define(class Term extends Element {
 
       context = null;
 
-      const term = new Term(context, string, node, lineIndex, type, provisional);
+      const term = new Term(context, string, node, breakPoint, type, provisional);
 
       return term;
     }, context);

package/src/element/topLevelAssertion.js

@@ -20,8 +20,8 @@ const { reverse } = arrayUtilities,
       { asyncExtract, asyncForwardsEvery, asyncBackwardsEvery } = asynchronousUtilities;
 
 export default class TopLevelAssertion extends Element {
-  constructor(context, string, node, lineIndex, labels, suppositions, deduction, proof, signature, hypotheses) {
-    super(context, string, node, lineIndex);
+  constructor(context, string, node, breakPoint, labels, suppositions, deduction, proof, signature, hypotheses) {
+    super(context, string, node, breakPoint);
 
     this.labels = labels;
     this.suppositions = suppositions;
@@ -354,7 +354,7 @@ export default class TopLevelAssertion extends Element {
           signatureJSON = signatureToSignatureJSON(this.signature),
           hypothesesJSON = hypothesesToHypothesesJSON(this.hypotheses),
           string = this.getString(),
-          lineIndex = this.getLineIndex(),
+          breakPoint = this.getBreakPoint(),
           labels = labelsJSON,  ///
           deduction = deductionJSON,  ///
           suppositions = suppositionsJSON,  ///
@@ -362,7 +362,7 @@ export default class TopLevelAssertion extends Element {
           hypotheses = hypothesesJSON,  ///
           json = {
             string,
-            lineIndex,
+            breakPoint,
             labels,
             deduction,
             suppositions,
@@ -374,7 +374,7 @@ export default class TopLevelAssertion extends Element {
   }
 
   static fromJSON(Class, json, context) {
-    const { lineIndex } = json,
+    const { breakPoint } = json,
           labels = labelsFromJSON(json, context),
           deduction = deductionFromJSON(json, context),
           suppositions = suppositionsFromJSON(json, context),
@@ -384,7 +384,7 @@ export default class TopLevelAssertion extends Element {
           node = null,
           proof = null,
           string = topLevelAssertionString, ///
-          topLevelAssertion = new Class(context, string, node, lineIndex, labels, suppositions, deduction, proof, signature, hypotheses);
+          topLevelAssertion = new Class(context, string, node, breakPoint, labels, suppositions, deduction, proof, signature, hypotheses);
 
     return topLevelAssertion;
   }

package/src/element/topLevelMetaAssertion.js

@@ -16,8 +16,8 @@ import { labelFromJSON,
 const { asyncForwardsEvery } = asynchronousUtilities;
 
 export default class TopLevelMetaAssertion extends Element {
-  constructor(context, string, node, lineIndex, label, suppositions, deduction, proof, metaLevelAssumptions) {
-    super(context, string, node, lineIndex);
+  constructor(context, string, node, breakPoint, label, suppositions, deduction, proof, metaLevelAssumptions) {
+    super(context, string, node, breakPoint);
 
     this.label = label;
     this.suppositions = suppositions;
@@ -234,14 +234,14 @@ export default class TopLevelMetaAssertion extends Element {
           suppositionsJSON = suppositionsToSuppositionsJSON(this.suppositions),
           metaLevelAssumptionsJSON = metaLevelAssumptionsToMetaLevelAssumptionsJSON(this.metaLevelAssumptions),
           string = this.getString(),
-          lineIndex = this.getLineIndex(),
+          breakPoint = this.getBreakPoint(),
           label = labelJSON,  ///
           deduction = deductionJSON,  ///
           suppositions = suppositionsJSON,  ///
           metaLevelAssumptions = metaLevelAssumptionsJSON,  ///
           json = {
             string,
-            lineIndex,
+            breakPoint,
             label,
             deduction,
             suppositions,
@@ -252,7 +252,7 @@ export default class TopLevelMetaAssertion extends Element {
   }
 
   static fromJSON(Class, json, context) {
-    const { lineIndex } = json,
+    const { breakPoint } = json,
           label = labelFromJSON(json, context),
           deduction = deductionFromJSON(json, context),
           suppositions = suppositionsFromJSON(json, context),
@@ -260,7 +260,7 @@ export default class TopLevelMetaAssertion extends Element {
           node = null,
           proof = null,
           string = topLevelMetaAssertionStringFromLabelSuppositionsAndDeduction(label, suppositions, deduction),
-          topLevelMetaAssertion = new Class(context, string, node, lineIndex, label, suppositions, deduction, proof, metaLevelAssumptions);
+          topLevelMetaAssertion = new Class(context, string, node, breakPoint, label, suppositions, deduction, proof, metaLevelAssumptions);
 
     return topLevelMetaAssertion;
   }

package/src/element/type.js

@@ -20,8 +20,8 @@ import { propertiesFromJSON,
 const { push, first } = arrayUtilities;
 
 export default define(class Type extends Element {
-  constructor(context, string, node, lineIndex, name, prefixName, superTypes, properties, provisional) {
-    super(context, string, node, lineIndex);
+  constructor(context, string, node, breakPoint, name, prefixName, superTypes, properties, provisional) {
+    super(context, string, node, breakPoint);
 
     this.name = name;
     this.prefixName = prefixName;
@@ -298,10 +298,10 @@ export default define(class Type extends Element {
 
   toJSON(abridged = false) {
     const string = this.getString(),
-          lineIndex = this.getLineIndex(),
+          breakPoint = this.getBreakPoint(),
           json = {
             string,
-            lineIndex
+            breakPoint
           };
 
     if (!abridged) {
@@ -329,7 +329,7 @@ export default define(class Type extends Element {
 
   static fromJSON(json, context) {
     return instantiate((context) => {
-      const { string, lineIndex } = json,
+      const { string, breakPoint } = json,
             typeNode = instantiateType(string, context),
             node = typeNode, ///
             name = nameFromTypeNode(typeNode, context),
@@ -340,7 +340,7 @@ export default define(class Type extends Element {
 
       context = null; ///
 
-      const type = new Type(context, string, node, lineIndex, name, prefixName, superTypes, properties, provisional);
+      const type = new Type(context, string, node, breakPoint, name, prefixName, superTypes, properties, provisional);
 
       return type;
     }, context);
@@ -349,7 +349,7 @@ export default define(class Type extends Element {
   static fromName(name, context) {
     const string = name,  ///
           node = null,
-          lineIndex = null,
+          breakPoint = null,
           prefixName = null,
           superTypes = [],
           properties = [],
@@ -357,7 +357,7 @@ export default define(class Type extends Element {
 
     context = null;
 
-    const type = new Type(context, string, node, lineIndex, name, prefixName, superTypes, properties, provisional);
+    const type = new Type(context, string, node, breakPoint, name, prefixName, superTypes, properties, provisional);
 
     return type;
   }

package/src/element/typePrefix.js

@@ -8,8 +8,8 @@ import { instantiateTypePrefix } from "../process/instantiate";
 import { nameFromTypePrefixNode } from "../utilities/element";
 
 export default define(class TypePrefix extends Element {
-  constructor(context, string, node, lineIndex, name) {
-    super(context, string, node, lineIndex);
+  constructor(context, string, node, breakPoint, name) {
+    super(context, string, node, breakPoint);
 
     this.name = name;
   }
@@ -77,10 +77,10 @@ export default define(class TypePrefix extends Element {
 
   toJSON() {
     const string = this.getString(),
-          lineIndex = this.getLineIndex(),
+          breakPoint = this.getBreakPoint(),
           json = {
             string,
-            lineIndex
+            breakPoint
           };
 
     return json;
@@ -88,14 +88,14 @@ export default define(class TypePrefix extends Element {
 
   static fromJSON(json, context) {
     return instantiate((context) => {
-      const { string, lineIndex } = json,
+      const { string, breakPoint } = json,
             typePrefixNode = instantiateTypePrefix(string, context),
             node = typePrefixNode, ///
             name = nameFromTypePrefixNode(typePrefixNode, context);
 
       context = null; ///
 
-      const typePrefix = new TypePrefix(context, string, node, lineIndex, name);
+      const typePrefix = new TypePrefix(context, string, node, breakPoint, name);
 
       return typePrefix;
     }, context);

package/src/element/variable.js

@@ -12,8 +12,8 @@ import { variableFromTermNode, identifierFromVariableNode } from "../utilities/e
 import { typeFromJSON, typeToTypeJSON, provisionalFromJSON, provisionalToProvisionalJSON } from "../utilities/json";
 
 export default define(class Variable extends Element {
-  constructor(context, string, node, lineIndex, type, identifier, provisional) {
-    super(context, string, node, lineIndex);
+  constructor(context, string, node, breakPoint, type, identifier, provisional) {
+    super(context, string, node, breakPoint);
 
     this.type = type;
     this.identifier = identifier;
@@ -208,12 +208,12 @@ export default define(class Variable extends Element {
     const typeJSON = typeToTypeJSON(this.type),
           provisionalJSON = provisionalToProvisionalJSON(this.provisional),
           string = this.getString(), ///
-          lineIndex = this.getLineIndex(),
+          breakPoint = this.getBreakPoint(),
           type = typeJSON,  ///
           provisional = provisionalJSON,  ///
           json = {
             string,
-            lineIndex,
+            breakPoint,
             type,
             provisional
           };
@@ -225,7 +225,7 @@ export default define(class Variable extends Element {
 
   static fromJSON(json, context) {
     return instantiate((context) => {
-      const { string, lineIndex } = json,
+      const { string, breakPoint } = json,
             variableNode = instantiateVariable(string, context),
             node = variableNode,  ///
             type = typeFromJSON(json, context),
@@ -234,7 +234,7 @@ export default define(class Variable extends Element {
 
       context = null;
 
-      const variable = new Variable(context, string, node, lineIndex, type, identifier, provisional);
+      const variable = new Variable(context, string, node, breakPoint, type, identifier, provisional);
 
       return variable;
     }, context);