Trait ezno_checker::context::invocation::CallCheckingBehavior

pub trait CallCheckingBehavior {
    const CHECK_PARAMETERS: bool;

    // Required methods
    fn get_latest_info<'a>(
        &'a mut self,
        environment: &'a mut Environment<'_>,
    ) -> &'a mut LocalInformation;
    fn in_recursive_cycle(&self, function_id: FunctionId) -> bool;
    fn new_function_context<T>(
        &mut self,
        function_id: FunctionId,
        cb: impl for<'a> FnOnce(&'a mut InvocationContext) -> T,
    ) -> T;

    // Provided method
    fn debug_types(&self) -> bool { ... }
}

For anything that might involve a call, including gets, sets and actual calls

Required Associated Constants

const CHECK_PARAMETERS: bool

Required Methods

fn get_latest_info<'a>( &'a mut self, environment: &'a mut Environment<'_>, ) -> &'a mut LocalInformation

fn in_recursive_cycle(&self, function_id: FunctionId) -> bool

fn new_function_context<T>( &mut self, function_id: FunctionId, cb: impl for<'a> FnOnce(&'a mut InvocationContext) -> T, ) -> T

Provided Methods

fn debug_types(&self) -> bool

Object Safety

This trait is not object safe.

Implementors

impl CallCheckingBehavior for CheckThings

const CHECK_PARAMETERS: bool = true

impl CallCheckingBehavior for InvocationContext

const CHECK_PARAMETERS: bool = false