@techspokes/typescript-wsdl-client 1.1.3 → 1.1.5

package/dist/compiler/schemaIeeeLanguage.d.ts

@@ -0,0 +1,43 @@
+/** Exact IEEE inverse images through finite significand/count/exponent products. */
+import type { SchemaOperand } from './schemaDatatypeValues.js';
+import type { RegularLanguage } from './schemaRegularLanguage.js';
+import { schemaRegularLanguages } from './schemaRegularLanguage.js';
+import type { SchemaPatternContext } from './schemaValueContext.js';
+type Decimal = {
+    coefficient: bigint;
+    scale: number;
+    digits?: number;
+};
+type Endpoint = {
+    value: Decimal;
+    inclusive: boolean;
+};
+export type IeeeInputInterval = Readonly<{
+    negative: boolean;
+    lower?: Endpoint;
+    upper?: Endpoint;
+}>;
+export type IeeeBound = Readonly<{
+    name: 'minInclusive' | 'minExclusive' | 'maxInclusive' | 'maxExclusive';
+    value: SchemaOperand;
+}>;
+export declare function schemaIeeeLanguages<Owner>(c: SchemaPatternContext<Owner>, regular: ReturnType<typeof schemaRegularLanguages<Owner>>, expression: (expression: string, owner: Owner) => RegularLanguage): {
+    witness: (language: RegularLanguage, target: SchemaOperand, owner: Owner) => string | undefined;
+    inverseIntervals: (target: SchemaOperand, owner: Owner) => readonly IeeeInputInterval[];
+    intervalWitness: (language: RegularLanguage, interval: IeeeInputInterval, owner: Owner) => string | undefined;
+    wideningWitness: (language: RegularLanguage, family: "float" | "double", supplied: readonly IeeeBound[], prior: IeeeBound, owner: Owner) => string | undefined;
+    boundIntervals: (family: "float" | "double", bounds: readonly IeeeBound[], owner: Owner) => {
+        intervals: Readonly<{
+            negative: boolean;
+            lower?: Endpoint;
+            upper?: Endpoint;
+        }>[];
+        literals: string[];
+    };
+    subtractIntervals: (input: readonly IeeeInputInterval[], removed: readonly IeeeInputInterval[], owner: Owner) => readonly IeeeInputInterval[];
+    formatValues: (family: "float" | "double", owner: Owner) => Generator<SchemaOperand>;
+    decimalInputLanguage: (intervals: readonly IeeeInputInterval[], literals: readonly string[], owner: Owner) => RegularLanguage;
+    unsignedExponentialLanguage: (source: RegularLanguage, intervals: readonly IeeeInputInterval[], owner: Owner) => RegularLanguage;
+};
+export {};
+//# sourceMappingURL=schemaIeeeLanguage.d.ts.map

package/dist/compiler/schemaIeeeLanguage.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schemaIeeeLanguage.d.ts","sourceRoot":"","sources":["../../src/compiler/schemaIeeeLanguage.ts"],"names":[],"mappings":"AAAA,oFAAoF;AACpF,OAAO,KAAK,EAAC,aAAa,EAAC,MAAM,2BAA2B,CAAC;AAC7D,OAAO,KAAK,EAAmB,eAAe,EAAC,MAAM,4BAA4B,CAAC;AAClF,OAAO,EAAC,sBAAsB,EAAC,MAAM,4BAA4B,CAAC;AAClE,OAAO,KAAK,EAAC,oBAAoB,EAAC,MAAM,yBAAyB,CAAC;AAGlE,KAAK,OAAO,GAAG;IAAC,WAAW,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAC,CAAC;AACrE,KAAK,QAAQ,GAAG;IAAC,KAAK,EAAE,OAAO,CAAC;IAAC,SAAS,EAAE,OAAO,CAAA;CAAC,CAAC;AACrD,MAAM,MAAM,iBAAiB,GAAG,QAAQ,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAC;IAAC,KAAK,CAAC,EAAE,QAAQ,CAAC;IAAC,KAAK,CAAC,EAAE,QAAQ,CAAA;CAAC,CAAC,CAAC;AAClG,MAAM,MAAM,SAAS,GAAG,QAAQ,CAAC;IAAC,IAAI,EAAE,cAAc,GAAG,cAAc,GAAG,cAAc,GAAG,cAAc,CAAC;IAAC,KAAK,EAAE,aAAa,CAAA;CAAC,CAAC,CAAC;AAGlI,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,CAAC,EAAE,oBAAoB,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,UAAU,CAAC,OAAO,sBAAsB,CAAC,KAAK,CAAC,CAAC,EAClI,UAAU,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,KAAK,eAAe;wBA0StC,eAAe,UAAU,aAAa,SAAS,KAAK,KAAG,MAAM,GAAG,SAAS;+BA5PlE,aAAa,SAAS,KAAK,KAAG,SAAS,iBAAiB,EAAE;gCA6OzD,eAAe,YAAY,iBAAiB,SAAS,KAAK,KAAG,MAAM,GAAG,SAAS;gCA+C/E,eAAe,UAAU,OAAO,GAAG,QAAQ,YAAY,SAAS,SAAS,EAAE,SAAS,SAAS,SAAS,KAAK,KAAG,MAAM,GAAG,SAAS;6BAkCnI,OAAO,GAAG,QAAQ,UAAU,SAAS,SAAS,EAAE,SAAS,KAAK;;sBAjX5C,OAAO;oBAAU,QAAQ;oBAAU,QAAQ;;;;+BAmZ3D,SAAS,iBAAiB,EAAE,WAAW,SAAS,iBAAiB,EAAE,SAAS,KAAK,KAAG,SAAS,iBAAiB,EAAE;2BA2BnH,OAAO,GAAG,QAAQ,SAAS,KAAK,KAAG,SAAS,CAAC,aAAa,CAAC;sCAQjD,SAAS,iBAAiB,EAAE,YAAY,SAAS,MAAM,EAAE,SAAS,KAAK,KAAG,eAAe;0CAkBrF,eAAe,aAAa,SAAS,iBAAiB,EAAE,SAAS,KAAK,KAAG,eAAe;EAuBtI"}