Enum SemanticError 

pub enum SemanticError {
    UnknownElement {
        type_name: String,
        element: String,
    },
    ContextType {
        named: String,
        context: String,
    },
    UnknownType {
        name: String,
    },
    Criterion {
        function: &'static str,
        found: &'static str,
    },
    Input {
        function: &'static str,
        type_name: String,
    },
}

A path the model refuses.

Variants

UnknownElement

A member none of the reachable types defines.

Fields

type_name: String

The reachable types.

element: String

The member name.

ContextType

A leading type name that is not the context’s type.

Fields

named: String

The type the expression names.

context: String

The context’s type.

UnknownType

A type specifier that names no type.

Fields

name: String

The specifier as written.

Criterion

A criterion that is a literal of a type other than Boolean, which iif() does not take (N1 §5.5.1, §11).

Fields

function: &'static str

The function.

found: &'static str

The literal’s type.

Input

A function given an input none of whose reachable types it takes (N1 §11 “an input value … not of the expected type”).

Fields

function: &'static str

The function.

type_name: String

The reachable types.

Trait Implementations

impl Clone for SemanticError

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SemanticError

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

Formats the value using the given formatter.

impl Display for SemanticError

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

Formats the value using the given formatter.

impl Eq for SemanticError

impl Error for SemanticError

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.

impl PartialEq for SemanticError

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for SemanticError