@miguelduran14/knowflow 0.1.1

package/dist/pic.js

@@ -0,0 +1,197 @@
+/**
+ * Expande repeticiones en una cláusula PIC.
+ * "X(10)" → "XXXXXXXXXX", "9(3)V9(2)" → "999V99"
+ */
+function expandPic(raw) {
+    return raw.replace(/([XABSV9P0Z*+\-,./$])\((\d+)\)/gi, (_m, ch, n) => ch.repeat(Number(n)));
+}
+function normalizeUsage(usage) {
+    return (usage ?? 'DISPLAY').toUpperCase().replace(/[-\s]/g, '');
+}
+/**
+ * Tamaño de un campo binario (COMP/BINARY) según el número de dígitos
+ * decimales que representa — convención estándar IBM Enterprise COBOL:
+ * 1-4 dígitos → halfword (2 bytes), 5-9 → fullword (4 bytes), 10-18 → doubleword (8 bytes).
+ */
+function binarySize(totalDigits) {
+    if (totalDigits <= 4)
+        return 2;
+    if (totalDigits <= 9)
+        return 4;
+    return 8;
+}
+/**
+ * Determina si un PIC expandido es numérico, editado-numérico o alfanumérico.
+ * Numérico puro: solo 9, S, V, P.
+ * Editado numérico: contiene algún carácter de edición — Z y * (supresión),
+ * + y - (signo), $ (moneda), coma, punto, barra, B (espacio), 0 (inserción
+ * de cero), o los sufijos CR/DB.
+ * Alfanumérico: contiene X o A.
+ *
+ * Se ejecuta sobre el PIC ya expandido, así que el 0 de `9(10)` no llega
+ * hasta aquí: solo se ve un 0 escrito como posición de inserción.
+ */
+function classifyPic(expanded) {
+    if (/[XA]/i.test(expanded))
+        return 'alphanumeric';
+    if (/[Z*+\-,./B0$]|CR|DB/i.test(expanded))
+        return 'numeric-edited';
+    return 'numeric';
+}
+/**
+ * Cuenta bytes DISPLAY de un PIC expandido. Cada carácter posicional = 1 byte,
+ * excepto V (decimal implícito, 0 bytes), S (signo embebido, 0 bytes a menos
+ * que SIGN SEPARATE), y CR/DB (2 bytes cada uno — pero en el expandido cada
+ * letra ya está separada: C, R se cuentan individualmente, 1+1=2).
+ */
+function displayBytes(expanded, signSeparate) {
+    let bytes = 0;
+    for (const ch of expanded) {
+        const upper = ch.toUpperCase();
+        if (upper === 'V')
+            continue;
+        if (upper === 'S') {
+            if (signSeparate)
+                bytes++;
+            continue;
+        }
+        // P (scaling) no ocupa byte físico
+        if (upper === 'P')
+            continue;
+        bytes++;
+    }
+    return bytes || 1;
+}
+/**
+ * Cuenta las posiciones de dígito de un PIC expandido: 9, Z y * (los dos
+ * últimos son dígitos suprimibles, no adornos) y P (scaling, que cuenta
+ * como dígito aunque no ocupe byte). El signo (S, + o -) y los caracteres
+ * de inserción (coma, barra, B, 0, CR, DB) NO son dígitos.
+ *
+ * La parte decimal se separa por V (decimal implícito) o por el punto de
+ * un PIC editado: en `ZZ,ZZ9.99` los dos últimos 9 son decimales, igual
+ * que en `9(5)V99`.
+ */
+function countDigits(expanded) {
+    const noSign = expanded.replace(/^S/i, '');
+    const parts = noSign.split(/[V.]/i);
+    const intPart = parts[0] ?? '';
+    const decPart = parts[1] ?? '';
+    function digitCount(s) {
+        let count = 0;
+        for (const ch of s) {
+            const upper = ch.toUpperCase();
+            if (upper === '9' || upper === 'Z' || upper === '*' || upper === 'P')
+                count++;
+        }
+        return count;
+    }
+    const intDigits = digitCount(intPart);
+    const decDigits = digitCount(decPart);
+    return { total: intDigits + decDigits, decimal: decDigits };
+}
+/**
+ * Parsea una cláusula PIC (y USAGE) y calcula tipo y longitud en bytes.
+ * COMP-1/COMP-2 no requieren PIC — su tamaño es fijo (float de 4/8 bytes).
+ */
+export function parsePic(rawPicture, usage, options) {
+    const normalizedUsage = normalizeUsage(usage);
+    const picture = (rawPicture ?? '').toUpperCase().replace(/\s+/g, '');
+    if (normalizedUsage === 'COMP1') {
+        return { type: 'float-single', picture, totalDigits: 0, decimalDigits: 0, lengthInBytes: 4 };
+    }
+    if (normalizedUsage === 'COMP2') {
+        return { type: 'float-double', picture, totalDigits: 0, decimalDigits: 0, lengthInBytes: 8 };
+    }
+    // Punteros e índices no llevan PIC: su tamaño lo fija el USAGE. Tamaños
+    // de IBM Enterprise COBOL en AMODE 31, que es el modo por defecto; en
+    // LP64 un POINTER son 8 bytes.
+    if (normalizedUsage === 'POINTER' || normalizedUsage === 'FUNCTIONPOINTER') {
+        return { type: 'pointer', picture, totalDigits: 0, decimalDigits: 0, lengthInBytes: 4 };
+    }
+    if (normalizedUsage === 'PROCEDUREPOINTER') {
+        return { type: 'pointer', picture, totalDigits: 0, decimalDigits: 0, lengthInBytes: 8 };
+    }
+    if (normalizedUsage === 'INDEX') {
+        return { type: 'index', picture, totalDigits: 0, decimalDigits: 0, lengthInBytes: 4 };
+    }
+    const expanded = expandPic(picture);
+    const classification = classifyPic(expanded);
+    if (classification === 'alphanumeric') {
+        const len = displayBytes(expanded, false);
+        return {
+            type: 'alphanumeric',
+            picture,
+            totalDigits: 0,
+            decimalDigits: 0,
+            lengthInBytes: len,
+        };
+    }
+    const { total: totalDigits, decimal: decDigits } = countDigits(expanded);
+    if (normalizedUsage === 'COMP3' || normalizedUsage === 'PACKEDDECIMAL') {
+        const bytes = Math.ceil((totalDigits + 1) / 2);
+        return {
+            type: 'packed-decimal',
+            picture,
+            totalDigits,
+            decimalDigits: decDigits,
+            lengthInBytes: bytes,
+        };
+    }
+    if (normalizedUsage === 'COMP' || normalizedUsage === 'BINARY') {
+        return {
+            type: 'binary',
+            picture,
+            totalDigits,
+            decimalDigits: decDigits,
+            lengthInBytes: binarySize(totalDigits),
+        };
+    }
+    const bytes = displayBytes(expanded, options?.signSeparate === true);
+    return {
+        // Un PIC editado es un campo de presentación: los caracteres de
+        // inserción ocupan bytes reales pero no son dígitos con los que
+        // se pueda operar. Distinguirlo evita que la tabla de esquema
+        // sugiera que ZZ,ZZ9.99 se comporta como 9(7)V99.
+        type: classification === 'numeric-edited' ? 'numeric-edited' : 'numeric',
+        picture,
+        totalDigits,
+        decimalDigits: decDigits,
+        lengthInBytes: bytes,
+    };
+}
+/** USAGE que no requiere PIC para determinar su tamaño (floats, punteros, índices) */
+export function usageImpliesFixedSize(usage) {
+    const n = normalizeUsage(usage);
+    return (n === 'COMP1' ||
+        n === 'COMP2' ||
+        n === 'POINTER' ||
+        n === 'PROCEDUREPOINTER' ||
+        n === 'FUNCTIONPOINTER' ||
+        n === 'INDEX');
+}
+/**
+ * Frontera de alineación en bytes que exige un campo, o 1 si no exige
+ * ninguna. SYNCHRONIZED alinea los binarios y los flotantes; los punteros
+ * y los índices van alineados siempre, lleven SYNC o no.
+ *
+ * La alineación es relativa al principio del registro 01, y los bytes de
+ * relleno que deja delante no pertenecen a ningún campo — por eso hay que
+ * contarlos para que los offsets siguientes sean ciertos.
+ */
+export function alignmentOf(type, lengthInBytes, synchronized) {
+    if (type === 'pointer' || type === 'index')
+        return lengthInBytes >= 8 ? 8 : 4;
+    if (!synchronized)
+        return 1;
+    if (type === 'float-single')
+        return 4;
+    if (type === 'float-double')
+        return 8;
+    // Binario: media palabra, palabra o doble palabra según su tamaño.
+    if (type === 'binary')
+        return lengthInBytes >= 8 ? 8 : lengthInBytes >= 4 ? 4 : 2;
+    // DISPLAY y COMP-3 no se alinean: SYNC no les afecta.
+    return 1;
+}
+//# sourceMappingURL=pic.js.map

package/dist/pic.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pic.js","sourceRoot":"","sources":["../src/pic.ts"],"names":[],"mappings":"AAeA;;;GAGG;AACH,SAAS,SAAS,CAAC,GAAW;IAC5B,OAAO,GAAG,CAAC,OAAO,CAAC,kCAAkC,EAAE,CAAC,EAAE,EAAE,EAAU,EAAE,CAAS,EAAE,EAAE,CACnF,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CACrB,CAAA;AACH,CAAC;AAED,SAAS,cAAc,CAAC,KAAc;IACpC,OAAO,CAAC,KAAK,IAAI,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAA;AACjE,CAAC;AAED;;;;GAIG;AACH,SAAS,UAAU,CAAC,WAAmB;IACrC,IAAI,WAAW,IAAI,CAAC;QAAE,OAAO,CAAC,CAAA;IAC9B,IAAI,WAAW,IAAI,CAAC;QAAE,OAAO,CAAC,CAAA;IAC9B,OAAO,CAAC,CAAA;AACV,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,WAAW,CAAC,QAAgB;IACnC,IAAI,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC;QAAE,OAAO,cAAc,CAAA;IACjD,IAAI,sBAAsB,CAAC,IAAI,CAAC,QAAQ,CAAC;QAAE,OAAO,gBAAgB,CAAA;IAClE,OAAO,SAAS,CAAA;AAClB,CAAC;AAED;;;;;GAKG;AACH,SAAS,YAAY,CAAC,QAAgB,EAAE,YAAqB;IAC3D,IAAI,KAAK,GAAG,CAAC,CAAA;IACb,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,EAAE,CAAC,WAAW,EAAE,CAAA;QAC9B,IAAI,KAAK,KAAK,GAAG;YAAE,SAAQ;QAC3B,IAAI,KAAK,KAAK,GAAG,EAAE,CAAC;YAClB,IAAI,YAAY;gBAAE,KAAK,EAAE,CAAA;YACzB,SAAQ;QACV,CAAC;QACD,mCAAmC;QACnC,IAAI,KAAK,KAAK,GAAG;YAAE,SAAQ;QAC3B,KAAK,EAAE,CAAA;IACT,CAAC;IACD,OAAO,KAAK,IAAI,CAAC,CAAA;AACnB,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,WAAW,CAAC,QAAgB;IACnC,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAA;IAC1C,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;IACnC,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;IAC9B,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;IAE9B,SAAS,UAAU,CAAC,CAAS;QAC3B,IAAI,KAAK,GAAG,CAAC,CAAA;QACb,KAAK,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;YACnB,MAAM,KAAK,GAAG,EAAE,CAAC,WAAW,EAAE,CAAA;YAC9B,IAAI,KAAK,KAAK,GAAG,IAAI,KAAK,KAAK,GAAG,IAAI,KAAK,KAAK,GAAG,IAAI,KAAK,KAAK,GAAG;gBAAE,KAAK,EAAE,CAAA;QAC/E,CAAC;QACD,OAAO,KAAK,CAAA;IACd,CAAC;IAED,MAAM,SAAS,GAAG,UAAU,CAAC,OAAO,CAAC,CAAA;IACrC,MAAM,SAAS,GAAG,UAAU,CAAC,OAAO,CAAC,CAAA;IACrC,OAAO,EAAE,KAAK,EAAE,SAAS,GAAG,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,CAAA;AAC7D,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,QAAQ,CAAC,UAA8B,EAAE,KAAc,EAAE,OAAyB;IAChG,MAAM,eAAe,GAAG,cAAc,CAAC,KAAK,CAAC,CAAA;IAC7C,MAAM,OAAO,GAAG,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAA;IAEpE,IAAI,eAAe,KAAK,OAAO,EAAE,CAAC;QAChC,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,CAAA;IAC9F,CAAC;IAED,IAAI,eAAe,KAAK,OAAO,EAAE,CAAC;QAChC,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,CAAA;IAC9F,CAAC;IAED,wEAAwE;IACxE,sEAAsE;IACtE,+BAA+B;IAC/B,IAAI,eAAe,KAAK,SAAS,IAAI,eAAe,KAAK,iBAAiB,EAAE,CAAC;QAC3E,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,CAAA;IACzF,CAAC;IAED,IAAI,eAAe,KAAK,kBAAkB,EAAE,CAAC;QAC3C,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,CAAA;IACzF,CAAC;IAED,IAAI,eAAe,KAAK,OAAO,EAAE,CAAC;QAChC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,CAAA;IACvF,CAAC;IAED,MAAM,QAAQ,GAAG,SAAS,CAAC,OAAO,CAAC,CAAA;IACnC,MAAM,cAAc,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAA;IAE5C,IAAI,cAAc,KAAK,cAAc,EAAE,CAAC;QACtC,MAAM,GAAG,GAAG,YAAY,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAA;QACzC,OAAO;YACL,IAAI,EAAE,cAAc;YACpB,OAAO;YACP,WAAW,EAAE,CAAC;YACd,aAAa,EAAE,CAAC;YAChB,aAAa,EAAE,GAAG;SACnB,CAAA;IACH,CAAC;IAED,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,SAAS,EAAE,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAA;IAExE,IAAI,eAAe,KAAK,OAAO,IAAI,eAAe,KAAK,eAAe,EAAE,CAAC;QACvE,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,WAAW,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;QAC9C,OAAO;YACL,IAAI,EAAE,gBAAgB;YACtB,OAAO;YACP,WAAW;YACX,aAAa,EAAE,SAAS;YACxB,aAAa,EAAE,KAAK;SACrB,CAAA;IACH,CAAC;IAED,IAAI,eAAe,KAAK,MAAM,IAAI,eAAe,KAAK,QAAQ,EAAE,CAAC;QAC/D,OAAO;YACL,IAAI,EAAE,QAAQ;YACd,OAAO;YACP,WAAW;YACX,aAAa,EAAE,SAAS;YACxB,aAAa,EAAE,UAAU,CAAC,WAAW,CAAC;SACvC,CAAA;IACH,CAAC;IAED,MAAM,KAAK,GAAG,YAAY,CAAC,QAAQ,EAAE,OAAO,EAAE,YAAY,KAAK,IAAI,CAAC,CAAA;IAEpE,OAAO;QACL,gEAAgE;QAChE,gEAAgE;QAChE,8DAA8D;QAC9D,kDAAkD;QAClD,IAAI,EAAE,cAAc,KAAK,gBAAgB,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,SAAS;QACxE,OAAO;QACP,WAAW;QACX,aAAa,EAAE,SAAS;QACxB,aAAa,EAAE,KAAK;KACrB,CAAA;AACH,CAAC;AAED,sFAAsF;AACtF,MAAM,UAAU,qBAAqB,CAAC,KAAc;IAClD,MAAM,CAAC,GAAG,cAAc,CAAC,KAAK,CAAC,CAAA;IAC/B,OAAO,CACL,CAAC,KAAK,OAAO;QACb,CAAC,KAAK,OAAO;QACb,CAAC,KAAK,SAAS;QACf,CAAC,KAAK,kBAAkB;QACxB,CAAC,KAAK,iBAAiB;QACvB,CAAC,KAAK,OAAO,CACd,CAAA;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,WAAW,CAAC,IAAc,EAAE,aAAqB,EAAE,YAAqB;IACtF,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,OAAO;QAAE,OAAO,aAAa,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IAC7E,IAAI,CAAC,YAAY;QAAE,OAAO,CAAC,CAAA;IAC3B,IAAI,IAAI,KAAK,cAAc;QAAE,OAAO,CAAC,CAAA;IACrC,IAAI,IAAI,KAAK,cAAc;QAAE,OAAO,CAAC,CAAA;IACrC,mEAAmE;IACnE,IAAI,IAAI,KAAK,QAAQ;QAAE,OAAO,aAAa,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACjF,sDAAsD;IACtD,OAAO,CAAC,CAAA;AACV,CAAC"}

package/dist/references.d.ts

@@ -0,0 +1,24 @@
+import type { ParseResult, ReferenceResult } from './types.js';
+/**
+ * Where-used por campo: para cada data-name del esquema, dónde se LEE y
+ * dónde se ESCRIBE en la PROCEDURE DIVISION, anclado a párrafo y línea.
+ *
+ * Misma disciplina que el resto del motor (ADR-0003): se reconoce un
+ * subconjunto de verbos con reparto de roles bien definido (MOVE, COMPUTE,
+ * la aritmética, SET, INITIALIZE, STRING/UNSTRING, INSPECT, READ/RETURN
+ * INTO, WRITE/REWRITE FROM, PERFORM VARYING, los contextos de condición) y
+ * los host variables de EXEC SQL/CICS. Todo lo demás se MARCA, no se
+ * inventa:
+ *   - un argumento BY REFERENCE de una CALL, un MOVE CORRESPONDING, un
+ *     host variable de SQL dinámico o un homónimo del esquema → `uncertain`;
+ *   - una ocurrencia real de un campo en un verbo que el motor no modela
+ *     todavía → `unclassified` (se toca ahí, pero no se afirma el rol);
+ *   - un nombre en posición de operando que no casa con el esquema →
+ *     `unknownNames` (puede estar en un copybook ausente).
+ *
+ * El rol se decide por la SENTENCIA completa, no por la línea: una MOVE
+ * puede repartirse en varias líneas y el operando destino está tras el TO.
+ * Por eso se acumula el texto hasta el punto y se trocea por verbos, con
+ * un mapa offset→línea para anclar cada token a su línea real del fuente.
+ */
+export declare function collectReferences(source: string, data?: ParseResult | undefined): ReferenceResult;