Struct PreconditionOptions 

pub struct PreconditionOptions {
    pub coerce_all: bool,
    pub coerce_params: HashSet<String>,
    pub explicit: HashMap<String, ExplicitChecks>,
    pub unchecked: HashSet<String>,
    pub formals: Formals,
}

Per-function knobs that influence precondition codegen.

Coercion preserves numeric input types, extends bool / Vec<bool> checks to accept integers as well as logicals, and widens the native i32 / Vec<i32> gates to whole-number doubles. Other types keep their checks. Strict input conversion remains enforced in Rust, where range and precision failures can carry contextual diagnostics.

Fields

coerce_all: bool

coerce knob is active for all parameters (coerce_all).

coerce_params: HashSet<String>

R-normalized names of parameters with a per-param coerce attribute.

explicit: HashMap<String, ExplicitChecks>

Checks the author named per parameter (inherits, not_inherits, no_na), keyed by R-normalized parameter name.

unchecked: HashSet<String>

R-normalized names of the parameters whose type-derived checks are dropped (each one resolved by resolve_type_checks). Their explicit checks are still emitted.

formals: Formals

The R formal of each parameter (#1842): the name every check, every argument error and every map above uses. Without a declared formal, the Rust name without leading underscores.

Implementations

impl PreconditionOptions

fn is_coerced(&self, r_name: &str) -> bool

Returns true if the parameter r_name is coerced (function-wide or per-param).

Trait Implementations

impl Clone for PreconditionOptions

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Default for PreconditionOptions

fn default() -> Self

Returns the “default value” for a type.

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 200 bytes