occam-verify-cli 0.0.977 → 0.0.979
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.
- package/lib/context/local.js +11 -15
- package/lib/declaration.js +25 -19
- package/lib/frame.js +44 -19
- package/lib/judgement.js +15 -22
- package/lib/metaTypeNames.js +4 -4
- package/lib/reference.js +69 -0
- package/lib/rule.js +1 -11
- package/lib/topLevelAssertion.js +1 -11
- package/lib/unify/qualifiedStatement.js +16 -16
- package/lib/unify/termWithType.js +1 -1
- package/lib/verify/declaration.js +8 -7
- package/lib/verify/frame.js +43 -35
- package/lib/verify/judgement.js +21 -28
- package/lib/verify/metavariableGivenMetaType.js +6 -3
- package/lib/verify/statement.js +2 -2
- package/lib/verify/statementGivenMetaType.js +8 -8
- package/package.json +3 -3
- package/src/context/local.js +13 -16
- package/src/declaration.js +19 -17
- package/src/frame.js +47 -17
- package/src/judgement.js +9 -15
- package/src/metaTypeNames.js +1 -1
- package/src/reference.js +31 -0
- package/src/rule.js +0 -10
- package/src/topLevelAssertion.js +0 -10
- package/src/unify/qualifiedStatement.js +20 -25
- package/src/unify/termWithType.js +0 -1
- package/src/verify/declaration.js +16 -11
- package/src/verify/frame.js +63 -45
- package/src/verify/judgement.js +43 -46
- package/src/verify/metavariableGivenMetaType.js +6 -2
- package/src/verify/statement.js +1 -1
- package/src/verify/statementGivenMetaType.js +12 -12
|
@@ -4,7 +4,7 @@ import shim from "../shim";
|
|
|
4
4
|
|
|
5
5
|
import { nodeQuery } from "../utilities/query";
|
|
6
6
|
import { metavariableNameFromMetavariableNode } from "../utilities/name";
|
|
7
|
-
import {
|
|
7
|
+
import { FRAME_META_TYPE_NAME, REFERENCE_META_TYPE_NAME, STATEMENT_META_TYPE_NAME } from "../metaTypeNames";
|
|
8
8
|
|
|
9
9
|
const metavariableNodeQuery = nodeQuery("/statement/metavariable!");
|
|
10
10
|
|
|
@@ -14,17 +14,8 @@ export default function verifyStatementGivenMetaType(statementNode, metaType, as
|
|
|
14
14
|
const metaTypeName = metaType.getName();
|
|
15
15
|
|
|
16
16
|
switch (metaTypeName) {
|
|
17
|
-
case
|
|
18
|
-
|
|
19
|
-
statementVerified = verifyStatement(statementNode, assignments, stated, localContext)
|
|
20
|
-
|
|
21
|
-
statementVerifiedGivenMetaType = statementVerified; ///
|
|
22
|
-
|
|
23
|
-
break;
|
|
24
|
-
}
|
|
25
|
-
|
|
26
|
-
case REFERENCE_META_TYPE_NAME:
|
|
27
|
-
case DECLARATION_META_TYPE_NAME: {
|
|
17
|
+
case FRAME_META_TYPE_NAME:
|
|
18
|
+
case REFERENCE_META_TYPE_NAME: {
|
|
28
19
|
statementVerifiedGivenMetaType = false;
|
|
29
20
|
|
|
30
21
|
const metavariableNode = metavariableNodeQuery(statementNode);
|
|
@@ -44,6 +35,15 @@ export default function verifyStatementGivenMetaType(statementNode, metaType, as
|
|
|
44
35
|
|
|
45
36
|
break;
|
|
46
37
|
}
|
|
38
|
+
|
|
39
|
+
case STATEMENT_META_TYPE_NAME: {
|
|
40
|
+
const { verifyStatement } = shim,
|
|
41
|
+
statementVerified = verifyStatement(statementNode, assignments, stated, localContext)
|
|
42
|
+
|
|
43
|
+
statementVerifiedGivenMetaType = statementVerified; ///
|
|
44
|
+
|
|
45
|
+
break;
|
|
46
|
+
}
|
|
47
47
|
}
|
|
48
48
|
|
|
49
49
|
return statementVerifiedGivenMetaType;
|