@kontor/kontor-sdk 1.0.0-alpha.13 → 1.0.0-alpha.15

package/dist/src/wit/wit-parser/core/types/utils.test-d.js

@@ -0,0 +1,138 @@
+import { assertType, test } from "vitest";
+test("ParseWitParameter", () => {
+    // everything in fib contrct
+    assertType({
+        name: "ctx",
+        type: "borrow<proc-context>",
+    });
+    assertType({
+        name: "arith-address",
+        type: "contract-address",
+    });
+    assertType({
+        name: "n",
+        type: "u64",
+    });
+    assertType({
+        type: "u64",
+    });
+    assertType({
+        name: "x",
+        type: "string",
+    });
+    assertType({
+        name: "y",
+        type: "string",
+    });
+    assertType({
+        name: "option-string",
+        type: "option<string>",
+    });
+    assertType({
+        name: "option-list-string",
+        type: "option<list<string>>",
+    });
+    assertType({
+        name: "option-list-result-string-contract-address",
+        type: "option<list<result<string, contract-address>>>",
+    });
+    assertType({
+        type: "contract-address",
+    });
+    assertType({
+        name: "ctx",
+        type: "borrow<view-context>",
+    });
+    assertType({
+        name: "arith-address",
+        type: "contract-address",
+    });
+});
+test("_ParseFunctionParametersAndContext", () => {
+    assertType({
+        Inputs: "arith-address: contract-address, n: u64",
+        Context: "proc",
+    });
+    assertType({
+        Inputs: "",
+        Context: "view",
+    });
+    assertType({
+        Inputs: "",
+        Context: "view",
+    });
+    assertType({
+        Inputs: "",
+        Context: "core",
+    });
+});
+test("SplitParameters", () => {
+    assertType(["u64"]);
+    assertType([
+        "arith-address: contract-address",
+        "n: list<u64>",
+    ]);
+});
+test("Parse Signature", () => {
+    assertType({
+        type: "function",
+        name: "fib",
+        context: "proc",
+        inputs: [
+            { name: "arith-address", type: "contract-address" },
+            { name: "n", type: "list<u64>" },
+        ],
+        outputs: [
+            {
+                type: "u64",
+            },
+        ],
+    });
+    assertType({
+        type: "function",
+        name: "fib",
+        context: "proc",
+        inputs: [
+            { name: "arith-address", type: "contract-address" },
+            { name: "n", type: "list<u64>" },
+        ],
+        outputs: [
+            {
+                type: "contract-address",
+            },
+        ],
+    });
+    assertType({
+        type: "function",
+        name: "fib",
+        context: "proc",
+        inputs: [
+            {
+                name: "arith-address",
+                type: "contract-address",
+            },
+            { name: "n", type: "list<u64>" },
+        ],
+        outputs: [
+            {
+                type: "contract-address",
+            },
+        ],
+    });
+    assertType({
+        type: "function",
+        name: "get-dogs",
+        context: "proc",
+        inputs: [],
+        outputs: [
+            {
+                type: "list<tuple>",
+                components: [
+                    { type: "string", name: "name" },
+                    { type: "string", name: "breed" },
+                ],
+            },
+        ],
+    });
+});
+//# sourceMappingURL=utils.test-d.js.map

package/dist/src/wit/wit-parser/core/types/utils.test-d.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.test-d.js","sourceRoot":"","sources":["../../../../../../src/wit/wit-parser/core/types/utils.test-d.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AA2C1C,IAAI,CAAC,mBAAmB,EAAE,GAAG,EAAE;IAC7B,4BAA4B;IAC5B,UAAU,CAAiD;QACzD,IAAI,EAAE,KAAK;QACX,IAAI,EAAE,sBAAsB;KAC7B,CAAC,CAAC;IAEH,UAAU,CAAuD;QAC/D,IAAI,EAAE,eAAe;QACrB,IAAI,EAAE,kBAAkB;KACzB,CAAC,CAAC;IAEH,UAAU,CAA8B;QACtC,IAAI,EAAE,GAAG;QACT,IAAI,EAAE,KAAK;KACZ,CAAC,CAAC;IAEH,UAAU,CAA2B;QACnC,IAAI,EAAE,KAAK;KACZ,CAAC,CAAC;IAEH,UAAU,CAAiC;QACzC,IAAI,EAAE,GAAG;QACT,IAAI,EAAE,QAAQ;KACf,CAAC,CAAC;IAEH,UAAU,CAAiC;QACzC,IAAI,EAAE,GAAG;QACT,IAAI,EAAE,QAAQ;KACf,CAAC,CAAC;IAEH,UAAU,CAAqD;QAC7D,IAAI,EAAE,eAAe;QACrB,IAAI,EAAE,gBAAgB;KACvB,CAAC,CAAC;IAEH,UAAU,CAAgE;QACxE,IAAI,EAAE,oBAAoB;QAC1B,IAAI,EAAE,sBAAsB;KAC7B,CAAC,CAAC;IAEH,UAAU,CAER;QACA,IAAI,EAAE,4CAA4C;QAClD,IAAI,EAAE,gDAAgD;KACvD,CAAC,CAAC;IAEH,UAAU,CAAwC;QAChD,IAAI,EAAE,kBAAkB;KACzB,CAAC,CAAC;IACH,UAAU,CAAiD;QACzD,IAAI,EAAE,KAAK;QACX,IAAI,EAAE,sBAAsB;KAC7B,CAAC,CAAC;IAEH,UAAU,CAAuD;QAC/D,IAAI,EAAE,eAAe;QACrB,IAAI,EAAE,kBAAkB;KACzB,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,oCAAoC,EAAE,GAAG,EAAE;IAC9C,UAAU,CAER;QACA,MAAM,EAAE,yCAAyC;QACjD,OAAO,EAAE,MAAM;KAChB,CAAC,CAAC;IAEH,UAAU,CAER;QACA,MAAM,EAAE,EAAE;QACV,OAAO,EAAE,MAAM;KAChB,CAAC,CAAC;IAEH,UAAU,CAER;QACA,MAAM,EAAE,EAAE;QACV,OAAO,EAAE,MAAM;KAChB,CAAC,CAAC;IAEH,UAAU,CAER;QACA,MAAM,EAAE,EAAE;QACV,OAAO,EAAE,MAAM;KAChB,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,iBAAiB,EAAE,GAAG,EAAE;IAC3B,UAAU,CAAyB,CAAC,KAAK,CAAC,CAAC,CAAC;IAC5C,UAAU,CAAmE;QAC3E,iCAAiC;QACjC,cAAc;KACf,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,iBAAiB,EAAE,GAAG,EAAE;IAC3B,UAAU,CAER;QACA,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,KAAK;QACX,OAAO,EAAE,MAAM;QACf,MAAM,EAAE;YACN,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,kBAAkB,EAAE;YACnD,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE;SACjC;QACD,OAAO,EAAE;YACP;gBACE,IAAI,EAAE,KAAK;aACZ;SACF;KACF,CAAC,CAAC;IACH,UAAU,CAER;QACA,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,KAAK;QACX,OAAO,EAAE,MAAM;QACf,MAAM,EAAE;YACN,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,kBAAkB,EAAE;YACnD,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE;SACjC;QACD,OAAO,EAAE;YACP;gBACE,IAAI,EAAE,kBAAkB;aACzB;SACF;KACF,CAAC,CAAC;IACH,UAAU,CAER;QACA,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,KAAK;QACX,OAAO,EAAE,MAAM;QACf,MAAM,EAAE;YACN;gBACE,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,kBAAkB;aACzB;YACD,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE;SACjC;QACD,OAAO,EAAE;YACP;gBACE,IAAI,EAAE,kBAAkB;aACzB;SACF;KACF,CAAC,CAAC;IACH,UAAU,CAKR;QACA,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,UAAU;QAChB,OAAO,EAAE,MAAM;QACf,MAAM,EAAE,EAAE;QACV,OAAO,EAAE;YACP;gBACE,IAAI,EAAE,aAAa;gBACnB,UAAU,EAAE;oBACV,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE;oBAChC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE;iBAClC;aACF;SACF;KACF,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/src/wit/wit-parser/core/utils.js

@@ -0,0 +1,212 @@
+import { execTyped, isGenericRegex } from "../../regex.js";
+import { InvalidWitParameterError, WitProtectedKeywordError, } from "./errors/wit-parameter.js";
+import { InvalidSignatureError, UnknownSignatureError, } from "./errors/signature.js";
+import { InvalidGenericDepthError } from "./errors/splitParameters.js";
+import { execFunctionSignature, isFunctionSignature } from "./signatures.js";
+//
+// export const witParameterRegex =
+//   /^(?:(?<name>[a-z][a-z0-9-]*)\s*:\s*)?(?<type>(?:borrow|list|option|result|tuple)\s*<[\s\S]+>|[a-z][a-z0-9-]*|(?:record|variant|flags|enum)\s*\{[\s\S]*\})$/;
+//
+export const witParameterRegex = /^(?:(?<name>[a-z][a-z0-9-]*)\s*:\s*)?(?<type>_|(?:borrow|list|option|result|tuple)\s*<[\s\S]+>|[a-z][a-z0-9-]*|(?:record|variant|flags|enum)\s*\{[\s\S]*\})$/;
+export function isGeneric(type) {
+    return isGenericRegex.test(type.trim());
+}
+export function execGeneric(type) {
+    const m = type.trim().match(isGenericRegex);
+    if (!m || !m.groups)
+        return null;
+    return m.groups;
+}
+export function parseWitParameter(param, options) {
+    // TODO: cache
+    // const parameterCacheKey = getParameterCacheKey(
+    //   param,
+    //   options?.type,
+    //   options?.structs,
+    // );
+    // if (parameterCache.has(parameterCacheKey))
+    //   return parameterCache.get(parameterCacheKey)!;
+    //
+    //
+    const match = execTyped(witParameterRegex, param);
+    if (!match)
+        throw new InvalidWitParameterError({ param });
+    const isGenericType = isGeneric(match.type);
+    if (match.name && isWitKeyword(match.name))
+        throw new WitProtectedKeywordError({ param, name: match.name });
+    // TODO: smell
+    const name = match.name ? { name: match.name } : {};
+    const records = options?.records ?? {};
+    let type;
+    let components = {};
+    if (isGenericType) {
+        const g = execGeneric(match.type);
+        const parts = splitParameters(g.inner);
+        const parsed = parts.map((p) => parseWitParameter(p, { records }));
+        // normalize inner types for the outer type string
+        const innerTypeSig = parsed.map((x) => x.type).join(", ");
+        switch (g.outer) {
+            case "list":
+            case "option": {
+                if (parsed.length !== 1) {
+                    throw new InvalidWitParameterError({
+                        param,
+                    });
+                }
+                const t = parsed[0];
+                type = `${g.outer}<${t.type}>`;
+                // flatten record fields for list/option only
+                components = t.components ? { components: t.components } : {};
+                break;
+            }
+            case "result": {
+                if (parsed.length !== 2) {
+                    throw new InvalidWitParameterError({
+                        param,
+                    });
+                }
+                const left = parsed[0];
+                // @ts-ignore
+                const right = parsed[1];
+                type = `result<${innerTypeSig}>`;
+                components = {
+                    ...(left.components && { components: left.components }),
+                    // components: [
+                    //
+                    //   {
+                    //     name: "left",
+                    //     type: left.type,
+                    //     ...(left.components && { components: left.components }),
+                    //   },
+                    //   {
+                    //     name: "right",
+                    //     type: right.type,
+                    //     ...(right.components && { components: right.components }),
+                    //   },
+                    // ],
+                };
+                // the right / error channel is always assumed to be wit built-in `error` primitive
+                // components = {
+                //   components: [
+                //     {
+                //       name: "left",
+                //       type: left.type,
+                //       ...(left.components && { components: left.components }),
+                //     },
+                //     {
+                //       name: "right",
+                //       type: right.type,
+                //       ...(right.components && { components: right.components }),
+                //     },
+                //   ],
+                // };
+                break;
+            }
+            default: {
+                type = `${g.outer}<${innerTypeSig}>`;
+                components = {};
+            }
+        }
+    }
+    else if (match.type in records) {
+        // scalar that maps to a record in `records`
+        type = "tuple";
+        components = { components: records[match.type] };
+    }
+    else {
+        type = match.type;
+    }
+    const witParameter = {
+        type: `${type}${match.array ?? ""}`,
+        ...name,
+        ...components,
+    };
+    // parameterCache.set(parameterCacheKey, witParameter);
+    //
+    return witParameter;
+}
+export const witKeywordRegex = /^(?:package|world|interface|contract|include|use|import|export|func|borrow|record|list|enum|flags|variant|option|result|tuple|bool|s8|s16|s32|s64|u8|u16|u32|u64|f32|f64|char|string)$/;
+export function isWitKeyword(word) {
+    return witKeywordRegex.test(word);
+}
+// class InvalidParenthesisError extends Error { constructor(public info: { current: string; depth: number }) { super('Unbalanced <>'); } }
+export function splitParameters(params, result = []) {
+    const s = params.trim();
+    if (s.length === 0)
+        return result;
+    let current = "";
+    let depth = 0; // nesting depth for <...>
+    for (let i = 0; i < s.length; i++) {
+        const ch = s[i];
+        if (ch === "<") {
+            depth += 1;
+            current += ch;
+            continue;
+        }
+        if (ch === ">") {
+            depth -= 1;
+            if (depth < 0)
+                throw new InvalidGenericDepthError({
+                    current: s.slice(0, i + 1),
+                    depth,
+                });
+            current += ch;
+            continue;
+        }
+        if (ch === "," && depth === 0) {
+            const tok = current.trim();
+            if (tok.length)
+                result.push(tok);
+            current = "";
+            continue;
+        }
+        current += ch;
+    }
+    if (depth !== 0)
+        throw new InvalidGenericDepthError({ current, depth });
+    const tail = current.trim();
+    if (tail.length)
+        result.push(tail);
+    return result;
+}
+export function parseSignature(signature, structs = {}) {
+    if (isFunctionSignature(signature))
+        return parseFunctionSignature(signature, structs);
+    throw new UnknownSignatureError({ signature });
+}
+export function parseFunctionSignature(signature, records = {}) {
+    const match = execFunctionSignature(signature);
+    if (!match)
+        throw new InvalidSignatureError({ signature, type: "func" });
+    const inputParams = splitParameters(match.parameters);
+    const inputs = [];
+    const inputLength = inputParams.length;
+    for (let i = 0; i < inputLength; i++) {
+        inputs.push(parseWitParameter(inputParams[i], {
+            records,
+        }));
+    }
+    const outputs = [];
+    if (match.returns) {
+        const outputParams = splitParameters(match.returns);
+        const outputLength = outputParams.length;
+        for (let i = 0; i < outputLength; i++) {
+            outputs.push(parseWitParameter(outputParams[i], {
+                records,
+            }));
+        }
+    }
+    const contextInput = inputs.shift();
+    return {
+        name: match.name,
+        type: "function",
+        context: contextInput?.type === "borrow<proc-context>"
+            ? "proc"
+            : contextInput?.type === "borrow<view-context>"
+                ? "view"
+                : "core",
+        inputs,
+        outputs,
+    };
+}
+//# sourceMappingURL=utils.js.map

package/dist/src/wit/wit-parser/core/utils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.js","sourceRoot":"","sources":["../../../../../src/wit/wit-parser/core/utils.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAC3D,OAAO,EACL,wBAAwB,EACxB,wBAAwB,GACzB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,qBAAqB,EACrB,qBAAqB,GACtB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,wBAAwB,EAAE,MAAM,6BAA6B,CAAC;AACvE,OAAO,EAAE,qBAAqB,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAO7E,EAAE;AACF,mCAAmC;AACnC,kKAAkK;AAClK,EAAE;AACF,MAAM,CAAC,MAAM,iBAAiB,GAC5B,8JAA8J,CAAC;AAEjK,MAAM,UAAU,SAAS,CAAC,IAAY;IACpC,OAAO,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;AAC1C,CAAC;AAED,MAAM,UAAU,WAAW,CACzB,IAAY;IAEZ,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IAC5C,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACjC,OAAO,CAAC,CAAC,MAAsB,CAAC;AAClC,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,KAAa,EAAE,OAAsB;IACrE,cAAc;IACd,kDAAkD;IAClD,WAAW;IACX,mBAAmB;IACnB,sBAAsB;IACtB,KAAK;IACL,6CAA6C;IAC7C,mDAAmD;IACnD,EAAE;IACF,EAAE;IAEF,MAAM,KAAK,GAAG,SAAS,CAIpB,iBAAiB,EAAE,KAAK,CAAC,CAAC;IAE7B,IAAI,CAAC,KAAK;QAAE,MAAM,IAAI,wBAAwB,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IAE1D,MAAM,aAAa,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAE5C,IAAI,KAAK,CAAC,IAAI,IAAI,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC;QACxC,MAAM,IAAI,wBAAwB,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IAElE,cAAc;IACd,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACpD,MAAM,OAAO,GAAG,OAAO,EAAE,OAAO,IAAI,EAAE,CAAC;IACvC,IAAI,IAAY,CAAC;IACjB,IAAI,UAAU,GAAG,EAAE,CAAC;IACpB,IAAI,aAAa,EAAE,CAAC;QAClB,MAAM,CAAC,GAAG,WAAW,CAAmC,KAAK,CAAC,IAAI,CAAE,CAAC;QACrE,MAAM,KAAK,GAAG,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAEvC,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;QAEnE,kDAAkD;QAClD,MAAM,YAAY,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAE1D,QAAQ,CAAC,CAAC,KAAK,EAAE,CAAC;YAChB,KAAK,MAAM,CAAC;YACZ,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACd,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBACxB,MAAM,IAAI,wBAAwB,CAAC;wBACjC,KAAK;qBACN,CAAC,CAAC;gBACL,CAAC;gBACD,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;gBACrB,IAAI,GAAG,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC;gBAE/B,6CAA6C;gBAC7C,UAAU,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC9D,MAAM;YACR,CAAC;YAED,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACd,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBACxB,MAAM,IAAI,wBAAwB,CAAC;wBACjC,KAAK;qBACN,CAAC,CAAC;gBACL,CAAC;gBACD,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;gBACxB,aAAa;gBACb,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;gBAEzB,IAAI,GAAG,UAAU,YAAY,GAAG,CAAC;gBAEjC,UAAU,GAAG;oBACX,GAAG,CAAC,IAAI,CAAC,UAAU,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC;oBACvD,gBAAgB;oBAChB,EAAE;oBACF,MAAM;oBACN,oBAAoB;oBACpB,uBAAuB;oBACvB,+DAA+D;oBAC/D,OAAO;oBACP,MAAM;oBACN,qBAAqB;oBACrB,wBAAwB;oBACxB,iEAAiE;oBACjE,OAAO;oBACP,KAAK;iBACN,CAAC;gBAEF,mFAAmF;gBACnF,iBAAiB;gBACjB,kBAAkB;gBAClB,QAAQ;gBACR,sBAAsB;gBACtB,yBAAyB;gBACzB,iEAAiE;gBACjE,SAAS;gBACT,QAAQ;gBACR,uBAAuB;gBACvB,0BAA0B;gBAC1B,mEAAmE;gBACnE,SAAS;gBACT,OAAO;gBACP,KAAK;gBACL,MAAM;YACR,CAAC;YAED,OAAO,CAAC,CAAC,CAAC;gBACR,IAAI,GAAG,GAAG,CAAC,CAAC,KAAK,IAAI,YAAY,GAAG,CAAC;gBACrC,UAAU,GAAG,EAAE,CAAC;YAClB,CAAC;QACH,CAAC;IACH,CAAC;SAAM,IAAI,KAAK,CAAC,IAAI,IAAI,OAAO,EAAE,CAAC;QACjC,4CAA4C;QAC5C,IAAI,GAAG,OAAO,CAAC;QACf,UAAU,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;IACnD,CAAC;SAAM,CAAC;QACN,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;IACpB,CAAC;IAED,MAAM,YAAY,GAAiB;QACjC,IAAI,EAAE,GAAG,IAAI,GAAG,KAAK,CAAC,KAAK,IAAI,EAAE,EAAE;QACnC,GAAI,IAAyB;QAC7B,GAAG,UAAU;KACd,CAAC;IACF,uDAAuD;IACvD,EAAE;IAEF,OAAO,YAAY,CAAC;AACtB,CAAC;AACD,MAAM,CAAC,MAAM,eAAe,GAC1B,wLAAwL,CAAC;AAE3L,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,OAAO,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACpC,CAAC;AAED,2IAA2I;AAE3I,MAAM,UAAU,eAAe,CAC7B,MAAc,EACd,SAAmB,EAAE;IAErB,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC;IACxB,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC;IAElC,IAAI,OAAO,GAAG,EAAE,CAAC;IACjB,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,0BAA0B;IAEzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAClC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC;QAEjB,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,KAAK,IAAI,CAAC,CAAC;YACX,OAAO,IAAI,EAAE,CAAC;YACd,SAAS;QACX,CAAC;QACD,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,KAAK,IAAI,CAAC,CAAC;YACX,IAAI,KAAK,GAAG,CAAC;gBACX,MAAM,IAAI,wBAAwB,CAAC;oBACjC,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;oBAC1B,KAAK;iBACN,CAAC,CAAC;YACL,OAAO,IAAI,EAAE,CAAC;YACd,SAAS;QACX,CAAC;QACD,IAAI,EAAE,KAAK,GAAG,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YAC9B,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;YAC3B,IAAI,GAAG,CAAC,MAAM;gBAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACjC,OAAO,GAAG,EAAE,CAAC;YACb,SAAS;QACX,CAAC;QAED,OAAO,IAAI,EAAE,CAAC;IAChB,CAAC;IAED,IAAI,KAAK,KAAK,CAAC;QAAE,MAAM,IAAI,wBAAwB,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;IACxE,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;IAC5B,IAAI,IAAI,CAAC,MAAM;QAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,SAAiB,EAAE,UAAwB,EAAE;IAC1E,IAAI,mBAAmB,CAAC,SAAS,CAAC;QAChC,OAAO,sBAAsB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAEpD,MAAM,IAAI,qBAAqB,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC;AACjD,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,SAAiB,EACjB,UAAwB,EAAE;IAE1B,MAAM,KAAK,GAAG,qBAAqB,CAAC,SAAS,CAAC,CAAC;IAC/C,IAAI,CAAC,KAAK;QAAE,MAAM,IAAI,qBAAqB,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;IAEzE,MAAM,WAAW,GAAG,eAAe,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IACtD,MAAM,MAAM,GAAG,EAAE,CAAC;IAClB,MAAM,WAAW,GAAG,WAAW,CAAC,MAAM,CAAC;IACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,CAAC,IAAI,CACT,iBAAiB,CAAC,WAAW,CAAC,CAAC,CAAE,EAAE;YACjC,OAAO;SACR,CAAC,CACH,CAAC;IACJ,CAAC;IAED,MAAM,OAAO,GAAG,EAAE,CAAC;IACnB,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QAClB,MAAM,YAAY,GAAG,eAAe,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACpD,MAAM,YAAY,GAAG,YAAY,CAAC,MAAM,CAAC;QACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,YAAY,EAAE,CAAC,EAAE,EAAE,CAAC;YACtC,OAAO,CAAC,IAAI,CACV,iBAAiB,CAAC,YAAY,CAAC,CAAC,CAAE,EAAE;gBAClC,OAAO;aACR,CAAC,CACH,CAAC;QACJ,CAAC;IACH,CAAC;IAED,MAAM,YAAY,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC;IAEpC,OAAO;QACL,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,IAAI,EAAE,UAAU;QAChB,OAAO,EACL,YAAY,EAAE,IAAI,KAAK,sBAAsB;YAC3C,CAAC,CAAC,MAAM;YACR,CAAC,CAAC,YAAY,EAAE,IAAI,KAAK,sBAAsB;gBAC7C,CAAC,CAAC,MAAM;gBACR,CAAC,CAAC,MAAM;QACd,MAAM;QACN,OAAO;KACR,CAAC;AACJ,CAAC"}

package/dist/src/wit/wit-parser/core/utils.test.js

@@ -0,0 +1,302 @@
+import { expect, test, describe } from "vitest";
+import { parseWitParameter, splitParameters, parseFunctionSignature, } from "./utils.js";
+const parseOptions = {
+    records: {
+        "contract-address": [
+            { name: "name", type: "string" },
+            { name: "height", type: "s64" },
+            { name: "tx-index", type: "s64" },
+        ],
+    },
+};
+describe("parseFunctionSignature", () => {
+    test.each([
+        {
+            input: "export fib: func(ctx: borrow<proc-context>, arith-address: contract-address, n: u64) -> u64;",
+            expected: {
+                context: "proc",
+                inputs: [
+                    {
+                        name: "arith-address",
+                        type: "contract-address",
+                    },
+                    {
+                        name: "n",
+                        type: "u64",
+                    },
+                ],
+                name: "fib",
+                outputs: [
+                    {
+                        type: "u64",
+                    },
+                ],
+                type: "function",
+            },
+        },
+        {
+            input: "export cached-values: func(ctx: borrow<view-context>) -> list<u64>;",
+            expected: {
+                context: "view",
+                inputs: [],
+                name: "cached-values",
+                outputs: [
+                    {
+                        type: "list<u64>",
+                    },
+                ],
+                type: "function",
+            },
+        },
+    ])("parseFunctionSignature($input)", ({ input, expected }) => {
+        expect(parseFunctionSignature(input)).toEqual(expected);
+    });
+});
+describe("parseWitParameter", () => {
+    test.each([
+        {
+            parameter: "ctx: borrow<proc-context>",
+            expected: {
+                name: "ctx",
+                type: "borrow<proc-context>",
+            },
+        },
+        {
+            parameter: "arith-address: contract-address",
+            expected: {
+                name: "arith-address",
+                type: "tuple",
+                components: [
+                    { name: "name", type: "string" },
+                    { name: "height", type: "s64" },
+                    { name: "tx-index", type: "s64" },
+                ],
+            },
+        },
+        {
+            parameter: "n: u64",
+            expected: {
+                name: "n",
+                type: "u64",
+            },
+        },
+        {
+            parameter: "y: string",
+            expected: {
+                name: "y",
+                type: "string",
+            },
+        },
+        {
+            parameter: "list-of-strings: list<string>",
+            expected: {
+                name: "list-of-strings",
+                type: "list<string>",
+            },
+        },
+        {
+            parameter: "arith-addresses: list<contract-address>",
+            expected: {
+                name: "arith-addresses",
+                type: "list<tuple>",
+                components: [
+                    { name: "name", type: "string" },
+                    { name: "height", type: "s64" },
+                    { name: "tx-index", type: "s64" },
+                ],
+            },
+        },
+        {
+            parameter: "list<contract-address>",
+            expected: {
+                type: "list<tuple>",
+                components: [
+                    { name: "name", type: "string" },
+                    { name: "height", type: "s64" },
+                    { name: "tx-index", type: "s64" },
+                ],
+            },
+        },
+        {
+            parameter: "option<contract-address>",
+            expected: {
+                type: "option<tuple>",
+                components: [
+                    { name: "name", type: "string" },
+                    { name: "height", type: "s64" },
+                    { name: "tx-index", type: "s64" },
+                ],
+            },
+        },
+        {
+            parameter: "result<contract-address, error>",
+            expected: {
+                type: "result<tuple, error>",
+                components: [
+                    { name: "name", type: "string" },
+                    { name: "height", type: "s64" },
+                    { name: "tx-index", type: "s64" },
+                ],
+            },
+        },
+        {
+            parameter: "result<list<contract-address>, error>",
+            expected: {
+                type: "result<list<tuple>, error>",
+                components: [
+                    { name: "name", type: "string" },
+                    { name: "height", type: "s64" },
+                    { name: "tx-index", type: "s64" },
+                ],
+            },
+        },
+        // {
+        //   parameter: "result<string, list<option<contract-address>>>",
+        //   expected: {
+        //     type: "result<string, list<option<tuple>>>",
+        //     components: [
+        //       { name: "left", type: "string" },
+        //       {
+        //         name: "right",
+        //         type: "list<option<tuple>>",
+        //         components: [
+        //           { name: "name", type: "string" },
+        //           { name: "height", type: "s64" },
+        //           { name: "tx-index", type: "s64" },
+        //         ],
+        //       },
+        //     ],
+        //   },
+        // },
+        // {
+        //   parameter: "result<string, list<result<string, contract-address>>>",
+        //   expected: {
+        //     type: "result<string, list<result<string, tuple>>>",
+        //     components: [
+        //       { name: "left", type: "string" },
+        //       {
+        //         name: "right",
+        //         type: "list<result<string, tuple>>",
+        //         components: [
+        //           { name: "left", type: "string" },
+        //           {
+        //             name: "right",
+        //             type: "tuple",
+        //             components: [
+        //               { name: "name", type: "string" },
+        //               { name: "height", type: "s64" },
+        //               { name: "tx-index", type: "s64" },
+        //             ],
+        //           },
+        //         ],
+        //       },
+        //     ],
+        //   },
+        // },
+        // {
+        //   parameter:
+        //     "result<string, list<result<string, option<contract-address>>>>",
+        //   expected: {
+        //     type: "result<string, list<result<string, option<tuple>>>>",
+        //     components: [
+        //       { name: "left", type: "string" },
+        //       {
+        //         name: "right",
+        //         type: "list<result<string, option<tuple>>>",
+        //         components: [
+        //           { name: "left", type: "string" },
+        //           {
+        //             name: "right",
+        //             type: "option<tuple>",
+        //             components: [
+        //               { name: "name", type: "string" },
+        //               { name: "height", type: "s64" },
+        //               { name: "tx-index", type: "s64" },
+        //             ],
+        //           },
+        //         ],
+        //       },
+        //     ],
+        //   },
+        // },
+        // {
+        //   parameter: "option<list<result<string, contract-address>>>",
+        //   expected: {
+        //     type: "option<list<result<string, tuple>>>",
+        //     components: [
+        //       { type: "string", name: "left" },
+        //       {
+        //         name: "right",
+        //         type: "tuple",
+        //         components: [
+        //           { type: "string", name: "name" },
+        //           { name: "height", type: "s64" },
+        //           { name: "tx-index", type: "s64" },
+        //         ],
+        //       },
+        //     ],
+        //   },
+        // },
+    ])("parseWitParameter($parameter)", ({ parameter, expected }) => {
+        expect(parseWitParameter(parameter, parseOptions)).toEqual(expected);
+    });
+});
+// import { InvalidGenericSyntaxError } from "./errors";
+describe("splitParameters (WIT generics, only < > nesting)", () => {
+    test("empty / whitespace", () => {
+        expect(splitParameters("")).toEqual([]);
+        expect(splitParameters("   ")).toEqual([]);
+    });
+    test("simple top-level commas", () => {
+        expect(splitParameters("a, b, c")).toEqual(["a", "b", "c"]);
+        expect(splitParameters("  a  ,   b ,c ")).toEqual(["a", "b", "c"]);
+    });
+    test("does not split inside < >", () => {
+        expect(splitParameters("tuple<u64, list<string>>")).toEqual([
+            "tuple<u64, list<string>>",
+        ]);
+        expect(splitParameters("result<integer, error>")).toEqual([
+            "result<integer, error>",
+        ]);
+        expect(splitParameters("map<string, list<result<u64, error>>>")).toEqual([
+            "map<string, list<result<u64, error>>>",
+        ]);
+    });
+    test("mixed: top-level params that contain nested generics", () => {
+        const input = "ctx: borrow<proc-context>, pair: list<result<token-pair, error>>, n: u64";
+        expect(splitParameters(input)).toEqual([
+            "ctx: borrow<proc-context>",
+            "pair: list<result<token-pair, error>>",
+            "n: u64",
+        ]);
+    });
+    test("deep nesting", () => {
+        const input = "outer<mid<inner<u8, list<u16>>>>";
+        expect(splitParameters(input)).toEqual([
+            "outer<mid<inner<u8, list<u16>>>>",
+        ]);
+    });
+    test("handles trailing comma by ignoring empty token", () => {
+        expect(splitParameters("a, b<z, y>,")) // trailing comma
+            .toEqual(["a", "b<z, y>"]);
+    });
+    test("ignores empty segments from duplicate commas", () => {
+        expect(splitParameters("a,,b")).toEqual(["a", "b"]);
+        expect(splitParameters(",a,b,")).toEqual(["a", "b"]);
+    });
+    test("throws on unbalanced opener", () => {
+        expect(() => splitParameters("a<b,c")).toThrow(); // e.g., InvalidGenericSyntaxError
+    });
+    test("throws on stray closer", () => {
+        expect(() => splitParameters("a,b>")).toThrow();
+    });
+    test("complex function-style params", () => {
+        const input = "ctx: borrow<proc-context>, result: result<tuple<u64, list<string>>, error>, flag: bool";
+        expect(splitParameters(input)).toEqual([
+            "ctx: borrow<proc-context>",
+            "result: result<tuple<u64, list<string>>, error>",
+            "flag: bool",
+        ]);
+    });
+});
+//# sourceMappingURL=utils.test.js.map