tawasuyu/brahman

1//! `charka-runtime` — el soporte de ejecución de los programas COBOL
2//! transpilados.
3//!
4//! Lo que `charka-codegen` emite no es Rust autónomo: es Rust que
5//! enlaza contra esta biblioteca. Aquí viven los tipos que dan a un
6//! programa transpilado la semántica de COBOL en tiempo de ejecución:
7//!
8//! - [`Num`] — un campo numérico (`PIC 9(5)V99`): un [`Decimal`] de
9//!   punto fijo conformado a su [`Picture`]. Toda asignación trunca a
10//!   la escala y al tamaño declarados, como el `MOVE` de COBOL.
11//! - [`Text`] — un campo alfanumérico (`PIC X(20)`) de longitud fija:
12//!   toda asignación justifica a la izquierda y rellena o trunca.
13//!
14//! La aritmética decimal exacta la aporta `charka-bcd`, cuyos tipos
15//! ([`Decimal`], [`Picture`], [`Rounding`]) se reexportan para que el
16//! código generado sólo necesite `use charka_runtime::*;`.
17
18#![forbid(unsafe_code)]
19
20mod num;
21mod text;
22
23pub use charka_bcd::{Decimal, Picture, Rounding};
24pub use num::Num;
25pub use text::Text;
26
27use std::cmp::Ordering;
28
29/// Compara dos campos alfanuméricos con la semántica de COBOL: el más
30/// corto se considera rellenado con espacios a la derecha, de modo que
31/// `"AB"` y `"AB  "` son iguales.
32pub fn cobol_text_cmp(a: &str, b: &str) -> Ordering {
33    let n = a.chars().count().max(b.chars().count());
34    let padded = |s: &str| -> Vec<char> {
35        let mut v: Vec<char> = s.chars().collect();
36        while v.len() < n {
37            v.push(' ');
38        }
39        v
40    };
41    padded(a).cmp(&padded(b))
42}
43
44#[cfg(test)]
45mod tests {
46    use super::*;
47
48    #[test]
49    fn text_cmp_orders_lexically() {
50        assert_eq!(cobol_text_cmp("ABC", "ABD"), Ordering::Less);
51        assert_eq!(cobol_text_cmp("ABD", "ABC"), Ordering::Greater);
52        assert_eq!(cobol_text_cmp("ABC", "ABC"), Ordering::Equal);
53    }
54
55    #[test]
56    fn text_cmp_pads_the_shorter_with_spaces() {
57        assert_eq!(cobol_text_cmp("AB", "AB  "), Ordering::Equal);
58        assert_eq!(cobol_text_cmp("AB", "ABC"), Ordering::Less);
59    }
60
61    #[test]
62    fn fields_compose_for_generated_code() {
63        // Un mini-programa transpilado a mano: WS-CT crece, WS-MSG fijo.
64        let mut ws_ct = Num::with_value(Picture::new(3, 0, false), "0");
65        ws_ct.store(ws_ct.value().add(&Decimal::from_integer(5)));
66        assert_eq!(ws_ct.display(), "005");
67
68        let mut ws_msg = Text::new(10);
69        ws_msg.store("LISTO");
70        assert_eq!(ws_msg.as_str(), "LISTO     ");
71    }
72}