@loj-lang/rdsl-compiler 0.5.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 (78) hide show
  1. package/README.md +23 -0
  2. package/dist/cache-signature.d.ts +2 -0
  3. package/dist/cache-signature.d.ts.map +1 -0
  4. package/dist/cache-signature.js +17 -0
  5. package/dist/cache-signature.js.map +1 -0
  6. package/dist/codegen.d.ts +37 -0
  7. package/dist/codegen.d.ts.map +1 -0
  8. package/dist/codegen.js +6394 -0
  9. package/dist/codegen.js.map +1 -0
  10. package/dist/dependency-graph.d.ts +23 -0
  11. package/dist/dependency-graph.d.ts.map +1 -0
  12. package/dist/dependency-graph.js +516 -0
  13. package/dist/dependency-graph.js.map +1 -0
  14. package/dist/expr.d.ts +24 -0
  15. package/dist/expr.d.ts.map +1 -0
  16. package/dist/expr.js +359 -0
  17. package/dist/expr.js.map +1 -0
  18. package/dist/flow-proof.d.ts +68 -0
  19. package/dist/flow-proof.d.ts.map +1 -0
  20. package/dist/flow-proof.js +487 -0
  21. package/dist/flow-proof.js.map +1 -0
  22. package/dist/host-files.d.ts +27 -0
  23. package/dist/host-files.d.ts.map +1 -0
  24. package/dist/host-files.js +441 -0
  25. package/dist/host-files.js.map +1 -0
  26. package/dist/index.d.ts +120 -0
  27. package/dist/index.d.ts.map +1 -0
  28. package/dist/index.js +948 -0
  29. package/dist/index.js.map +1 -0
  30. package/dist/ir.d.ts +451 -0
  31. package/dist/ir.d.ts.map +1 -0
  32. package/dist/ir.js +13 -0
  33. package/dist/ir.js.map +1 -0
  34. package/dist/manifest.d.ts +104 -0
  35. package/dist/manifest.d.ts.map +1 -0
  36. package/dist/manifest.js +635 -0
  37. package/dist/manifest.js.map +1 -0
  38. package/dist/node-inspect.d.ts +23 -0
  39. package/dist/node-inspect.d.ts.map +1 -0
  40. package/dist/node-inspect.js +475 -0
  41. package/dist/node-inspect.js.map +1 -0
  42. package/dist/normalize.d.ts +101 -0
  43. package/dist/normalize.d.ts.map +1 -0
  44. package/dist/normalize.js +1771 -0
  45. package/dist/normalize.js.map +1 -0
  46. package/dist/page-table-block.d.ts +69 -0
  47. package/dist/page-table-block.d.ts.map +1 -0
  48. package/dist/page-table-block.js +241 -0
  49. package/dist/page-table-block.js.map +1 -0
  50. package/dist/parser.d.ts +262 -0
  51. package/dist/parser.d.ts.map +1 -0
  52. package/dist/parser.js +1335 -0
  53. package/dist/parser.js.map +1 -0
  54. package/dist/project-paths.d.ts +6 -0
  55. package/dist/project-paths.d.ts.map +1 -0
  56. package/dist/project-paths.js +84 -0
  57. package/dist/project-paths.js.map +1 -0
  58. package/dist/relation-projection.d.ts +60 -0
  59. package/dist/relation-projection.d.ts.map +1 -0
  60. package/dist/relation-projection.js +121 -0
  61. package/dist/relation-projection.js.map +1 -0
  62. package/dist/rules-proof.d.ts +95 -0
  63. package/dist/rules-proof.d.ts.map +1 -0
  64. package/dist/rules-proof.js +537 -0
  65. package/dist/rules-proof.js.map +1 -0
  66. package/dist/source-files.d.ts +9 -0
  67. package/dist/source-files.d.ts.map +1 -0
  68. package/dist/source-files.js +27 -0
  69. package/dist/source-files.js.map +1 -0
  70. package/dist/style-proof.d.ts +70 -0
  71. package/dist/style-proof.d.ts.map +1 -0
  72. package/dist/style-proof.js +640 -0
  73. package/dist/style-proof.js.map +1 -0
  74. package/dist/validator.d.ts +51 -0
  75. package/dist/validator.d.ts.map +1 -0
  76. package/dist/validator.js +2487 -0
  77. package/dist/validator.js.map +1 -0
  78. package/package.json +40 -0
@@ -0,0 +1,104 @@
1
+ import type { IRApp, SourceSpan } from './ir.js';
2
+ import type { GeneratedFile } from './codegen.js';
3
+ import type { DependencyGraphSnapshot } from './dependency-graph.js';
4
+ import type { HostFileEntry } from './host-files.js';
5
+ export interface SemanticManifest {
6
+ artifact: 'rdsl.semantic-manifest';
7
+ schemaVersion: IRApp['schemaVersion'];
8
+ compilerVersion: string;
9
+ entryFile: string;
10
+ sourceFiles: string[];
11
+ moduleGraph?: Record<string, string[]>;
12
+ hostFiles?: HostFileEntry[];
13
+ ir: IRApp;
14
+ }
15
+ export interface TraceSourceFileEntry {
16
+ path: string;
17
+ }
18
+ export interface TraceGeneratedFileEntry {
19
+ path: string;
20
+ rootNodeId: string;
21
+ }
22
+ export interface TraceNodeEntry {
23
+ id: string;
24
+ kind: string;
25
+ sourceSpan?: SourceSpan;
26
+ parentId?: string;
27
+ }
28
+ export interface TraceRegionEntry {
29
+ generatedFile: string;
30
+ range: SourceSpan;
31
+ nodeId: string;
32
+ role: string;
33
+ }
34
+ export interface TraceManifest {
35
+ artifact: 'rdsl.trace-manifest';
36
+ schemaVersion: IRApp['schemaVersion'];
37
+ compilerVersion: string;
38
+ entryFile: string;
39
+ semanticManifest: string;
40
+ sourceFiles: TraceSourceFileEntry[];
41
+ generatedFiles: TraceGeneratedFileEntry[];
42
+ nodes: TraceNodeEntry[];
43
+ regions: TraceRegionEntry[];
44
+ }
45
+ export interface TraceLocationMatch {
46
+ node?: TraceNodeEntry;
47
+ region: TraceRegionEntry;
48
+ }
49
+ export interface TraceLookupResult {
50
+ kind: 'match' | 'ambiguous';
51
+ matches: TraceLocationMatch[];
52
+ }
53
+ export interface ManifestCacheEntry<T> {
54
+ signature: string;
55
+ entries: T[];
56
+ }
57
+ export interface ManifestValueCacheEntry<T> {
58
+ signature: string;
59
+ value: T;
60
+ }
61
+ export interface FileTraceCacheEntry {
62
+ signature: string;
63
+ nodes: TraceNodeEntry[];
64
+ regions: TraceRegionEntry[];
65
+ }
66
+ export interface ManifestCacheSnapshot {
67
+ version: string;
68
+ hostFileRoots: Record<string, ManifestCacheEntry<HostFileEntry>>;
69
+ traceNodeRoots: Record<string, ManifestCacheEntry<TraceNodeEntry>>;
70
+ fileTrace: Record<string, FileTraceCacheEntry>;
71
+ sourceFilePaths?: ManifestValueCacheEntry<string[]>;
72
+ traceSourceFiles?: ManifestValueCacheEntry<TraceSourceFileEntry[]>;
73
+ moduleGraph?: ManifestValueCacheEntry<Record<string, string[]> | undefined>;
74
+ hostFiles?: ManifestValueCacheEntry<HostFileEntry[]>;
75
+ generatedFileEntries: Record<string, ManifestValueCacheEntry<TraceGeneratedFileEntry>>;
76
+ generatedFiles?: ManifestValueCacheEntry<TraceGeneratedFileEntry[]>;
77
+ baseNodes?: ManifestValueCacheEntry<TraceNodeEntry[]>;
78
+ traceNodes?: ManifestValueCacheEntry<TraceNodeEntry[]>;
79
+ traceRegions?: ManifestValueCacheEntry<TraceRegionEntry[]>;
80
+ semanticManifest?: ManifestValueCacheEntry<SemanticManifest>;
81
+ traceManifest?: ManifestValueCacheEntry<TraceManifest>;
82
+ manifestJson?: ManifestValueCacheEntry<string>;
83
+ }
84
+ export interface ManifestBuildOptions {
85
+ cache?: ManifestCacheSnapshot;
86
+ dependencyGraph?: DependencyGraphSnapshot;
87
+ affectedRootIds?: ReadonlySet<string>;
88
+ semanticManifestPath?: string;
89
+ readHostFile?: (path: string) => string | undefined;
90
+ }
91
+ export interface ManifestArtifacts {
92
+ semanticManifest: SemanticManifest;
93
+ traceManifest: TraceManifest;
94
+ manifestJson: string;
95
+ cacheSnapshot: ManifestCacheSnapshot;
96
+ }
97
+ export declare function buildSemanticManifest(ir: IRApp, entryFile: string, sourceFiles?: string[], moduleGraph?: Record<string, string[]>, options?: ManifestBuildOptions): SemanticManifest;
98
+ export declare function buildTraceManifest(ir: IRApp, files: GeneratedFile[], entryFile: string, sourceFiles?: string[], semanticManifestPath?: string, options?: ManifestBuildOptions): TraceManifest;
99
+ export declare function buildManifestArtifacts(ir: IRApp, files: GeneratedFile[], entryFile: string, sourceFiles?: string[], moduleGraph?: Record<string, string[]>, options?: ManifestBuildOptions): ManifestArtifacts;
100
+ export declare function findTraceNode(traceManifest: TraceManifest, nodeId: string): TraceNodeEntry | undefined;
101
+ export declare function listTraceRegionsForNode(traceManifest: TraceManifest, nodeId: string): TraceRegionEntry[];
102
+ export declare function listManifestHostFilesForNode(semanticManifest: SemanticManifest, nodeId: string): HostFileEntry[];
103
+ export declare function resolveTraceLocation(traceManifest: TraceManifest, generatedFile: string, line: number, col?: number): TraceLookupResult | null;
104
+ //# sourceMappingURL=manifest.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"manifest.d.ts","sourceRoot":"","sources":["../src/manifest.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,KAAK,EASL,UAAU,EACX,MAAM,SAAS,CAAC;AACjB,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAMlD,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAMrE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAMrD,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,EAAE,wBAAwB,CAAC;IACnC,aAAa,EAAE,KAAK,CAAC,eAAe,CAAC,CAAC;IACtC,eAAe,EAAE,MAAM,CAAC;IACxB,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,WAAW,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IACvC,SAAS,CAAC,EAAE,aAAa,EAAE,CAAC;IAC5B,EAAE,EAAE,KAAK,CAAC;CACX;AAED,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,uBAAuB;IACtC,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,cAAc;IAC7B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,CAAC,EAAE,UAAU,CAAC;IACxB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,gBAAgB;IAC/B,aAAa,EAAE,MAAM,CAAC;IACtB,KAAK,EAAE,UAAU,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,EAAE,qBAAqB,CAAC;IAChC,aAAa,EAAE,KAAK,CAAC,eAAe,CAAC,CAAC;IACtC,eAAe,EAAE,MAAM,CAAC;IACxB,SAAS,EAAE,MAAM,CAAC;IAClB,gBAAgB,EAAE,MAAM,CAAC;IACzB,WAAW,EAAE,oBAAoB,EAAE,CAAC;IACpC,cAAc,EAAE,uBAAuB,EAAE,CAAC;IAC1C,KAAK,EAAE,cAAc,EAAE,CAAC;IACxB,OAAO,EAAE,gBAAgB,EAAE,CAAC;CAC7B;AAED,MAAM,WAAW,kBAAkB;IACjC,IAAI,CAAC,EAAE,cAAc,CAAC;IACtB,MAAM,EAAE,gBAAgB,CAAC;CAC1B;AAED,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,OAAO,GAAG,WAAW,CAAC;IAC5B,OAAO,EAAE,kBAAkB,EAAE,CAAC;CAC/B;AAED,MAAM,WAAW,kBAAkB,CAAC,CAAC;IACnC,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,CAAC,EAAE,CAAC;CACd;AAED,MAAM,WAAW,uBAAuB,CAAC,CAAC;IACxC,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,CAAC,CAAC;CACV;AAED,MAAM,WAAW,mBAAmB;IAClC,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,cAAc,EAAE,CAAC;IACxB,OAAO,EAAE,gBAAgB,EAAE,CAAC;CAC7B;AAED,MAAM,WAAW,qBAAqB;IACpC,OAAO,EAAE,MAAM,CAAC;IAChB,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,aAAa,CAAC,CAAC,CAAC;IACjE,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,cAAc,CAAC,CAAC,CAAC;IACnE,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;IAC/C,eAAe,CAAC,EAAE,uBAAuB,CAAC,MAAM,EAAE,CAAC,CAAC;IACpD,gBAAgB,CAAC,EAAE,uBAAuB,CAAC,oBAAoB,EAAE,CAAC,CAAC;IACnE,WAAW,CAAC,EAAE,uBAAuB,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,GAAG,SAAS,CAAC,CAAC;IAC5E,SAAS,CAAC,EAAE,uBAAuB,CAAC,aAAa,EAAE,CAAC,CAAC;IACrD,oBAAoB,EAAE,MAAM,CAAC,MAAM,EAAE,uBAAuB,CAAC,uBAAuB,CAAC,CAAC,CAAC;IACvF,cAAc,CAAC,EAAE,uBAAuB,CAAC,uBAAuB,EAAE,CAAC,CAAC;IACpE,SAAS,CAAC,EAAE,uBAAuB,CAAC,cAAc,EAAE,CAAC,CAAC;IACtD,UAAU,CAAC,EAAE,uBAAuB,CAAC,cAAc,EAAE,CAAC,CAAC;IACvD,YAAY,CAAC,EAAE,uBAAuB,CAAC,gBAAgB,EAAE,CAAC,CAAC;IAC3D,gBAAgB,CAAC,EAAE,uBAAuB,CAAC,gBAAgB,CAAC,CAAC;IAC7D,aAAa,CAAC,EAAE,uBAAuB,CAAC,aAAa,CAAC,CAAC;IACvD,YAAY,CAAC,EAAE,uBAAuB,CAAC,MAAM,CAAC,CAAC;CAChD;AAED,MAAM,WAAW,oBAAoB;IACnC,KAAK,CAAC,EAAE,qBAAqB,CAAC;IAC9B,eAAe,CAAC,EAAE,uBAAuB,CAAC;IAC1C,eAAe,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACtC,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,YAAY,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,CAAC;CACrD;AAED,MAAM,WAAW,iBAAiB;IAChC,gBAAgB,EAAE,gBAAgB,CAAC;IACnC,aAAa,EAAE,aAAa,CAAC;IAC7B,YAAY,EAAE,MAAM,CAAC;IACrB,aAAa,EAAE,qBAAqB,CAAC;CACtC;AAOD,wBAAgB,qBAAqB,CACnC,EAAE,EAAE,KAAK,EACT,SAAS,EAAE,MAAM,EACjB,WAAW,GAAE,MAAM,EAAgB,EACnC,WAAW,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,EACtC,OAAO,GAAE,oBAAyB,GACjC,gBAAgB,CAElB;AAED,wBAAgB,kBAAkB,CAChC,EAAE,EAAE,KAAK,EACT,KAAK,EAAE,aAAa,EAAE,EACtB,SAAS,EAAE,MAAM,EACjB,WAAW,GAAE,MAAM,EAAgB,EACnC,oBAAoB,GAAE,MAAuC,EAC7D,OAAO,GAAE,oBAAyB,GACjC,aAAa,CAKf;AAED,wBAAgB,sBAAsB,CACpC,EAAE,EAAE,KAAK,EACT,KAAK,EAAE,aAAa,EAAE,EACtB,SAAS,EAAE,MAAM,EACjB,WAAW,GAAE,MAAM,EAAgB,EACnC,WAAW,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,EACtC,OAAO,GAAE,oBAAyB,GACjC,iBAAiB,CAsMnB;AAgDD,wBAAgB,aAAa,CAAC,aAAa,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,GAAG,cAAc,GAAG,SAAS,CAEtG;AAED,wBAAgB,uBAAuB,CAAC,aAAa,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,GAAG,gBAAgB,EAAE,CAExG;AAED,wBAAgB,4BAA4B,CAC1C,gBAAgB,EAAE,gBAAgB,EAClC,MAAM,EAAE,MAAM,GACb,aAAa,EAAE,CAEjB;AAED,wBAAgB,oBAAoB,CAClC,aAAa,EAAE,aAAa,EAC5B,aAAa,EAAE,MAAM,EACrB,IAAI,EAAE,MAAM,EACZ,GAAG,GAAE,MAAU,GACd,iBAAiB,GAAG,IAAI,CAkB1B"}