Enum SafetyProperty 

pub enum SafetyProperty {
    MemorySafety,
    TypeSafety,
    ControlFlowIntegrity,
    ResourceBounds {
        memory: Option<usize>,
        time: Option<usize>,
    },
    Custom {
        name: String,
        description: String,
    },
}

A safety property that code must satisfy

Variants

MemorySafety

Memory safety (no buffer overflows, use-after-free, etc.)

TypeSafety

Type safety (well-typed operations)

ControlFlowIntegrity

Control flow integrity

ResourceBounds

Resource bounds (e.g., bounded memory/time usage)

Fields

memory: Option<usize>

time: Option<usize>

Custom

Custom property with a name and description

Fields

name: String

description: String

Trait Implementations

impl Clone for SafetyProperty

fn clone(&self) -> SafetyProperty

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SafetyProperty

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

Formats the value using the given formatter.

impl Display for SafetyProperty

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

Formats the value using the given formatter.

impl PartialEq for SafetyProperty

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for SafetyProperty

impl StructuralPartialEq for SafetyProperty