Struct circomspect_program_structure::program_library::report::Report

pub struct Report { /* private fields */ }

Implementations

impl Report

pub fn print_reports(
    reports: &[Report],
    file_library: &FileLibrary,
    verbose: bool
)

pub fn error(message: String, code: ReportCode) -> Report

pub fn warning(message: String, code: ReportCode) -> Report

pub fn info(message: String, code: ReportCode) -> Report

pub fn add_primary(
    &mut self,
    location: FileLocation,
    file_id: FileID,
    message: String
) -> &mut Self

pub fn add_secondary(
    &mut self,
    location: FileLocation,
    file_id: FileID,
    possible_message: Option<String>
) -> &mut Self

pub fn add_note(&mut self, note: String) -> &mut Self

pub fn category(&self) -> &MessageCategory

pub fn message(&self) -> &String

pub fn primary(&self) -> &Vec<ReportLabel>

pub fn secondary(&self) -> &Vec<ReportLabel>

pub fn notes(&self) -> &Vec<String>

pub fn code(&self) -> &ReportCode

pub fn id(&self) -> String

Trait Implementations

impl Clone for Report

fn clone(&self) -> Report

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl From<CFGError> for Report

fn from(error: CFGError) -> Report

Converts to this type from the input type.

impl From<IRError> for Report

fn from(error: IRError) -> Report

Converts to this type from the input type.

impl From<SSAError> for Report

fn from(error: SSAError) -> Report

Converts to this type from the input type.

impl ToSarif for Report

type Sarif = Result

type Error = SarifError

fn to_sarif(&self, files: &FileLibrary) -> Result<Result, SarifError>