Struct SafetyContext 

pub struct SafetyContext {
    pub file_default: SafetyMode,
    pub function_overrides: Vec<(FunctionSignature, SafetyMode)>,
    pub source_file: Option<String>,
}

Fields

file_default: SafetyMode

function_overrides: Vec<(FunctionSignature, SafetyMode)>

source_file: Option<String>

Implementations

impl SafetyContext

pub fn new() -> Self

pub fn merge_header_annotations(&mut self, header_cache: &HeaderCache)

Merge safety annotations from headers into this context

pub fn should_check_function(&self, func_name: &str) -> bool

Check if a specific function should be checked

pub fn is_from_source_file(&self, file_path: &str) -> bool

Check if a file path is from the source file where annotations were parsed Returns true if the file path matches the source file, false otherwise

pub fn get_function_safety(&self, func_name: &str) -> SafetyMode

Get the safety mode of a specific function

pub fn get_class_safety(&self, class_name: &str) -> SafetyMode

Get the safety mode of a specific class This is similar to get_function_safety but specifically handles class-level annotations

pub fn get_class_safety_for_file( &self, class_name: &str, class_file: &str, ) -> SafetyMode

Get the safety mode of a class, considering its source file location

IMPORTANT: file_default only applies to classes from the source file being analyzed. Classes from other files (system headers, external libraries) are treated as Undeclared unless they have an explicit annotation.

This fixes the namespace collision bug where a user’s @safe namespace annotation was incorrectly applying to STL classes from system headers.

pub fn get_function_safety_for_file( &self, func_name: &str, func_file: &str, ) -> SafetyMode

Get the safety mode of a function, considering its source file location

IMPORTANT: file_default only applies to functions from the source file being analyzed. Functions from other files are treated as Undeclared unless explicitly annotated.

pub fn should_check_function_for_file( &self, func_name: &str, func_file: &str, ) -> bool

Check if a function should be checked, considering its source file location

Trait Implementations

impl Clone for SafetyContext

fn clone(&self) -> SafetyContext

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SafetyContext

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

Formats the value using the given formatter.