Enum DiagnosticError

pub enum DiagnosticError {
    Internal,
    NotAnElephantFile,
    Syntax,
    DuplicateDefinition,
    MissingWhenClause,
    MissingThenClause,
    AtMostOneRequiring,
    AtMostOneRelating,
    AtMostOneReturning,
    AtMostOneUnbounded,
}

Reportable error diagnostics.

Variants

Internal

An internal error occurred.

NotAnElephantFile

Not an Elephant Specification Language file.

Syntax

Syntax error. Please check this line, the section, or the continued (…) lines!

DuplicateDefinition

Duplicate definition. Name already in use.

MissingWhenClause

Missing when clause in a behavior requirement.

MissingThenClause

Missing then clause in a behavior requirement.

AtMostOneRequiring

At most one requiring section in a relation definition or instantiation.

AtMostOneRelating

At most one relating section in a relation definition or instantiation.

AtMostOneReturning

At most one returning section in a relation definition or instantiation.

AtMostOneUnbounded

At most one unbounded (“one or more”) parameter per parameter section is allowed.

Implementations

impl DiagnosticError

pub fn diagnostic( &self, range: Range, related_information: Option<Vec<DiagnosticRelatedInformation>>, ) -> Diagnostic

Create default diagnostic. Location at the start of the input.

Trait Implementations

impl Clone for DiagnosticError

fn clone(&self) -> DiagnosticError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DiagnosticError

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

Formats the value using the given formatter.

impl Default for DiagnosticError

fn default() -> DiagnosticError

Returns the “default value” for a type.

impl Display for DiagnosticError

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

Formats the value using the given formatter.

impl EnumMessage for DiagnosticError

fn get_message(&self) -> Option<&'static str>

fn get_detailed_message(&self) -> Option<&'static str>

fn get_documentation(&self) -> Option<&'static str>

Get the doc comment associated with a variant if it exists.

fn get_serializations(&self) -> &'static [&'static str]

impl PartialEq for DiagnosticError

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