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]
Provided methods
fn scala_package(
&self,
package: &PackageName
) -> Result<&'opt PackageName, GeneratorError>
[src]
&self,
package: &PackageName
) -> Result<&'opt PackageName, GeneratorError>
fn write_package(&mut self, package: &PackageName) -> Result<(), GeneratorError>
[src]
fn write_qual_name(
&mut self,
name: &QualifiedName
) -> Result<(), GeneratorError>
[src]
&mut self,
name: &QualifiedName
) -> Result<(), GeneratorError>
fn write_type_args(
&mut self,
args: &Vec<LangType<'model>>
) -> Result<(), GeneratorError>
[src]
&mut self,
args: &Vec<LangType<'model>>
) -> Result<(), GeneratorError>
fn write_type(&mut self, t: &LangType<'model>) -> Result<(), GeneratorError>
[src]
fn write_args(
&mut self,
args: &Vec<LangExpr<'model>>
) -> Result<(), GeneratorError>
[src]
&mut self,
args: &Vec<LangExpr<'model>>
) -> Result<(), GeneratorError>