occam-verify-cli 0.0.927 → 0.0.928

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 (17) hide show
  1. package/lib/verify/conclusion.js +8 -18
  2. package/lib/verify/consequent.js +10 -7
  3. package/lib/verify/equality.js +2 -2
  4. package/lib/verify/statement/qualified.js +12 -12
  5. package/lib/verify/statement/unqualified.js +67 -6
  6. package/lib/verify/statementAtainstStatement.js +3 -3
  7. package/package.json +1 -1
  8. package/src/verify/conclusion.js +10 -27
  9. package/src/verify/consequent.js +13 -10
  10. package/src/verify/equality.js +2 -2
  11. package/src/verify/statement/qualified.js +11 -11
  12. package/src/verify/statement/unqualified.js +38 -1
  13. package/src/verify/statementAtainstStatement.js +2 -2
  14. package/lib/verifier/nodes/intrinsicLevel.js +0 -171
  15. package/lib/verifier/nodes/intrinsicLevelAgainstMetaLevel.js +0 -229
  16. package/src/verifier/nodes/intrinsicLevel.js +0 -74
  17. package/src/verifier/nodes/intrinsicLevelAgainstMetaLevel.js +0 -173
package/src/verifier/nodes/intrinsicLevelAgainstMetaLevel.js DELETED
@@ -1,173 +0,0 @@
1
- "use strict";
2
-
3
- import NodesVerifier from "../../verifier/nodes";
4
- import verifyVariableAgainstTerm from "../../verify/variableAgainstTerm";
5
- import verifyMetavariableAgainstStatement from "../../verify/metavariableAgainstStatement";
6
-
7
- import { nodeQuery } from "../../utilities/query";
8
- import { verifyNodes } from "../../utilities/verifier";
9
-
10
- const termNodeQuery = nodeQuery("/term!"),
11
- statementNodeQuery = nodeQuery("/statement!"),
12
- nonTerminalNodeQuery = nodeQuery("/*"),
13
- termVariableNodeQuery = nodeQuery("/term/variable!"),
14
- metaArgumentStatementNodeQuery = nodeQuery("/metaArgument/statement!"),
15
- statementMetavariableNodeQuery = nodeQuery("/statement/metavariable!"),
16
- statementSubstitutionNodeQuery = nodeQuery("/statement/substitution");
17
-
18
- class IntrinsicLevelAgainstMetaLevelNodesVerifier extends NodesVerifier {
19
- verifyNonTerminalNode(nonTerminalNodeA, nonTerminalNodeB, substitutions, localContextA, localContextB, verifyAhead) {
20
- let nonTerminalNodeVerified;
21
-
22
- const nodeQueryMaps = [
23
- {
24
- nodeQueryA: statementMetavariableNodeQuery,
25
- nodeQueryB: metaArgumentStatementNodeQuery,
26
- verifyNodes: (nodeA, nodeB, substitutions, localContextA, localContextB, verifyAhead) => {
27
- let nonTerminalNodeVerified;
28
-
29
- const metaArgumentStatementNodeB = nodeB, ///
30
- statementMetavariableNodeA = nodeA, ///
31
- statementSubstitutionNodeA = statementSubstitutionNodeQuery(nonTerminalNodeA),
32
- statementMetavariableNodeVerifiedAgainstMetaArgumentStatementNode =
33
-
34
- this.verifyStatementMetavariableNodeAgainstMetaArgumentStatementNode(statementMetavariableNodeA, metaArgumentStatementNodeB, statementSubstitutionNodeA, substitutions, localContextA, localContextB, verifyAhead);
35
-
36
- nonTerminalNodeVerified = statementMetavariableNodeVerifiedAgainstMetaArgumentStatementNode; ///
37
-
38
- return nonTerminalNodeVerified;
39
- }
40
- },
41
- {
42
- nodeQueryA: statementMetavariableNodeQuery,
43
- nodeQueryB: statementNodeQuery,
44
- verifyNodes: (nodeA, nodeB, substitutions, localContextA, localContextB, verifyAhead) => {
45
- let nonTerminalNodeVerified;
46
-
47
- const statementNodeB = nodeB, ///
48
- statementMetavariableNodeA = nodeA, ///
49
- statementSubstitutionNodeA = statementSubstitutionNodeQuery(nonTerminalNodeA),
50
- statementMetavariableNodeVerifiedAgainstStatementNode =
51
-
52
- this.verifyStatementMetavariableNodeAgainstStatementNode(statementMetavariableNodeA, statementNodeB, statementSubstitutionNodeA, substitutions, localContextA, localContextB, verifyAhead);
53
-
54
- nonTerminalNodeVerified = statementMetavariableNodeVerifiedAgainstStatementNode; ///
55
-
56
- return nonTerminalNodeVerified;
57
- }
58
- },
59
- {
60
- nodeQueryA: statementNodeQuery,
61
- nodeQueryB: statementNodeQuery,
62
- verifyNodes: (nodeA, nodeB, substitutions, localContextA, localContextB, verifyAhead) => {
63
- let nonTerminalNodeVerified;
64
-
65
- const statementNodeB = nodeB, ///
66
- statementNodeA = nodeA, ///
67
- statementNodeVerifiedAgainstStatementNode =
68
-
69
- this.verifyStatementNodeAgainstStatementNode(statementNodeA, statementNodeB, substitutions, localContextA, localContextB, verifyAhead);
70
-
71
- nonTerminalNodeVerified = statementNodeVerifiedAgainstStatementNode; ///
72
-
73
- return nonTerminalNodeVerified;
74
- }
75
- },
76
- {
77
- nodeQueryA: termVariableNodeQuery,
78
- nodeQueryB: termNodeQuery,
79
- verifyNodes: (nodeA, nodeB, substitutions, localContextA, localContextB, verifyAhead) => {
80
- let nonTerminalNodeVerified;
81
-
82
- const termNodeB = nodeB, ///
83
- termVariableNodeA = nodeA, ///
84
- termVariableNodeVerifiedAgainstTermNode =
85
-
86
- this.verifyTermVariableNodeAgainstTermNode(termVariableNodeA, termNodeB, substitutions, localContextA, localContextB, verifyAhead);
87
-
88
- nonTerminalNodeVerified = termVariableNodeVerifiedAgainstTermNode; ///
89
-
90
- return nonTerminalNodeVerified;
91
- }
92
- },
93
- {
94
- nodeQueryA: nonTerminalNodeQuery,
95
- nodeQueryB: nonTerminalNodeQuery,
96
- verifyNodes: (nodeA, nodeB, substitutions, localContextA, localContextB, verifyAhead) => {
97
- let nonTerminalNodeVerified;
98
-
99
- const nonTerminalNodeA = nodeA, ///
100
- nonTerminalNodeB = nodeB; ///
101
-
102
- nonTerminalNodeVerified =
103
-
104
- super.verifyNonTerminalNode(nonTerminalNodeA, nonTerminalNodeB, substitutions, localContextA, localContextB, verifyAhead);
105
-
106
- return nonTerminalNodeVerified;
107
- }
108
- }
109
- ];
110
-
111
- const nodesVerified = verifyNodes(nodeQueryMaps, nonTerminalNodeA, nonTerminalNodeB, substitutions, localContextA, localContextB, verifyAhead);
112
-
113
- nonTerminalNodeVerified = nodesVerified; ///
114
-
115
- return nonTerminalNodeVerified;
116
- }
117
-
118
- verifyStatementMetavariableNodeAgainstMetaArgumentStatementNode(statementMetavariableNodeA, metaArgumentStatementNodeB, statementSubstitutionNodeA, substitutions, localContextA, localContextB, verifyAhead) {
119
- let statementMetavariableNodeVerifiedAgainstMetaArgumentStatementNode;
120
-
121
- const statementNodeB = metaArgumentStatementNodeB, ///
122
- substitutionNode = statementSubstitutionNodeA, ///
123
- metavariableNodeA = statementMetavariableNodeA, ///
124
- metavariableVerifiedAgainstStatement = verifyMetavariableAgainstStatement(metavariableNodeA, statementNodeB, substitutionNode, substitutions, localContextA, localContextB, verifyAhead)
125
-
126
- statementMetavariableNodeVerifiedAgainstMetaArgumentStatementNode = metavariableVerifiedAgainstStatement; ///
127
-
128
- return statementMetavariableNodeVerifiedAgainstMetaArgumentStatementNode;
129
- }
130
-
131
- verifyStatementMetavariableNodeAgainstStatementNode(statementMetavariableNodeA, statementNodeB, statementSubstitutionNodeA, substitutions, localContextA, localContextB, verifyAhead) {
132
- let statementMetavariableNodeVerifiedAgainstStatementNode;
133
-
134
- const substitutionNode = statementSubstitutionNodeA, ///
135
- metavariableNodeA = statementMetavariableNodeA, ///
136
- metavariableVerifiedAgainstStatement = verifyMetavariableAgainstStatement(metavariableNodeA, statementNodeB, substitutionNode, substitutions, localContextA, localContextB, verifyAhead);
137
-
138
- statementMetavariableNodeVerifiedAgainstStatementNode = metavariableVerifiedAgainstStatement; ///
139
-
140
- return statementMetavariableNodeVerifiedAgainstStatementNode;
141
- }
142
-
143
- verifyStatementNodeAgainstStatementNode(statementNodeA, statementNodeB, substitutions, localContextA, localContextB, verifyAhead) {
144
- let statementNodeVerifiedAgainstStatementNode;
145
-
146
- const nonTerminalNodeA = statementNodeA, ///
147
- nonTerminalNodeB = statementNodeB, ///
148
- nonTerminalNodeAChildNodes = nonTerminalNodeA.getChildNodes(),
149
- nonTerminalNodeBChildNodes = nonTerminalNodeB.getChildNodes(),
150
- childNodesA = nonTerminalNodeAChildNodes, ///
151
- childNodesB = nonTerminalNodeBChildNodes, ///
152
- childNodesVerified = this.verifyChildNodes(childNodesA, childNodesB, substitutions, localContextA, localContextB, verifyAhead);
153
-
154
- statementNodeVerifiedAgainstStatementNode = childNodesVerified; ///
155
-
156
- return statementNodeVerifiedAgainstStatementNode;
157
- }
158
-
159
- verifyTermVariableNodeAgainstTermNode(termVariableNodeA, termNodeB, substitutions, localContextA, localContextB, verifyAhead) {
160
- let termVariableNodeVerifiedAgainstTermNode;
161
-
162
- const variableNodeA = termVariableNodeA, ///
163
- termVerifiedAgainstVariable = verifyVariableAgainstTerm(variableNodeA, termNodeB, substitutions, localContextA, localContextB, verifyAhead);
164
-
165
- termVariableNodeVerifiedAgainstTermNode = termVerifiedAgainstVariable; ///
166
-
167
- return termVariableNodeVerifiedAgainstTermNode;
168
- }
169
- }
170
-
171
- const intrinsicLevelAgainstMetaLevelNodesVerifier = new IntrinsicLevelAgainstMetaLevelNodesVerifier();
172
-
173
- export default intrinsicLevelAgainstMetaLevelNodesVerifier;