Skip to main content

RAssertion

Struct RAssertion 

Source
struct RAssertion {
    param: String,
    requirement: String,
    condition: String,
    message: Option<String>,
}
Expand description

A single R-side check on one parameter: a requirement and the R condition enforcing it.

Formatted as a guard (see RAssertion::to_guard): if (!isTRUE(is.numeric(x))) .miniextendr_arg_error("x", "must be numeric").

Fields§

§param: String

R name of the checked parameter (e$param on failure).

§requirement: String

What the parameter must satisfy, without the parameter name (must be numeric). The condition message is '<param>' <requirement>.

§condition: String

R expression that must evaluate to TRUE for the check to pass.

§message: Option<String>

The author’s own condition message (message = "..." on inherits / not_inherits / no_na; an inherits message also on the parameter’s type checks), used verbatim instead of '<param>' <requirement>.

Implementations§

Source§

impl RAssertion

Source

fn new( param: impl Into<String>, requirement: impl Into<String>, condition: impl Into<String>, ) -> Self

Create a new assertion on param with its requirement and R condition expression.

Source

fn with_message(self, message: Option<&String>) -> Self

Use message verbatim as the condition message of a failure.

Source

fn to_guard(&self, call: Option<&str>) -> String

Format as a guard that raises an argument error on failure: if (!isTRUE(condition)) .miniextendr_arg_error("param", "requirement"), or with the author’s message if (!isTRUE(condition)) .miniextendr_arg_error("param", message = "...").

call is the call the error is attributed to. None leaves the helper’s default, the wrapper’s own call (what stopifnot() reported); a call = caller wrapper passes .mx_call (#1548). Next to a named message the call is named too: positionally it would bind to what.

Source

fn nullable(self) -> Self

Wrap for nullable: prepend is.null(param) || to the condition, and adjust the requirement to mention NULL.

Auto Trait Implementations§

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<U> 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§

impl<T> SizedTypeProperties for T

Source§

#[doc(hidden)]
const SIZE: usize = _

🔬This is a nightly-only experimental API. (sized_type_properties)
Source§

#[doc(hidden)]
const ALIGN: usize = _

🔬This is a nightly-only experimental API. (sized_type_properties)
Source§

#[doc(hidden)]
const ALIGNMENT: Alignment = _

🔬This is a nightly-only experimental API. (ptr_alignment_type)
Source§

#[doc(hidden)]
const IS_ZST: bool = _

🔬This is a nightly-only experimental API. (sized_type_properties)
true if this type requires no storage. false if its size is greater than zero. Read more
Source§

#[doc(hidden)]
const LAYOUT: Layout = _

🔬This is a nightly-only experimental API. (sized_type_properties)
Source§

#[doc(hidden)]
const MAX_SLICE_LEN: usize = _

🔬This is a nightly-only experimental API. (sized_type_properties)
The largest safe length for a [Self]. Read more
Source§

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

Source§

type Error = !

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, !>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.

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: 96 bytes