Struct semantic_analyzer::semantic::BlockState

pub struct BlockState {
    pub values: HashMap<ValueName, Value>,
    pub inner_values_name: HashSet<InnerValueName>,
    pub labels: HashSet<LabelName>,
    pub last_register_number: u64,
    pub manual_return: bool,
    pub parent: Option<Rc<RefCell<BlockState>>>,
    pub children: Vec<Rc<RefCell<BlockState>>>,
    pub context: SemanticStack,
}

Block state

• values - contains unique values map for current state but not unique for parent states. The map contains key-value: value_name (unique only for current state); and Value itself - value parameters.
• inner_values_name - is entity that represent inner value name - it can be different from Value name because it should be unique for all parent states. For example, of 3 values with name x, inner value name will be: [x, x.0, x.1]. It mean, inner value name can contain value counter as end of the name.
• labels - labels set, for conditional operation. Unique for current and all paren states.
• last_register_number - represent register counter for current and all parent states for Codegen. Register represented as u64 and should be linearly incremented.
• manual_return - flag indicated, that return was invoked from other state, for example: if-flow, loop-flow
• parent - represent parent states.

Fields

values: HashMap<ValueName, Value>

State values

inner_values_name: HashSet<InnerValueName>

Used to keep all names in the block state (and parent) as unique

labels: HashSet<LabelName>

State labels for conditional operations

last_register_number: u64

Last register for unique register representation

manual_return: bool

Manual return from other states

parent: Option<Rc<RefCell<BlockState>>>

Parent state

children: Vec<Rc<RefCell<BlockState>>>

children states

context: SemanticStack

Semantic stack context for Block state

Implementations

impl BlockState

pub fn new(parent: Option<Rc<RefCell<Self>>>) -> Self

Init block state with optional parent state

Trait Implementations

impl Debug for BlockState

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

Formats the value using the given formatter.