Struct ModuleData 

pub struct ModuleData<'db>(/* private fields */);

Implementations

impl ModuleData<'static>

pub fn ingredient(db: &dyn Database) -> &IngredientImpl<Self>

impl<'db> ModuleData<'db>

pub fn new<Db_>( db: &'db Db_, items: Vec<ModuleItemId<'db>>, types_data: ModuleTypesData<'db>, named_items_data: ModuleNamedItemsData<'db>, unnamed_items_data: ModuleUnnamedItemsData<'db>, files_data: ModuleFilesData<'db>, ) -> Self

where Db_: ?Sized + Database,

pub fn items<Db_>(self, db: &'db Db_) -> &'db Vec<ModuleItemId<'db>>

where Db_: ?Sized + Database,

The list of IDs of all items in the module. Each ID here is guaranteed to be a key in one of the specific-item-kind maps.

impl<'_db> ModuleData<'_db>

pub fn default_debug_fmt(this: Self, f: &mut Formatter<'_>) -> Result

where for<'db> Vec<ModuleItemId<'db>>: Debug, for<'db> ModuleTypesData<'db>: Debug, for<'db> ModuleNamedItemsData<'db>: Debug, for<'db> ModuleUnnamedItemsData<'db>: Debug, for<'db> ModuleFilesData<'db>: Debug,

Default debug formatting for this struct (may be useful if you define your own Debug impl)

impl<'db> ModuleData<'db>

pub fn constants( &self, db: &'db dyn Database, ) -> &'db OrderedHashMap<ConstantId<'db>, ItemConstant<'db>>

All the constants of the given module.

pub fn submodules( &self, db: &'db dyn Database, ) -> &'db OrderedHashMap<SubmoduleId<'db>, ItemModule<'db>>

All the submodules of the given module.

pub fn uses( &self, db: &'db dyn Database, ) -> &'db OrderedHashMap<UseId<'db>, UsePathLeaf<'db>>

All the uses of the given module.

pub fn free_functions( &self, db: &'db dyn Database, ) -> &'db OrderedHashMap<FreeFunctionId<'db>, FunctionWithBody<'db>>

All the free functions of the given module.

pub fn structs( &self, db: &'db dyn Database, ) -> &'db OrderedHashMap<StructId<'db>, ItemStruct<'db>>

All the structs of the given module.

pub fn enums( &self, db: &'db dyn Database, ) -> &'db OrderedHashMap<EnumId<'db>, ItemEnum<'db>>

All the enums of the given module.

pub fn type_aliases( &self, db: &'db dyn Database, ) -> &'db OrderedHashMap<ModuleTypeAliasId<'db>, ItemTypeAlias<'db>>

All the type aliases of the given module.

pub fn impl_aliases( &self, db: &'db dyn Database, ) -> &'db OrderedHashMap<ImplAliasId<'db>, ItemImplAlias<'db>>

All the impl aliases of the given module.

pub fn traits( &self, db: &'db dyn Database, ) -> &'db OrderedHashMap<TraitId<'db>, ItemTrait<'db>>

All the traits of the given module.

pub fn impls( &self, db: &'db dyn Database, ) -> &'db OrderedHashMap<ImplDefId<'db>, ItemImpl<'db>>

All the impls of the given module.

pub fn extern_types( &self, db: &'db dyn Database, ) -> &'db OrderedHashMap<ExternTypeId<'db>, ItemExternType<'db>>

All the extern types of the given module.

pub fn extern_functions( &self, db: &'db dyn Database, ) -> &'db OrderedHashMap<ExternFunctionId<'db>, ItemExternFunction<'db>>

All the extern functions of the given module.

pub fn macro_declarations( &self, db: &'db dyn Database, ) -> &'db OrderedHashMap<MacroDeclarationId<'db>, ItemMacroDeclaration<'db>>

All the macro declarations of the given module.

pub fn global_uses( &self, db: &'db dyn Database, ) -> &'db OrderedHashMap<GlobalUseId<'db>, UsePathStar<'db>>

All the global uses of the given module.

pub fn macro_calls( &self, db: &'db dyn Database, ) -> &'db OrderedHashMap<MacroCallId<'db>, ItemInlineMacro<'db>>

Calls to inline macros in the module (only those that were not handled by plugins).

pub fn files(&self, db: &'db dyn Database) -> &'db Vec<FileId<'db>>

All the files of the given module.

pub fn generated_file_aux_data( &self, db: &'db dyn Database, ) -> &'db OrderedHashMap<FileId<'db>, Option<DynGeneratedFileAuxData>>

Generation info for each file. Virtual files have Some. Other files have None.

pub fn plugin_diagnostics( &self, db: &'db dyn Database, ) -> &'db Vec<(ModuleId<'db>, PluginDiagnostic<'db>)>

pub fn diagnostics_notes( &self, db: &'db dyn Database, ) -> &'db PluginFileDiagnosticNotes<'db>

Diagnostic notes for diagnostics originating in the plugin generated files identified by FileId. Diagnostic notes are added with note: prefix at the end of diagnostic display.

Trait Implementations

impl AsId for ModuleData<'_>

fn as_id(&self) -> Id

impl<'db> Clone for ModuleData<'db>

fn clone(&self) -> ModuleData<'db>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Configuration for ModuleData<'static>

const LOCATION: Location

const DEBUG_NAME: &'static str = "ModuleData"

The debug name of the tracked struct.

const TRACKED_FIELD_NAMES: &'static [&'static str]

The debug names of any tracked fields.

const TRACKED_FIELD_INDICES: &'static [usize]

The relative indices of any tracked fields.

const PERSIST: bool = false

Whether this struct should be persisted with the database.

type Fields<'db> = (Vec<ModuleItemId<'db>>, ModuleTypesData<'db>, ModuleNamedItemsData<'db>, ModuleUnnamedItemsData<'db>, ModuleFilesData<'db>)

A (possibly empty) tuple of the fields for this struct.

type Revisions = [Revision; 0]

type Struct<'db> = ModuleData<'db>

fn untracked_fields(fields: &Self::Fields<'_>) -> impl Hash

fn new_revisions(current_revision: Revision_) -> Self::Revisions

Create a new value revision array where each element is set to current_revision.

unsafe fn update_fields<'db>( current_revision: Revision_, revisions: &mut Self::Revisions, old_fields: *mut Self::Fields<'db>, new_fields: Self::Fields<'db>, ) -> bool

Update the field data and, if the value has changed, the appropriate entry in the revisions array (tracked fields only).

fn serialize<S: Serializer>( fields: &Self::Fields<'_>, serializer: S, ) -> Result<S::Ok, S::Error>

Serialize the fields using serde.

fn deserialize<'de, D: Deserializer<'de>>( deserializer: D, ) -> Result<Self::Fields<'static>, D::Error>

Deserialize the fields using serde.

fn heap_size(_value: &Self::Fields<'_>) -> Option<usize>

Returns the size of any heap allocations in the output value, in bytes.

impl<'db> FromId for ModuleData<'db>

fn from_id(id: Id) -> Self

impl<'db> HasJar for ModuleData<'db>

const KIND: JarKind = zalsa_::JarKind::Struct

The [JarKind] for Self::Jar.

type Jar = JarImpl<ModuleData<'static>>

The [Jar] associated with this ingredient.

impl<'db> Hash for ModuleData<'db>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<'db> PartialEq for ModuleData<'db>

fn eq(&self, other: &ModuleData<'db>) -> 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 SalsaStructInDb for ModuleData<'_>

type MemoIngredientMap = MemoIngredientSingletonIndex

fn lookup_ingredient_index(aux: &Zalsa) -> IngredientIndices

Lookup or create ingredient indices.

fn entries(zalsa: &Zalsa) -> impl Iterator<Item = DatabaseKeyIndex> + '_

Returns the IDs of any instances of this struct in the database.

fn cast(id: Id, type_id: TypeId) -> Option<Self>

Plumbing to support nested salsa supertypes.

unsafe fn memo_table( zalsa: &Zalsa, id: Id, current_revision: Revision, ) -> MemoTableWithTypes<'_>

Return the memo table associated with id.

impl TrackedStructInDb for ModuleData<'_>

fn database_key_index(zalsa: &Zalsa, id: Id) -> DatabaseKeyIndex

Converts the identifier for this tracked struct into a DatabaseKeyIndex.

impl Update for ModuleData<'_>

unsafe fn maybe_update(old_pointer: *mut Self, new_value: Self) -> bool

Returns

impl<'db> Copy for ModuleData<'db>

impl<'db> Eq for ModuleData<'db>

impl Send for ModuleData<'_>

impl<'db> StructuralPartialEq for ModuleData<'db>

impl Sync for ModuleData<'_>