Enum ELTLExpressionBuilderError 

pub enum ELTLExpressionBuilderError {
    UnknownIdentifier {
        property_name: String,
        expr: Box<ELTLExpression>,
        ident: String,
    },
    DuplicateName {
        property_name: String,
    },
    ParameterConstraintBehindTemporalOperator {
        lhs: Box<IntegerExpression<Parameter>>,
        op: ComparisonOp,
        rhs: Box<IntegerExpression<Parameter>>,
        property_name: String,
    },
}

Errors that can occur when building ELTL expressions over a threshold automaton

Variants

UnknownIdentifier

Found an unknown atomic identifier

Fields

property_name: String

Name of the ELTL expression

expr: Box<ELTLExpression>

Expression containing the unknown identifier

ident: String

Unknown identifier

DuplicateName

Tried to add a specification with the same name twice to the specification

Fields

property_name: String

Name of the expression

ParameterConstraintBehindTemporalOperator

Found an expression over parameters behind a temporal operator, which syntax is not defined

Fields

lhs: Box<IntegerExpression<Parameter>>

lhs of the constraint

op: ComparisonOp

Comparison operator of the constraint

rhs: Box<IntegerExpression<Parameter>>

rhs of the constraint

property_name: String

Name of the expression

Trait Implementations

impl Clone for ELTLExpressionBuilderError

fn clone(&self) -> ELTLExpressionBuilderError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ELTLExpressionBuilderError

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

Formats the value using the given formatter.

impl Display for ELTLExpressionBuilderError

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

Formats the value using the given formatter.

impl Error for ELTLExpressionBuilderError

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 ELTLExpressionBuilderError

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