Struct PreconditionOutput

Source

pub struct PreconditionOutput {
    assertions: Vec<RAssertion>,
    pub fallback_params: Vec<FallbackParam>,
}

Expand description

Output of precondition analysis for a function’s parameters.

Holds the R-side checks for known types and a list of parameters with unknown types that were not statically prechecked.

Fields§

§assertions: Vec<RAssertion>

The checks, in parameter order: each parameter’s class checks, its type checks, then its NA check (ExplicitChecks). Rendered by PreconditionOutput::guards.

§fallback_params: Vec<FallbackParam>

Parameters with unknown custom types that were not prechecked.

Implementations§

Source §

impl PreconditionOutput

Source

pub fn guards(&self, call: Option<&str>) -> Vec<String>

One guard line per check, raising an argument error through .miniextendr_arg_error when it fails (#1591); empty when there is nothing to check.

call is the call every failure is attributed to: None for the wrapper’s own call (the helper’s default, the call stopifnot() reported), or .mx_call for a call = caller wrapper, which binds the caller’s matched call before the checks run (#1548).

Auto Trait Implementations§

§

impl UnwindSafe for PreconditionOutput

Blanket Implementations§

Source §

impl<T> Any for T
where T: 'static + ?Sized,

Source §

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

Source §

impl<T> Borrow<T> for T
where T: ?Sized,

Source §

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

Source §

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source §

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

Source §

impl<T> From<T> for T

Source §

fn from(t: T) -> T

Returns the argument unchanged.

Source §

impl<T, U> Into for T
where U: From<T>,

Source §

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source §

impl<T> SizeHint for T
where T: ?Sized,

Source §

default fn lower_bound(&self) -> usize

🔬This is a nightly-only experimental API. (core_io_internals)

Returns a lower bound on the number of elements this container-like item contains. For example, an array [u8; 12] could return any value between 0 and 12 inclusively as a correct implementation. Read more

Source §

default fn upper_bound(&self) -> Option<usize>

🔬This is a nightly-only experimental API. (core_io_internals)

Returns an upper bound on the number of elements this container-like item contains if it can be determined, otherwise None. Read more

Source §

final fn size_hint(&self) -> (usize, Option<usize>)

🔬This is a nightly-only experimental API. (core_io_internals)

Returns an estimate for the number of elements this container like type contains. Read more

Source §