Function check_pin_validation

std/src/gpio/mod.rs:489–502

Common checks for pin number validation. The given input `fmt` string contains the command to test with a placeholder `_PIN` for where the pin number goes. The `short_prefix` and `long_prefix` contain possible prefixes for the error messages.

(short_prefix: &str, long_prefix: &str, fmt: &str)

    /// where the pin number goes.  The `short_prefix` and `long_prefix` contain possible prefixes
    /// for the error messages.
    fn check_pin_validation(short_prefix: &str, long_prefix: &str, fmt: &str) {
        check_stmt_compilation_err(
            format!(r#"{}BOOLEAN is not a number"#, short_prefix),
            &fmt.replace("_PIN_", "TRUE"),
        );
        check_stmt_err(
            format!(r#"{}Pin number 123456789 is too large"#, long_prefix),
            &fmt.replace("_PIN_", "123456789"),
        );
        check_stmt_err(
            format!(r#"{}Pin number -1 must be positive"#, long_prefix),
            &fmt.replace("_PIN_", "-1"),
        );
    }

    /// Creates a machine backed by `MockPins` pre-seeded with `reads` and returns both the machine
    /// and a handle to inspect the trace afterwards.