occam-verify-cli 0.0.783 → 0.0.785

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (8) hide show
  1. package/bin/main.js +17 -3
  2. package/lib/constants.js +1 -1
  3. package/lib/utilities/metaproof.js +1 -1
  4. package/lib/utilities/proof.js +1 -1
  5. package/lib/verifier/nodes/metastatementForMetavariable.js +1 -1
  6. package/lib/verifier/nodes/statementForMetavariable.js +1 -1
  7. package/lib/verifier/nodes/termForVariable.js +1 -1
  8. package/package.json +7 -7
package/bin/main.js CHANGED
@@ -30,9 +30,23 @@ function main(command, argument, options) {
30
30
  const log = Log.fromFollowAndLogLevel(follow, logLevel);
31
31
 
32
32
  switch (command) {
33
- case HELP_COMMAND: helpAction(); break;
34
- case VERIFY_COMMAND: { verifyAction(argument, log); break; }
35
- case VERSION_COMMAND: versionAction(); break;
33
+ case HELP_COMMAND: {
34
+ helpAction();
35
+
36
+ break;
37
+ }
38
+
39
+ case VERIFY_COMMAND: {
40
+ verifyAction(argument, log);
41
+
42
+ break;
43
+ }
44
+
45
+ case VERSION_COMMAND: {
46
+ versionAction();
47
+
48
+ break;
49
+ }
36
50
 
37
51
  default: {
38
52
  argument = command; ///
package/lib/constants.js CHANGED
@@ -28,7 +28,7 @@ _export(exports, {
28
28
  return MAXIMUM_PERMUTATION_LENGTH;
29
29
  }
30
30
  });
31
- var COMMA = ",";
31
+ var COMMA = ',';
32
32
  var EMPTY_STRING = "";
33
33
  var MAXIMUM_INDEXES_LENGTH = 10;
34
34
  var BRACKETED_STATEMENT_DEPTH = 2;
package/lib/utilities/metaproof.js CHANGED
@@ -24,7 +24,7 @@ function _interop_require_default(obj) {
24
24
  default: obj
25
25
  };
26
26
  }
27
- var bracketedMetastatementChildNodeQuery = (0, _query.nodeQuery)("/metastatement/metastatement!");
27
+ var bracketedMetastatementChildNodeQuery = (0, _query.nodeQuery)('/metastatement/metastatement!');
28
28
  function matchMetastatementModuloBrackets(metastatementNodeA, metastatementNodeB) {
29
29
  var metastatementMatchesModuloBrackets = false;
30
30
  if (!metastatementMatchesModuloBrackets) {
package/lib/utilities/proof.js CHANGED
@@ -24,7 +24,7 @@ function _interop_require_default(obj) {
24
24
  default: obj
25
25
  };
26
26
  }
27
- var bracketedStatementChildNodeQuery = (0, _query.nodeQuery)("/statement/metaArgument!/statement!");
27
+ var bracketedStatementChildNodeQuery = (0, _query.nodeQuery)('/statement/metaArgument!/statement!');
28
28
  function matchStatementModuloBrackets(statementNodeA, statementNodeB) {
29
29
  var statementMatchesModuloBrackets = false;
30
30
  if (!statementMatchesModuloBrackets) {
package/lib/verifier/nodes/metastatementForMetavariable.js CHANGED
@@ -125,7 +125,7 @@ function _create_super(Derived) {
125
125
  return _possible_constructor_return(this, result);
126
126
  };
127
127
  }
128
- var metavariableNodeQuery = (0, _query.nodeQuery)("/metastatement/metavariable!");
128
+ var metavariableNodeQuery = (0, _query.nodeQuery)('/metastatement/metavariable!');
129
129
  var MetastatementForMetavariableNodesVerifier = /*#__PURE__*/ function(NodesVerifier) {
130
130
  _inherits(MetastatementForMetavariableNodesVerifier, NodesVerifier);
131
131
  var _super = _create_super(MetastatementForMetavariableNodesVerifier);
package/lib/verifier/nodes/statementForMetavariable.js CHANGED
@@ -125,7 +125,7 @@ function _create_super(Derived) {
125
125
  return _possible_constructor_return(this, result);
126
126
  };
127
127
  }
128
- var metavariableNodeQuery = (0, _query.nodeQuery)("/metastatement/metavariable!"), metaArgumentChildNodeNodeQuery = (0, _query.nodeQuery)("/metaArgument/*!");
128
+ var metavariableNodeQuery = (0, _query.nodeQuery)('/metastatement/metavariable!'), metaArgumentChildNodeNodeQuery = (0, _query.nodeQuery)('/metaArgument/*!');
129
129
  var StatementForMetavariableNodesVerifier = /*#__PURE__*/ function(NodesVerifier) {
130
130
  _inherits(StatementForMetavariableNodesVerifier, NodesVerifier);
131
131
  var _super = _create_super(StatementForMetavariableNodesVerifier);
package/lib/verifier/nodes/termForVariable.js CHANGED
@@ -127,7 +127,7 @@ function _create_super(Derived) {
127
127
  return _possible_constructor_return(this, result);
128
128
  };
129
129
  }
130
- var variableNodeQuery = (0, _query.nodeQuery)("/term/variable!");
130
+ var variableNodeQuery = (0, _query.nodeQuery)('/term/variable!');
131
131
  var TermForVariableNodesVerifier = /*#__PURE__*/ function(NodesVerifier) {
132
132
  _inherits(TermForVariableNodesVerifier, NodesVerifier);
133
133
  var _super = _create_super(TermForVariableNodesVerifier);
package/package.json CHANGED
@@ -1,7 +1,7 @@
1
1
  {
2
2
  "name": "occam-verify-cli",
3
3
  "author": "James Smith",
4
- "version": "0.0.783",
4
+ "version": "0.0.785",
5
5
  "license": "MIT, Anti-996",
6
6
  "homepage": "https://github.com/djalbat/occam-verify-cli",
7
7
  "description": "Occam's Verifier",
@@ -11,12 +11,12 @@
11
11
  },
12
12
  "dependencies": {
13
13
  "argumentative": "^2.0.28",
14
- "necessary": "^13.6.1",
15
- "occam-custom-grammars": "^5.0.668",
16
- "occam-entities": "^1.0.90",
17
- "occam-file-system": "^6.0.137",
18
- "occam-grammar-utilities": "^8.0.159",
19
- "occam-query": "^3.1.151"
14
+ "necessary": "^13.6.6",
15
+ "occam-custom-grammars": "^5.0.673",
16
+ "occam-entities": "^1.0.92",
17
+ "occam-file-system": "^6.0.139",
18
+ "occam-grammar-utilities": "^8.0.164",
19
+ "occam-query": "^3.1.157"
20
20
  },
21
21
  "devDependencies": {
22
22
  "@swc/core": "^1.2.51",