Struct flux_middle::Specs

source ·

pub struct Specs {Show 16 fields
    pub fn_sigs: UnordMap<OwnerId, FnSpec>,
    pub structs: UnordMap<OwnerId, StructDef>,
    pub traits: UnordMap<OwnerId, Trait>,
    pub impls: UnordMap<OwnerId, Impl>,
    pub enums: UnordMap<OwnerId, EnumDef>,
    pub flux_items_by_parent: FxIndexMap<OwnerId, Vec<Item>>,
    pub ty_aliases: UnordMap<OwnerId, Option<TyAlias>>,
    pub ignores: UnordMap<LocalDefId, Ignored>,
    pub trusted: UnordMap<LocalDefId, Trusted>,
    pub trusted_impl: UnordMap<LocalDefId, Trusted>,
    pub check_overflows: UnordMap<LocalDefId, CheckOverflow>,
    pub crate_config: Option<CrateConfig>,
    pub should_fail: UnordSet<LocalDefId>,
    pub(crate) dummy_extern: UnordSet<LocalDefId>,
    pub(crate) extern_id_to_local_id: UnordMap<DefId, LocalDefId>,
    pub(crate) local_id_to_extern_id: UnordMap<LocalDefId, DefId>,
}

Fields§

§fn_sigs: UnordMap<OwnerId, FnSpec>§structs: UnordMap<OwnerId, StructDef>§traits: UnordMap<OwnerId, Trait>§impls: UnordMap<OwnerId, Impl>§enums: UnordMap<OwnerId, EnumDef>§flux_items_by_parent: FxIndexMap<OwnerId, Vec<Item>>§ty_aliases: UnordMap<OwnerId, Option<TyAlias>>§ignores: UnordMap<LocalDefId, Ignored>§trusted: UnordMap<LocalDefId, Trusted>§trusted_impl: UnordMap<LocalDefId, Trusted>§check_overflows: UnordMap<LocalDefId, CheckOverflow>§crate_config: Option<CrateConfig>§should_fail: UnordSet<LocalDefId>§dummy_extern: UnordSet<LocalDefId>

Set of dummy items generated by the extern spec macro we must completely ignore. This is not the same as ignored items because, for ignored items, we still need to return errors for queries and handle them gracefully in order to report them at the use it.

If an item is in this set, all its descendants are also consider dummy (but they may not be in the set).

§extern_id_to_local_id: UnordMap<DefId, LocalDefId>§local_id_to_extern_id: UnordMap<LocalDefId, DefId>

Struct flux_middle::SpecsCopy item path

Fields§

Implementations§

impl Specs

pub fn insert_extern_spec_id_mapping( &mut self, local_id: LocalDefId, extern_id: DefId, ) -> Result<(), ExternSpecMappingErr>

pub fn insert_dummy(&mut self, owner_id: OwnerId)

Trait Implementations§

impl Default for Specs

fn default() -> Specs

Auto Trait Implementations§

impl Freeze for Specs

impl RefUnwindSafe for Specs

impl Send for Specs

impl Sync for Specs

impl Unpin for Specs

impl UnwindSafe for Specs

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> 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> IntoEither for T

fn into_either(self, into_left: bool) -> Either<Self, Self>

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>where F: FnOnce(&Self) -> bool,

impl<P> IntoQueryParam<P> for P

fn into_query_param(self) -> P

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>

Struct flux_middle::Specs

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, U> Into<U> for T
where U: From<T>,

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

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

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