occam-verify-cli 0.0.1259 → 0.0.1260

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 (13) hide show
  1. package/lib/dom/declaration/complexType.js +140 -0
  2. package/lib/dom/metavariable.js +13 -4
  3. package/lib/dom/property.js +173 -0
  4. package/lib/dom/type.js +20 -17
  5. package/lib/index.js +2 -1
  6. package/lib/verifier/topLevel.js +9 -2
  7. package/package.json +5 -5
  8. package/src/dom/declaration/complexType.js +54 -0
  9. package/src/dom/metavariable.js +19 -3
  10. package/src/dom/property.js +98 -0
  11. package/src/dom/type.js +28 -22
  12. package/src/index.js +1 -0
  13. package/src/verifier/topLevel.js +11 -0
package/src/index.js CHANGED
@@ -43,6 +43,7 @@ import BracketedCombinator from "./dom/combinator/bracketed";
43
43
  import BracketedConstructor from "./dom/constructor/bracketed";
44
44
  import CombinatorDeclaration from "./dom/declaration/combinator";
45
45
  import ConstructorDeclaration from "./dom/declaration/constructor";
46
+ import ComplexTypeDeclaration from "./dom/declaration/complexType";
46
47
  import MetavariableDeclaration from "./dom/declaration/metavariable";
47
48
 
48
49
  export { default as Log } from "./log";
package/src/verifier/topLevel.js CHANGED
@@ -17,6 +17,7 @@ const errorNodeQuery = nodeQuery("/error"),
17
17
  variableDeclarationNodeQuery = nodeQuery("/variableDeclaration"),
18
18
  combinatorDeclarationNodeQuery = nodeQuery("/combinatorDeclaration"),
19
19
  constructorDeclarationNodeQuery = nodeQuery("/constructorDeclaration"),
20
+ complexTypeDeclarationNodeQuery = nodeQuery("/complexTypeDeclaration"),
20
21
  metavariableDeclarationNodeQuery = nodeQuery("/metavariableDeclaration");
21
22
 
22
23
  class TopLevelVerifier extends Verifier {
@@ -152,6 +153,16 @@ class TopLevelVerifier extends Verifier {
152
153
  return constructorDeclarationVerified;
153
154
  }
154
155
  },
156
+ {
157
+ nodeQuery: complexTypeDeclarationNodeQuery,
158
+ verify: (complexTypeDeclarationNode, fileContext) => {
159
+ const { ComplexTypeDeclaration } = dom,
160
+ complexTypeDeclaration = ComplexTypeDeclaration.fromComplexTypeDeclarationNode(complexTypeDeclarationNode, fileContext),
161
+ complexTypeDeclarationVerified = complexTypeDeclaration.verify();
162
+
163
+ return complexTypeDeclarationVerified;
164
+ }
165
+ },
155
166
  {
156
167
  nodeQuery: metavariableDeclarationNodeQuery,
157
168
  verify: (metavariableDeclarationNode, fileContext) => {