Struct circomspect_program_structure::utils::writers::SarifWriter

pub struct SarifWriter { /* private fields */ }

Implementations

impl SarifWriter

pub fn new(sarif_file: &Path) -> SarifWriter

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

Trait Implementations

impl Default for SarifWriter

fn default() -> SarifWriter

Returns the “default value” for a type.

impl ReportWriter for SarifWriter

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

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

fn reports_written(&self) -> usize

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