Enum oakc::mir::MirError

pub enum MirError {
    FunctionNotDefined(Identifier),
    StructureRedefined(Identifier),
    PrimitiveTypeRedefined(Identifier),
    FunctionRedefined(Identifier),
    VariableNotDefined(Identifier),
    MethodRedefined(MirType, Identifier),
    MethodNotDefined(MirType, Identifier),
    StructureNotDefined(Identifier),
    DereferenceNonPointer(MirType),
    IndexVoidPointer(MirExpression),
    AutoDefineVoidPointer(String, MirExpression),
    DefineMismatchedType(String),
    AssignMismatchedType(MirExpression),
    ArgumentMismatchedType(MirExpression),
    FreeNonPointer(MirExpression),
    NonBooleanCondition(MirExpression),
    NonNumberAllocate(MirExpression),
    NonNumberIndex(MirExpression),
    NonNumberBinaryOperation(MirExpression, MirExpression),
    NonNumberUnaryOperation(MirExpression),
    NotEnoughArguments(MirExpression),
    TooManyArguments(MirExpression),
    CalledFunctionAsMethod(String),
    MismatchedReturnType(String),
    MultipleReturns(String),
    NonVoidExpressionNotUsed(MirExpression),
    MismatchedCastSize(MirExpression, MirType),
    OnlyOneBranchReturns(String),
    IfReturns(String),
    LoopReturns(String),
    NonVoidNoReturn(String),
    MethodOnUnboundCopyDrop(MirExpression),
    MismatchedConditionalBranchTypes(MirExpression, MirExpression),
}

A value representing an error while assembling the MIR code

Variants

FunctionNotDefined(Identifier)

Calling a function without defining it

StructureRedefined(Identifier)

Defining a type multiple times

PrimitiveTypeRedefined(Identifier)

Defining a structure with the name of a primitive type

FunctionRedefined(Identifier)

Defining a function multiple times

VariableNotDefined(Identifier)

Using a variable without defining it

MethodRedefined(MirType, Identifier)

Defining a method multiple times for a type

MethodNotDefined(MirType, Identifier)

Calling a method for a type where it is not defined

StructureNotDefined(Identifier)

Using a structure name as a type without defining it If this were acceptable, the compiler would never know the size of the variable.

DereferenceNonPointer(MirType)

Dereferencing a non-pointer value

IndexVoidPointer(MirExpression)

Indexing a void pointer This is inherently bad because void pointers have size zero. Indexing them is the same as dereferencing, but less efficient.

AutoDefineVoidPointer(String, MirExpression)

Auto define a void pointer This is less of a type error itself and more of a safety net. Variables that hold the result of alloc must be the proper type for expressions like ptr[n] to work.

DefineMismatchedType(String)

Mismatched types in a let statement

AssignMismatchedType(MirExpression)

Mismatched types in an assignment statement

ArgumentMismatchedType(MirExpression)

Arguments to a function call do not match parameter types

FreeNonPointer(MirExpression)

Use a free statement using an address argument of a non-pointer type

NonBooleanCondition(MirExpression)

Using a non-boolean expression for an if statement, and if-else statement, a while loop, or a for loop

NonNumberAllocate(MirExpression)

Using a non-number for an alloc call

NonNumberIndex(MirExpression)

Indexing an array with a non-number value

NonNumberBinaryOperation(MirExpression, MirExpression)

Adding, subtracting, multiplying, or dividing two values where one or more of them is not a number.

NonNumberUnaryOperation(MirExpression)

Using the not operator or other unary operator on a non-number value.

NotEnoughArguments(MirExpression)

Calling a function without enough arguments

TooManyArguments(MirExpression)

Calling a function with too many arguments

CalledFunctionAsMethod(String)

Calling an associated function, such as a constructor, as a method

MismatchedReturnType(String)

The return type of the function does not match the result of the function

MultipleReturns(String)

A function attempts to use multiple return statements

NonVoidExpressionNotUsed(MirExpression)

An expression with non-void type is pushed onto the stack without being used by another expression or statement.

MismatchedCastSize(MirExpression, MirType)

A bad typecast due to mismatched sizes in types. For example, a value with size 3 cannot be cast to a number with size 1

OnlyOneBranchReturns(String)

Only one branch of an if-else statement returns in a function

IfReturns(String)

A single branch if-statement uses a return

LoopReturns(String)

Return statement used in a loop in a function

NonVoidNoReturn(String)

A non-void function never returns

MethodOnUnboundCopyDrop(MirExpression)

Prevent memory leaks by preventing the user from calling methods on objects that will not be dropped

MismatchedConditionalBranchTypes(MirExpression, MirExpression)

The branches of a conditional expression have different types

Trait Implementations

impl Clone for MirError

fn clone(&self) -> MirError

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for MirError

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

Formats the value using the given formatter.

impl Display for MirError

Print an MIR error on the command line

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

Formats the value using the given formatter.

impl PartialEq<MirError> for MirError

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl PartialOrd<MirError> for MirError

fn partial_cmp(&self, other: &MirError) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &MirError) -> bool

This method tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &MirError) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &MirError) -> bool

This method tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &MirError) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl StructuralPartialEq for MirError