Enum ValidationError 

pub enum ValidationError {
    SyntaxError {
        message: String,
        line: usize,
        column: usize,
        end_line: Option<usize>,
        end_column: Option<usize>,
    },
    TypeError {
        message: String,
        location: String,
        expected_type: Option<String>,
        found_type: Option<String>,
        suggestion: Option<String>,
    },
    UnitError {
        expected: Dimension,
        found: Dimension,
        location: String,
        suggestion: Option<String>,
    },
    ScopeError {
        variable: String,
        available_in: Vec<String>,
        location: String,
        suggestion: Option<String>,
    },
    DeterminismError {
        message: String,
        hint: String,
    },
    UndefinedReference {
        reference_type: ReferenceType,
        name: String,
        location: String,
        suggestion: Option<String>,
    },
    DuplicateDeclaration {
        name: String,
        first_location: String,
        second_location: String,
    },
    InvalidExpression {
        message: String,
        location: String,
        suggestion: Option<String>,
    },
}

Variants

SyntaxError

Fields

message: String

line: usize

column: usize

end_line: Option<usize>

end_column: Option<usize>

TypeError

Fields

message: String

location: String

expected_type: Option<String>

found_type: Option<String>

suggestion: Option<String>

UnitError

Fields

expected: Dimension

found: Dimension

location: String

suggestion: Option<String>

ScopeError

Fields

variable: String

available_in: Vec<String>

location: String

suggestion: Option<String>

DeterminismError

Fields

message: String

hint: String

UndefinedReference

Fields

reference_type: ReferenceType

name: String

location: String

suggestion: Option<String>

DuplicateDeclaration

Fields

name: String

first_location: String

second_location: String

InvalidExpression

Fields

message: String

location: String

suggestion: Option<String>

Implementations

impl ValidationError

pub fn error_code(&self) -> ErrorCode

Get the error code for this validation error

pub fn range(&self) -> Option<SourceRange>

Get the source range for this error (if available)

pub fn location_string(&self) -> Option<String>

Get a user-friendly location string

pub fn syntax_error( message: impl Into<String>, line: usize, column: usize, ) -> Self

pub fn syntax_error_with_range( message: impl Into<String>, line: usize, column: usize, end_line: usize, end_column: usize, ) -> Self

pub fn type_error( message: impl Into<String>, location: impl Into<String>, ) -> Self

pub fn unit_error( expected: Dimension, found: Dimension, location: impl Into<String>, ) -> Self

pub fn scope_error( variable: impl Into<String>, available_in: Vec<String>, location: impl Into<String>, ) -> Self

pub fn determinism_error( message: impl Into<String>, hint: impl Into<String>, ) -> Self

pub fn undefined_reference( reference_type: impl Into<String>, name: impl Into<String>, location: impl Into<String>, ) -> Self

pub fn duplicate_declaration( name: impl Into<String>, first_location: impl Into<String>, second_location: impl Into<String>, ) -> Self

pub fn invalid_expression( message: impl Into<String>, location: impl Into<String>, ) -> Self

pub fn with_suggestion(self, suggestion: impl Into<String>) -> Self

pub fn with_types( self, expected_type: impl Into<String>, found_type: impl Into<String>, ) -> Self

pub fn undefined_entity( name: impl Into<String>, location: impl Into<String>, ) -> Self

Create an error for an undefined Entity with a helpful suggestion

pub fn undefined_resource( name: impl Into<String>, location: impl Into<String>, ) -> Self

Create an error for an undefined Resource with a helpful suggestion

pub fn undefined_flow( name: impl Into<String>, location: impl Into<String>, ) -> Self

Create an error for an undefined Flow with a helpful suggestion

pub fn unit_mismatch( expected: Dimension, found: Dimension, location: impl Into<String>, ) -> Self

Create a unit mismatch error with automatic suggestion

pub fn type_mismatch( expected: impl Into<String>, found: impl Into<String>, location: impl Into<String>, ) -> Self

Create a type mismatch error with types and suggestion

pub fn variable_not_in_scope( variable: impl Into<String>, available: Vec<String>, location: impl Into<String>, ) -> Self

Create a scope error with available variables listed

pub fn undefined_entity_with_candidates( name: impl Into<String>, location: impl Into<String>, candidates: &[String], ) -> Self

Create an undefined entity error with fuzzy matching suggestions

Arguments

• name - The undefined entity name
• location - Source location of the error
• candidates - Available entity names to suggest

pub fn undefined_resource_with_candidates( name: impl Into<String>, location: impl Into<String>, candidates: &[String], ) -> Self

Create an undefined resource error with fuzzy matching suggestions

pub fn undefined_variable_with_candidates( name: impl Into<String>, location: impl Into<String>, candidates: &[String], ) -> Self

Create an undefined variable error with fuzzy matching suggestions

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 Display for ValidationError

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

Formats the value using the given formatter.

impl Error for ValidationError

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0: use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0: replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.