Struct AbstractAlarm 

pub struct AbstractAlarm {
    pub label: String,
    pub message: String,
    pub severity: AlarmSeverity,
}

An alarm generated when abstract analysis detects a potential issue.

Fields

label: String

message: String

severity: AlarmSeverity

Implementations

impl AbstractAlarm

pub fn new(label: &str, message: &str, severity: AlarmSeverity) -> Self

Create an alarm.

pub fn is_error(&self) -> bool

Return whether this is an error-level alarm.

Trait Implementations

impl Clone for AbstractAlarm

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AbstractAlarm

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.