circomspect_program_structure::utils::writers

Trait ReportWriter

Source 
pub trait ReportWriter {
    // Required methods
    fn write_reports(
        &mut self,
        reports: &[Report],
        file_library: &FileLibrary,
    ) -> usize;
    fn reports_written(&self) -> usize;

    // Provided method
    fn write_report(
        &mut self,
        report: Report,
        file_library: &FileLibrary,
    ) -> usize { ... }
}

Required Methods§

Source

fn write_reports( &mut self, reports: &[Report], file_library: &FileLibrary, ) -> usize

Filter and write the given reports. Returns the number of reports written.

Source

fn reports_written(&self) -> usize

Returns the number of reports written.

Provided Methods§

Source

fn write_report(&mut self, report: Report, file_library: &FileLibrary) -> usize

Filter and write a single report. Returns the number of reports written (0 or 1).

Implementors§