Enum ValidationError 

pub enum ValidationError {
    UnresolvedReference {
        reference: String,
        namespace: String,
        span: (usize, usize),
        context: String,
    },
    CycleDetected {
        path: Vec<String>,
    },
    UnreachableTopic {
        name: String,
        span: (usize, usize),
    },
    UnusedActionDef {
        name: String,
        topic: String,
        span: (usize, usize),
    },
    UnusedVariable {
        name: String,
        span: (usize, usize),
    },
    UninitializedVariable {
        name: String,
        read_span: (usize, usize),
    },
    InvalidPropertyAccess {
        reference: String,
        variable: String,
        variable_type: String,
        span: (usize, usize),
    },
}

Validation errors found in the reference graph.

Variants

UnresolvedReference

A reference could not be resolved to a definition

Fields

reference: String

The reference string (e.g., “@variables.customer_id”)

namespace: String

The namespace of the reference

span: (usize, usize)

Source location of the reference

context: String

Context where the reference was used

CycleDetected

A cycle was detected in topic transitions

Fields

path: Vec<String>

The topics involved in the cycle

UnreachableTopic

A topic is unreachable from start_agent

Fields

name: String

The unreachable topic name

span: (usize, usize)

Source location

UnusedActionDef

An action definition is never invoked

Fields

name: String

The action name

topic: String

The parent topic name

span: (usize, usize)

Source location

UnusedVariable

A variable is never read

Fields

name: String

The variable name

span: (usize, usize)

Source location

UninitializedVariable

A variable is read but never written

Fields

name: String

The variable name

read_span: (usize, usize)

Source location where it’s read

InvalidPropertyAccess

Property access (dot notation) on a non-object variable

Fields

reference: String

The full reference (e.g., “@variables.count.foo”)

variable: String

The variable name

variable_type: String

The declared type of the variable

span: (usize, usize)

Source location of the reference

Implementations

impl ValidationError

pub fn span(&self) -> Option<(usize, usize)>

Get the primary span for this error.

pub fn message(&self) -> String

Get a human-readable error message.

pub fn is_unresolved_reference(&self) -> bool

Check if this is a reference resolution error.

pub fn is_cycle(&self) -> bool

Check if this is a cycle error.

pub fn is_unused(&self) -> bool

Check if this is an unused definition warning.

Trait Implementations

impl Clone for ValidationError

fn clone(&self) -> ValidationError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ValidationError

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

Formats the value using the given formatter.

impl From<&ValidationError> for ValidationErrorRepr

fn from(error: &ValidationError) -> Self

Converts to this type from the input type.

impl PartialEq for ValidationError

fn eq(&self, other: &ValidationError) -> 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 Eq for ValidationError

impl StructuralPartialEq for ValidationError