Enum Trigger 

pub enum Trigger {
    Statement(Statement),
    Usage(Usage),
    Option(OptionFact),
    Always,
}

Variants

Statement(Statement)

Usage(Usage)

Option(OptionFact)

Always

The claim holds for every program: storage layout, code page tables, how source is read.

Implementations

impl Trigger

pub fn name(self) -> String

statement:sort, usage:packed, option:TRUNC(OPT) or always.

Trait Implementations

impl Clone for Trigger

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Trigger

impl Debug for Trigger

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

Formats the value using the given formatter.

impl Eq for Trigger

impl PartialEq for Trigger

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for Trigger