Struct CheckerOptions 

pub struct CheckerOptions {
    pub default_timeout: Option<Duration>,
    pub default_module_name: String,
    pub default_definitions_module_name: String,
}

Default checker configuration used by Checker.

Fields

default_timeout: Option<Duration>

Optional timeout applied to checks that do not override it.

default_module_name: String

Default module label used for source checks.

default_definitions_module_name: String

Default module label used for definition loading.

Trait Implementations

impl Clone for CheckerOptions

fn clone(&self) -> CheckerOptions

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CheckerOptions

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

Formats the value using the given formatter.

impl Default for CheckerOptions

fn default() -> Self

Returns the “default value” for a type.