pareto 0.61.0 → 0.63.0

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 (65) hide show
  1. package/auto.dist/public/modules/main/implementations/temp_$compile_$boekhouding.alg.js +2 -2
  2. package/auto.pareto/auto.dependencies/index.ts +3 -3
  3. package/auto.pareto/auto.dependencies/pareto-pure/$.data.ts +21 -16
  4. package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/index.ts +1 -1
  5. package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/array/glossary.data.ts +65 -63
  6. package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/boolean/glossary.data.ts +14 -12
  7. package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/buildInterfaceInitializers/glossary.data.ts +34 -31
  8. package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/dictionary/glossary.data.ts +43 -41
  9. package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/nested/glossary.data.ts +9 -7
  10. package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/number/glossary.data.ts +26 -24
  11. package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/optional/glossary.data.ts +14 -12
  12. package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/resolve/glossary.data.ts +9 -7
  13. package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/string/glossary.data.ts +35 -33
  14. package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/tostring/glossary.data.ts +11 -9
  15. package/auto.pareto/auto.dependencies/pareto-pure/glossaries/astn.data.ts +22 -20
  16. package/auto.pareto/auto.dependencies/pareto-pure/glossaries/auto.alan_light.data.ts +419 -417
  17. package/auto.pareto/auto.dependencies/pareto-pure/glossaries/auto.cosmos_type_system.data.ts +1611 -1609
  18. package/auto.pareto/auto.dependencies/pareto-pure/glossaries/auto.cosmos_typescript.data.ts +108 -106
  19. package/auto.pareto/auto.dependencies/pareto-pure/glossaries/auto.grammar.data.ts +235 -233
  20. package/auto.pareto/auto.dependencies/pareto-pure/glossaries/auto.graphviz.data.ts +633 -631
  21. package/auto.pareto/auto.dependencies/pareto-pure/glossaries/auto.pareto.data.ts +1302 -1300
  22. package/auto.pareto/auto.dependencies/pareto-pure/glossaries/auto.tendril.data.ts +914 -912
  23. package/auto.pareto/auto.dependencies/pareto-pure/glossaries/auto.tendril_resolved.data.ts +828 -826
  24. package/auto.pareto/auto.dependencies/pareto-pure/glossaries/fountain_pen_directory.data.ts +19 -17
  25. package/auto.pareto/auto.dependencies/pareto-pure/glossaries/fountain_pen_indented_file.data.ts +30 -28
  26. package/auto.pareto/auto.dependencies/pareto-pure/glossaries/fountain_pen_indented_file_with_escaped_strings.data.ts +23 -21
  27. package/auto.pareto/auto.dependencies/pareto-pure/glossaries/lines.data.ts +9 -7
  28. package/auto.pareto/auto.dependencies/pareto-pure/glossaries/testresult.data.ts +115 -113
  29. package/auto.pareto/auto.dependencies/pareto-pure/glossaries/typescript_intermediate.data.ts +49 -47
  30. package/auto.pareto/auto.dependencies/pareto-pure/modules/alan_light_2_fountain_pen_indented_file_with_escaped_strings/glossary.data.ts +10 -8
  31. package/auto.pareto/auto.dependencies/pareto-pure/modules/astn_2_fountain_pen_indented_file_with_escaped_strings/glossary.data.ts +11 -9
  32. package/auto.pareto/auto.dependencies/pareto-pure/modules/cosmos_type_system_2_graphviz/glossary.data.ts +10 -8
  33. package/auto.pareto/auto.dependencies/pareto-pure/modules/cosmos_type_system_2_pareto/glossary.data.ts +13 -11
  34. package/auto.pareto/auto.dependencies/pareto-pure/modules/cosmos_typescript_2_fountain_pen_directory/glossary.data.ts +15 -13
  35. package/auto.pareto/auto.dependencies/pareto-pure/modules/fountain_pen_indented_file_2_fountain_pen_indented_file/glossary.data.ts +14 -12
  36. package/auto.pareto/auto.dependencies/pareto-pure/modules/fountain_pen_lines_2_lines/glossary.data.ts +15 -13
  37. package/auto.pareto/auto.dependencies/pareto-pure/modules/graphviz_2_fountain_pen_indented_file_with_escaped_strings/glossary.data.ts +10 -8
  38. package/auto.pareto/auto.dependencies/pareto-pure/modules/pareto_2_typescript_intermediate/glossary.data.ts +14 -12
  39. package/auto.pareto/auto.dependencies/pareto-pure/modules/tendril_2_alan_light/glossary.data.ts +10 -8
  40. package/auto.pareto/auto.dependencies/pareto-pure/modules/tendril_2_cosmos_type_system/glossary.data.ts +49 -47
  41. package/auto.pareto/auto.dependencies/pareto-pure/modules/tendril_2_pareto/glossary.data.ts +11 -9
  42. package/auto.pareto/auto.dependencies/pareto-pure/modules/testresult_2_testresult/glossary.data.ts +115 -113
  43. package/auto.pareto/auto.dependencies/pareto-standard-library/modules/array/glossary.data.ts +65 -63
  44. package/auto.pareto/auto.dependencies/pareto-standard-library/modules/boolean/glossary.data.ts +14 -12
  45. package/auto.pareto/auto.dependencies/pareto-standard-library/modules/buildInterfaceInitializers/glossary.data.ts +34 -31
  46. package/auto.pareto/auto.dependencies/pareto-standard-library/modules/dictionary/glossary.data.ts +43 -41
  47. package/auto.pareto/auto.dependencies/pareto-standard-library/modules/nested/glossary.data.ts +9 -7
  48. package/auto.pareto/auto.dependencies/pareto-standard-library/modules/number/glossary.data.ts +26 -24
  49. package/auto.pareto/auto.dependencies/pareto-standard-library/modules/optional/glossary.data.ts +14 -12
  50. package/auto.pareto/auto.dependencies/pareto-standard-library/modules/resolve/glossary.data.ts +9 -7
  51. package/auto.pareto/auto.dependencies/pareto-standard-library/modules/string/glossary.data.ts +35 -33
  52. package/auto.pareto/auto.dependencies/pareto-standard-library/modules/tostring/glossary.data.ts +11 -9
  53. package/auto.pareto/auto.dependencies/pareto-subatomic-library/glossaries/lines.data.ts +9 -7
  54. package/auto.pareto/auto.dependencies/pareto-subatomic-library/modules/array/glossary.data.ts +25 -23
  55. package/auto.pareto/auto.dependencies/pareto-subatomic-library/modules/dictionary/glossary.data.ts +20 -18
  56. package/auto.pareto/auto.dependencies/pareto-subatomic-library/modules/filesystem/glossary.data.ts +18 -16
  57. package/auto.pareto/auto.dependencies/pareto-subatomic-library/modules/json/glossary.data.ts +23 -20
  58. package/auto.pareto/auto.dependencies/pareto-subatomic-library/modules/numerical_predicates/glossary.data.ts +19 -17
  59. package/auto.pareto/auto.dependencies/pareto-subatomic-library/modules/string/glossary.data.ts +72 -69
  60. package/auto.pareto/modules/main/glossary.data.ts +14 -12
  61. package/auto.pareto/modules/pareto_2_fountain_pen/glossary.data.ts +15 -13
  62. package/auto.pareto/modules/string_aware_fountain_pen_2 fountain_pen/glossary.data.ts +10 -8
  63. package/auto.pareto/modules/typescript_intermediate_2_fountain_pen/glossary.data.ts +11 -9
  64. package/auto.pareto/modules/typescript_naming/glossary.data.ts +10 -8
  65. package/package.json +5 -5
@@ -12,18 +12,20 @@ import { $ as d_in } from "../../glossaries/auto.cosmos_type_system.data"
12
12
  const d = pd.d
13
13
 
14
14
  export const $: g_glossary.D.Glossary = {
15
- 'glossary parameters': d({}),
16
- 'imports': d({
17
- "in": imp(d_in, {}),
18
- "out": imp(d_out, {}),
19
- }),
20
- 'root': {
21
- 'namespaces': d({}),
22
- 'data types': d({
23
- "Library2ParetoComparatorsData": type(group({
24
- "library": member(ref(externalTypeReference("in", "Library"))),
25
- })),
15
+ 'data glossary': {
16
+ 'glossary parameters': d({}),
17
+ 'imports': d({
18
+ "in": imp(d_in, {}),
19
+ "out": imp(d_out, {}),
26
20
  }),
21
+ 'root': {
22
+ 'namespaces': d({}),
23
+ 'data types': d({
24
+ "Library2ParetoComparatorsData": type(group({
25
+ "library": member(ref(externalTypeReference("in", "Library"))),
26
+ })),
27
+ }),
28
+ },
27
29
  },
28
30
  'interface types': d({}),
29
31
  'algorithm types': d({
@@ -13,20 +13,22 @@ import { $ as d_cts } from "../../glossaries/auto.cosmos_type_system.data"
13
13
  const d = pd.d
14
14
 
15
15
  export const $: g_glossary.D.Glossary = {
16
- 'glossary parameters': d({}),
17
- 'imports': d({
18
- "in": imp(d_in, {}),
19
- "out": imp(d_out, {}),
20
- "cts": imp(d_cts, {}),
21
- }),
22
- 'root': {
23
- 'namespaces': d({}),
24
- 'data types': d({
25
- "In": type(group({
26
- "$": member(ref(externalTypeReference("in", "Typescript Package"))),
27
- "library": member(ref(externalTypeReference("cts", "Library"))),
28
- }))
16
+ 'data glossary': {
17
+ 'glossary parameters': d({}),
18
+ 'imports': d({
19
+ "in": imp(d_in, {}),
20
+ "out": imp(d_out, {}),
21
+ "cts": imp(d_cts, {}),
29
22
  }),
23
+ 'root': {
24
+ 'namespaces': d({}),
25
+ 'data types': d({
26
+ "In": type(group({
27
+ "$": member(ref(externalTypeReference("in", "Typescript Package"))),
28
+ "library": member(ref(externalTypeReference("cts", "Library"))),
29
+ }))
30
+ }),
31
+ },
30
32
  },
31
33
  'interface types': d({}),
32
34
  'algorithm types': d({
@@ -14,20 +14,22 @@ import { $ as d_in } from "../../glossaries/fountain_pen_indented_file.data"
14
14
  import { $ as d_out } from "../../glossaries/fountain_pen_indented_file.data"
15
15
 
16
16
  export const $: g_glossary.D.Glossary = {
17
- 'glossary parameters': d({}),
18
- 'imports': d({
17
+ 'data glossary': {
18
+ 'glossary parameters': d({}),
19
+ 'imports': d({
19
20
 
20
- "in": imp(d_in, {}),
21
- "out": imp(d_out, {}),
22
- }),
23
- 'root': {
24
- 'namespaces': d({}),
25
- 'data types': d({
26
- // "SerializeData": type(group({
27
- // "block": member(ref(externalTypeReference("in", "Block"))),
28
- // })),
29
- // "String": type(string()),
21
+ "in": imp(d_in, {}),
22
+ "out": imp(d_out, {}),
30
23
  }),
24
+ 'root': {
25
+ 'namespaces': d({}),
26
+ 'data types': d({
27
+ // "SerializeData": type(group({
28
+ // "block": member(ref(externalTypeReference("in", "Block"))),
29
+ // })),
30
+ // "String": type(string()),
31
+ }),
32
+ },
31
33
  },
32
34
  'interface types': d({}),
33
35
  'algorithm types': d({
@@ -14,20 +14,22 @@ import { $ as d_in } from "../../glossaries/fountain_pen_indented_file.data"
14
14
  import { $ as d_out } from "../../glossaries/lines.data"
15
15
 
16
16
  export const $: g_glossary.D.Glossary = {
17
- 'glossary parameters': d({}),
18
- 'imports': d({
19
- "in": imp(d_in, {}),
20
- "out": imp(d_out, {}),
21
- }),
22
- 'root': {
23
- 'namespaces': d({}),
24
- 'data types': d({
25
- "IndentData": type(group({
26
- "lines": member(ref(externalTypeReference("in", "Lines"))),
27
- "indentation": member(string()),
28
- })),
29
- "String": type(string()),
17
+ 'data glossary': {
18
+ 'glossary parameters': d({}),
19
+ 'imports': d({
20
+ "in": imp(d_in, {}),
21
+ "out": imp(d_out, {}),
30
22
  }),
23
+ 'root': {
24
+ 'namespaces': d({}),
25
+ 'data types': d({
26
+ "IndentData": type(group({
27
+ "lines": member(ref(externalTypeReference("in", "Lines"))),
28
+ "indentation": member(string()),
29
+ })),
30
+ "String": type(string()),
31
+ }),
32
+ },
31
33
  },
32
34
  'interface types': d({
33
35
  "Lines": aInterface(aInterfaceMethod(externalTypeReference("in", "Lines"))),
@@ -22,15 +22,17 @@ import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.c
22
22
  const d = pd.d
23
23
 
24
24
  export const $: g_glossary.D.Glossary = {
25
- 'glossary parameters': d({}),
26
- 'imports': d({
27
- "in": imp(d_in, {}),
28
- "out": imp(d_out, {}),
29
- }),
30
- 'root': {
31
- 'namespaces': d({}),
32
- 'data types': d({
25
+ 'data glossary': {
26
+ 'glossary parameters': d({}),
27
+ 'imports': d({
28
+ "in": imp(d_in, {}),
29
+ "out": imp(d_out, {}),
33
30
  }),
31
+ 'root': {
32
+ 'namespaces': d({}),
33
+ 'data types': d({
34
+ }),
35
+ },
34
36
  },
35
37
  'interface types': d({}),
36
38
  'algorithm types': d({
@@ -32,19 +32,21 @@ import { $ as d_out } from "../../glossaries/typescript_intermediate.data"
32
32
  const d = pd.d
33
33
 
34
34
  export const $: g_glossary.D.Glossary = {
35
- 'imports': d({
36
- "in": imp(d_in, {}),
37
- "out": imp(d_out, {}),
38
- }),
39
-
40
- 'glossary parameters': d({}),
41
- 'root': {
42
- 'namespaces': d({}),
43
- 'data types': d({
44
- "Map Data": type(group({
45
- "compilation unit": member(ref(externalTypeReference("in", "Compilation Unit", {}))),
46
- })),
35
+ 'data glossary': {
36
+ 'imports': d({
37
+ "in": imp(d_in, {}),
38
+ "out": imp(d_out, {}),
47
39
  }),
40
+
41
+ 'glossary parameters': d({}),
42
+ 'root': {
43
+ 'namespaces': d({}),
44
+ 'data types': d({
45
+ "Map Data": type(group({
46
+ "compilation unit": member(ref(externalTypeReference("in", "Compilation Unit", {}))),
47
+ })),
48
+ }),
49
+ },
48
50
  },
49
51
  'interface types': d({}),
50
52
  'algorithm types': d({
@@ -32,15 +32,17 @@ import { $ as d_out } from "../../glossaries/auto.alan_light.data"
32
32
  const d = pd.d
33
33
 
34
34
  export const $: g_glossary.D.Glossary = {
35
- 'imports': d({
36
- "in": imp(d_in, {}),
37
- "out": imp(d_out, {}),
38
- }),
39
- 'glossary parameters': d({}),
40
- 'root': {
41
- 'namespaces': d({}),
42
- 'data types': d({
35
+ 'data glossary': {
36
+ 'imports': d({
37
+ "in": imp(d_in, {}),
38
+ "out": imp(d_out, {}),
43
39
  }),
40
+ 'glossary parameters': d({}),
41
+ 'root': {
42
+ 'namespaces': d({}),
43
+ 'data types': d({
44
+ }),
45
+ },
44
46
  },
45
47
  'interface types': d({}),
46
48
  'algorithm types': d({
@@ -14,55 +14,57 @@ import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.c
14
14
  const d = pd.d
15
15
 
16
16
  export const $: g_glossary.D.Glossary = {
17
- 'glossary parameters': d({}),
18
- 'imports': d({
19
- "in": imp(d_in, {}),
20
- "out": imp(d_out, {}),
21
- }),
22
- 'root': {
23
- 'namespaces': d({}),
24
- 'data types': d({
25
- "MapData": type(group({
26
- "mapped library": member(ref(typeReference("Mapped Library"))),
27
- "settings": member(ref(typeReference("Mapping Settings"))),
28
- })),
29
- "Mapped Library": type(group({
30
- "library": member(ref(externalTypeReference("in", "Type Library", {}))),
31
- "terminal mapping": member(ref(typeReference("Terminal Mapping"))),
32
- })),
17
+ 'data glossary': {
18
+ 'glossary parameters': d({}),
19
+ 'imports': d({
20
+ "in": imp(d_in, {}),
21
+ "out": imp(d_out, {}),
22
+ }),
23
+ 'root': {
24
+ 'namespaces': d({}),
25
+ 'data types': d({
26
+ "MapData": type(group({
27
+ "mapped library": member(ref(typeReference("Mapped Library"))),
28
+ "settings": member(ref(typeReference("Mapping Settings"))),
29
+ })),
30
+ "Mapped Library": type(group({
31
+ "library": member(ref(externalTypeReference("in", "Type Library", {}))),
32
+ "terminal mapping": member(ref(typeReference("Terminal Mapping"))),
33
+ })),
33
34
 
34
- "Terminal Mapping": type(dictionary(taggedUnion({
35
- "boolean": null_(),
36
- "number": null_(),
37
- "string": null_(),
38
- }))),
39
- "Mapping Settings": type(group({
40
- "annotations": member(boolean()),
41
- "datamodel": member(optional(group({
42
- "constraints mapping": member(group({
43
- "terminal values": member(boolean()),
44
- "constraints": member(optional(taggedUnion({
45
- "optional": group({}),
46
- "required": group({}),
47
- }))),
48
- })),
35
+ "Terminal Mapping": type(dictionary(taggedUnion({
36
+ "boolean": null_(),
37
+ "number": null_(),
38
+ "string": null_(),
49
39
  }))),
50
- // "visitor interface": member(optional(group({
51
- // "datamodel": member(taggedUnion({
52
- // "internal": group({}),
53
- // "exernal": group({
54
- // "location": member(string()),
55
- // }),
56
- // })),
57
- // }))),
58
- // "algorithms": member(group({
59
- // "serialize": member(optional(group({
60
- // //data location,
61
- // }))),
62
- // //resolve
63
- // })),
64
- })),
65
- }),
40
+ "Mapping Settings": type(group({
41
+ "annotations": member(boolean()),
42
+ "datamodel": member(optional(group({
43
+ "constraints mapping": member(group({
44
+ "terminal values": member(boolean()),
45
+ "constraints": member(optional(taggedUnion({
46
+ "optional": group({}),
47
+ "required": group({}),
48
+ }))),
49
+ })),
50
+ }))),
51
+ // "visitor interface": member(optional(group({
52
+ // "datamodel": member(taggedUnion({
53
+ // "internal": group({}),
54
+ // "exernal": group({
55
+ // "location": member(string()),
56
+ // }),
57
+ // })),
58
+ // }))),
59
+ // "algorithms": member(group({
60
+ // "serialize": member(optional(group({
61
+ // //data location,
62
+ // }))),
63
+ // //resolve
64
+ // })),
65
+ })),
66
+ }),
67
+ },
66
68
  },
67
69
  'interface types': d({
68
70
  }),
@@ -14,16 +14,18 @@ import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.c
14
14
  const d = pd.d
15
15
 
16
16
  export const $: g_glossary.D.Glossary = {
17
- 'glossary parameters': d({}),
18
- 'imports': d({
19
- "in": imp(d_in, {}),
20
- "out": imp(d_out, {}),
21
- }),
22
- 'root': {
23
- 'namespaces': d({}),
24
- 'data types': d({
25
-
17
+ 'data glossary': {
18
+ 'glossary parameters': d({}),
19
+ 'imports': d({
20
+ "in": imp(d_in, {}),
21
+ "out": imp(d_out, {}),
26
22
  }),
23
+ 'root': {
24
+ 'namespaces': d({}),
25
+ 'data types': d({
26
+
27
+ }),
28
+ },
27
29
  },
28
30
  'interface types': d({
29
31
  }),
@@ -9,127 +9,129 @@ import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.c
9
9
  const d = pd.d
10
10
 
11
11
  export const $: g_glossary.D.Glossary = {
12
- 'glossary parameters': d({}),
13
- 'imports': d({
14
- }),
15
- 'root': {
16
- 'namespaces': d({
17
- "intermediate": {
18
- 'namespaces': d({
19
-
20
- }),
21
- 'data types': d({}),
22
- },
23
- "summary": {
24
- 'namespaces': d({
25
-
26
- }),
27
- 'data types': d({}),
28
- },
12
+ 'data glossary': {
13
+ 'glossary parameters': d({}),
14
+ 'imports': d({
29
15
  }),
30
- 'data types': d({
31
- "Library": type(group({
32
- "public": member(ref(typeReference("Module Set"))),
33
- "private": member(ref(typeReference("Module Set"))),
34
- })),
35
- "Module Set": type(dictionary(ref(typeReference("Module")))),
36
- "Module": type(dictionary(ref(typeReference("Algorithm")))),
37
- "Algorithm": type(group({
38
- "location": member(ref(typeReference("Source Location"))),
39
- "tests": member(optional(dictionary(ref(typeReference("Test"))))),
40
- })),
41
- "Source Location": type(group({
42
- "file": member(string()),
43
- "line": member(number()),
44
- "column": member(number()),
45
- })),
46
- "Test": type(array(ref(typeReference("Error")))),
47
- "Error": type(taggedUnion({
48
- "content": ref(typeReference("Compare Error"))
49
- })),
50
- "Compare Error": type(group({
51
- "location": member(ref(typeReference("Source Location"))),
52
- "path": member(string()),
53
- "type": member(taggedUnion({
54
- "wrong number": group({
55
- "found": member(number()),
56
- }),
57
- "wrong text": group({
58
- "found": member(string()),
59
- }),
60
- "wrong boolean": group({
61
- "found": member(boolean())
62
- }),
63
- "optional value expected not to be set": null_(),
64
- "optional value expected to be set": null_(),
65
- "not the right state": group({
66
- "found": member(string())
67
- }),
68
- "not enough elements": null_(),
69
- "too many elements": null_(),
70
- "superfluous entries": group({
71
- "keys": member(dictionary(null_()))
16
+ 'root': {
17
+ 'namespaces': d({
18
+ "intermediate": {
19
+ 'namespaces': d({
20
+
72
21
  }),
73
- "missing dictionary entry": group({
74
- "key": member(string()),
22
+ 'data types': d({}),
23
+ },
24
+ "summary": {
25
+ 'namespaces': d({
26
+
75
27
  }),
28
+ 'data types': d({}),
29
+ },
30
+ }),
31
+ 'data types': d({
32
+ "Library": type(group({
33
+ "public": member(ref(typeReference("Module Set"))),
34
+ "private": member(ref(typeReference("Module Set"))),
35
+ })),
36
+ "Module Set": type(dictionary(ref(typeReference("Module")))),
37
+ "Module": type(dictionary(ref(typeReference("Algorithm")))),
38
+ "Algorithm": type(group({
39
+ "location": member(ref(typeReference("Source Location"))),
40
+ "tests": member(optional(dictionary(ref(typeReference("Test"))))),
41
+ })),
42
+ "Source Location": type(group({
43
+ "file": member(string()),
44
+ "line": member(number()),
45
+ "column": member(number()),
46
+ })),
47
+ "Test": type(array(ref(typeReference("Error")))),
48
+ "Error": type(taggedUnion({
49
+ "content": ref(typeReference("Compare Error"))
76
50
  })),
51
+ "Compare Error": type(group({
52
+ "location": member(ref(typeReference("Source Location"))),
53
+ "path": member(string()),
54
+ "type": member(taggedUnion({
55
+ "wrong number": group({
56
+ "found": member(number()),
57
+ }),
58
+ "wrong text": group({
59
+ "found": member(string()),
60
+ }),
61
+ "wrong boolean": group({
62
+ "found": member(boolean())
63
+ }),
64
+ "optional value expected not to be set": null_(),
65
+ "optional value expected to be set": null_(),
66
+ "not the right state": group({
67
+ "found": member(string())
68
+ }),
69
+ "not enough elements": null_(),
70
+ "too many elements": null_(),
71
+ "superfluous entries": group({
72
+ "keys": member(dictionary(null_()))
73
+ }),
74
+ "missing dictionary entry": group({
75
+ "key": member(string()),
76
+ }),
77
+ })),
77
78
 
78
- })),
79
- "Summary": type(group({
80
- "number of tests": member(number()),
81
- "number of missing tests": member(number()),
82
- "number of errors": member(number()),
83
- })),
79
+ })),
80
+ "Summary": type(group({
81
+ "number of tests": member(number()),
82
+ "number of missing tests": member(number()),
83
+ "number of errors": member(number()),
84
+ })),
84
85
 
85
- "String": type(string()),
86
+ "String": type(string()),
86
87
 
87
- "intLibrary": type(group({
88
- "public": member(ref(typeReference("intModule Set"))),
89
- "private": member(ref(typeReference("intModule Set"))),
90
- })),
91
- "intModule Set": type(dictionary(ref(typeReference("intModule")))),
92
- "intModule": type(dictionary(ref(typeReference("intAlgorithm")))),
93
- "intAlgorithm": type(group({
94
- "location": member(ref(typeReference("Source Location"))),
95
- "status": member(taggedUnion({
96
- "no tests": null_(),
97
- "skipped": null_(),
98
- "has tests": dictionary(ref(typeReference("intTest"))),
88
+ "intLibrary": type(group({
89
+ "public": member(ref(typeReference("intModule Set"))),
90
+ "private": member(ref(typeReference("intModule Set"))),
99
91
  })),
100
- })),
101
- "intTest": type(taggedUnion({
102
- "has errors": array(ref(typeReference("Error"))),
103
- "has no errors": null_(),
104
- })),
105
- "annotatedStatus": type(taggedUnion({
106
- "has errors": null_(), // red
107
- "missing tests": null_(), // yellow
108
- "no tests": null_(), // grey
109
- "success": null_(), // green
110
- })),
111
- "annotatedLibrary": type(group({
112
- "public": member(ref(typeReference("annotatedModule Set"))),
113
- "private": member(ref(typeReference("annotatedModule Set"))),
114
- })),
115
- "annotatedModule Set": type(group({
116
- "status": member(ref(typeReference("annotatedStatus"))),
117
- "modules": member(dictionary(ref(typeReference("annotatedModule")))),
118
- })),
119
- "annotatedModule": type(group({
120
- "status": member(ref(typeReference("annotatedStatus"))),
121
- "algorithms": member(dictionary(ref(typeReference("annotatedAlgorithm")))),
122
- })),
123
- "annotatedAlgorithm": type(group({
124
- "location": member(ref(typeReference("Source Location"))),
125
- "status": member(ref(typeReference("annotatedStatus"))),
126
- "tests": member(dictionary(ref(typeReference("annotatedTest")))),
127
- })),
128
- "annotatedTest": type(group({
129
- "status": member(ref(typeReference("annotatedStatus"))),
130
- "errors": member(array(ref(typeReference("Error")))),
131
- })),
132
- }),
92
+ "intModule Set": type(dictionary(ref(typeReference("intModule")))),
93
+ "intModule": type(dictionary(ref(typeReference("intAlgorithm")))),
94
+ "intAlgorithm": type(group({
95
+ "location": member(ref(typeReference("Source Location"))),
96
+ "status": member(taggedUnion({
97
+ "no tests": null_(),
98
+ "skipped": null_(),
99
+ "has tests": dictionary(ref(typeReference("intTest"))),
100
+ })),
101
+ })),
102
+ "intTest": type(taggedUnion({
103
+ "has errors": array(ref(typeReference("Error"))),
104
+ "has no errors": null_(),
105
+ })),
106
+ "annotatedStatus": type(taggedUnion({
107
+ "has errors": null_(), // red
108
+ "missing tests": null_(), // yellow
109
+ "no tests": null_(), // grey
110
+ "success": null_(), // green
111
+ })),
112
+ "annotatedLibrary": type(group({
113
+ "public": member(ref(typeReference("annotatedModule Set"))),
114
+ "private": member(ref(typeReference("annotatedModule Set"))),
115
+ })),
116
+ "annotatedModule Set": type(group({
117
+ "status": member(ref(typeReference("annotatedStatus"))),
118
+ "modules": member(dictionary(ref(typeReference("annotatedModule")))),
119
+ })),
120
+ "annotatedModule": type(group({
121
+ "status": member(ref(typeReference("annotatedStatus"))),
122
+ "algorithms": member(dictionary(ref(typeReference("annotatedAlgorithm")))),
123
+ })),
124
+ "annotatedAlgorithm": type(group({
125
+ "location": member(ref(typeReference("Source Location"))),
126
+ "status": member(ref(typeReference("annotatedStatus"))),
127
+ "tests": member(dictionary(ref(typeReference("annotatedTest")))),
128
+ })),
129
+ "annotatedTest": type(group({
130
+ "status": member(ref(typeReference("annotatedStatus"))),
131
+ "errors": member(array(ref(typeReference("Error")))),
132
+ })),
133
+ }),
134
+ },
133
135
  },
134
136
  'interface types': d({
135
137
  "Stringstream": sInterface(sInterfaceMethod(typeReference("String"))),