semantic_analyzer::types::semantic

Enum SemanticStackContext

pub enum SemanticStackContext<I: SemanticContextInstruction> {
Show 21 variants    ExpressionValue {
        expression: Value,
        register_number: u64,
    },
    ExpressionConst {
        expression: Constant,
        register_number: u64,
    },
    ExpressionStructValue {
        expression: Value,
        index: u32,
        register_number: u64,
    },
    ExpressionOperation {
        operation: ExpressionOperations,
        left_value: ExpressionResult,
        right_value: ExpressionResult,
        register_number: u64,
    },
    Call {
        call: Function,
        params: Vec<ExpressionResult>,
        register_number: u64,
    },
    LetBinding {
        let_decl: Value,
        expr_result: ExpressionResult,
    },
    Binding {
        val: Value,
        expr_result: ExpressionResult,
    },
    FunctionDeclaration {
        fn_decl: FunctionStatement,
    },
    Constant {
        const_decl: Constant,
    },
    Types {
        type_decl: StructTypes,
    },
    ExpressionFunctionReturn {
        expr_result: ExpressionResult,
    },
    ExpressionFunctionReturnWithLabel {
        expr_result: ExpressionResult,
    },
    SetLabel {
        label: LabelName,
    },
    JumpTo {
        label: LabelName,
    },
    IfConditionExpression {
        expr_result: ExpressionResult,
        label_if_begin: LabelName,
        label_if_end: LabelName,
    },
    ConditionExpression {
        left_result: ExpressionResult,
        right_result: ExpressionResult,
        condition: Condition,
        register_number: u64,
    },
    JumpFunctionReturn {
        expr_result: ExpressionResult,
    },
    LogicCondition {
        logic_condition: LogicCondition,
        left_register_result: u64,
        right_register_result: u64,
        register_number: u64,
    },
    IfConditionLogic {
        label_if_begin: LabelName,
        label_if_end: LabelName,
        result_register: u64,
    },
    FunctionArg {
        value: Value,
        func_arg: FunctionParameter,
    },
    ExtendedExpression(Box<I>),
}

Expand description

§Semantic stack Context

Context data of Semantic results. Contains type declarations for specific instructions.

Variants§

ExpressionValue

Fields

§expression: Value

§register_number: u64

ExpressionConst

Fields

§expression: Constant

§register_number: u64

ExpressionStructValue

Fields

§expression: Value

§index: u32

§register_number: u64

ExpressionOperation

Fields

§operation: ExpressionOperations

§left_value: ExpressionResult

§right_value: ExpressionResult

§register_number: u64

Call

Fields

§call: Function

§params: Vec<ExpressionResult>

§register_number: u64

LetBinding

Fields

§let_decl: Value

§expr_result: ExpressionResult

Binding

Fields

§val: Value

§expr_result: ExpressionResult

FunctionDeclaration

Fields

§fn_decl: FunctionStatement

Constant

Fields

§const_decl: Constant

Types

Fields

§type_decl: StructTypes

ExpressionFunctionReturn

Fields

§expr_result: ExpressionResult

ExpressionFunctionReturnWithLabel

Fields

§expr_result: ExpressionResult

SetLabel

Fields

§label: LabelName

JumpTo

Fields

§label: LabelName

IfConditionExpression

Fields

§expr_result: ExpressionResult

§label_if_begin: LabelName

§label_if_end: LabelName

ConditionExpression

Fields

§left_result: ExpressionResult

§right_result: ExpressionResult

§condition: Condition

§register_number: u64

JumpFunctionReturn

Fields

§expr_result: ExpressionResult

LogicCondition

Fields

§logic_condition: LogicCondition

§left_register_result: u64

§right_register_result: u64

§register_number: u64

IfConditionLogic

Fields

§label_if_begin: LabelName

§label_if_end: LabelName

§result_register: u64

FunctionArg

Fields

§value: Value

§func_arg: FunctionParameter

ExtendedExpression(Box<I>)

Trait Implementations§

impl<I: Clone + SemanticContextInstruction> Clone for SemanticStackContext<I>

fn clone(&self) -> SemanticStackContext<I>

Returns a duplicate of the value. Read more

1.0.0 · Source§

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

Performs copy-assignment from source. Read more

impl<I: Debug + SemanticContextInstruction> Debug for SemanticStackContext<I>

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

Formats the value using the given formatter. Read more

impl<I: PartialEq + SemanticContextInstruction> PartialEq for SemanticStackContext<I>

fn eq(&self, other: &SemanticStackContext<I>) -> bool

Tests for self and other values to be equal, and is used by ==.

1.0.0 · Source§

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<I: SemanticContextInstruction> StructuralPartialEq for SemanticStackContext<I>

Auto Trait Implementations§

impl<I> Freeze for SemanticStackContext<I>

impl<I> RefUnwindSafe for SemanticStackContext<I>
where I: RefUnwindSafe,

impl<I> Send for SemanticStackContext<I>
where I: Send,

impl<I> Sync for SemanticStackContext<I>
where I: Sync,

impl<I> Unpin for SemanticStackContext<I>

impl<I> UnwindSafe for SemanticStackContext<I>
where I: UnwindSafe,

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> CloneToUninit for T
where T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)

Performs copy-assignment from self to dest. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into<U> for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> ToOwned for T
where T: Clone,

type Owned = T

The resulting type after obtaining ownership.

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

impl<T, U> TryFrom<U> for T
where U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.