Enum Eval 

pub enum Eval {
    Boolean(BooleanEval),
    Numeric(NumericEval),
    Called(CalledEval),
    NotCalled(NotCalledEval),
}

An eval specification, as written in a test case’s YAML (or compiled by an SDK’s case builders).

Newtype variants on purpose: serde cannot deny_unknown_fields on an internally tagged enum, but it does enforce it on the variant structs, so a typo’d eval field (expcted:) is a loud parse error instead of a silently-applied default. The variant titles name the generated SDK model for each union arm, so keep them stable: they are part of the SDK API surface (the input contract, schemas/case.schema.json).

Variants

Boolean(BooleanEval)

Numeric(NumericEval)

Called(CalledEval)

NotCalled(NotCalledEval)

Implementations

impl Eval

pub fn criterion(&self) -> Option<&str>

The criterion text the judge sees; None for the deterministic (called/not_called) kinds, which no judge ever scores.

pub fn label(&self) -> String

A short label for reports: the explicit name if given, else the criterion (judge kinds) or called: <mock> / not_called: <mock>.

pub fn validate(&self) -> Result<()>

Validate the eval’s own parameters (independent of any transcript).

Errors

Error::Invalid when a criterion is empty, a numeric scale is degenerate (min >= max), the threshold falls outside [min, max], a call eval references an empty mock name or asks for times: 0, or a where predicate is malformed.

pub fn outcome_for_calls( &self, count: usize, observed: &str, ) -> Result<EvalOutcome>

Apply a deterministic call eval’s pass rule to the number of matching observed calls, producing an outcome. Only meaningful for Eval::Called/Eval::NotCalled; the runner never routes judge kinds here.

Errors

Error::Invalid if invoked on a judge-backed eval kind (a runner bug, surfaced loudly rather than scored vacuously).

pub fn outcome(&self, raw: &JudgeValue, reason: String) -> Result<EvalOutcome>

Apply this eval’s pass rule to a raw judge value, producing an outcome.

raw is the value the judge returned: JudgeValue::Bool for boolean evals, JudgeValue::Number for numeric. A mismatch is a provider error.

Errors

Error::Provider if the judge returned the wrong value kind for this eval.

Trait Implementations

impl Clone for Eval

fn clone(&self) -> Eval

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Eval

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Eval

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl JsonSchema for Eval

fn schema_name() -> Cow<'static, str>

The name of the generated JSON Schema.

fn schema_id() -> Cow<'static, str>

Returns a string that uniquely identifies the schema produced by this type.

fn json_schema(generator: &mut SchemaGenerator) -> Schema

Generates a JSON Schema for this type.

fn inline_schema() -> bool

Whether JSON Schemas generated for this type should be included directly in parent schemas, rather than being re-used where possible using the $ref keyword.

impl PartialEq for Eval

fn eq(&self, other: &Eval) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for Eval

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Eval