Struct circomspect_program_structure::utils::writers::StdoutWriter

pub struct StdoutWriter { /* private fields */ }

Implementations

impl StdoutWriter

pub fn new(verbose: bool) -> StdoutWriter

pub fn add_filter(self, filter: impl ReportFilter + 'static) -> StdoutWriter

Trait Implementations

impl LogWriter for StdoutWriter

fn write_messages<D: Display>(&mut self, messages: &[D])

fn write_message<D: Display>(&mut self, message: D)

impl ReportWriter for StdoutWriter

fn reports_written(&self) -> usize

Returns the number of reports written.

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

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

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).