Enum Error

pub enum Error {
    File {
        filename: String,
        message: String,
    },
    Parse {
        message: String,
        token: Option<String>,
        position: Option<Position>,
        expected: Vec<String>,
    },
    Duplicate {
        name: String,
        first: Option<Position>,
        second: Option<Position>,
    },
    Instance {
        name: String,
        position: Option<Position>,
    },
    Resolve {
        category: String,
        name: String,
        position: Option<Position>,
    },
    Interval {
        name: String,
        position: Option<Position>,
    },
    Parameter {
        expr: Expr,
        size: usize,
        expected: usize,
    },
    Bounded {
        name: String,
        position: Option<Position>,
    },
    Type {
        expr: Expr,
        typ: Type,
        expected: Vec<Type>,
    },
    Empty {
        name: String,
        category: String,
    },
    Cyclic {
        id: ClassId,
    },
}

Variants

File

Fields

filename: String

message: String

Parse

Fields

message: String

token: Option<String>

position: Option<Position>

expected: Vec<String>

Duplicate

Fields

name: String

first: Option<Position>

second: Option<Position>

Instance

Fields

name: String

position: Option<Position>

Resolve

Fields

category: String

name: String

position: Option<Position>

Interval

Fields

name: String

position: Option<Position>

Parameter

Fields

expr: Expr

size: usize

expected: usize

Bounded

Fields

name: String

position: Option<Position>

Type

Fields

expr: Expr

typ: Type

expected: Vec<Type>

Empty

Fields

name: String

category: String

Cyclic

Fields

id: ClassId

Implementations

impl Error

pub fn new_parse( file: &str, lookup: &LineColLookup<'_>, error: ParseError<usize, Token<'_>, &str>, ) -> Self

Trait Implementations

impl ToEntry for Error

fn to_entry(&self, problem: &Problem) -> Entry