ironwork_rt/lir/
collating.rs

1//! The program's collating sequence (lir.md §4), as exec/src/collating.rs builds it from the ALPHABET
2//! that PROGRAM COLLATING SEQUENCE names.
3
4use crate::{codec_enum, codec_struct};
5
6/// What alphanumeric comparisons, HIGH-VALUE and LOW-VALUE, FUNCTION CHAR and ORD, and a file SORT
7/// without its own COLLATING SEQUENCE follow.
8#[derive(Clone, Debug, PartialEq, Eq)]
9pub enum Collating {
10    /// EBCDIC: each byte its own position, HIGH-VALUE X'FF' and LOW-VALUE X'00'.
11    Native,
12    Sequence(Sequence),
13}
14
15/// `positions` gives each byte's position from 0, where characters that collate equal share one;
16/// `characters` the first character given each position, which FUNCTION CHAR returns.
17#[derive(Clone, Debug, PartialEq, Eq)]
18pub struct Sequence {
19    pub positions: Box<[u8; 256]>,
20    pub characters: Vec<u8>,
21    /// The last character of the highest position and the first of the lowest.
22    pub high_value: u8,
23    pub low_value: u8,
24}
25
26codec_enum!(Collating { Native = 0, Sequence(sequence) = 1 });
27codec_struct!(Sequence { positions, characters, high_value, low_value } check sequence_valid);
28
29/// Every position holds a character, and each character named holds the position named for it.
30fn sequence_valid(s: &Sequence) -> Result<(), String> {
31    let count = s.characters.len();
32    if let Some(b) = (0..=255u8).find(|&b| usize::from(s.positions[usize::from(b)]) >= count) {
33        return Err(format!("X'{b:02X}' at position {} of a sequence of {count}", s.positions[usize::from(b)]));
34    }
35    if let Some((k, &c)) = s.characters.iter().enumerate().find(|&(k, &c)| usize::from(s.positions[usize::from(c)]) != k) {
36        return Err(format!("character {k} of the sequence, X'{c:02X}', is at position {}", s.positions[usize::from(c)]));
37    }
38    let at = |b: u8| usize::from(s.positions[usize::from(b)]);
39    if at(s.high_value) + 1 != count || at(s.low_value) != 0 {
40        return Err(format!("HIGH-VALUE X'{:02X}' or LOW-VALUE X'{:02X}' is not at the sequence's end", s.high_value, s.low_value));
41    }
42    Ok(())
43}
ironwork_rt/lir/collating.rs

ironwork_rt/lir/
collating.rs
