@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.
- package/README.md +23 -0
- package/dist/cache-signature.d.ts +2 -0
- package/dist/cache-signature.d.ts.map +1 -0
- package/dist/cache-signature.js +17 -0
- package/dist/cache-signature.js.map +1 -0
- package/dist/codegen.d.ts +37 -0
- package/dist/codegen.d.ts.map +1 -0
- package/dist/codegen.js +6394 -0
- package/dist/codegen.js.map +1 -0
- package/dist/dependency-graph.d.ts +23 -0
- package/dist/dependency-graph.d.ts.map +1 -0
- package/dist/dependency-graph.js +516 -0
- package/dist/dependency-graph.js.map +1 -0
- package/dist/expr.d.ts +24 -0
- package/dist/expr.d.ts.map +1 -0
- package/dist/expr.js +359 -0
- package/dist/expr.js.map +1 -0
- package/dist/flow-proof.d.ts +68 -0
- package/dist/flow-proof.d.ts.map +1 -0
- package/dist/flow-proof.js +487 -0
- package/dist/flow-proof.js.map +1 -0
- package/dist/host-files.d.ts +27 -0
- package/dist/host-files.d.ts.map +1 -0
- package/dist/host-files.js +441 -0
- package/dist/host-files.js.map +1 -0
- package/dist/index.d.ts +120 -0
- package/dist/index.d.ts.map +1 -0
- package/dist/index.js +948 -0
- package/dist/index.js.map +1 -0
- package/dist/ir.d.ts +451 -0
- package/dist/ir.d.ts.map +1 -0
- package/dist/ir.js +13 -0
- package/dist/ir.js.map +1 -0
- package/dist/manifest.d.ts +104 -0
- package/dist/manifest.d.ts.map +1 -0
- package/dist/manifest.js +635 -0
- package/dist/manifest.js.map +1 -0
- package/dist/node-inspect.d.ts +23 -0
- package/dist/node-inspect.d.ts.map +1 -0
- package/dist/node-inspect.js +475 -0
- package/dist/node-inspect.js.map +1 -0
- package/dist/normalize.d.ts +101 -0
- package/dist/normalize.d.ts.map +1 -0
- package/dist/normalize.js +1771 -0
- package/dist/normalize.js.map +1 -0
- package/dist/page-table-block.d.ts +69 -0
- package/dist/page-table-block.d.ts.map +1 -0
- package/dist/page-table-block.js +241 -0
- package/dist/page-table-block.js.map +1 -0
- package/dist/parser.d.ts +262 -0
- package/dist/parser.d.ts.map +1 -0
- package/dist/parser.js +1335 -0
- package/dist/parser.js.map +1 -0
- package/dist/project-paths.d.ts +6 -0
- package/dist/project-paths.d.ts.map +1 -0
- package/dist/project-paths.js +84 -0
- package/dist/project-paths.js.map +1 -0
- package/dist/relation-projection.d.ts +60 -0
- package/dist/relation-projection.d.ts.map +1 -0
- package/dist/relation-projection.js +121 -0
- package/dist/relation-projection.js.map +1 -0
- package/dist/rules-proof.d.ts +95 -0
- package/dist/rules-proof.d.ts.map +1 -0
- package/dist/rules-proof.js +537 -0
- package/dist/rules-proof.js.map +1 -0
- package/dist/source-files.d.ts +9 -0
- package/dist/source-files.d.ts.map +1 -0
- package/dist/source-files.js +27 -0
- package/dist/source-files.js.map +1 -0
- package/dist/style-proof.d.ts +70 -0
- package/dist/style-proof.d.ts.map +1 -0
- package/dist/style-proof.js +640 -0
- package/dist/style-proof.js.map +1 -0
- package/dist/validator.d.ts +51 -0
- package/dist/validator.d.ts.map +1 -0
- package/dist/validator.js +2487 -0
- package/dist/validator.js.map +1 -0
- 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"}
|