Enum melodium_engine::error::logic_error::LogicErrorKind

pub enum LogicErrorKind {
    CollectionUndefined,
    UncommitedDescriptor {
        identifier: Identifier,
    },
    NoDesigner {
        identifier: Identifier,
    },
    ErroneousDesign {
        identifier: Identifier,
    },
    ErroneousChecks,
    UnavailableDesign {
        identifier: Identifier,
    },
    UnexistingVariable {
        identifier: Identifier,
        parameter: String,
        variable: String,
    },
    UnexistingContextVariable {
        identifier: Identifier,
        parameter: String,
        context: Identifier,
        variable: String,
    },
    UnexistingParameter {
        scope: Identifier,
        called: Identifier,
        parameter: String,
    },
    UnmatchingDataType {
        scope: Identifier,
        called: Identifier,
        parameter: String,
        value: Value,
        expected: DataType,
        given: DataType,
    },
    UnsetParameter {
        scope: Identifier,
        called: Identifier,
        parameter: String,
    },
    MultipleParameterAssignation {
        scope: Identifier,
        called: Identifier,
        parameter: String,
    },
    NoValue {
        scope: Identifier,
        called: Identifier,
        parameter: String,
    },
    NoContext {
        scope: Identifier,
        model: Identifier,
        name: String,
        parameter: String,
    },
    UnavailableContext {
        scope: Identifier,
        context: Identifier,
    },
    ConnectionInputNotFound {
        scope: Identifier,
        to: Identifier,
        input: String,
    },
    ConnectionSelfInputNotFound {
        scope: Identifier,
        input: String,
    },
    ConnectionOutputNotFound {
        scope: Identifier,
        from: Identifier,
        output: String,
    },
    ConnectionSelfOutputNotFound {
        scope: Identifier,
        output: String,
    },
    UnexistingTreatment {
        scope: Identifier,
        claimed: Identifier,
    },
    UnexistingModel {
        scope: Identifier,
        claimed: Identifier,
    },
    UnexistingContext {
        scope: Identifier,
        claimed: Identifier,
    },
    UnexistingFunction {
        scope: Identifier,
        claimed: Identifier,
    },
    UndeclaredModel {
        scope: Identifier,
        model: String,
    },
    UndeclaredTreatment {
        scope: Identifier,
        treatment: String,
    },
    UnexistingConnectionType {
        scope: Identifier,
        from: String,
        output: String,
        to: String,
        input: String,
        output_flow: Flow,
        output_type: DataType,
        input_flow: Flow,
        input_type: DataType,
    },
    UnsatisfiedOutput {
        scope: Identifier,
        output: String,
    },
    OverloadedOutput {
        scope: Identifier,
        output: String,
    },
    UnmatchingModelType {
        scope: Identifier,
        called: Identifier,
        name: String,
        expected: Identifier,
        given_name: String,
        given: Identifier,
    },
    UnexistingParametricModel {
        scope: Identifier,
        called: Identifier,
        parametric_model: String,
    },
    UnsetModel {
        scope: Identifier,
        called: Identifier,
        parametric_model: String,
    },
    AlreadyIncludedBuildStep {
        treatment: Identifier,
        cause_step: CheckStep,
        check_steps: Vec<CheckStep>,
    },
    UnsatisfiedInput {
        scope: Option<Identifier>,
        treatment: String,
        input: String,
    },
    ConstRequiredVarProvided {
        scope: Identifier,
        called: Identifier,
        parameter: String,
        variable: String,
    },
    ConstRequiredContextProvided {
        scope: Identifier,
        called: Identifier,
        parameter: String,
        context: Identifier,
        entry: String,
    },
    ModelInstanciationConstOnly {
        scope: Identifier,
        called: Identifier,
        name: String,
        parameter: String,
    },
    ConstRequiredFunctionReturnsVar {
        scope: Identifier,
        called: Identifier,
        parameter: String,
        function: Identifier,
    },
    UnmatchingNumberOfParameters {
        scope: Identifier,
        function: Identifier,
    },
}

Kind of logic error that might happen.

Variants

CollectionUndefined

Designer do not have collection defined.

UncommitedDescriptor

Fields

identifier: Identifier

Descriptor has not been commited, no designer available yet.

NoDesigner

Fields

identifier: Identifier

No designer to commit from.

ErroneousDesign

Fields

identifier: Identifier

Design have some errors, while pure success is expected.

ErroneousChecks

Checks hasn’t all been sucessful, while pure sucess is expected.

UnavailableDesign

Fields

identifier: Identifier

No design available.

UnexistingVariable

Fields

identifier: Identifier

parameter: String

variable: String

The referenced variable for value doesn’t exist.

UnexistingContextVariable

Fields

identifier: Identifier

parameter: String

context: Identifier

variable: String

The referenced context variable for value doesn’t exist.

UnexistingParameter

Fields

scope: Identifier

called: Identifier

parameter: String

The designated parameter doesn’t exist in descriptor.

UnmatchingDataType

Fields

scope: Identifier

called: Identifier

parameter: String

value: Value

expected: DataType

given: DataType

The value datatype doesn’t match the required one.

UnsetParameter

Fields

scope: Identifier

called: Identifier

parameter: String

A parameter hasn’t been set up compared to descriptor.

MultipleParameterAssignation

Fields

scope: Identifier

called: Identifier

parameter: String

A parameter is assigned multiple times.

NoValue

Fields

scope: Identifier

called: Identifier

parameter: String

A parameter didn’t get any value.

NoContext

Fields

scope: Identifier

model: Identifier

name: String

parameter: String

No context reference is allowed there.

UnavailableContext

Fields

scope: Identifier

context: Identifier

The context referenced is not available in this scope.

ConnectionInputNotFound

Fields

scope: Identifier

to: Identifier

input: String

The connection input data is not provided by input treatment.

ConnectionSelfInputNotFound

Fields

scope: Identifier

input: String

The connection input data is not provided in self inputs.

ConnectionOutputNotFound

Fields

scope: Identifier

from: Identifier

output: String

The connection output data is not provided by output treatment.

ConnectionSelfOutputNotFound

Fields

scope: Identifier

output: String

The connection output data is not provided in self outputs.

UnexistingTreatment

Fields

scope: Identifier

claimed: Identifier

The treatment is not existing within current available treatments.

UnexistingModel

Fields

scope: Identifier

claimed: Identifier

The model is not existing within current available models.

UnexistingContext

Fields

scope: Identifier

claimed: Identifier

The context is not existing within current available contextes.

UnexistingFunction

Fields

scope: Identifier

claimed: Identifier

The function is not existing within current available functions.

UndeclaredModel

Fields

scope: Identifier

model: String

The model is not declared here.

UndeclaredTreatment

Fields

scope: Identifier

treatment: String

The treatment is not declared here.

UnexistingConnectionType

Fields

scope: Identifier

from: String

output: String

to: String

input: String

output_flow: Flow

output_type: DataType

input_flow: Flow

input_type: DataType

The connection type is not existing within current available connections.

UnsatisfiedOutput

Fields

scope: Identifier

output: String

The sequence output is not currently satisfied, not connected to any treatment output.

OverloadedOutput

Fields

scope: Identifier

output: String

The sequence output is overloaded, having multiple treatment outputs connected to.

UnmatchingModelType

Fields

scope: Identifier

called: Identifier

name: String

expected: Identifier

given_name: String

given: Identifier

The (core) model type does not match.

UnexistingParametricModel

Fields

scope: Identifier

called: Identifier

parametric_model: String

There are no matching pararmetric model.

UnsetModel

Fields

scope: Identifier

called: Identifier

parametric_model: String

A model hasn’t been set up compared to descriptor.

AlreadyIncludedBuildStep

Fields

treatment: Identifier

cause_step: CheckStep

check_steps: Vec<CheckStep>

The build step is already included in the call stack, meaning there is an infinite call loop.

UnsatisfiedInput

Fields

scope: Option<Identifier>

treatment: String

input: String

The treatment input in not satisfied

ConstRequiredVarProvided

Fields

scope: Identifier

called: Identifier

parameter: String

variable: String

A constant is required but the value assigned is variable

ConstRequiredContextProvided

Fields

scope: Identifier

called: Identifier

parameter: String

context: Identifier

entry: String

A constant is required but a context is provided

ModelInstanciationConstOnly

Fields

scope: Identifier

called: Identifier

name: String

parameter: String

A model instanciation can only have const assignations

ConstRequiredFunctionReturnsVar

Fields

scope: Identifier

called: Identifier

parameter: String

function: Identifier

A function returns var when const is expected, due to a var parameter

UnmatchingNumberOfParameters

Fields

scope: Identifier

function: Identifier

A function doesn’t get the right number of parameters

Trait Implementations

impl Clone for LogicErrorKind

fn clone(&self) -> LogicErrorKind

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for LogicErrorKind

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

Formats the value using the given formatter.

impl Display for LogicErrorKind

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

Formats the value using the given formatter.