Trait BasicTranslator

pub trait BasicTranslator<VarId, ScopeId>: Send + Sync {
    // Required methods
    fn name(&self) -> String;
    fn basic_translate(
        &self,
        num_bits: u64,
        value: &VariableValue,
    ) -> (String, ValueKind);

    // Provided methods
    fn translates(
        &self,
        variable: &VariableMeta<VarId, ScopeId>,
    ) -> Result<TranslationPreference> { ... }
    fn variable_info(
        &self,
        _variable: &VariableMeta<VarId, ScopeId>,
    ) -> Result<VariableInfo> { ... }
}

A translator that only produces non-hierarchical values

Required Methods

fn name(&self) -> String

fn basic_translate( &self, num_bits: u64, value: &VariableValue, ) -> (String, ValueKind)

Provided Methods

fn translates( &self, variable: &VariableMeta<VarId, ScopeId>, ) -> Result<TranslationPreference>

fn variable_info( &self, _variable: &VariableMeta<VarId, ScopeId>, ) -> Result<VariableInfo>

Implementors