Struct FileContext

Source

pub struct FileContext {Show 23 fields
    pub source_file: String,
    pub module_name: Option<String>,
    pub intent: Option<String>,
    pub depends: Vec<String>,
    pub exposes: Vec<String>,
    pub exposes_opaque: Vec<String>,
    pub api_effects: Vec<String>,
    pub module_effects: Vec<String>,
    pub main_effects: Option<Vec<String>>,
    pub fn_defs: Vec<FnDef>,
    pub all_fn_defs: Vec<FnDef>,
    pub fn_auto_memo: HashSet<String>,
    pub fn_memo_qual: HashMap<String, Vec<String>>,
    pub fn_auto_tco: HashSet<String>,
    pub fn_recursive_callsites: HashMap<String, usize>,
    pub fn_recursive_scc_id: HashMap<String, usize>,
    pub fn_specs: HashMap<String, Vec<String>>,
    pub fn_direct_calls: HashMap<String, Vec<String>>,
    pub type_defs: Vec<TypeDef>,
    pub verify_blocks: Vec<VerifyBlock>,
    pub verify_counts: HashMap<String, usize>,
    pub verify_samples: HashMap<String, Vec<String>>,
    pub decisions: Vec<DecisionBlock>,
}

Fields§

§source_file: String§module_name: Option<String>§intent: Option<String>§depends: Vec<String>§exposes: Vec<String>§exposes_opaque: Vec<String>§api_effects: Vec<String>§module_effects: Vec<String>§main_effects: Option<Vec<String>>§fn_defs: Vec<FnDef>

Public fn defs only (filtered by exposes when present).

§all_fn_defs: Vec<FnDef>

Every fn def, unfiltered. Used by callers that need private fns too.

§fn_auto_memo: HashSet<String>§fn_memo_qual: HashMap<String, Vec<String>>§fn_auto_tco: HashSet<String>§fn_recursive_callsites: HashMap<String, usize>§fn_recursive_scc_id: HashMap<String, usize>§fn_specs: HashMap<String, Vec<String>>§fn_direct_calls: HashMap<String, Vec<String>>§type_defs: Vec<TypeDef>§verify_blocks: Vec<VerifyBlock>§verify_counts: HashMap<String, usize>§verify_samples: HashMap<String, Vec<String>>§decisions: Vec<DecisionBlock>

FileContext

Struct FileContext Copy item path

Fields§

Trait Implementations§

impl Clone for FileContext

fn clone(&self) -> FileContext

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

Auto Trait Implementations§

impl Freeze for FileContext

impl RefUnwindSafe for FileContext

impl Send for FileContext

impl Sync for FileContext

impl Unpin for FileContext

impl UnsafeUnpin for FileContext

impl UnwindSafe for FileContext

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> CloneToUninit for Twhere T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T> ToOwned for Twhere T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut T)

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

impl<V, T> VZip<V> for Twhere V: MultiLane<T>,

fn vzip(self) -> V

Struct FileContext

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<T> CloneToUninit for T
where T: Clone,

impl<T, U> Into<U> for T
where U: From<T>,

impl<T> ToOwned for T
where T: Clone,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

impl<V, T> VZip<V> for T
where V: MultiLane<T>,