Trait verilization_compiler::lang::generator::Generator[−][src]

pub trait Generator<'model>: Sized {
    type Lang: GeneratorNameMapping;
    fn model(&self) -> &'model Verilization;

    fn scope(&self) -> &Scope<'model>;

    fn build_type<'gen>(
        &'gen self, 
        version: &BigUint, 
        t: &Type
    ) -> Result<LangType<'model>, GeneratorError> { ... }

    fn build_codec(
        &self, 
        t: LangType<'model>
    ) -> Result<LangExpr<'model>, GeneratorError> { ... }

    fn build_conversion(
        &self, 
        prev_ver: &BigUint, 
        version: &BigUint, 
        t: &Type, 
        param: ConvertParam<'model>
    ) -> Result<LangExpr<'model>, GeneratorError> { ... }

    fn build_value(
        &self, 
        version: &BigUint, 
        t: LangType<'model>, 
        value: ConstantValue
    ) -> Result<LangExpr<'model>, GeneratorError> { ... }
}

Associated Types

type Lang: GeneratorNameMapping[src]

Loading content...

Required methods

fn model(&self) -> &'model Verilization[src]

fn scope(&self) -> &Scope<'model>[src]

Loading content...

Provided methods

fn build_type<'gen>(
    &'gen self,
    version: &BigUint,
    t: &Type
) -> Result<LangType<'model>, GeneratorError>[src]

fn build_codec(
    &self,
    t: LangType<'model>
) -> Result<LangExpr<'model>, GeneratorError>[src]

fn build_conversion(
    &self,
    prev_ver: &BigUint,
    version: &BigUint,
    t: &Type,
    param: ConvertParam<'model>
) -> Result<LangExpr<'model>, GeneratorError>[src]

fn build_value(
    &self,
    version: &BigUint,
    t: LangType<'model>,
    value: ConstantValue
) -> Result<LangExpr<'model>, GeneratorError>[src]

Loading content...

Implementors

Loading content...