Enum type_checking::semantics::SemanticError

pub enum SemanticError {
    RedefinitionError {
        kind: String,
        name: String,
    },
    MainMethodParamUsed {
        name: String,
    },
    StaticMethodNotMain,
    NoMainMethod,
    MultipleStaticMethods {
        amount: u64,
    },
    ThisInStaticMethod,
    MightNotReturn {
        method_name: String,
    },
    ThisMethodInvocationInStaticMethod {
        method_name: String,
    },
    CannotCallStaticMethod {
        method_name: String,
    },
    ConditionMustBeBoolean,
    CannotLookupVarOrField {
        name: String,
    },
    CannotLookupVarOrFieldDidYouMean {
        name: String,
        did_you_mean: String,
    },
    CannotAccessNonStaticFieldInStaticMethod {
        field_name: String,
    },
    VoidMethodCannotReturnValue,
    VoidNotAllowed,
    MethodMustReturnSomething {
        ty: String,
    },
    InvalidType {
        ty_expected: String,
        ty_expr: String,
    },
    InvalidReferenceToClass {
        class_name: String,
    },
    ClassDoesNotExist {
        class_name: String,
    },
    CannotIndexNonArrayType {
        ty: String,
    },
    MethodDoesNotExistOnType {
        method_name: String,
        ty: String,
    },
    FieldDoesNotExistOnType {
        field_name: String,
        ty: String,
    },
    MethodArgCountDoesNotMatch {
        expected_args: usize,
        actual_args: usize,
    },
    CannotCompareValuesOfType1WithType2 {
        ty1: String,
        ty2: String,
    },
    NotAStatement,
    InvalidAssignment,
    CannotWriteToReadOnlyField {
        field_name: String,
    },
    IntTooLarge {
        int: String,
    },
}

Variants

RedefinitionError

Fields of RedefinitionError

kind: Stringname: String

MainMethodParamUsed

Fields of MainMethodParamUsed

name: String

StaticMethodNotMainNoMainMethodMultipleStaticMethods

Fields of MultipleStaticMethods

amount: u64

ThisInStaticMethodMightNotReturn

Fields of MightNotReturn

method_name: String

ThisMethodInvocationInStaticMethod

Fields of ThisMethodInvocationInStaticMethod

method_name: String

CannotCallStaticMethod

Fields of CannotCallStaticMethod

method_name: String

ConditionMustBeBooleanCannotLookupVarOrField

Fields of CannotLookupVarOrField

name: String

CannotLookupVarOrFieldDidYouMean

Fields of CannotLookupVarOrFieldDidYouMean

name: Stringdid_you_mean: String

CannotAccessNonStaticFieldInStaticMethod

Fields of CannotAccessNonStaticFieldInStaticMethod

field_name: String

VoidMethodCannotReturnValueVoidNotAllowedMethodMustReturnSomething

Fields of MethodMustReturnSomething

ty: String

InvalidType

Fields of InvalidType

ty_expected: Stringty_expr: String

InvalidReferenceToClass

Fields of InvalidReferenceToClass

class_name: String

ClassDoesNotExist

Fields of ClassDoesNotExist

class_name: String

CannotIndexNonArrayType

Fields of CannotIndexNonArrayType

ty: String

MethodDoesNotExistOnType

Fields of MethodDoesNotExistOnType

method_name: Stringty: String

FieldDoesNotExistOnType

Fields of FieldDoesNotExistOnType

field_name: Stringty: String

MethodArgCountDoesNotMatch

Fields of MethodArgCountDoesNotMatch

expected_args: usizeactual_args: usize

CannotCompareValuesOfType1WithType2

Fields of CannotCompareValuesOfType1WithType2

ty1: Stringty2: String

NotAStatementInvalidAssignmentCannotWriteToReadOnlyField

Fields of CannotWriteToReadOnlyField

field_name: String

IntTooLarge

Fields of IntTooLarge

int: String

Trait Implementations

impl Display for SemanticError

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

Formats the value using the given formatter.

impl Debug for SemanticError

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

Formats the value using the given formatter.

impl Fail for SemanticError

fn cause(&self) -> Option<&dyn Fail>

Returns a reference to the underlying cause of this failure, if it is an error that wraps other errors.

fn backtrace(&self) -> Option<&Backtrace>

Returns a reference to the Backtrace carried by this failure, if it carries one.

fn context<D>(self, context: D) -> Context<D> where     D: Display + Send + Sync + 'static,

Provides context for this failure.

fn compat(self) -> Compat<Self>

Wraps this failure in a compatibility wrapper that implements std::error::Error.