Struct arithmetic_eval::fns::Assert

pub struct Assert;

Assertion function.

Type

(using arithmetic-typing notation)

(Bool) -> ()

Examples

let program = "
    assert(1 + 2 != 5); // this assertion is fine
    assert(3^2 > 10); // this one will fail
";
let module = Untyped::<F32Grammar>::parse_statements(program)?;
let module = ExecutableModule::new("test_assert", &module)?;

let mut env = Environment::new();
env.insert_native_fn("assert", fns::Assert);

let err = module.with_env(&env)?.run().unwrap_err();
assert_eq!(
    err.source().location().in_module().span(&program),
    "assert(3^2 > 10)"
);
assert_matches!(
    err.source().kind(),
    ErrorKind::NativeCall(msg) if msg == "Assertion failed"
);

Trait Implementations

impl Clone for Assert

fn clone(&self) -> Assert

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Assert

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for Assert

fn default() -> Assert

Returns the “default value” for a type.

impl<T> NativeFn<T> for Assert

fn evaluate<'a>( &self, args: Vec<SpannedValue<T>>, ctx: &mut CallContext<'_, T>, ) -> EvalResult<T>

Executes the function on the specified arguments.

impl Copy for Assert