gioser

tawasuyu/brahman

Rust 476TOML 190Markdown 50JSON 176602 Definiciones

⎇ 4d9ce11b1e444430e6e2bcc0a72baa1d40a4527c crates/modules/charka/corpus/README.md Markdown · 32 líneas · 1.6 KB Historia crudo

feat(charka): charka-shadow — validador en sombra + corpus COBOL 4d9ce11b1 · sergio ·

1# Corpus COBOL de charka
2
3Programas COBOL de prueba, de complejidad **graduada**, para ejercitar
4el pipeline completo del transpilador (lexer → parser → IR → codegen) y
5el validador en sombra `charka-shadow`.
6
7Cada programa `NN-nombre.cob` viene con su `NN-nombre.expected`: la
8salida correcta, una línea por `DISPLAY`.
9
10| programa            | nivel | qué ejercita                                       |
11| ------------------- | ----- | -------------------------------------------------- |
12| `01-hola`           | 1     | el programa mínimo — un `DISPLAY` de literal       |
13| `02-aritmetica`     | 2     | datos, `ADD`/`SUBTRACT`/`MULTIPLY` con `GIVING`    |
14| `03-condicional`    | 3     | `IF` / `ELSE` / `END-IF`                           |
15| `04-bucle`          | 4     | `PERFORM n TIMES`, un párrafo aparte, `ADD` in situ|
16| `05-factorial`      | 4     | `PERFORM UNTIL` en línea, `MULTIPLY` in situ       |
17| `06-nomina`         | 5     | grupos, `COMPUTE` con paréntesis, `ROUNDED`, V99   |
18| `07-clasificar`     | 5     | `IF` anidado, condiciones con `AND`                |
19
20## Formato
21
22Los fuentes están en **formato libre** de COBOL (la línea entera es
23código; `*` al inicio es comentario). El comparador del validador
24**ignora los espacios finales** de cada línea — un campo `PIC X(n)` se
25muestra con su relleno de espacios, que aquí se omite por legibilidad.
26
27## La salida esperada
28
29Las `.expected` se derivaron a mano de la semántica de COBOL'85. Cuando
30GnuCOBOL esté disponible, `charka-shadow` podrá regenerarlas desde el
31compilador de referencia y diferenciar contra él — el modo «sombra»
32pleno (original vs transpilado).

README.md

Corpus COBOL de charka

Programas COBOL de prueba, de complejidad graduada, para ejercitar el pipeline completo del transpilador (lexer → parser → IR → codegen) y el validador en sombra charka-shadow.

Cada programa NN-nombre.cob viene con su NN-nombre.expected: la salida correcta, una línea por DISPLAY.

programanivelqué ejercita
01-hola1el programa mínimo — un DISPLAY de literal
02-aritmetica2datos, ADD/SUBTRACT/MULTIPLY con GIVING
03-condicional3IF / ELSE / END-IF
04-bucle4PERFORM n TIMES, un párrafo aparte, ADD in situ
05-factorial4PERFORM UNTIL en línea, MULTIPLY in situ
06-nomina5grupos, COMPUTE con paréntesis, ROUNDED, V99
07-clasificar5IF anidado, condiciones con AND

Formato

Los fuentes están en formato libre de COBOL (la línea entera es código; * al inicio es comentario). El comparador del validador ignora los espacios finales de cada línea — un campo PIC X(n) se muestra con su relleno de espacios, que aquí se omite por legibilidad.

La salida esperada

Las .expected se derivaron a mano de la semántica de COBOL'85. Cuando GnuCOBOL esté disponible, charka-shadow podrá regenerarlas desde el compilador de referencia y diferenciar contra él — el modo «sombra» pleno (original vs transpilado).