Trait verilization_lang_java::JavaGenerator[−][src]

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

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

    fn java_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 extern_type_name(
        &self, 
        name: &QualifiedName, 
        erased: bool
    ) -> Result<QualifiedName, GeneratorError> { ... }

    fn write_type(
        &mut self, 
        t: &LangType<'model>, 
        erased: bool
    ) -> 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 JavaOptions[src]

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

Loading content...

Provided methods

fn java_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 extern_type_name(
    &self,
    name: &QualifiedName,
    erased: bool
) -> Result<QualifiedName, GeneratorError>[src]

fn write_type(
    &mut self,
    t: &LangType<'model>,
    erased: bool
) -> 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...