Enum LogicErrorKind

pub enum LogicErrorKind {
    CollectionUndefined,
    UncommitedDescriptor {
        identifier: Identifier,
    },
    NoDesigner {
        identifier: Identifier,
    },
    ErroneousDesign {
        identifier: Identifier,
    },
    ErroneousChecks,
    UnavailableDesign {
        identifier: Identifier,
    },
    LaunchExpectTreatment {
        wrong_identifier: Identifier,
    },
    LaunchWrongParameter {
        parameter: String,
    },
    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: DescribedType,
        given: DescribedType,
    },
    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: IdentifierRequirement,
    },
    UnexistingModel {
        scope: Identifier,
        claimed: IdentifierRequirement,
    },
    UnexistingContext {
        scope: Identifier,
        claimed: IdentifierRequirement,
    },
    UnexistingFunction {
        scope: Identifier,
        claimed: IdentifierRequirement,
    },
    UnexistingData {
        scope: Identifier,
        claimed: IdentifierRequirement,
    },
    UndeclaredModel {
        scope: Identifier,
        model: String,
    },
    AlreadyDeclaredModel {
        scope: Identifier,
        model: String,
    },
    UndeclaredTreatment {
        scope: Identifier,
        treatment: String,
    },
    AlreadyDeclaredTreatment {
        scope: Identifier,
        treatment: String,
    },
    UnexistingConnectionType {
        scope: Identifier,
        from: String,
        output: String,
        to: String,
        input: String,
        output_flow: Flow,
        output_type: DescribedType,
        input_flow: Flow,
        input_type: DescribedType,
    },
    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,
    },
    UnexistingGeneric {
        scope: Identifier,
        element: Identifier,
        name: String,
        described_type: DescribedType,
    },
    UndefinedGeneric {
        scope: Identifier,
        element: Identifier,
        described_type: DescribedType,
    },
    UnsatisfiedTraits {
        scope: Identifier,
        element: Identifier,
        described_type: DescribedType,
        unsatisfied_traits: Vec<DataTrait>,
    },
}

Kind of logic error that might happen.

Variants

CollectionUndefined

Designer do not have collection defined.

UncommitedDescriptor

Descriptor has not been commited, no designer available yet.

Fields

identifier: Identifier

NoDesigner

No designer to commit from.

Fields

identifier: Identifier

ErroneousDesign

Design have some errors, while pure success is expected.

Fields

identifier: Identifier

ErroneousChecks

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

UnavailableDesign

No design available.

Fields

identifier: Identifier

LaunchExpectTreatment

The launch must be done using a treatment.

Fields

wrong_identifier: Identifier

LaunchWrongParameter

A parameter with wrong or missing value was given for launch.

Fields

parameter: String

UnexistingVariable

The referenced variable for value doesn’t exist.

Fields

identifier: Identifier

parameter: String

variable: String

UnexistingContextVariable

The referenced context variable for value doesn’t exist.

Fields

identifier: Identifier

parameter: String

context: Identifier

variable: String

UnexistingParameter

The designated parameter doesn’t exist in descriptor.

Fields

scope: Identifier

called: Identifier

parameter: String

UnmatchingDataType

The value datatype doesn’t match the required one.

Fields

scope: Identifier

called: Identifier

parameter: String

value: Value

expected: DescribedType

given: DescribedType

UnsetParameter

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

Fields

scope: Identifier

called: Identifier

parameter: String

MultipleParameterAssignation

A parameter is assigned multiple times.

Fields

scope: Identifier

called: Identifier

parameter: String

NoValue

A parameter didn’t get any value.

Fields

scope: Identifier

called: Identifier

parameter: String

NoContext

No context reference is allowed there.

Fields

scope: Identifier

model: Identifier

name: String

parameter: String

UnavailableContext

The context referenced is not available in this scope.

Fields

scope: Identifier

context: Identifier

ConnectionInputNotFound

The connection input data is not provided by input treatment.

Fields

scope: Identifier

to: Identifier

input: String

ConnectionSelfInputNotFound

The connection input data is not provided in self inputs.

Fields

scope: Identifier

input: String

ConnectionOutputNotFound

The connection output data is not provided by output treatment.

Fields

scope: Identifier

from: Identifier

output: String

ConnectionSelfOutputNotFound

The connection output data is not provided in self outputs.

Fields

scope: Identifier

output: String

UnexistingTreatment

The treatment is not existing within current available treatments.

Fields

scope: Identifier

claimed: IdentifierRequirement

UnexistingModel

The model is not existing within current available models.

Fields

scope: Identifier

claimed: IdentifierRequirement

UnexistingContext

The context is not existing within current available contextes.

Fields

scope: Identifier

claimed: IdentifierRequirement

UnexistingFunction

The function is not existing within current available functions.

Fields

scope: Identifier

claimed: IdentifierRequirement

UnexistingData

The data type is not existing within current available data types.

Fields

scope: Identifier

claimed: IdentifierRequirement

UndeclaredModel

The model is not declared here.

Fields

scope: Identifier

model: String

AlreadyDeclaredModel

The model name is already declared.

Fields

scope: Identifier

model: String

UndeclaredTreatment

The treatment is not declared here.

Fields

scope: Identifier

treatment: String

AlreadyDeclaredTreatment

The treatment name is already declared.

Fields

scope: Identifier

treatment: String

UnexistingConnectionType

The connection type is not existing within current available connections.

Fields

scope: Identifier

from: String

output: String

to: String

input: String

output_flow: Flow

output_type: DescribedType

input_flow: Flow

input_type: DescribedType

UnsatisfiedOutput

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

Fields

scope: Identifier

output: String

OverloadedOutput

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

Fields

scope: Identifier

output: String

UnmatchingModelType

The (core) model type does not match.

Fields

scope: Identifier

called: Identifier

name: String

expected: Identifier

given_name: String

given: Identifier

UnexistingParametricModel

There are no matching pararmetric model.

Fields

scope: Identifier

called: Identifier

parametric_model: String

UnsetModel

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

Fields

scope: Identifier

called: Identifier

parametric_model: String

AlreadyIncludedBuildStep

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

Fields

treatment: Identifier

cause_step: CheckStep

check_steps: Vec<CheckStep>

UnsatisfiedInput

The treatment input in not satisfied

Fields

scope: Option<Identifier>

treatment: String

input: String

ConstRequiredVarProvided

A constant is required but the value assigned is variable

Fields

scope: Identifier

called: Identifier

parameter: String

variable: String

ConstRequiredContextProvided

A constant is required but a context is provided

Fields

scope: Identifier

called: Identifier

parameter: String

context: Identifier

entry: String

ModelInstanciationConstOnly

A model instanciation can only have const assignations

Fields

scope: Identifier

called: Identifier

name: String

parameter: String

ConstRequiredFunctionReturnsVar

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

Fields

scope: Identifier

called: Identifier

parameter: String

function: Identifier

UnmatchingNumberOfParameters

A function doesn’t get the right number of parameters

Fields

scope: Identifier

function: Identifier

UnexistingGeneric

A value is setup for a generic that doesn’t exists

Fields

scope: Identifier

element: Identifier

name: String

described_type: DescribedType

UndefinedGeneric

A generic value is not defined

Fields

scope: Identifier

element: Identifier

described_type: DescribedType

UnsatisfiedTraits

Traits are not satisfied

Fields

scope: Identifier

element: Identifier

described_type: DescribedType

unsatisfied_traits: Vec<DataTrait>

Trait Implementations

impl Clone for LogicErrorKind

fn clone(&self) -> LogicErrorKind

Returns a duplicate 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.