Enum AnalysisError 

#[non_exhaustive]
pub enum AnalysisError {
    UnknownVariableOrFunction,
    BreakOutOfLoop,
    ContinueOutOfLoop,
    VariableNameUnavailable,
    IncludeOnlyInMainBlock,
    FunctionOnlyInMainBlock,
    GlobalOnlyInMainBlock,
    DuplicateClassName,
    DuplicateFunctionName,
    OptionalParamsOnlyInStandardFunctionsOrMethods,
    WrongArity,
    TypeMismatch,
}

Error codes for semantic validation (mirroring leekscript-java Error enum).

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

UnknownVariableOrFunction

Unknown variable or function name (Java: UNKNOWN_VARIABLE_OR_FUNCTION, 33).

BreakOutOfLoop

Break outside of loop (Java: BREAK_OUT_OF_LOOP, 12).

ContinueOutOfLoop

Continue outside of loop (Java: CONTINUE_OUT_OF_LOOP, 13).

VariableNameUnavailable

Variable/name already declared in this scope (Java: VARIABLE_NAME_UNAVAILABLE, 21).

IncludeOnlyInMainBlock

Include only allowed in main block (Java: INCLUDE_ONLY_IN_MAIN_BLOCK, 14).

FunctionOnlyInMainBlock

Function only in main block (Java: FUNCTION_ONLY_IN_MAIN_BLOCK, 19).

GlobalOnlyInMainBlock

Global only in main block (Java: GLOBAL_ONLY_IN_MAIN_BLOCK, 27).

DuplicateClassName

Duplicate class name in main scope (Java: duplicate class).

DuplicateFunctionName

Duplicate function name in main scope (Java: duplicate function).

OptionalParamsOnlyInStandardFunctionsOrMethods

Optional/default parameters only allowed in standard functions or methods, not in user-defined top-level functions.

WrongArity

Function call argument count does not match declaration (arity).

TypeMismatch

Type mismatch (e.g. assignment or argument).

Implementations

impl AnalysisError

pub fn code(self) -> &'static str

Short code for diagnostics (e.g. E033).

pub fn message(self) -> &'static str

Human-readable message.

pub fn at(self, span: Span) -> SemanticDiagnostic

Build a semantic diagnostic for this error at the given span.

pub fn at_with_related( self, span: Span, related: Vec<(Span, &'static str)>, ) -> SemanticDiagnostic

Build a semantic diagnostic with related locations (e.g. “first declared here”).

Trait Implementations

impl Clone for AnalysisError

fn clone(&self) -> AnalysisError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for AnalysisError

impl Debug for AnalysisError

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

Formats the value using the given formatter.

impl Eq for AnalysisError

impl PartialEq for AnalysisError

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