@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,51 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* ReactDSL Validator
|
|
3
|
+
*
|
|
4
|
+
* Performs semantic validation on the IR:
|
|
5
|
+
* - Model references exist
|
|
6
|
+
* - Column fields exist in referenced model
|
|
7
|
+
* - Filter fields exist in referenced model
|
|
8
|
+
* - Form fields exist in referenced model
|
|
9
|
+
* - Navigation targets point to valid resources/pages
|
|
10
|
+
* - Effect targets reference known resources
|
|
11
|
+
* - Required fields are present
|
|
12
|
+
*/
|
|
13
|
+
import type { IRApp } from './ir.js';
|
|
14
|
+
export interface ValidationError {
|
|
15
|
+
message: string;
|
|
16
|
+
nodeId: string;
|
|
17
|
+
severity: 'error' | 'warning';
|
|
18
|
+
}
|
|
19
|
+
export interface ValidationCacheEntry {
|
|
20
|
+
signature: string;
|
|
21
|
+
errors: ValidationError[];
|
|
22
|
+
}
|
|
23
|
+
export interface ValidationGlobalCacheSnapshot {
|
|
24
|
+
core?: ValidationCacheEntry;
|
|
25
|
+
navigation: Record<string, ValidationCacheEntry>;
|
|
26
|
+
}
|
|
27
|
+
export interface ValidationResourceCacheSnapshot {
|
|
28
|
+
resource?: ValidationCacheEntry;
|
|
29
|
+
list?: ValidationCacheEntry;
|
|
30
|
+
edit?: ValidationCacheEntry;
|
|
31
|
+
create?: ValidationCacheEntry;
|
|
32
|
+
read?: ValidationCacheEntry;
|
|
33
|
+
}
|
|
34
|
+
export interface ValidationCacheSnapshot {
|
|
35
|
+
version: string;
|
|
36
|
+
global?: ValidationGlobalCacheSnapshot;
|
|
37
|
+
resources: Record<string, ValidationResourceCacheSnapshot>;
|
|
38
|
+
readModels: Record<string, ValidationCacheEntry>;
|
|
39
|
+
pages: Record<string, ValidationCacheEntry>;
|
|
40
|
+
}
|
|
41
|
+
export interface ValidateOptions {
|
|
42
|
+
cache?: ValidationCacheSnapshot;
|
|
43
|
+
affectedNodeIds?: ReadonlySet<string>;
|
|
44
|
+
}
|
|
45
|
+
export interface ValidationResult {
|
|
46
|
+
errors: ValidationError[];
|
|
47
|
+
cacheSnapshot: ValidationCacheSnapshot;
|
|
48
|
+
}
|
|
49
|
+
export declare function validate(ir: IRApp): ValidationError[];
|
|
50
|
+
export declare function validate(ir: IRApp, options: ValidateOptions): ValidationResult;
|
|
51
|
+
//# sourceMappingURL=validator.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"validator.d.ts","sourceRoot":"","sources":["../src/validator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAY,KAAK,EAAuL,MAAM,SAAS,CAAC;AAIpO,MAAM,WAAW,eAAe;IAC9B,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,OAAO,GAAG,SAAS,CAAC;CAC/B;AAED,MAAM,WAAW,oBAAoB;IACnC,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,eAAe,EAAE,CAAC;CAC3B;AAED,MAAM,WAAW,6BAA6B;IAC5C,IAAI,CAAC,EAAE,oBAAoB,CAAC;IAC5B,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC;CAClD;AAED,MAAM,WAAW,+BAA+B;IAC9C,QAAQ,CAAC,EAAE,oBAAoB,CAAC;IAChC,IAAI,CAAC,EAAE,oBAAoB,CAAC;IAC5B,IAAI,CAAC,EAAE,oBAAoB,CAAC;IAC5B,MAAM,CAAC,EAAE,oBAAoB,CAAC;IAC9B,IAAI,CAAC,EAAE,oBAAoB,CAAC;CAC7B;AAED,MAAM,WAAW,uBAAuB;IACtC,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,6BAA6B,CAAC;IACvC,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,+BAA+B,CAAC,CAAC;IAC3D,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC;IACjD,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC;CAC7C;AAED,MAAM,WAAW,eAAe;IAC9B,KAAK,CAAC,EAAE,uBAAuB,CAAC;IAChC,eAAe,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACvC;AAED,MAAM,WAAW,gBAAgB;IAC/B,MAAM,EAAE,eAAe,EAAE,CAAC;IAC1B,aAAa,EAAE,uBAAuB,CAAC;CACxC;AAWD,wBAAgB,QAAQ,CAAC,EAAE,EAAE,KAAK,GAAG,eAAe,EAAE,CAAC;AACvD,wBAAgB,QAAQ,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,eAAe,GAAG,gBAAgB,CAAC"}
|