Struct semantic_analyzer::types::semantic::SemanticStack

pub struct SemanticStack(/* private fields */);

Semantic stack

Semantic stack represent stack of Semantic Context

Implementations

impl SemanticStack

pub fn new() -> Self

Init Semantic stack

pub fn push(&mut self, value: SemanticStackContext)

Push Context data to the stack

pub fn get(self) -> Vec<SemanticStackContext>

Get all context stack data as array data

pub fn expression_value(&mut self, expression: Value)

Push Context to the stack as expression value data

pub fn expression_const(&mut self, expression: Constant)

Push Context to the stack as expression const data

pub fn expression_struct_value(&mut self, expression: Value, index: u32)

Push Context to the stack as expression struct value data

pub fn expression_operation( &mut self, operation: ExpressionOperations, left_value: ExpressionResult, right_value: ExpressionResult )

Push Context to the stack as expression operation data

pub fn call(&mut self, call: Function, params: Vec<ExpressionResult>)

Push Context to the stack as function call data

pub fn let_binding(&mut self, let_decl: Value, expr_result: ExpressionResult)

Push Context to the stack as let-binding data

pub fn binding(&mut self, val: Value, expr_result: ExpressionResult)

Push Context to the stack as binding data

pub fn function_declaration(&mut self, fn_decl: FunctionStatement)

Push Context to the stack as function declaration data

pub fn constant(&mut self, const_decl: Constant)

Push Context to the stack as constant data

pub fn types(&mut self, type_decl: StructTypes)

Push Context to the stack as types data

pub fn expression_function_return(&mut self, expr_result: ExpressionResult)

Push Context to the stack as expression function return data

pub fn expression_function_return_with_label( &mut self, expr_result: ExpressionResult )

Push Context to the stack as expression function return with label data

pub fn set_label(&mut self, label: LabelName)

Push Context to the stack as set label data

pub fn jump_to(&mut self, label: LabelName)

Push Context to the stack as jump to data

pub fn if_condition_expression( &mut self, expr_result: ExpressionResult, label_if_begin: LabelName, label_if_end: LabelName )

Push Context to the stack as if condition expression data

pub fn condition_expression( &mut self, left_result: ExpressionResult, right_result: ExpressionResult, condition: Condition )

Push Context to the stack as condition expression data

pub fn jump_function_return(&mut self, expr_result: ExpressionResult)

Push Context to the stack as jump function return data

pub fn logic_condition(&mut self, logic_condition: LogicCondition)

Push Context to the stack as logic condition data

pub fn if_condition_logic( &mut self, label_if_begin: LabelName, label_if_end: LabelName )

Push Context to the stack as if condition logic data

Trait Implementations

impl Clone for SemanticStack

fn clone(&self) -> SemanticStack

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for SemanticStack

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

Formats the value using the given formatter.

impl Default for SemanticStack

fn default() -> SemanticStack

Returns the “default value” for a type.

impl PartialEq for SemanticStack

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

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

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for SemanticStack