@sjunepark/fs 0.1.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/LICENSE +202 -0
- package/README.md +73 -0
- package/assets/guide/authoring.md +125 -0
- package/dist/application.js +34 -0
- package/dist/application.js.map +1 -0
- package/dist/assets.js +20 -0
- package/dist/assets.js.map +1 -0
- package/dist/bin.js +9 -0
- package/dist/bin.js.map +1 -0
- package/dist/cli.js +150 -0
- package/dist/cli.js.map +1 -0
- package/dist/content.js +47 -0
- package/dist/content.js.map +1 -0
- package/dist/io.js +76 -0
- package/dist/io.js.map +1 -0
- package/dist/json.js +291 -0
- package/dist/json.js.map +1 -0
- package/dist/limits.js +15 -0
- package/dist/limits.js.map +1 -0
- package/dist/logger.js +26 -0
- package/dist/logger.js.map +1 -0
- package/dist/node-services.js +9 -0
- package/dist/node-services.js.map +1 -0
- package/dist/pathless.js +72 -0
- package/dist/pathless.js.map +1 -0
- package/dist/process.js +317 -0
- package/dist/process.js.map +1 -0
- package/dist/record-validation.js +44 -0
- package/dist/record-validation.js.map +1 -0
- package/dist/render.js +250 -0
- package/dist/render.js.map +1 -0
- package/dist/validation/calculate.js +102 -0
- package/dist/validation/calculate.js.map +1 -0
- package/dist/validation/decimal.js +63 -0
- package/dist/validation/decimal.js.map +1 -0
- package/dist/validation/identity.js +4 -0
- package/dist/validation/identity.js.map +1 -0
- package/dist/validation/model.js +10 -0
- package/dist/validation/model.js.map +1 -0
- package/dist/validation/schema.js +106 -0
- package/dist/validation/schema.js.map +1 -0
- package/dist/validation/semantic.js +179 -0
- package/dist/validation/semantic.js.map +1 -0
- package/dist/validation/snapshot.js +74 -0
- package/dist/validation/snapshot.js.map +1 -0
- package/dist/validation/validate.js +154 -0
- package/dist/validation/validate.js.map +1 -0
- package/dist/writer.js +107 -0
- package/dist/writer.js.map +1 -0
- package/examples/README.md +37 -0
- package/examples/manufacturing-group.json +439 -0
- package/examples/minimal.json +45 -0
- package/package.json +80 -0
- package/schema/fs-document.schema.json +335 -0
- package/schema/snapshot-diff.schema.json +96 -0
- package/schema/validation-result.schema.json +165 -0
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"render.js","sourceRoot":"","sources":["../src/render.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,YAAY,GAAG;IAC1B,OAAO,EAAE,KAAK;IACd,SAAS,EAAE,OAAO;IAClB,SAAS,EAAE,EAAE,GAAG,IAAI,GAAG,IAAI;CACnB,CAAA;AAiBV,MAAM,OAAO,GAAG,CAAC,IAAY,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAA;AACtE,MAAM,UAAU,GAAG,CAAC,IAAY,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAA;AAExE,MAAM,UAAU,GAAG,CAAC,IAAY,EAAU,EAAE,CAC1C,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,SAAS,EAAE,EAAE;IACtC,QAAQ,SAAS,EAAE,CAAC;QAClB,KAAK,GAAG;YACN,OAAO,OAAO,CAAA;QAChB,KAAK,GAAG;YACN,OAAO,MAAM,CAAA;QACf,KAAK,GAAG;YACN,OAAO,MAAM,CAAA;QACf,KAAK,GAAG;YACN,OAAO,QAAQ,CAAA;QACjB,KAAK,GAAG;YACN,OAAO,OAAO,CAAA;QAChB;YACE,OAAO,SAAS,CAAA;IACpB,CAAC;AACH,CAAC,CAAC,CAAA;AAEJ,MAAM,iBAAiB,GAAG,CAAC,IAAY,EAAU,EAAE;IACjD,IAAI,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;IAC3C,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;QACnD,QAAQ,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;YACrB,KAAK,GAAG,CAAC;YACT,KAAK,GAAG;gBACN,KAAK,IAAI,CAAC,CAAA;gBACV,MAAK;YACP,KAAK,GAAG,CAAC;YACT,KAAK,GAAG;gBACN,KAAK,IAAI,CAAC,CAAA;gBACV,MAAK;YACP,KAAK,GAAG;gBACN,KAAK,IAAI,CAAC,CAAA;gBACV,MAAK;QACT,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC,CAAA;AAED,MAAM,QAAQ;IACK,KAAK,CAAsB;IACpC,SAAS,GAAG,CAAC,CAAA;IACrB,QAAQ,GAAG,KAAK,CAAA;IAEhB,YAAY,OAAgB;QAC1B,IAAI,CAAC,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAA;IAClC,CAAC;IAED,MAAM,CAAC,KAAyB;QAC9B,IAAI,IAAI,CAAC,QAAQ;YAAE,OAAM;QACzB,IAAI,SAAS,GAAG,YAAY,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,GAAG,CAAC,CAAA;QAC3D,MAAM,aAAa,GAAyB,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAA;QAC3E,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;YACjG,IAAI,MAAM,GAAG,SAAS,EAAE,CAAC;gBACvB,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAA;gBACpB,OAAM;YACR,CAAC;YACD,SAAS,IAAI,MAAM,CAAA;YACnB,aAAa,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACvE,CAAC;QACD,IAAI,CAAC,SAAS,GAAG,YAAY,CAAC,SAAS,GAAG,SAAS,CAAA;QACnD,IAAI,aAAa,KAAK,IAAI;YAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAA;IACtE,CAAC;IAED,aAAa,CAAC,IAAY;QACxB,IAAI,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IAC9B,CAAC;IAED,KAAK;QACH,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,IAAI,IAAI,CAAC,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAA;QAC7F,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;IAC1D,CAAC;CACF;AAED,MAAM,UAAU,GAAG;IACjB,wEAAwE;IACxE,4CAA4C;IAC5C,uCAAuC;IACvC,uBAAuB;IACvB,uDAAuD;IACvD,+CAA+C;IAC/C,+BAA+B;IAC/B,yCAAyC;IACzC,2DAA2D;IAC3D,mHAAmH;IACnH,qEAAqE;IACrE,oDAAoD;IACpD,oEAAoE;CAC5D,CAAA;AAEV,MAAM,aAAa,GAAG,CAAC,MAAyB,EAAE,KAAa,EAAgB,EAAE,CAAC,CAAC;IACjF,EAAE,EAAE,KAAK;IACT,MAAM;IACN,KAAK;CACN,CAAC,CAAA;AAEF,MAAM,eAAe,GAAG,CAAC,SAAoB,EAAsB,EAAE;IACnE,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;IAChC,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAA;IACnF,OAAO,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAA;AAC1F,CAAC,CAAA;AAED,MAAM,mBAAmB,GAAG,CAAC,QAAkB,EAA4B,EAAE;IAC3E,MAAM,eAAe,GAAG,QAAQ,CAAC,eAAe,EAAE,MAAM,IAAI,CAAC,CAAA;IAC7D,KAAK,MAAM,SAAS,IAAI,QAAQ,CAAC,UAAU,EAAE,CAAC;QAC5C,MAAM,YAAY,GAAG,CAAC,GAAG,CAAC,eAAe,CAAC,SAAS,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,eAAe,CAAA;QAC7F,IAAI,YAAY,GAAG,YAAY,CAAC,OAAO,IAAI,SAAS,CAAC,OAAO,CAAC,MAAM,GAAG,YAAY,CAAC,OAAO,GAAG,YAAY,EAAE,CAAC;YAC1G,OAAO,aAAa,CAAC,SAAS,EAAE,YAAY,CAAC,OAAO,CAAC,CAAA;QACvD,CAAC;IACH,CAAC;IAED,IAAI,SAAS,GAAG,CAAC,CAAA;IACjB,KAAK,MAAM,SAAS,IAAI,QAAQ,CAAC,UAAU,EAAE,CAAC;QAC5C,MAAM,YAAY,GAAG,CAAC,GAAG,CAAC,eAAe,CAAC,SAAS,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,eAAe,CAAA;QAC7F,MAAM,OAAO,GAAG,YAAY,GAAG,SAAS,CAAC,OAAO,CAAC,MAAM,CAAA;QACvD,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAA;QACvC,MAAM,cAAc,GAAG,YAAY,CAAC,SAAS,GAAG,SAAS,CAAA;QACzD,IAAI,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,cAAc,GAAG,OAAO,CAAC,EAAE,CAAC;YAChD,OAAO,aAAa,CAAC,YAAY,EAAE,YAAY,CAAC,SAAS,CAAC,CAAA;QAC5D,CAAC;QACD,SAAS,IAAI,IAAI,GAAG,OAAO,CAAA;IAC7B,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC,CAAA;AAED,MAAM,WAAW,GAAG,CAAC,MAAc,EAAU,EAAE,CAC7C,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,KAAK,MAAM,MAAM,CAAC,GAAG,EAAE,CAAA;AAE7E,MAAM,SAAS,GAAG,CAAC,IAAU,EAA2B,EAAE,CACxD;IACE,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC;IACtB,OAAO,CAAC,IAAI,CAAC;IACb,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC;IACxB,OAAO,CAAC,WAAW,IAAI,CAAC,KAAK,GAAG,CAAC;CAClC,CAAA;AAEH,MAAM,WAAW,GAAG,CAAC,IAAc,EAAE,KAAgB,EAAQ,EAAE;IAC7D,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,IAAI,CAAC,aAAa,CAAC,gDAAgD,CAAC,CAAA;IACtE,CAAC;SAAM,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QACrC,IAAI,CAAC,aAAa,CAAC,wDAAwD,CAAC,CAAA;IAC9E,CAAC;SAAM,CAAC;QACN,IAAI,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,kCAAkC,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;IAC9F,CAAC;AACH,CAAC,CAAA;AAED,MAAM,eAAe,GAAG,CACtB,SAAoB,EACpB,eAAsC,EACtC,KAAgC,EAChC,OAAoC,EACpC,IAAc,EACR,EAAE;IACR,MAAM,UAAU,GAAG,eAAe,CAAC,SAAS,CAAC,CAAA;IAC7C,IAAI,CAAC,aAAa,CAAC,eAAe,CAAC,CAAA;IACnC,IAAI,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,UAAU,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;IACnF,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;QAClC,IAAI,IAAI,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAA;QAC5E,IAAI,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,8BAA8B,CAAC,EAAE,GAAG,SAAS,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;IAC7F,CAAC;IACD,IAAI,CAAC,aAAa,CAAC,kCAAkC,CAAC,CAAA;IACtD,IAAI,CAAC,aAAa,CAAC,iBAAiB,CAAC,CAAA;IACrC,IAAI,CAAC,aAAa,CAAC,mBAAmB,CAAC,CAAA;IACvC,IAAI,CAAC,aAAa,CAAC,kBAAkB,CAAC,CAAA;IACtC,IAAI,CAAC,aAAa,CAAC,yCAAyC,CAAC,CAAA;IAC7D,IAAI,UAAU,KAAK,SAAS;QAAE,IAAI,CAAC,aAAa,CAAC,yCAAyC,CAAC,CAAA;IAC3F,KAAK,MAAM,QAAQ,IAAI,eAAe,EAAE,CAAC;QACvC,IAAI,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,gCAAgC,CAAC,EAAE,UAAU,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;IAClG,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,SAAS,CAAC,OAAO,EAAE,CAAC;QACzC,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;QACpC,IAAI,MAAM,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAA;QAChF,IAAI,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,gCAAgC,CAAC,EAAE,UAAU,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;IAC7G,CAAC;IACD,IAAI,CAAC,aAAa,CAAC,mBAAmB,CAAC,CAAA;IACvC,IAAI,CAAC,aAAa,CAAC,oBAAoB,CAAC,CAAA;IACxC,IAAI,CAAC,aAAa,CAAC,mBAAmB,CAAC,CAAA;IAEvC,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,KAAK,EAAE,CAAC;QACnC,IAAI,CAAC,aAAa,CAAC,kBAAkB,CAAC,CAAA;QACtC,IAAI,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,gCAAgC,CAAC,EAAE,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;QAClG,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YACjC,IAAI,IAAI,KAAK,SAAS;gBAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAA;YACvE,IAAI,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,qCAAqC,CAAC,EAAE,GAAG,SAAS,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;QACrG,CAAC;QACD,KAAK,MAAM,QAAQ,IAAI,eAAe,EAAE,CAAC;YACvC,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAA;YACtC,IAAI,CAAC,MAAM,CAAC;gBACV,OAAO,CAAC,qCAAqC,CAAC;gBAC9C,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,KAAe,CAAC;gBAC3D,OAAO,CAAC,OAAO,CAAC;aACjB,CAAC,CAAA;QACJ,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,SAAS,CAAC,OAAO,EAAE,CAAC;YACvC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAc,CAAC,CAAA;QACrD,CAAC;QACD,IAAI,CAAC,aAAa,CAAC,mBAAmB,CAAC,CAAA;QACvC,IAAI,IAAI,CAAC,QAAQ;YAAE,OAAM;IAC3B,CAAC;IAED,IAAI,CAAC,aAAa,CAAC,oBAAoB,CAAC,CAAA;IACxC,IAAI,CAAC,aAAa,CAAC,kBAAkB,CAAC,CAAA;IACtC,IAAI,CAAC,aAAa,CAAC,cAAc,CAAC,CAAA;IAClC,IAAI,CAAC,aAAa,CAAC,gBAAgB,CAAC,CAAA;AACtC,CAAC,CAAA;AAED,MAAM,UAAU,GAAG,CAAC,QAAkB,EAAE,IAAc,EAAQ,EAAE;IAC9D,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAA;IACpE,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAA;IAC9E,MAAM,eAAe,GAAG,QAAQ,CAAC,eAAe,IAAI,EAAE,CAAA;IAEtD,IAAI,CAAC,aAAa,CAAC,iBAAiB,CAAC,CAAA;IACrC,IAAI,CAAC,aAAa,CAAC,kBAAkB,CAAC,CAAA;IACtC,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAA;IAC5B,IAAI,CAAC,aAAa,CAAC,0BAA0B,CAAC,CAAA;IAC9C,IAAI,CAAC,aAAa,CAAC,wEAAwE,CAAC,CAAA;IAC5F,IAAI,CAAC,MAAM,CAAC;QACV,OAAO,CAAC,WAAW,CAAC;QACpB,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC;QAChC,OAAO,CAAC,KAAK,CAAC;QACd,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC;QAChC,OAAO,CAAC,UAAU,CAAC;KACpB,CAAC,CAAA;IACF,IAAI,CAAC,aAAa,CAAC,WAAW,CAAC,CAAA;IAC/B,KAAK,MAAM,IAAI,IAAI,UAAU;QAAE,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAA;IACvD,IAAI,CAAC,aAAa,CAAC,YAAY,CAAC,CAAA;IAChC,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,CAAA;IAC7B,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAA;IAC5B,IAAI,CAAC,aAAa,CAAC,YAAY,CAAC,CAAA;IAChC,IAAI,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;IACtF,IAAI,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,uBAAuB,CAAC,EAAE,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;IAClG,IAAI,CAAC,aAAa,CAAC,aAAa,CAAC,CAAA;IACjC,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC,CAAA;IAC9B,KAAK,MAAM,SAAS,IAAI,QAAQ,CAAC,UAAU,EAAE,CAAC;QAC5C,eAAe,CAAC,SAAS,EAAE,eAAe,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,CAAA;QACjE,IAAI,IAAI,CAAC,QAAQ;YAAE,OAAM;IAC3B,CAAC;IACD,IAAI,CAAC,aAAa,CAAC,WAAW,CAAC,CAAA;IAC/B,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,CAAA;IAC7B,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,CAAA;AAC/B,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,QAAkB,EAAgB,EAAE;IAC7D,MAAM,iBAAiB,GAAG,mBAAmB,CAAC,QAAQ,CAAC,CAAA;IACvD,IAAI,iBAAiB,KAAK,SAAS;QAAE,OAAO,iBAAiB,CAAA;IAE7D,MAAM,aAAa,GAAG,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAA;IACzC,UAAU,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAA;IACnC,IAAI,aAAa,CAAC,QAAQ;QAAE,OAAO,aAAa,CAAC,YAAY,EAAE,YAAY,CAAC,SAAS,CAAC,CAAA;IAEtF,MAAM,UAAU,GAAG,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAA;IACrC,UAAU,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAA;IAChC,IAAI,UAAU,CAAC,QAAQ;QAAE,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAA;IACjG,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,CAAC,KAAK,EAAE,EAAE,CAAA;AAChD,CAAC,CAAA"}
|
|
@@ -0,0 +1,102 @@
|
|
|
1
|
+
import { Decimal } from "./decimal.js";
|
|
2
|
+
import { inconsistentApplications } from "./model.js";
|
|
3
|
+
const key = (statement, parent, period) => ({
|
|
4
|
+
statement,
|
|
5
|
+
parent,
|
|
6
|
+
period
|
|
7
|
+
});
|
|
8
|
+
const isUnavailable = (cell) => typeof cell === "object" && cell !== null;
|
|
9
|
+
const isSatisfied = (application) => application.status === "satisfied";
|
|
10
|
+
const cellFailure = (applicationKey, statement, item, period) => {
|
|
11
|
+
const cell = item.values[period];
|
|
12
|
+
if (cell === null || cell === undefined) {
|
|
13
|
+
return {
|
|
14
|
+
key: applicationKey,
|
|
15
|
+
status: "error",
|
|
16
|
+
reason: "missing-value",
|
|
17
|
+
cell: { statement, item: item.id, period }
|
|
18
|
+
};
|
|
19
|
+
}
|
|
20
|
+
if (isUnavailable(cell)) {
|
|
21
|
+
return {
|
|
22
|
+
key: applicationKey,
|
|
23
|
+
status: "error",
|
|
24
|
+
reason: "unavailable-value",
|
|
25
|
+
cell: { statement, item: item.id, period }
|
|
26
|
+
};
|
|
27
|
+
}
|
|
28
|
+
return undefined;
|
|
29
|
+
};
|
|
30
|
+
const toleranceFor = (parent, units) => units.get(parent.unit)?.defaultTolerance ?? "0";
|
|
31
|
+
const evaluate = (statement, parent, children, period, units) => {
|
|
32
|
+
const applicationKey = key(statement, parent.id, period);
|
|
33
|
+
const parentFailure = cellFailure(applicationKey, statement, parent, period);
|
|
34
|
+
if (parentFailure !== undefined)
|
|
35
|
+
return parentFailure;
|
|
36
|
+
for (const child of children) {
|
|
37
|
+
const failure = cellFailure(applicationKey, statement, child, period);
|
|
38
|
+
if (failure !== undefined)
|
|
39
|
+
return failure;
|
|
40
|
+
}
|
|
41
|
+
const parentValue = parent.values[period];
|
|
42
|
+
if (typeof parentValue !== "string")
|
|
43
|
+
throw new Error("Validated parent cell lost its decimal value");
|
|
44
|
+
const childValues = [];
|
|
45
|
+
for (const child of children) {
|
|
46
|
+
const value = child.values[period];
|
|
47
|
+
if (typeof value !== "string")
|
|
48
|
+
throw new Error("Validated child cell lost its decimal value");
|
|
49
|
+
childValues.push(Decimal.parse(value));
|
|
50
|
+
}
|
|
51
|
+
const expected = Decimal.sum(childValues);
|
|
52
|
+
const actual = Decimal.parse(parentValue);
|
|
53
|
+
const difference = actual.subtract(expected);
|
|
54
|
+
const tolerance = Decimal.parse(toleranceFor(parent, units));
|
|
55
|
+
return {
|
|
56
|
+
key: applicationKey,
|
|
57
|
+
status: difference.absolute().lessThanOrEqual(tolerance) ? "satisfied" : "unsatisfied",
|
|
58
|
+
actual: actual.toString(),
|
|
59
|
+
expected: expected.toString(),
|
|
60
|
+
difference: difference.toString(),
|
|
61
|
+
tolerance: tolerance.toString()
|
|
62
|
+
};
|
|
63
|
+
};
|
|
64
|
+
export const calculate = (document) => {
|
|
65
|
+
const units = new Map(document.units.map((unit) => [unit.id, unit]));
|
|
66
|
+
const applications = [];
|
|
67
|
+
for (const statement of document.statements) {
|
|
68
|
+
const childrenByParent = new Map();
|
|
69
|
+
for (const item of statement.items) {
|
|
70
|
+
if (item.rollupTo === undefined)
|
|
71
|
+
continue;
|
|
72
|
+
const children = childrenByParent.get(item.rollupTo) ?? [];
|
|
73
|
+
children.push(item);
|
|
74
|
+
childrenByParent.set(item.rollupTo, children);
|
|
75
|
+
}
|
|
76
|
+
for (const parent of statement.items) {
|
|
77
|
+
const children = childrenByParent.get(parent.id);
|
|
78
|
+
if (children === undefined)
|
|
79
|
+
continue;
|
|
80
|
+
for (const period of statement.periods) {
|
|
81
|
+
applications.push(evaluate(statement.id, parent, children, period, units));
|
|
82
|
+
}
|
|
83
|
+
}
|
|
84
|
+
}
|
|
85
|
+
if (applications.length === 0)
|
|
86
|
+
return { status: "not-defined", applications: [] };
|
|
87
|
+
const inconsistent = inconsistentApplications(applications);
|
|
88
|
+
if (inconsistent !== undefined)
|
|
89
|
+
return { status: "inconsistent", applications: inconsistent };
|
|
90
|
+
if (!applications.every(isSatisfied)) {
|
|
91
|
+
throw new Error("A defined consistent calculation lost its satisfied application");
|
|
92
|
+
}
|
|
93
|
+
const [first, ...rest] = applications;
|
|
94
|
+
if (first === undefined)
|
|
95
|
+
throw new Error("A defined calculation lost its applications");
|
|
96
|
+
const consistent = [first, ...rest];
|
|
97
|
+
return {
|
|
98
|
+
status: "consistent",
|
|
99
|
+
applications: consistent
|
|
100
|
+
};
|
|
101
|
+
};
|
|
102
|
+
//# sourceMappingURL=calculate.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"calculate.js","sourceRoot":"","sources":["../../src/validation/calculate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AACtC,OAAO,EACL,wBAAwB,EAUzB,MAAM,YAAY,CAAA;AAOnB,MAAM,GAAG,GAAG,CAAC,SAAiB,EAAE,MAAc,EAAE,MAAc,EAAkB,EAAE,CAAC,CAAC;IAClF,SAAS;IACT,MAAM;IACN,MAAM;CACP,CAAC,CAAA;AAEF,MAAM,aAAa,GAAG,CAAC,IAAe,EAA0C,EAAE,CAChF,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,CAAA;AAE3C,MAAM,WAAW,GAAG,CAAC,WAA8B,EAAuC,EAAE,CAC1F,WAAW,CAAC,MAAM,KAAK,WAAW,CAAA;AAEpC,MAAM,WAAW,GAAG,CAClB,cAA8B,EAC9B,SAAiB,EACjB,IAAU,EACV,MAAc,EACiB,EAAE;IACjC,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IAChC,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACxC,OAAO;YACL,GAAG,EAAE,cAAc;YACnB,MAAM,EAAE,OAAO;YACf,MAAM,EAAE,eAAe;YACvB,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE;SAC3C,CAAA;IACH,CAAC;IACD,IAAI,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QACxB,OAAO;YACL,GAAG,EAAE,cAAc;YACnB,MAAM,EAAE,OAAO;YACf,MAAM,EAAE,mBAAmB;YAC3B,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE;SAC3C,CAAA;IACH,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC,CAAA;AAED,MAAM,YAAY,GAAG,CAAC,MAAY,EAAE,KAAgC,EAAU,EAAE,CAC9E,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,gBAAgB,IAAI,GAAG,CAAA;AAEjD,MAAM,QAAQ,GAAG,CACf,SAAiB,EACjB,MAAY,EACZ,QAA6B,EAC7B,MAAc,EACd,KAAgC,EACb,EAAE;IACrB,MAAM,cAAc,GAAG,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAA;IACxD,MAAM,aAAa,GAAG,WAAW,CAAC,cAAc,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;IAC5E,IAAI,aAAa,KAAK,SAAS;QAAE,OAAO,aAAa,CAAA;IACrD,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;QAC7B,MAAM,OAAO,GAAG,WAAW,CAAC,cAAc,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;QACrE,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,OAAO,CAAA;IAC3C,CAAC;IAED,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IACzC,IAAI,OAAO,WAAW,KAAK,QAAQ;QAAE,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAA;IACpG,MAAM,WAAW,GAAmB,EAAE,CAAA;IACtC,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;QAClC,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAA;QAC7F,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;IACxC,CAAC;IACD,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;IACzC,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,CAAA;IACzC,MAAM,UAAU,GAAG,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAA;IAC5C,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,CAAC,YAAY,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAA;IAC5D,OAAO;QACL,GAAG,EAAE,cAAc;QACnB,MAAM,EAAE,UAAU,CAAC,QAAQ,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,aAAa;QACtF,MAAM,EAAE,MAAM,CAAC,QAAQ,EAAE;QACzB,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE;QAC7B,UAAU,EAAE,UAAU,CAAC,QAAQ,EAAE;QACjC,SAAS,EAAE,SAAS,CAAC,QAAQ,EAAE;KAChC,CAAA;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,QAAkB,EAAqB,EAAE;IACjE,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAA;IACpE,MAAM,YAAY,GAA6B,EAAE,CAAA;IAEjD,KAAK,MAAM,SAAS,IAAI,QAAQ,CAAC,UAAU,EAAE,CAAC;QAC5C,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAuB,CAAA;QACvD,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,KAAK,EAAE,CAAC;YACnC,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS;gBAAE,SAAQ;YACzC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAA;YAC1D,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YACnB,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAA;QAC/C,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,SAAS,CAAC,KAAK,EAAE,CAAC;YACrC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;YAChD,IAAI,QAAQ,KAAK,SAAS;gBAAE,SAAQ;YACpC,KAAK,MAAM,MAAM,IAAI,SAAS,CAAC,OAAO,EAAE,CAAC;gBACvC,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAA;YAC5E,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,YAAY,EAAE,EAAE,EAAE,CAAA;IACjF,MAAM,YAAY,GAAG,wBAAwB,CAAC,YAAY,CAAC,CAAA;IAC3D,IAAI,YAAY,KAAK,SAAS;QAAE,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,YAAY,EAAE,YAAY,EAAE,CAAA;IAC7F,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC;QACrC,MAAM,IAAI,KAAK,CAAC,iEAAiE,CAAC,CAAA;IACpF,CAAC;IACD,MAAM,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,GAAG,YAAY,CAAA;IACrC,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAA;IACvF,MAAM,UAAU,GAA2B,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,CAAA;IAC3D,OAAO;QACL,MAAM,EAAE,YAAY;QACpB,YAAY,EAAE,UAAU;KACzB,CAAA;AACH,CAAC,CAAA"}
|
|
@@ -0,0 +1,63 @@
|
|
|
1
|
+
export class Decimal {
|
|
2
|
+
coefficient;
|
|
3
|
+
scale;
|
|
4
|
+
constructor(coefficient, scale) {
|
|
5
|
+
this.coefficient = coefficient;
|
|
6
|
+
this.scale = scale;
|
|
7
|
+
}
|
|
8
|
+
static parse(value) {
|
|
9
|
+
const match = /^(-?)(\d+)(?:\.(\d+))?$/u.exec(value);
|
|
10
|
+
if (match === null)
|
|
11
|
+
throw new Error("Invalid canonical decimal");
|
|
12
|
+
const fractional = match[3] ?? "";
|
|
13
|
+
const sign = match[1] === "-" ? -1n : 1n;
|
|
14
|
+
return Decimal.normalize(sign * BigInt(`${match[2]}${fractional}`), fractional.length);
|
|
15
|
+
}
|
|
16
|
+
static zero() {
|
|
17
|
+
return new Decimal(0n, 0);
|
|
18
|
+
}
|
|
19
|
+
static normalize(coefficient, scale) {
|
|
20
|
+
if (coefficient === 0n)
|
|
21
|
+
return Decimal.zero();
|
|
22
|
+
const negative = coefficient < 0n;
|
|
23
|
+
const digits = (negative ? -coefficient : coefficient).toString();
|
|
24
|
+
const removable = Math.min(scale, digits.length - digits.replace(/0+$/u, "").length);
|
|
25
|
+
if (removable === 0)
|
|
26
|
+
return new Decimal(coefficient, scale);
|
|
27
|
+
const normalized = BigInt(digits.slice(0, -removable)) * (negative ? -1n : 1n);
|
|
28
|
+
return new Decimal(normalized, scale - removable);
|
|
29
|
+
}
|
|
30
|
+
add(other) {
|
|
31
|
+
const scale = Math.max(this.scale, other.scale);
|
|
32
|
+
const left = this.coefficient * 10n ** BigInt(scale - this.scale);
|
|
33
|
+
const right = other.coefficient * 10n ** BigInt(scale - other.scale);
|
|
34
|
+
return Decimal.normalize(left + right, scale);
|
|
35
|
+
}
|
|
36
|
+
static sum(values) {
|
|
37
|
+
if (values.length === 0)
|
|
38
|
+
return Decimal.zero();
|
|
39
|
+
const scale = values.reduce((maximum, value) => Math.max(maximum, value.scale), 0);
|
|
40
|
+
const coefficient = values.reduce((total, value) => total + value.coefficient * 10n ** BigInt(scale - value.scale), 0n);
|
|
41
|
+
return Decimal.normalize(coefficient, scale);
|
|
42
|
+
}
|
|
43
|
+
subtract(other) {
|
|
44
|
+
return this.add(Decimal.normalize(-other.coefficient, other.scale));
|
|
45
|
+
}
|
|
46
|
+
absolute() {
|
|
47
|
+
return this.coefficient < 0n ? Decimal.normalize(-this.coefficient, this.scale) : this;
|
|
48
|
+
}
|
|
49
|
+
lessThanOrEqual(other) {
|
|
50
|
+
const scale = Math.max(this.scale, other.scale);
|
|
51
|
+
return (this.coefficient * 10n ** BigInt(scale - this.scale) <=
|
|
52
|
+
other.coefficient * 10n ** BigInt(scale - other.scale));
|
|
53
|
+
}
|
|
54
|
+
toString() {
|
|
55
|
+
if (this.scale === 0)
|
|
56
|
+
return this.coefficient.toString();
|
|
57
|
+
const negative = this.coefficient < 0n;
|
|
58
|
+
const digits = (negative ? -this.coefficient : this.coefficient).toString().padStart(this.scale + 1, "0");
|
|
59
|
+
const split = digits.length - this.scale;
|
|
60
|
+
return `${negative ? "-" : ""}${digits.slice(0, split)}.${digits.slice(split)}`;
|
|
61
|
+
}
|
|
62
|
+
}
|
|
63
|
+
//# sourceMappingURL=decimal.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"decimal.js","sourceRoot":"","sources":["../../src/validation/decimal.ts"],"names":[],"mappings":"AAAA,MAAM,OAAO,OAAO;IAEC;IACA;IAFnB,YACmB,WAAmB,EACnB,KAAa;QADb,gBAAW,GAAX,WAAW,CAAQ;QACnB,UAAK,GAAL,KAAK,CAAQ;IAC7B,CAAC;IAEJ,MAAM,CAAC,KAAK,CAAC,KAAa;QACxB,MAAM,KAAK,GAAG,0BAA0B,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QACpD,IAAI,KAAK,KAAK,IAAI;YAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAA;QAChE,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;QACjC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAA;QACxC,OAAO,OAAO,CAAC,SAAS,CAAC,IAAI,GAAG,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,GAAG,UAAU,EAAE,CAAC,EAAE,UAAU,CAAC,MAAM,CAAC,CAAA;IACxF,CAAC;IAED,MAAM,CAAC,IAAI;QACT,OAAO,IAAI,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC,CAAA;IAC3B,CAAC;IAEO,MAAM,CAAC,SAAS,CAAC,WAAmB,EAAE,KAAa;QACzD,IAAI,WAAW,KAAK,EAAE;YAAE,OAAO,OAAO,CAAC,IAAI,EAAE,CAAA;QAC7C,MAAM,QAAQ,GAAG,WAAW,GAAG,EAAE,CAAA;QACjC,MAAM,MAAM,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,QAAQ,EAAE,CAAA;QACjE,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAA;QACpF,IAAI,SAAS,KAAK,CAAC;YAAE,OAAO,IAAI,OAAO,CAAC,WAAW,EAAE,KAAK,CAAC,CAAA;QAC3D,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;QAC9E,OAAO,IAAI,OAAO,CAAC,UAAU,EAAE,KAAK,GAAG,SAAS,CAAC,CAAA;IACnD,CAAC;IAED,GAAG,CAAC,KAAc;QAChB,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;QAC/C,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,GAAG,GAAG,IAAI,MAAM,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAA;QACjE,MAAM,KAAK,GAAG,KAAK,CAAC,WAAW,GAAG,GAAG,IAAI,MAAM,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAA;QACpE,OAAO,OAAO,CAAC,SAAS,CAAC,IAAI,GAAG,KAAK,EAAE,KAAK,CAAC,CAAA;IAC/C,CAAC;IAED,MAAM,CAAC,GAAG,CAAC,MAA8B;QACvC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,OAAO,CAAC,IAAI,EAAE,CAAA;QAC9C,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;QAClF,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAC/B,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,GAAG,KAAK,CAAC,WAAW,GAAG,GAAG,IAAI,MAAM,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,EAChF,EAAE,CACH,CAAA;QACD,OAAO,OAAO,CAAC,SAAS,CAAC,WAAW,EAAE,KAAK,CAAC,CAAA;IAC9C,CAAC;IAED,QAAQ,CAAC,KAAc;QACrB,OAAO,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;IACrE,CAAC;IAED,QAAQ;QACN,OAAO,IAAI,CAAC,WAAW,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;IACxF,CAAC;IAED,eAAe,CAAC,KAAc;QAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;QAC/C,OAAO,CACL,IAAI,CAAC,WAAW,GAAG,GAAG,IAAI,MAAM,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;YACpD,KAAK,CAAC,WAAW,GAAG,GAAG,IAAI,MAAM,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CACvD,CAAA;IACH,CAAC;IAED,QAAQ;QACN,IAAI,IAAI,CAAC,KAAK,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,CAAA;QACxD,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,GAAG,EAAE,CAAA;QACtC,MAAM,MAAM,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,EAAE,GAAG,CAAC,CAAA;QACzG,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,GAAG,IAAI,CAAC,KAAK,CAAA;QACxC,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAA;IACjF,CAAC;CACF"}
|
|
@@ -0,0 +1,4 @@
|
|
|
1
|
+
const compareText = (left, right) => left < right ? -1 : left > right ? 1 : 0;
|
|
2
|
+
export const applicationKey = (key) => JSON.stringify([key.statement, key.parent, key.period]);
|
|
3
|
+
export const compareDiagnostics = (left, right) => compareText(left.path, right.path) || compareText(left.code, right.code);
|
|
4
|
+
//# sourceMappingURL=identity.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"identity.js","sourceRoot":"","sources":["../../src/validation/identity.ts"],"names":[],"mappings":"AAEA,MAAM,WAAW,GAAG,CAAC,IAAY,EAAE,KAAa,EAAU,EAAE,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AAErG,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,GAAmB,EAAU,EAAE,CAC5D,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAA;AAEzD,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,IAAsD,EACtD,KAAuD,EAC/C,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAA"}
|
|
@@ -0,0 +1,10 @@
|
|
|
1
|
+
export const inconsistentApplications = (applications) => {
|
|
2
|
+
const [first, ...rest] = applications;
|
|
3
|
+
if (first === undefined ||
|
|
4
|
+
!applications.some(({ status }) => status === "unsatisfied" || status === "error")) {
|
|
5
|
+
return undefined;
|
|
6
|
+
}
|
|
7
|
+
const copied = [first, ...rest];
|
|
8
|
+
return copied;
|
|
9
|
+
};
|
|
10
|
+
//# sourceMappingURL=model.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"model.js","sourceRoot":"","sources":["../../src/validation/model.ts"],"names":[],"mappings":"AAyEA,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,YAA8C,EACR,EAAE;IACxC,MAAM,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,GAAG,YAAY,CAAA;IACrC,IACE,KAAK,KAAK,SAAS;QACnB,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,KAAK,aAAa,IAAI,MAAM,KAAK,OAAO,CAAC,EAClF,CAAC;QACD,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,MAAM,MAAM,GAAyD,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,CAAA;IACrF,OAAO,MAAkC,CAAA;AAC3C,CAAC,CAAA"}
|
|
@@ -0,0 +1,106 @@
|
|
|
1
|
+
import { Ajv2020 } from "ajv/dist/2020.js";
|
|
2
|
+
import { schemaAsset } from "../assets.js";
|
|
3
|
+
import { compareDiagnostics } from "./identity.js";
|
|
4
|
+
let compiledValidator;
|
|
5
|
+
let compiledConformanceValidator;
|
|
6
|
+
const compileDocumentValidator = (allErrors) => {
|
|
7
|
+
const documentSchema = JSON.parse(schemaAsset("document").toString("utf8"));
|
|
8
|
+
return new Ajv2020({ allErrors, strict: false }).compile(documentSchema);
|
|
9
|
+
};
|
|
10
|
+
const documentValidator = () => {
|
|
11
|
+
if (compiledValidator !== undefined)
|
|
12
|
+
return compiledValidator;
|
|
13
|
+
compiledValidator = compileDocumentValidator(true);
|
|
14
|
+
return compiledValidator;
|
|
15
|
+
};
|
|
16
|
+
const conformanceValidator = () => {
|
|
17
|
+
if (compiledConformanceValidator !== undefined)
|
|
18
|
+
return compiledConformanceValidator;
|
|
19
|
+
compiledConformanceValidator = compileDocumentValidator(false);
|
|
20
|
+
return compiledConformanceValidator;
|
|
21
|
+
};
|
|
22
|
+
const escapePointer = (value) => value.replaceAll("~", "~0").replaceAll("/", "~1");
|
|
23
|
+
const pointerValue = (value, pointer) => {
|
|
24
|
+
if (pointer === "")
|
|
25
|
+
return value;
|
|
26
|
+
return pointer
|
|
27
|
+
.slice(1)
|
|
28
|
+
.split("/")
|
|
29
|
+
.map((token) => token.replaceAll("~1", "/").replaceAll("~0", "~"))
|
|
30
|
+
.reduce((current, token) => {
|
|
31
|
+
if (current === null || typeof current !== "object")
|
|
32
|
+
return undefined;
|
|
33
|
+
return current[token];
|
|
34
|
+
}, value);
|
|
35
|
+
};
|
|
36
|
+
const message = (error) => error.message === undefined ? "The document does not match its schema." : `Value ${error.message}.`;
|
|
37
|
+
const uniqueItemPath = (error) => {
|
|
38
|
+
const first = typeof error.params.i === "number" ? error.params.i : 0;
|
|
39
|
+
const second = typeof error.params.j === "number" ? error.params.j : 0;
|
|
40
|
+
return `${error.instancePath}/${Math.max(first, second)}`;
|
|
41
|
+
};
|
|
42
|
+
const normalize = (error) => {
|
|
43
|
+
let path = error.instancePath;
|
|
44
|
+
let code;
|
|
45
|
+
if (error.keyword === "oneOf" || error.keyword === "if")
|
|
46
|
+
return undefined;
|
|
47
|
+
if (error.keyword === "required") {
|
|
48
|
+
path = `${path}/${escapePointer(String(error.params.missingProperty))}`;
|
|
49
|
+
code = "required-property";
|
|
50
|
+
}
|
|
51
|
+
else if (error.keyword === "additionalProperties") {
|
|
52
|
+
path = `${path}/${escapePointer(String(error.params.additionalProperty))}`;
|
|
53
|
+
code = "unknown-property";
|
|
54
|
+
}
|
|
55
|
+
else if (path.endsWith("/defaultTolerance")) {
|
|
56
|
+
code = "invalid-tolerance";
|
|
57
|
+
}
|
|
58
|
+
else if ((error.keyword === "minimum" || error.keyword === "maximum") &&
|
|
59
|
+
/^\/units\/\d+\/scale$/u.test(path)) {
|
|
60
|
+
code = "scale-out-of-range";
|
|
61
|
+
}
|
|
62
|
+
else if (error.keyword === "uniqueItems" && /^\/statements\/\d+\/periods$/u.test(path)) {
|
|
63
|
+
path = uniqueItemPath(error);
|
|
64
|
+
code = "duplicate-reference";
|
|
65
|
+
}
|
|
66
|
+
else if (error.keyword === "uniqueItems" && path === "/groupingColumns") {
|
|
67
|
+
path = uniqueItemPath(error);
|
|
68
|
+
code = "duplicate-id";
|
|
69
|
+
}
|
|
70
|
+
else if (error.keyword === "type") {
|
|
71
|
+
code = "invalid-type";
|
|
72
|
+
}
|
|
73
|
+
else {
|
|
74
|
+
if (typeof error.propertyName === "string") {
|
|
75
|
+
path = `${path}/${escapePointer(error.propertyName)}`;
|
|
76
|
+
}
|
|
77
|
+
code = "invalid-value";
|
|
78
|
+
}
|
|
79
|
+
return { code, path, message: message(error) };
|
|
80
|
+
};
|
|
81
|
+
export const validateSchema = (value) => {
|
|
82
|
+
const validate = documentValidator();
|
|
83
|
+
if (validate(value))
|
|
84
|
+
return [];
|
|
85
|
+
const raw = validate.errors ?? [];
|
|
86
|
+
const decimalNumberPaths = new Set(raw
|
|
87
|
+
.map(({ instancePath }) => instancePath)
|
|
88
|
+
.filter((path) => /^\/statements\/\d+\/items\/\d+\/values\/[^/]+$/u.test(path) &&
|
|
89
|
+
typeof pointerValue(value, path) === "number"));
|
|
90
|
+
const normalized = raw
|
|
91
|
+
.filter((error) => !decimalNumberPaths.has(error.instancePath))
|
|
92
|
+
.map(normalize)
|
|
93
|
+
.filter((error) => error !== undefined);
|
|
94
|
+
decimalNumberPaths.forEach((path) => {
|
|
95
|
+
normalized.push({
|
|
96
|
+
code: "decimal-string-required",
|
|
97
|
+
path,
|
|
98
|
+
message: "An exact decimal must be encoded as a canonical JSON string."
|
|
99
|
+
});
|
|
100
|
+
});
|
|
101
|
+
const unique = new Map();
|
|
102
|
+
normalized.forEach((error) => unique.set(`${error.path}\u0000${error.code}`, error));
|
|
103
|
+
return [...unique.values()].sort(compareDiagnostics);
|
|
104
|
+
};
|
|
105
|
+
export const conformsToSchema = (value) => conformanceValidator()(value);
|
|
106
|
+
//# sourceMappingURL=schema.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"schema.js","sourceRoot":"","sources":["../../src/validation/schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAA2C,MAAM,kBAAkB,CAAA;AAEnF,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAA;AAC1C,OAAO,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAA;AAQlD,IAAI,iBAA+C,CAAA;AACnD,IAAI,4BAA0D,CAAA;AAE9D,MAAM,wBAAwB,GAAG,CAAC,SAAkB,EAAoB,EAAE;IACxE,MAAM,cAAc,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAW,CAAA;IACrF,OAAO,IAAI,OAAO,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,CAAA;AAC1E,CAAC,CAAA;AAED,MAAM,iBAAiB,GAAG,GAAqB,EAAE;IAC/C,IAAI,iBAAiB,KAAK,SAAS;QAAE,OAAO,iBAAiB,CAAA;IAC7D,iBAAiB,GAAG,wBAAwB,CAAC,IAAI,CAAC,CAAA;IAClD,OAAO,iBAAiB,CAAA;AAC1B,CAAC,CAAA;AAED,MAAM,oBAAoB,GAAG,GAAqB,EAAE;IAClD,IAAI,4BAA4B,KAAK,SAAS;QAAE,OAAO,4BAA4B,CAAA;IACnF,4BAA4B,GAAG,wBAAwB,CAAC,KAAK,CAAC,CAAA;IAC9D,OAAO,4BAA4B,CAAA;AACrC,CAAC,CAAA;AAED,MAAM,aAAa,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;AAElG,MAAM,YAAY,GAAG,CAAC,KAAc,EAAE,OAAe,EAAW,EAAE;IAChE,IAAI,OAAO,KAAK,EAAE;QAAE,OAAO,KAAK,CAAA;IAChC,OAAO,OAAO;SACX,KAAK,CAAC,CAAC,CAAC;SACR,KAAK,CAAC,GAAG,CAAC;SACV,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;SACjE,MAAM,CAAU,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE;QAClC,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,OAAO,KAAK,QAAQ;YAAE,OAAO,SAAS,CAAA;QACrE,OAAQ,OAA6C,CAAC,KAAK,CAAC,CAAA;IAC9D,CAAC,EAAE,KAAK,CAAC,CAAA;AACb,CAAC,CAAA;AAED,MAAM,OAAO,GAAG,CAAC,KAAkB,EAAU,EAAE,CAC7C,KAAK,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,yCAAyC,CAAC,CAAC,CAAC,SAAS,KAAK,CAAC,OAAO,GAAG,CAAA;AAErG,MAAM,cAAc,GAAG,CAAC,KAAkB,EAAU,EAAE;IACpD,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACrE,MAAM,MAAM,GAAG,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACtE,OAAO,GAAG,KAAK,CAAC,YAAY,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,CAAA;AAC3D,CAAC,CAAA;AAED,MAAM,SAAS,GAAG,CAAC,KAAkB,EAA+B,EAAE;IACpE,IAAI,IAAI,GAAG,KAAK,CAAC,YAAY,CAAA;IAC7B,IAAI,IAAY,CAAA;IAEhB,IAAI,KAAK,CAAC,OAAO,KAAK,OAAO,IAAI,KAAK,CAAC,OAAO,KAAK,IAAI;QAAE,OAAO,SAAS,CAAA;IACzE,IAAI,KAAK,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;QACjC,IAAI,GAAG,GAAG,IAAI,IAAI,aAAa,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,EAAE,CAAA;QACvE,IAAI,GAAG,mBAAmB,CAAA;IAC5B,CAAC;SAAM,IAAI,KAAK,CAAC,OAAO,KAAK,sBAAsB,EAAE,CAAC;QACpD,IAAI,GAAG,GAAG,IAAI,IAAI,aAAa,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC,EAAE,CAAA;QAC1E,IAAI,GAAG,kBAAkB,CAAA;IAC3B,CAAC;SAAM,IAAI,IAAI,CAAC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,CAAC;QAC9C,IAAI,GAAG,mBAAmB,CAAA;IAC5B,CAAC;SAAM,IACL,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS,CAAC;QAC5D,wBAAwB,CAAC,IAAI,CAAC,IAAI,CAAC,EACnC,CAAC;QACD,IAAI,GAAG,oBAAoB,CAAA;IAC7B,CAAC;SAAM,IAAI,KAAK,CAAC,OAAO,KAAK,aAAa,IAAI,+BAA+B,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACzF,IAAI,GAAG,cAAc,CAAC,KAAK,CAAC,CAAA;QAC5B,IAAI,GAAG,qBAAqB,CAAA;IAC9B,CAAC;SAAM,IAAI,KAAK,CAAC,OAAO,KAAK,aAAa,IAAI,IAAI,KAAK,kBAAkB,EAAE,CAAC;QAC1E,IAAI,GAAG,cAAc,CAAC,KAAK,CAAC,CAAA;QAC5B,IAAI,GAAG,cAAc,CAAA;IACvB,CAAC;SAAM,IAAI,KAAK,CAAC,OAAO,KAAK,MAAM,EAAE,CAAC;QACpC,IAAI,GAAG,cAAc,CAAA;IACvB,CAAC;SAAM,CAAC;QACN,IAAI,OAAO,KAAK,CAAC,YAAY,KAAK,QAAQ,EAAE,CAAC;YAC3C,IAAI,GAAG,GAAG,IAAI,IAAI,aAAa,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,CAAA;QACvD,CAAC;QACD,IAAI,GAAG,eAAe,CAAA;IACxB,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,CAAA;AAChD,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,KAAc,EAAkC,EAAE;IAC/E,MAAM,QAAQ,GAAG,iBAAiB,EAAE,CAAA;IACpC,IAAI,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,CAAA;IAC9B,MAAM,GAAG,GAAG,QAAQ,CAAC,MAAM,IAAI,EAAE,CAAA;IACjC,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAChC,GAAG;SACA,GAAG,CAAC,CAAC,EAAE,YAAY,EAAE,EAAE,EAAE,CAAC,YAAY,CAAC;SACvC,MAAM,CACL,CAAC,IAAI,EAAE,EAAE,CACP,iDAAiD,CAAC,IAAI,CAAC,IAAI,CAAC;QAC5D,OAAO,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,QAAQ,CAChD,CACJ,CAAA;IACD,MAAM,UAAU,GAAG,GAAG;SACnB,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;SAC9D,GAAG,CAAC,SAAS,CAAC;SACd,MAAM,CAAC,CAAC,KAAK,EAA4B,EAAE,CAAC,KAAK,KAAK,SAAS,CAAC,CAAA;IAEnE,kBAAkB,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;QAClC,UAAU,CAAC,IAAI,CAAC;YACd,IAAI,EAAE,yBAAyB;YAC/B,IAAI;YACJ,OAAO,EAAE,8DAA8D;SACxE,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;IAEF,MAAM,MAAM,GAAG,IAAI,GAAG,EAA2B,CAAA;IACjD,UAAU,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,IAAI,SAAS,KAAK,CAAC,IAAI,EAAE,EAAE,KAAK,CAAC,CAAC,CAAA;IACpF,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAA;AACtD,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,KAAc,EAAW,EAAE,CAAC,oBAAoB,EAAE,CAAC,KAAK,CAAY,CAAA"}
|
|
@@ -0,0 +1,179 @@
|
|
|
1
|
+
import { applicationKey, compareDiagnostics } from "./identity.js";
|
|
2
|
+
import { isApplicationValid } from "./snapshot.js";
|
|
3
|
+
const diagnostic = (code, path) => ({
|
|
4
|
+
code,
|
|
5
|
+
path,
|
|
6
|
+
message: `The document violates the ${code} constraint.`
|
|
7
|
+
});
|
|
8
|
+
const isLeapYear = (year) => year % 4 === 0 && (year % 100 !== 0 || year % 400 === 0);
|
|
9
|
+
const isGregorianDate = (value) => {
|
|
10
|
+
const match = /^(\d{4})-(\d{2})-(\d{2})$/u.exec(value);
|
|
11
|
+
if (match === null)
|
|
12
|
+
return false;
|
|
13
|
+
const year = Number(match[1]);
|
|
14
|
+
const month = Number(match[2]);
|
|
15
|
+
const day = Number(match[3]);
|
|
16
|
+
const days = [31, isLeapYear(year) ? 29 : 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31];
|
|
17
|
+
return month >= 1 && month <= 12 && day >= 1 && day <= (days[month - 1] ?? 0);
|
|
18
|
+
};
|
|
19
|
+
const duplicateDefinitions = (definitions, basePath, add) => {
|
|
20
|
+
const ids = new Set();
|
|
21
|
+
definitions.forEach((definition, index) => {
|
|
22
|
+
if (ids.has(definition.id))
|
|
23
|
+
add(diagnostic("duplicate-id", `${basePath}/${index}/id`));
|
|
24
|
+
ids.add(definition.id);
|
|
25
|
+
});
|
|
26
|
+
};
|
|
27
|
+
const duplicateReferences = (references, basePath, add) => {
|
|
28
|
+
const values = new Set();
|
|
29
|
+
references.forEach((reference, index) => {
|
|
30
|
+
if (values.has(reference))
|
|
31
|
+
add(diagnostic("duplicate-reference", `${basePath}/${index}`));
|
|
32
|
+
values.add(reference);
|
|
33
|
+
});
|
|
34
|
+
};
|
|
35
|
+
const duplicateIdentifiers = (identifiers, basePath, add) => {
|
|
36
|
+
const values = new Set();
|
|
37
|
+
identifiers.forEach((identifier, index) => {
|
|
38
|
+
if (values.has(identifier))
|
|
39
|
+
add(diagnostic("duplicate-id", `${basePath}/${index}`));
|
|
40
|
+
values.add(identifier);
|
|
41
|
+
});
|
|
42
|
+
};
|
|
43
|
+
const reference = (registry, value, path, add) => {
|
|
44
|
+
if (registry.has(value))
|
|
45
|
+
return true;
|
|
46
|
+
add(diagnostic("unresolved-reference", path));
|
|
47
|
+
return false;
|
|
48
|
+
};
|
|
49
|
+
const periodDefinitionKey = (period) => period.kind === "instant" ? `instant:${period.date}` : `duration:${period.start}:${period.end}`;
|
|
50
|
+
const sameKeys = (actual, expected) => {
|
|
51
|
+
const actualKeys = Object.keys(actual).sort();
|
|
52
|
+
const expectedKeys = [...new Set(expected)].sort();
|
|
53
|
+
return actualKeys.length === expectedKeys.length && actualKeys.every((key, index) => key === expectedKeys[index]);
|
|
54
|
+
};
|
|
55
|
+
const cyclicItems = (parents) => {
|
|
56
|
+
const done = new Set();
|
|
57
|
+
const cyclic = new Set();
|
|
58
|
+
parents.forEach((_parent, start) => {
|
|
59
|
+
if (done.has(start))
|
|
60
|
+
return;
|
|
61
|
+
const path = [];
|
|
62
|
+
const positions = new Map();
|
|
63
|
+
let current = start;
|
|
64
|
+
while (current !== undefined && !done.has(current)) {
|
|
65
|
+
const cycleStart = positions.get(current);
|
|
66
|
+
if (cycleStart !== undefined) {
|
|
67
|
+
path.slice(cycleStart).forEach((item) => cyclic.add(item));
|
|
68
|
+
break;
|
|
69
|
+
}
|
|
70
|
+
positions.set(current, path.length);
|
|
71
|
+
path.push(current);
|
|
72
|
+
current = parents.get(current);
|
|
73
|
+
}
|
|
74
|
+
path.forEach((item) => done.add(item));
|
|
75
|
+
});
|
|
76
|
+
return cyclic;
|
|
77
|
+
};
|
|
78
|
+
const scanSemantics = (document, add) => {
|
|
79
|
+
duplicateDefinitions(document.units, "/units", add);
|
|
80
|
+
duplicateDefinitions(document.periods, "/periods", add);
|
|
81
|
+
duplicateDefinitions(document.statements, "/statements", add);
|
|
82
|
+
duplicateIdentifiers(document.groupingColumns ?? [], "/groupingColumns", add);
|
|
83
|
+
const units = new Set(document.units.map(({ id }) => id));
|
|
84
|
+
const periods = new Set(document.periods.map(({ id }) => id));
|
|
85
|
+
const groupingColumns = document.groupingColumns ?? [];
|
|
86
|
+
const periodValues = new Set();
|
|
87
|
+
document.periods.forEach((period, index) => {
|
|
88
|
+
if (period.kind === "instant") {
|
|
89
|
+
if (!isGregorianDate(period.date))
|
|
90
|
+
add(diagnostic("invalid-date", `/periods/${index}/date`));
|
|
91
|
+
}
|
|
92
|
+
else {
|
|
93
|
+
if (!isGregorianDate(period.start))
|
|
94
|
+
add(diagnostic("invalid-date", `/periods/${index}/start`));
|
|
95
|
+
if (!isGregorianDate(period.end))
|
|
96
|
+
add(diagnostic("invalid-date", `/periods/${index}/end`));
|
|
97
|
+
if (period.start > period.end)
|
|
98
|
+
add(diagnostic("invalid-duration", `/periods/${index}`));
|
|
99
|
+
}
|
|
100
|
+
const definition = periodDefinitionKey(period);
|
|
101
|
+
if (periodValues.has(definition)) {
|
|
102
|
+
add(diagnostic("duplicate-period-definition", `/periods/${index}`));
|
|
103
|
+
}
|
|
104
|
+
periodValues.add(definition);
|
|
105
|
+
});
|
|
106
|
+
document.statements.forEach((statement, statementIndex) => {
|
|
107
|
+
const statementPath = `/statements/${statementIndex}`;
|
|
108
|
+
duplicateReferences(statement.periods, `${statementPath}/periods`, add);
|
|
109
|
+
statement.periods.forEach((period, periodIndex) => {
|
|
110
|
+
reference(periods, period, `${statementPath}/periods/${periodIndex}`, add);
|
|
111
|
+
});
|
|
112
|
+
duplicateDefinitions(statement.items, `${statementPath}/items`, add);
|
|
113
|
+
const items = new Map(statement.items.map((item) => [item.id, item]));
|
|
114
|
+
const rollupParents = new Map();
|
|
115
|
+
statement.items.forEach((item, itemIndex) => {
|
|
116
|
+
const itemPath = `${statementPath}/items/${itemIndex}`;
|
|
117
|
+
reference(units, item.unit, `${itemPath}/unit`, add);
|
|
118
|
+
if (!sameKeys(item.values, statement.periods)) {
|
|
119
|
+
add(diagnostic("map-key-mismatch", `${itemPath}/values`));
|
|
120
|
+
}
|
|
121
|
+
if (!sameKeys(item.groupings, groupingColumns)) {
|
|
122
|
+
add(diagnostic("map-key-mismatch", `${itemPath}/groupings`));
|
|
123
|
+
}
|
|
124
|
+
if (item.rollupTo === undefined)
|
|
125
|
+
return;
|
|
126
|
+
if (item.rollupTo === item.id) {
|
|
127
|
+
add(diagnostic("self-rollup", `${itemPath}/rollupTo`));
|
|
128
|
+
return;
|
|
129
|
+
}
|
|
130
|
+
const parent = items.get(item.rollupTo);
|
|
131
|
+
if (parent === undefined) {
|
|
132
|
+
add(diagnostic("unresolved-reference", `${itemPath}/rollupTo`));
|
|
133
|
+
return;
|
|
134
|
+
}
|
|
135
|
+
rollupParents.set(item.id, parent.id);
|
|
136
|
+
if (item.unit !== parent.unit) {
|
|
137
|
+
add(diagnostic("unit-mismatch", `${itemPath}/rollupTo`));
|
|
138
|
+
}
|
|
139
|
+
});
|
|
140
|
+
const cycles = cyclicItems(rollupParents);
|
|
141
|
+
statement.items.forEach((item, itemIndex) => {
|
|
142
|
+
if (item.rollupTo !== undefined && cycles.has(item.id)) {
|
|
143
|
+
add(diagnostic("cyclic-rollup", `${statementPath}/items/${itemIndex}/rollupTo`));
|
|
144
|
+
}
|
|
145
|
+
});
|
|
146
|
+
});
|
|
147
|
+
const snapshotKeys = new Set();
|
|
148
|
+
document.validationSnapshot?.applications.forEach((application, index) => {
|
|
149
|
+
const key = applicationKey(application.key);
|
|
150
|
+
if (snapshotKeys.has(key)) {
|
|
151
|
+
add(diagnostic("duplicate-application-key", `/validationSnapshot/applications/${index}/key`));
|
|
152
|
+
}
|
|
153
|
+
snapshotKeys.add(key);
|
|
154
|
+
if (!isApplicationValid(application)) {
|
|
155
|
+
add(diagnostic("invalid-value", `/validationSnapshot/applications/${index}`));
|
|
156
|
+
}
|
|
157
|
+
});
|
|
158
|
+
};
|
|
159
|
+
export const validateSemantics = (document) => {
|
|
160
|
+
const errors = [];
|
|
161
|
+
scanSemantics(document, (error) => errors.push(error));
|
|
162
|
+
return errors.sort(compareDiagnostics);
|
|
163
|
+
};
|
|
164
|
+
class SemanticNonconformance extends Error {
|
|
165
|
+
}
|
|
166
|
+
export const conformsSemantically = (document) => {
|
|
167
|
+
try {
|
|
168
|
+
scanSemantics(document, () => {
|
|
169
|
+
throw new SemanticNonconformance();
|
|
170
|
+
});
|
|
171
|
+
return true;
|
|
172
|
+
}
|
|
173
|
+
catch (error) {
|
|
174
|
+
if (error instanceof SemanticNonconformance)
|
|
175
|
+
return false;
|
|
176
|
+
throw error;
|
|
177
|
+
}
|
|
178
|
+
};
|
|
179
|
+
//# sourceMappingURL=semantic.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"semantic.js","sourceRoot":"","sources":["../../src/validation/semantic.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAA;AAGlE,OAAO,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAA;AAIlD,MAAM,UAAU,GAAG,CAAC,IAAY,EAAE,IAAY,EAAmB,EAAE,CAAC,CAAC;IACnE,IAAI;IACJ,IAAI;IACJ,OAAO,EAAE,6BAA6B,IAAI,cAAc;CACzD,CAAC,CAAA;AAEF,MAAM,UAAU,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,GAAG,KAAK,CAAC,IAAI,IAAI,GAAG,GAAG,KAAK,CAAC,CAAC,CAAA;AAEtG,MAAM,eAAe,GAAG,CAAC,KAAa,EAAW,EAAE;IACjD,MAAM,KAAK,GAAG,4BAA4B,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IACtD,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,KAAK,CAAA;IAChC,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;IAC7B,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;IAC9B,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;IAC5B,MAAM,IAAI,GAAG,CAAC,EAAE,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAA;IACrF,OAAO,KAAK,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,IAAI,GAAG,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAA;AAC/E,CAAC,CAAA;AAED,MAAM,oBAAoB,GAAG,CAC3B,WAAmD,EACnD,QAAgB,EAChB,GAAkB,EACZ,EAAE;IACR,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAA;IAC7B,WAAW,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,KAAK,EAAE,EAAE;QACxC,IAAI,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;YAAE,GAAG,CAAC,UAAU,CAAC,cAAc,EAAE,GAAG,QAAQ,IAAI,KAAK,KAAK,CAAC,CAAC,CAAA;QACtF,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;IACxB,CAAC,CAAC,CAAA;AACJ,CAAC,CAAA;AAED,MAAM,mBAAmB,GAAG,CAC1B,UAAiC,EACjC,QAAgB,EAChB,GAAkB,EACZ,EAAE;IACR,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAA;IAChC,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE;QACtC,IAAI,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC;YAAE,GAAG,CAAC,UAAU,CAAC,qBAAqB,EAAE,GAAG,QAAQ,IAAI,KAAK,EAAE,CAAC,CAAC,CAAA;QACzF,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;IACvB,CAAC,CAAC,CAAA;AACJ,CAAC,CAAA;AAED,MAAM,oBAAoB,GAAG,CAC3B,WAAkC,EAClC,QAAgB,EAChB,GAAkB,EACZ,EAAE;IACR,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAA;IAChC,WAAW,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,KAAK,EAAE,EAAE;QACxC,IAAI,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC;YAAE,GAAG,CAAC,UAAU,CAAC,cAAc,EAAE,GAAG,QAAQ,IAAI,KAAK,EAAE,CAAC,CAAC,CAAA;QACnF,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;IACxB,CAAC,CAAC,CAAA;AACJ,CAAC,CAAA;AAED,MAAM,SAAS,GAAG,CAChB,QAA6B,EAC7B,KAAa,EACb,IAAY,EACZ,GAAkB,EACT,EAAE;IACX,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAA;IACpC,GAAG,CAAC,UAAU,CAAC,sBAAsB,EAAE,IAAI,CAAC,CAAC,CAAA;IAC7C,OAAO,KAAK,CAAA;AACd,CAAC,CAAA;AAED,MAAM,mBAAmB,GAAG,CAAC,MAAc,EAAU,EAAE,CACrD,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,WAAW,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,YAAY,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,GAAG,EAAE,CAAA;AAEjG,MAAM,QAAQ,GAAG,CAAC,MAAyC,EAAE,QAA+B,EAAW,EAAE;IACvG,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAA;IAC7C,MAAM,YAAY,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;IAClD,OAAO,UAAU,CAAC,MAAM,KAAK,YAAY,CAAC,MAAM,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,YAAY,CAAC,KAAK,CAAC,CAAC,CAAA;AACnH,CAAC,CAAA;AAED,MAAM,WAAW,GAAG,CAAC,OAAoC,EAAuB,EAAE;IAChF,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAA;IAEhC,OAAO,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE;QACjC,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,OAAM;QAC3B,MAAM,IAAI,GAAkB,EAAE,CAAA;QAC9B,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAA;QAC3C,IAAI,OAAO,GAAuB,KAAK,CAAA;QACvC,OAAO,OAAO,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YACnD,MAAM,UAAU,GAAG,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;YACzC,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;gBAC7B,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAA;gBAC1D,MAAK;YACP,CAAC;YACD,SAAS,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,CAAA;YACnC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;YAClB,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;QAChC,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAA;IACxC,CAAC,CAAC,CAAA;IACF,OAAO,MAAM,CAAA;AACf,CAAC,CAAA;AAED,MAAM,aAAa,GAAG,CAAC,QAAkB,EAAE,GAAkB,EAAQ,EAAE;IACrE,oBAAoB,CAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAA;IACnD,oBAAoB,CAAC,QAAQ,CAAC,OAAO,EAAE,UAAU,EAAE,GAAG,CAAC,CAAA;IACvD,oBAAoB,CAAC,QAAQ,CAAC,UAAU,EAAE,aAAa,EAAE,GAAG,CAAC,CAAA;IAC7D,oBAAoB,CAAC,QAAQ,CAAC,eAAe,IAAI,EAAE,EAAE,kBAAkB,EAAE,GAAG,CAAC,CAAA;IAE7E,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACzD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAC7D,MAAM,eAAe,GAAG,QAAQ,CAAC,eAAe,IAAI,EAAE,CAAA;IAEtD,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAA;IACtC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE;QACzC,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC9B,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC;gBAAE,GAAG,CAAC,UAAU,CAAC,cAAc,EAAE,YAAY,KAAK,OAAO,CAAC,CAAC,CAAA;QAC9F,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,KAAK,CAAC;gBAAE,GAAG,CAAC,UAAU,CAAC,cAAc,EAAE,YAAY,KAAK,QAAQ,CAAC,CAAC,CAAA;YAC9F,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,GAAG,CAAC;gBAAE,GAAG,CAAC,UAAU,CAAC,cAAc,EAAE,YAAY,KAAK,MAAM,CAAC,CAAC,CAAA;YAC1F,IAAI,MAAM,CAAC,KAAK,GAAG,MAAM,CAAC,GAAG;gBAAE,GAAG,CAAC,UAAU,CAAC,kBAAkB,EAAE,YAAY,KAAK,EAAE,CAAC,CAAC,CAAA;QACzF,CAAC;QACD,MAAM,UAAU,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAA;QAC9C,IAAI,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;YACjC,GAAG,CAAC,UAAU,CAAC,6BAA6B,EAAE,YAAY,KAAK,EAAE,CAAC,CAAC,CAAA;QACrE,CAAC;QACD,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;IAC9B,CAAC,CAAC,CAAA;IAEF,QAAQ,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,cAAc,EAAE,EAAE;QACxD,MAAM,aAAa,GAAG,eAAe,cAAc,EAAE,CAAA;QACrD,mBAAmB,CAAC,SAAS,CAAC,OAAO,EAAE,GAAG,aAAa,UAAU,EAAE,GAAG,CAAC,CAAA;QACvE,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,WAAW,EAAE,EAAE;YAChD,SAAS,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,aAAa,YAAY,WAAW,EAAE,EAAE,GAAG,CAAC,CAAA;QAC5E,CAAC,CAAC,CAAA;QAEF,oBAAoB,CAAC,SAAS,CAAC,KAAK,EAAE,GAAG,aAAa,QAAQ,EAAE,GAAG,CAAC,CAAA;QACpE,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAA;QACrE,MAAM,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAA;QAE/C,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,EAAE;YAC1C,MAAM,QAAQ,GAAG,GAAG,aAAa,UAAU,SAAS,EAAE,CAAA;YACtD,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,QAAQ,OAAO,EAAE,GAAG,CAAC,CAAA;YACpD,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC9C,GAAG,CAAC,UAAU,CAAC,kBAAkB,EAAE,GAAG,QAAQ,SAAS,CAAC,CAAC,CAAA;YAC3D,CAAC;YACD,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,EAAE,eAAe,CAAC,EAAE,CAAC;gBAC/C,GAAG,CAAC,UAAU,CAAC,kBAAkB,EAAE,GAAG,QAAQ,YAAY,CAAC,CAAC,CAAA;YAC9D,CAAC;YAED,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS;gBAAE,OAAM;YACvC,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,EAAE,EAAE,CAAC;gBAC9B,GAAG,CAAC,UAAU,CAAC,aAAa,EAAE,GAAG,QAAQ,WAAW,CAAC,CAAC,CAAA;gBACtD,OAAM;YACR,CAAC;YACD,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;YACvC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACzB,GAAG,CAAC,UAAU,CAAC,sBAAsB,EAAE,GAAG,QAAQ,WAAW,CAAC,CAAC,CAAA;gBAC/D,OAAM;YACR,CAAC;YACD,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,CAAC,CAAA;YACrC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC;gBAC9B,GAAG,CAAC,UAAU,CAAC,eAAe,EAAE,GAAG,QAAQ,WAAW,CAAC,CAAC,CAAA;YAC1D,CAAC;QACH,CAAC,CAAC,CAAA;QAEF,MAAM,MAAM,GAAG,WAAW,CAAC,aAAa,CAAC,CAAA;QACzC,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,EAAE;YAC1C,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;gBACvD,GAAG,CAAC,UAAU,CAAC,eAAe,EAAE,GAAG,aAAa,UAAU,SAAS,WAAW,CAAC,CAAC,CAAA;YAClF,CAAC;QACH,CAAC,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;IAEF,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAA;IACtC,QAAQ,CAAC,kBAAkB,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,KAAK,EAAE,EAAE;QACvE,MAAM,GAAG,GAAG,cAAc,CAAC,WAAW,CAAC,GAAG,CAAC,CAAA;QAC3C,IAAI,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAC1B,GAAG,CAAC,UAAU,CAAC,2BAA2B,EAAE,oCAAoC,KAAK,MAAM,CAAC,CAAC,CAAA;QAC/F,CAAC;QACD,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QACrB,IAAI,CAAC,kBAAkB,CAAC,WAAW,CAAC,EAAE,CAAC;YACrC,GAAG,CAAC,UAAU,CAAC,eAAe,EAAE,oCAAoC,KAAK,EAAE,CAAC,CAAC,CAAA;QAC/E,CAAC;IACH,CAAC,CAAC,CAAA;AACJ,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,QAAkB,EAAkC,EAAE;IACtF,MAAM,MAAM,GAA2B,EAAE,CAAA;IACzC,aAAa,CAAC,QAAQ,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAA;IACtD,OAAO,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAA;AACxC,CAAC,CAAA;AAED,MAAM,sBAAuB,SAAQ,KAAK;CAAG;AAE7C,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,QAAkB,EAAW,EAAE;IAClE,IAAI,CAAC;QACH,aAAa,CAAC,QAAQ,EAAE,GAAG,EAAE;YAC3B,MAAM,IAAI,sBAAsB,EAAE,CAAA;QACpC,CAAC,CAAC,CAAA;QACF,OAAO,IAAI,CAAA;IACb,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,sBAAsB;YAAE,OAAO,KAAK,CAAA;QACzD,MAAM,KAAK,CAAA;IACb,CAAC;AACH,CAAC,CAAA"}
|
|
@@ -0,0 +1,74 @@
|
|
|
1
|
+
import { isDeepStrictEqual } from "node:util";
|
|
2
|
+
import { Decimal } from "./decimal.js";
|
|
3
|
+
import { applicationKey } from "./identity.js";
|
|
4
|
+
export const isApplicationValid = (application) => {
|
|
5
|
+
if (application.status === "error")
|
|
6
|
+
return true;
|
|
7
|
+
try {
|
|
8
|
+
const difference = Decimal.parse(application.actual).subtract(Decimal.parse(application.expected));
|
|
9
|
+
if (difference.toString() !== Decimal.parse(application.difference).toString())
|
|
10
|
+
return false;
|
|
11
|
+
const satisfied = difference.absolute().lessThanOrEqual(Decimal.parse(application.tolerance));
|
|
12
|
+
return application.status === (satisfied ? "satisfied" : "unsatisfied");
|
|
13
|
+
}
|
|
14
|
+
catch {
|
|
15
|
+
return false;
|
|
16
|
+
}
|
|
17
|
+
};
|
|
18
|
+
export const isSnapshotValid = (snapshot) => {
|
|
19
|
+
const keys = snapshot.applications.map((application) => applicationKey(application.key));
|
|
20
|
+
if (new Set(keys).size !== keys.length)
|
|
21
|
+
return false;
|
|
22
|
+
if (!snapshot.applications.every(isApplicationValid))
|
|
23
|
+
return false;
|
|
24
|
+
if (snapshot.conformance === "nonconforming") {
|
|
25
|
+
return snapshot.calculations === "not-run" && snapshot.applications.length === 0;
|
|
26
|
+
}
|
|
27
|
+
if (snapshot.calculations === "not-defined")
|
|
28
|
+
return snapshot.applications.length === 0;
|
|
29
|
+
if (snapshot.calculations === "consistent") {
|
|
30
|
+
return snapshot.applications.length > 0 && snapshot.applications.every(({ status }) => status === "satisfied");
|
|
31
|
+
}
|
|
32
|
+
return (snapshot.applications.length > 0 &&
|
|
33
|
+
snapshot.applications.some(({ status }) => status === "unsatisfied" || status === "error"));
|
|
34
|
+
};
|
|
35
|
+
export const compareSnapshot = (snapshot, current) => {
|
|
36
|
+
if (snapshot === undefined)
|
|
37
|
+
return { formatVersion: "0.1", status: "not-recorded" };
|
|
38
|
+
if (!isSnapshotValid(snapshot)) {
|
|
39
|
+
return { formatVersion: "0.1", status: "not-comparable", reason: "invalid-snapshot" };
|
|
40
|
+
}
|
|
41
|
+
const remaining = new Map(snapshot.applications.map((application) => [applicationKey(application.key), application]));
|
|
42
|
+
const changes = [];
|
|
43
|
+
for (const application of current.calculations.applications) {
|
|
44
|
+
const prior = remaining.get(applicationKey(application.key));
|
|
45
|
+
if (prior === undefined) {
|
|
46
|
+
changes.push({ change: "added", current: application });
|
|
47
|
+
continue;
|
|
48
|
+
}
|
|
49
|
+
changes.push({
|
|
50
|
+
change: isDeepStrictEqual(prior, application) ? "unchanged" : "changed",
|
|
51
|
+
recorded: prior,
|
|
52
|
+
current: application
|
|
53
|
+
});
|
|
54
|
+
remaining.delete(applicationKey(application.key));
|
|
55
|
+
}
|
|
56
|
+
for (const application of snapshot.applications) {
|
|
57
|
+
if (remaining.has(applicationKey(application.key))) {
|
|
58
|
+
changes.push({ change: "removed", recorded: application });
|
|
59
|
+
}
|
|
60
|
+
}
|
|
61
|
+
const status = snapshot.conformance === current.conformance.status &&
|
|
62
|
+
snapshot.calculations === current.calculations.status &&
|
|
63
|
+
changes.every(({ change }) => change === "unchanged")
|
|
64
|
+
? "match"
|
|
65
|
+
: "mismatch";
|
|
66
|
+
return {
|
|
67
|
+
formatVersion: "0.1",
|
|
68
|
+
status,
|
|
69
|
+
conformance: { recorded: snapshot.conformance, current: current.conformance.status },
|
|
70
|
+
calculations: { recorded: snapshot.calculations, current: current.calculations.status },
|
|
71
|
+
applications: changes
|
|
72
|
+
};
|
|
73
|
+
};
|
|
74
|
+
//# sourceMappingURL=snapshot.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"snapshot.js","sourceRoot":"","sources":["../../src/validation/snapshot.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAA;AAE7C,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AACtC,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAA;AA4C9C,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,WAA8B,EAAW,EAAE;IAC5E,IAAI,WAAW,CAAC,MAAM,KAAK,OAAO;QAAE,OAAO,IAAI,CAAA;IAC/C,IAAI,CAAC;QACH,MAAM,UAAU,GAAG,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAA;QAClG,IAAI,UAAU,CAAC,QAAQ,EAAE,KAAK,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,QAAQ,EAAE;YAAE,OAAO,KAAK,CAAA;QAC5F,MAAM,SAAS,GAAG,UAAU,CAAC,QAAQ,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,CAAA;QAC7F,OAAO,WAAW,CAAC,MAAM,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,aAAa,CAAC,CAAA;IACzE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAA;IACd,CAAC;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,QAA4B,EAAW,EAAE;IACvE,MAAM,IAAI,GAAG,QAAQ,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,cAAc,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAA;IACxF,IAAI,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAA;IACpD,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,KAAK,CAAC,kBAAkB,CAAC;QAAE,OAAO,KAAK,CAAA;IAClE,IAAI,QAAQ,CAAC,WAAW,KAAK,eAAe,EAAE,CAAC;QAC7C,OAAO,QAAQ,CAAC,YAAY,KAAK,SAAS,IAAI,QAAQ,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,CAAA;IAClF,CAAC;IACD,IAAI,QAAQ,CAAC,YAAY,KAAK,aAAa;QAAE,OAAO,QAAQ,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,CAAA;IACtF,IAAI,QAAQ,CAAC,YAAY,KAAK,YAAY,EAAE,CAAC;QAC3C,OAAO,QAAQ,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,KAAK,WAAW,CAAC,CAAA;IAChH,CAAC;IACD,OAAO,CACL,QAAQ,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC;QAChC,QAAQ,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,KAAK,aAAa,IAAI,MAAM,KAAK,OAAO,CAAC,CAC3F,CAAA;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,QAAwC,EACxC,OAAyB,EACX,EAAE;IAChB,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM,EAAE,cAAc,EAAE,CAAA;IACnF,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC/B,OAAO,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM,EAAE,gBAAgB,EAAE,MAAM,EAAE,kBAAkB,EAAE,CAAA;IACvF,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,cAAc,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAA;IACrH,MAAM,OAAO,GAA6B,EAAE,CAAA;IAC5C,KAAK,MAAM,WAAW,IAAI,OAAO,CAAC,YAAY,CAAC,YAAY,EAAE,CAAC;QAC5D,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,cAAc,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAA;QAC5D,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,CAAA;YACvD,SAAQ;QACV,CAAC;QACD,OAAO,CAAC,IAAI,CAAC;YACX,MAAM,EAAE,iBAAiB,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS;YACvE,QAAQ,EAAE,KAAK;YACf,OAAO,EAAE,WAAW;SACrB,CAAC,CAAA;QACF,SAAS,CAAC,MAAM,CAAC,cAAc,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAA;IACnD,CAAC;IACD,KAAK,MAAM,WAAW,IAAI,QAAQ,CAAC,YAAY,EAAE,CAAC;QAChD,IAAI,SAAS,CAAC,GAAG,CAAC,cAAc,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YACnD,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC,CAAA;QAC5D,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GACV,QAAQ,CAAC,WAAW,KAAK,OAAO,CAAC,WAAW,CAAC,MAAM;QACnD,QAAQ,CAAC,YAAY,KAAK,OAAO,CAAC,YAAY,CAAC,MAAM;QACrD,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,KAAK,WAAW,CAAC;QACnD,CAAC,CAAC,OAAO;QACT,CAAC,CAAC,UAAU,CAAA;IAChB,OAAO;QACL,aAAa,EAAE,KAAK;QACpB,MAAM;QACN,WAAW,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,WAAW,EAAE,OAAO,EAAE,OAAO,CAAC,WAAW,CAAC,MAAM,EAAE;QACpF,YAAY,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,YAAY,EAAE,OAAO,EAAE,OAAO,CAAC,YAAY,CAAC,MAAM,EAAE;QACvF,YAAY,EAAE,OAAO;KACtB,CAAA;AACH,CAAC,CAAA"}
|