Struct circomspect_program_structure::program_library::report::Report

pub struct Report { /* private fields */ }

Implementations

impl Report

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 to_diagnostic(&self, verbose: bool) -> Diagnostic<FileID>

pub fn primary_file_ids(&self) -> &Vec<FileID>

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

pub fn name(&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>

Converts the object to the corresponding Sarif artifact.