Struct circomspect_program_structure::utils::report_writer::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(
    &mut self,
    reports: &ReportCollection,
    file_library: &FileLibrary
) -> usize

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

fn written(&self) -> usize

Returns the number of reports written.