spec-box-tms-sync 1.0.7 → 1.1.0

package/dist/lib/yaml/models.js

@@ -1,6 +1,6 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.entityDecoder = exports.assertionDecoder = void 0;
+exports.entityDecoder = exports.statementDecoder = exports.proposeDecoder = exports.assertionDecoder = void 0;
 const tslib_1 = require("tslib");
 const d = tslib_1.__importStar(require("io-ts/Decoder"));
 exports.assertionDecoder = d.intersect(d.struct({
@@ -8,11 +8,26 @@ exports.assertionDecoder = d.intersect(d.struct({
 }))(d.partial({
     description: d.string,
 }));
+exports.proposeDecoder = d.intersect(d.struct({
+    propose: d.string,
+}))(d.partial({
+    description: d.string,
+}));
+exports.statementDecoder = d.parse((value) => {
+    const hasAssert = Object.prototype.hasOwnProperty.call(value, 'assert');
+    const hasPropose = Object.prototype.hasOwnProperty.call(value, 'propose');
+    if (hasAssert === hasPropose) {
+        return d.failure(value, 'exactly one of assert or propose');
+    }
+    return hasAssert
+        ? exports.assertionDecoder.decode(value)
+        : exports.proposeDecoder.decode(value);
+})(d.UnknownRecord);
 exports.entityDecoder = d.intersect(d.struct({
     code: d.string,
     feature: d.string,
 }))(d.partial({
-    "specs-unit": d.record(d.array(exports.assertionDecoder)),
+    "specs-unit": d.record(d.array(exports.statementDecoder)),
     definitions: d.record(d.array(d.string)),
     description: d.string,
 }));

package/dist/lib/yaml/models.js.map

@@ -1 +1 @@
-{"version":3,"file":"models.js","sourceRoot":"","sources":["../../../src/lib/yaml/models.ts"],"names":[],"mappings":";;;;AAAA,yDAAmC;AAEtB,QAAA,gBAAgB,GAAG,CAAC,CAAC,SAAS,CACzC,CAAC,CAAC,MAAM,CAAC;IACP,MAAM,EAAE,CAAC,CAAC,MAAM;CACjB,CAAC,CACH,CACC,CAAC,CAAC,OAAO,CAAC;IACR,WAAW,EAAE,CAAC,CAAC,MAAM;CACtB,CAAC,CACH,CAAC;AAEW,QAAA,aAAa,GAAG,CAAC,CAAC,SAAS,CACtC,CAAC,CAAC,MAAM,CAAC;IACP,IAAI,EAAE,CAAC,CAAC,MAAM;IACd,OAAO,EAAE,CAAC,CAAC,MAAM;CAClB,CAAC,CACH,CACC,CAAC,CAAC,OAAO,CAAC;IACR,YAAY,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,wBAAgB,CAAC,CAAC;IACjD,WAAW,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACxC,WAAW,EAAE,CAAC,CAAC,MAAM;CACtB,CAAC,CACH,CAAC"}
+{"version":3,"file":"models.js","sourceRoot":"","sources":["../../../src/lib/yaml/models.ts"],"names":[],"mappings":";;;;AAAA,yDAAmC;AAEtB,QAAA,gBAAgB,GAAG,CAAC,CAAC,SAAS,CACzC,CAAC,CAAC,MAAM,CAAC;IACP,MAAM,EAAE,CAAC,CAAC,MAAM;CACjB,CAAC,CACH,CACC,CAAC,CAAC,OAAO,CAAC;IACR,WAAW,EAAE,CAAC,CAAC,MAAM;CACtB,CAAC,CACH,CAAC;AAEW,QAAA,cAAc,GAAG,CAAC,CAAC,SAAS,CACvC,CAAC,CAAC,MAAM,CAAC;IACP,OAAO,EAAE,CAAC,CAAC,MAAM;CAClB,CAAC,CACH,CACC,CAAC,CAAC,OAAO,CAAC;IACR,WAAW,EAAE,CAAC,CAAC,MAAM;CACtB,CAAC,CACH,CAAC;AAMW,QAAA,gBAAgB,GAAkC,CAAC,CAAC,KAAK,CAIpE,CAAC,KAAK,EAAE,EAAE;IACR,MAAM,SAAS,GAAG,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACxE,MAAM,UAAU,GAAG,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IAE1E,IAAI,SAAS,KAAK,UAAU,EAAE;QAC5B,OAAO,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,kCAAkC,CAAC,CAAC;KAC7D;IAED,OAAO,SAAS;QACd,CAAC,CAAC,wBAAgB,CAAC,MAAM,CAAC,KAAK,CAAC;QAChC,CAAC,CAAC,sBAAc,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACnC,CAAC,CACF,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;AAEN,QAAA,aAAa,GAAG,CAAC,CAAC,SAAS,CACtC,CAAC,CAAC,MAAM,CAAC;IACP,IAAI,EAAE,CAAC,CAAC,MAAM;IACd,OAAO,EAAE,CAAC,CAAC,MAAM;CAClB,CAAC,CACH,CACC,CAAC,CAAC,OAAO,CAAC;IACR,YAAY,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,wBAAgB,CAAC,CAAC;IACjD,WAAW,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACxC,WAAW,EAAE,CAAC,CAAC,MAAM;CACtB,CAAC,CACH,CAAC"}

package/dist/ui/index.html

@@ -9,5 +9,5 @@
 <style>:root{--tui-duration:.3s;--tui-curve-expressive-standard:cubic-bezier(.4, .1, .2, 1);--tui-curve-expressive-entrance:cubic-bezier(.35, 1.3, .25, 1);--tui-curve-expressive-exit:cubic-bezier(.4, 0, 1, 1);--tui-curve-productive-standard:cubic-bezier(.2, 0, .4, .9);--tui-curve-productive-entrance:cubic-bezier(0, 0, .4, .9);--tui-curve-productive-exit:cubic-bezier(.2, 0, 1, 1)}:root{--tui-shadow-small:0px 5px 20px 0px rgba(0, 0, 0, .1);--tui-shadow-small-hover:0px 14px 42px 0px rgba(0, 0, 0, .12);--tui-shadow-medium:0px 6px 34px 0px rgba(0, 0, 0, .12);--tui-shadow-medium-hover:0px 18px 60px 0px rgba(0, 0, 0, .18);--tui-shadow-popup:0px 8px 28px 0px rgba(0, 0, 0, .16)}:root{--tui-typography-family-text:"Manrope", system-ui, sans-serif;--tui-typography-family-display:"Manrope", system-ui, sans-serif;--tui-font-offset:calc(var(--t-font-offset, 0) * 1px);--tui-font-scale:calc((22 + var(--t-font-offset, 0)) / 22);--tui-typography-heading-h1:bold calc(var(--tui-font-offset) + 3.125rem) / 1.12 var(--tui-typography-family-display);--tui-typography-heading-h2:bold calc(var(--tui-font-offset) + 2.75rem) / calc(48 / 44) var(--tui-typography-family-display);--tui-typography-heading-h3:bold calc(var(--tui-font-offset) + 2.25rem) / calc(40 / 36) var(--tui-typography-family-display);--tui-typography-heading-h4:bold calc(var(--tui-font-offset) + 1.75rem) / calc(32 / 28) var(--tui-typography-family-display);--tui-typography-heading-h5:bold calc(var(--tui-font-offset) + 1.5rem) / calc(28 / 24) var(--tui-typography-family-display);--tui-typography-heading-h6:bold calc(var(--tui-font-offset) + 1.25rem) / calc(24 / 20) var(--tui-typography-family-display);--tui-typography-body-l:normal calc(var(--tui-font-offset) + 1.0625rem) / calc(28 / 17) var(--tui-typography-family-text);--tui-typography-body-m:normal calc(var(--tui-font-offset) + 1rem) / 1.5 var(--tui-typography-family-text);--tui-typography-body-s:normal calc(var(--tui-font-offset) + .875rem) / calc(20 / 14) var(--tui-typography-family-text);--tui-typography-body-xs:normal calc(var(--tui-font-offset) + .75rem) / calc(16 / 12) var(--tui-typography-family-text);--tui-typography-ui-l:normal calc(var(--tui-font-offset) + 1.0625rem) / calc(24 / 17) var(--tui-typography-family-text);--tui-typography-ui-m:normal calc(var(--tui-font-offset) + 1rem) / 1.25 var(--tui-typography-family-text);--tui-typography-ui-s:normal calc(var(--tui-font-offset) + .875rem) / calc(16 / 14) var(--tui-typography-family-text);--tui-typography-ui-xs:normal calc(var(--tui-font-offset) + .75rem) / 1.25 var(--tui-typography-family-text);--tui-typography-ui-2xs:normal calc(var(--tui-font-offset) + .6875rem) / calc(12 / 11) var(--tui-typography-family-text);--tui-radius-xs:.25rem;--tui-radius-s:.5rem;--tui-radius-m:.625rem;--tui-radius-l:.75rem;--tui-radius-xl:1.5rem;--tui-height-xs:1.5rem;--tui-height-s:2rem;--tui-height-m:2.75rem;--tui-height-l:3.5rem;--tui-padding-s:.625rem;--tui-padding-m:.75rem;--tui-padding-l:1rem;--tui-stroke-width:.125rem;--tui-duration:.3s;--tui-disabled-opacity:.56;--tui-lh:1.4em;--tui-inline-start:left;--tui-inline-end:right;--tui-inline:1;--tui-duration-slowest:calc(var(--tui-duration) / .429);--tui-duration-slow:calc(var(--tui-duration) / .6);--tui-duration-fast:calc(var(--tui-duration) / 2);--tui-duration-fastest:calc(var(--tui-duration) / 4)}@supports (font-size: 1lh){:root{--tui-lh:1lh}}@media screen{:root{--tui-background-base:#fff;--tui-background-base-alt:#f6f6f6;--tui-background-neutral-1:rgba(0, 0, 0, .04);--tui-background-neutral-1-hover:rgba(0, 0, 0, .08);--tui-background-neutral-1-pressed:rgba(0, 0, 0, .12);--tui-background-neutral-2:rgba(0, 0, 0, .08);--tui-background-neutral-2-hover:rgba(0, 0, 0, .1);--tui-background-neutral-2-pressed:rgba(0, 0, 0, .14);--tui-background-accent-1:#526ed3;--tui-background-accent-1-hover:#6c86e2;--tui-background-accent-1-pressed:#314692;--tui-background-accent-2:#ff7043;--tui-background-accent-2-hover:#ff9a94;--tui-background-accent-2-pressed:#e7716a;--tui-background-accent-opposite:#000;--tui-background-accent-opposite-hover:#333;--tui-background-accent-opposite-pressed:#808080;--tui-background-elevation-1:#fff;--tui-background-elevation-2:#fff;--tui-background-elevation-3:#fff;--tui-service-autofill-background:#fff5c0;--tui-service-selection-background:rgba(112, 182, 246, .12);--tui-service-backdrop:rgba(0, 0, 0, .75);--tui-border-normal:rgba(0, 0, 0, .1);--tui-border-hover:rgba(0, 0, 0, .16);--tui-border-focus:rgba(51, 51, 51, .64);--tui-status-negative:#ff291a;--tui-status-negative-pale:rgba(245, 34, 34, .08);--tui-status-negative-pale-hover:rgba(245, 34, 34, .16);--tui-status-positive:#4ac99b;--tui-status-positive-pale:rgba(74, 201, 155, .12);--tui-status-positive-pale-hover:rgba(74, 201, 155, .24);--tui-status-warning:#ffc700;--tui-status-warning-pale:rgba(255, 199, 0, .12);--tui-status-warning-pale-hover:rgba(255, 199, 0, .24);--tui-status-info:#70b6f6;--tui-status-info-pale:rgba(112, 182, 246, .12);--tui-status-info-pale-hover:rgba(112, 182, 246, .24);--tui-status-neutral:#79818c;--tui-text-primary:#1b1f3b;--tui-text-secondary:rgba(27, 31, 59, .65);--tui-text-tertiary:rgba(27, 31, 59, .4);--tui-text-primary-on-accent-1:#fff;--tui-text-primary-on-accent-2:#fff;--tui-text-action:#4c66c3;--tui-text-action-hover:#6c86e2;--tui-text-positive:#3aa981;--tui-text-positive-hover:#7ac5aa;--tui-text-negative:#ff291a;--tui-text-negative-hover:#ff4d4d;--tui-chart-categorical-00:var(--tui-background-accent-1);--tui-chart-categorical-01:#ea97c4;--tui-chart-categorical-02:#a0c5df;--tui-chart-categorical-03:#fee797;--tui-chart-categorical-04:#b0b0b0;--tui-chart-categorical-05:#e29398;--tui-chart-categorical-06:#b8474e;--tui-chart-categorical-07:#fcc068;--tui-chart-categorical-08:#ff8a00;--tui-chart-categorical-09:#dab3f9;--tui-chart-categorical-10:#7b439e;--tui-chart-categorical-11:#8dda71;--tui-chart-categorical-12:#fcbb14;--tui-chart-categorical-13:#a8cef1;--tui-chart-categorical-14:#bd65a4;--tui-chart-categorical-15:#7fd7cc;--tui-chart-categorical-16:#2fad96;--tui-chart-categorical-17:#d4aca2;--tui-chart-categorical-18:#9d6f64;--tui-chart-categorical-19:#d2e9a2;--tui-chart-categorical-20:#aadc42;--tui-chart-categorical-21:#3682db;--tui-chart-categorical-22:#34b41f;--tui-shadow-small:0 .25rem 1.25rem rgba(0, 0, 0, .1);--tui-shadow-small-hover:0 1rem 2.5rem rgba(0, 0, 0, .14);--tui-shadow-medium:0 .375rem 2rem rgba(0, 0, 0, .12);--tui-shadow-medium-hover:0 1.25rem 4rem rgba(0, 0, 0, .18);--tui-shadow-popup:0 1.25rem 3rem rgba(0, 0, 0, .2)}}@media print{:root{color-scheme:light;--tui-background-base:#fff;--tui-background-base-alt:#f6f6f6;--tui-background-neutral-1:rgba(0, 0, 0, .04);--tui-background-neutral-1-hover:rgba(0, 0, 0, .08);--tui-background-neutral-1-pressed:rgba(0, 0, 0, .12);--tui-background-neutral-2:rgba(0, 0, 0, .08);--tui-background-neutral-2-hover:rgba(0, 0, 0, .1);--tui-background-neutral-2-pressed:rgba(0, 0, 0, .14);--tui-background-accent-1:#526ed3;--tui-background-accent-1-hover:#6c86e2;--tui-background-accent-1-pressed:#314692;--tui-background-accent-2:#ff7043;--tui-background-accent-2-hover:#ff9a94;--tui-background-accent-2-pressed:#e7716a;--tui-background-accent-opposite:#000;--tui-background-accent-opposite-hover:#333;--tui-background-accent-opposite-pressed:#808080;--tui-background-elevation-1:#fff;--tui-background-elevation-2:#fff;--tui-background-elevation-3:#fff;--tui-service-autofill-background:#fff5c0;--tui-service-selection-background:rgba(112, 182, 246, .12);--tui-service-backdrop:rgba(0, 0, 0, .75);--tui-border-normal:rgba(0, 0, 0, .1);--tui-border-hover:rgba(0, 0, 0, .16);--tui-border-focus:rgba(51, 51, 51, .64);--tui-status-negative:#ff291a;--tui-status-negative-pale:rgba(245, 34, 34, .08);--tui-status-negative-pale-hover:rgba(245, 34, 34, .16);--tui-status-positive:#4ac99b;--tui-status-positive-pale:rgba(74, 201, 155, .12);--tui-status-positive-pale-hover:rgba(74, 201, 155, .24);--tui-status-warning:#ffc700;--tui-status-warning-pale:rgba(255, 199, 0, .12);--tui-status-warning-pale-hover:rgba(255, 199, 0, .24);--tui-status-info:#70b6f6;--tui-status-info-pale:rgba(112, 182, 246, .12);--tui-status-info-pale-hover:rgba(112, 182, 246, .24);--tui-status-neutral:#79818c;--tui-text-primary:#1b1f3b;--tui-text-secondary:rgba(27, 31, 59, .65);--tui-text-tertiary:rgba(27, 31, 59, .4);--tui-text-primary-on-accent-1:#fff;--tui-text-primary-on-accent-2:#fff;--tui-text-action:#4c66c3;--tui-text-action-hover:#6c86e2;--tui-text-positive:#3aa981;--tui-text-positive-hover:#7ac5aa;--tui-text-negative:#ff291a;--tui-text-negative-hover:#ff4d4d;--tui-chart-categorical-00:var(--tui-background-accent-1);--tui-chart-categorical-01:#ea97c4;--tui-chart-categorical-02:#a0c5df;--tui-chart-categorical-03:#fee797;--tui-chart-categorical-04:#b0b0b0;--tui-chart-categorical-05:#e29398;--tui-chart-categorical-06:#b8474e;--tui-chart-categorical-07:#fcc068;--tui-chart-categorical-08:#ff8a00;--tui-chart-categorical-09:#dab3f9;--tui-chart-categorical-10:#7b439e;--tui-chart-categorical-11:#8dda71;--tui-chart-categorical-12:#fcbb14;--tui-chart-categorical-13:#a8cef1;--tui-chart-categorical-14:#bd65a4;--tui-chart-categorical-15:#7fd7cc;--tui-chart-categorical-16:#2fad96;--tui-chart-categorical-17:#d4aca2;--tui-chart-categorical-18:#9d6f64;--tui-chart-categorical-19:#d2e9a2;--tui-chart-categorical-20:#aadc42;--tui-chart-categorical-21:#3682db;--tui-chart-categorical-22:#34b41f;--tui-shadow-small:0 .25rem 1.25rem rgba(0, 0, 0, .1);--tui-shadow-small-hover:0 1rem 2.5rem rgba(0, 0, 0, .14);--tui-shadow-medium:0 .375rem 2rem rgba(0, 0, 0, .12);--tui-shadow-medium-hover:0 1.25rem 4rem rgba(0, 0, 0, .18);--tui-shadow-popup:0 1.25rem 3rem rgba(0, 0, 0, .2)}}html,body{height:100%}*{box-sizing:border-box}</style><link rel="stylesheet" href="styles-BXTTXPZ6.css" media="print" onload="this.media='all'"><noscript><link rel="stylesheet" href="styles-BXTTXPZ6.css"></noscript></head>
 <body>
   <app-root></app-root>
-<link rel="modulepreload" href="chunk-NYVIJIB3.js"><link rel="modulepreload" href="chunk-IFGU66OU.js"><script src="main-VEDBEPI6.js" type="module"></script></body>
+<link rel="modulepreload" href="chunk-NYVIJIB3.js"><link rel="modulepreload" href="chunk-IFGU66OU.js"><script src="main-6V7GGURE.js" type="module"></script></body>
 </html>