Trait ProgramFacts 

pub trait ProgramFacts {
    // Required methods
    fn options(&self) -> Options;
    fn page(&self) -> &'static CodePage;
    fn figurative(&self, f: Figurative) -> u8;
    fn collation(&self) -> &Collation;
    fn ordinal(&self, byte: u8) -> u16;
    fn character(&self, ordinal: i64) -> Option<u8>;
    fn characters(&self) -> usize;
    fn decimal_point(&self) -> char;
    fn edit(&self, edit: u32) -> (&[Sym], &str);
    fn scaling(&self, item: usize) -> u32;
    fn item_name(&self, item: usize) -> String;

    // Provided methods
    fn lax_redefinition(&self, _item: usize) -> Option<LaxRedefinition> { ... }
    fn numcheck_removed(&self, _item: usize, _pos: Pos) -> bool { ... }
}

What these semantics read of the running program beyond a Loc: its options, code page and collating sequence, its edited PICTUREs, and its items by the index a Loc carries.

Required Methods

fn options(&self) -> Options

fn page(&self) -> &'static CodePage

fn figurative(&self, f: Figurative) -> u8

A figurative constant’s character: HIGH-VALUE and LOW-VALUE are the collating sequence’s.

fn collation(&self) -> &Collation

fn ordinal(&self, byte: u8) -> u16

A character’s ordinal position in the collating sequence, from 1, which FUNCTION ORD gives.

fn character(&self, ordinal: i64) -> Option<u8>

The character at an ordinal position, which FUNCTION CHAR gives.

fn characters(&self) -> usize

How many characters the collating sequence orders.

fn decimal_point(&self) -> char

fn edit(&self, edit: u32) -> (&[Sym], &str)

An edited PICTURE’s symbols, and the currency sign it shows.

fn scaling(&self, item: usize) -> u32

PICTURE P positions to the right of an item’s digits.

fn item_name(&self, item: usize) -> String

The item a TRUNC(OPT) report names.

Provided Methods

fn lax_redefinition(&self, _item: usize) -> Option<LaxRedefinition>

What NUMCHECK(ZON(LAX)) tolerates in a zoned item because of the item it redefines.

fn numcheck_removed(&self, _item: usize, _pos: Pos) -> bool

Whether the compiler removed NUMCHECK’s test of item where the reference at pos reads it, having found the test always fails.

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors