Struct VisitorData

pub struct VisitorData<'modu> {
    pub circuit: &'modu mut Circuit,
    pub module: Module,
    pub module_idx: usize,
    pub rule: Option<Rule>,
    pub rule_backup: Vec<Rule>,
    pub rule_rel_map: &'modu mut HashMap<String, HashMap<(String, String), MethodRel>>,
    pub conflict_map: HashMap<(String, String), MethodRel>,
    pub function: Option<Function>,
}

Contains information passed to visitor functions. This is re-generated when beginning to visit each module.

Fields

circuit: &'modu mut Circuit

module: Module

module_idx: usize

rule: Option<Rule>

rule_backup: Vec<Rule>

rule_rel_map: &'modu mut HashMap<String, HashMap<(String, String), MethodRel>>

conflict_map: HashMap<(String, String), MethodRel>

function: Option<Function>

Implementations

impl<'modu> VisitorData<'modu>

pub fn new_module( circuit: &'modu mut Circuit, module_name: &str, rule_rel_map: &'modu mut HashMap<String, HashMap<(String, String), MethodRel>>, ) -> Self

pub fn backup_rules(&mut self)

pub fn pop_backup_rules(&mut self)

pub fn rule_output_types( &self, module_name: &str, rule_name: &str, ) -> Result<Vec<Type>, Error>

pub fn rule_id(&self) -> RuleId

pub fn rule_id_by_rule_name(&self, rule_name: &str) -> RuleId

pub fn rule_id_by_inst_rule(&self, inst_rule: &InstRule) -> RuleId

pub fn print_value_in_module( &self, value_id: ValueId, module: &Module, ) -> String

pub fn print_value(&self, value_id: ValueId) -> String

pub fn current_module_has_input(&self, value_id: ValueId) -> bool

pub fn resolve_path(&self, path: &[String]) -> String

pub fn resolve_path_as_module(&self, path: &[String]) -> &Module

pub fn sub_inst_rules_from(&self, inst_rule: &InstRule) -> Vec<InstRule>

pub fn rule_from_rule_id(&self, rule_id: &RuleId) -> Option<&Rule>

pub fn rule_mut_from_rule_name(&mut self, rule_name: &str) -> Option<&mut Rule>

pub fn rule_args(&self, rule_id: Option<&RuleId>) -> Option<Vec<ValueId>>

pub fn rule_res(&self, rule_id: Option<&RuleId>) -> Option<Vec<ValueId>>

pub fn type_of(&self, value_id: ValueId) -> Option<Type>

get the type of a value, return None if the type is not yet inferred

pub fn type_of_in_module( &self, value_id: ValueId, module: &Module, ) -> Option<Type>

pub fn set_type(&mut self, value_id: ValueId, ty: Type)

pub fn rule(&self) -> &Rule

pub fn rule_mut(&mut self) -> &mut Rule

pub fn take_rule(&mut self) -> Rule

pub fn report_error_at_span( &self, msg: String, span: Option<MySpan>, ) -> CmtError

pub fn report_error_at_op(&self, msg: String, op: &Op) -> CmtError

pub fn report_error(&self, msg: String) -> CmtError

pub fn create_wire(&mut self, value_id: ValueId, ty: Type) -> InstDef

impl VisitorData<'_>

pub fn topo_sort_ops(&self, ops: Vec<Op>) -> Vec<Op>

pub fn schedule_rules( &self, rules_to_schedule: Vec<InstRule>, ) -> Result<Vec<InstRule>, Error>

impl<'a> VisitorData<'a>

pub fn get_output_delta( &self, op: &Op, idx: usize, rule_sched_infos: &RuleSchedTable, value_context_table: &ValueContextTable, ) -> Option<u32>

pub fn get_input_delta( &self, op: &Op, idx: usize, rule_sched_infos: &RuleSchedTable, value_context_table: &ValueContextTable, ) -> Option<u32>

impl<'modu> VisitorData<'modu>

pub fn rule_conflict( &self, module_name: String, lhs: String, rhs: String, ) -> MethodRel

pub fn check_conflict( &mut self, inst_rule1: InstRule, inst_rule2: InstRule, ) -> bool

Trait Implementations

impl Drop for VisitorData<'_>

fn drop(&mut self)

Executes the destructor for this type.