Trait verilization_lang_scala::ScalaGenerator[−][src]

pub trait ScalaGenerator<'model, 'opt>: Generator<'model> + GeneratorWithFile {
    fn options(&self) -> &'opt ScalaOptions;

    fn referenced_types(&self) -> ReferencedTypeIterator<'model>;

    fn scala_package(
        &self, 
        package: &PackageName
    ) -> Result<&'opt PackageName, GeneratorError> { ... }

    fn write_package(
        &mut self, 
        package: &PackageName
    ) -> Result<(), GeneratorError> { ... }

    fn write_qual_name(
        &mut self, 
        name: &QualifiedName
    ) -> Result<(), GeneratorError> { ... }

    fn write_type_args(
        &mut self, 
        args: &Vec<LangType<'model>>
    ) -> Result<(), GeneratorError> { ... }

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

    fn write_args(
        &mut self, 
        args: &Vec<LangExpr<'model>>
    ) -> Result<(), GeneratorError> { ... }

    fn write_operation_name(
        &mut self, 
        op: &Operation
    ) -> Result<(), GeneratorError> { ... }

    fn write_expr(
        &mut self, 
        expr: &LangExpr<'model>
    ) -> Result<(), GeneratorError> { ... }
}

Required methods

fn options(&self) -> &'opt ScalaOptions[src]

fn referenced_types(&self) -> ReferencedTypeIterator<'model>[src]

Loading content...

Provided methods

fn scala_package(
    &self,
    package: &PackageName
) -> Result<&'opt PackageName, GeneratorError>[src]

fn write_package(&mut self, package: &PackageName) -> Result<(), GeneratorError>[src]

fn write_qual_name(
    &mut self,
    name: &QualifiedName
) -> Result<(), GeneratorError>[src]

fn write_type_args(
    &mut self,
    args: &Vec<LangType<'model>>
) -> Result<(), GeneratorError>[src]

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

fn write_args(
    &mut self,
    args: &Vec<LangExpr<'model>>
) -> Result<(), GeneratorError>[src]

fn write_operation_name(&mut self, op: &Operation) -> Result<(), GeneratorError>[src]

fn write_expr(&mut self, expr: &LangExpr<'model>) -> Result<(), GeneratorError>[src]

Loading content...

Implementors

Loading content...