pub struct RootDatabase { /* private fields */ }Implementations§
Source§impl RootDatabase
impl RootDatabase
pub fn empty() -> Self
pub fn builder() -> RootDatabaseBuilder
Sourcepub fn snapshot(&self) -> RootDatabase
pub fn snapshot(&self) -> RootDatabase
Snapshots the db for read only.
Trait Implementations§
Source§impl Database for RootDatabase
impl Database for RootDatabase
Source§fn salsa_event(&self, event_fn: Event)
fn salsa_event(&self, event_fn: Event)
This function is invoked at key points in the salsa
runtime. It permits the database to be customized and to
inject logging or other custom behavior.
Source§fn unwind_if_cancelled(&self)
fn unwind_if_cancelled(&self)
Starts unwinding the stack if the current revision is cancelled. Read more
Source§fn salsa_runtime(&self) -> &Runtime
fn salsa_runtime(&self) -> &Runtime
Gives access to the underlying salsa runtime. Read more
Source§fn salsa_runtime_mut(&mut self) -> &mut Runtime
fn salsa_runtime_mut(&mut self) -> &mut Runtime
Gives access to the underlying salsa runtime. Read more
Source§impl DatabaseOps for RootDatabase
impl DatabaseOps for RootDatabase
Source§fn ops_database(&self) -> &dyn Database
fn ops_database(&self) -> &dyn Database
Upcast this type to a
dyn Database.Source§fn ops_salsa_runtime(&self) -> &Runtime
fn ops_salsa_runtime(&self) -> &Runtime
Gives access to the underlying salsa runtime.
Source§fn ops_salsa_runtime_mut(&mut self) -> &mut Runtime
fn ops_salsa_runtime_mut(&mut self) -> &mut Runtime
Gives access to the underlying salsa runtime.
Source§fn fmt_index(&self, input: DatabaseKeyIndex, fmt: &mut Formatter<'_>) -> Result
fn fmt_index(&self, input: DatabaseKeyIndex, fmt: &mut Formatter<'_>) -> Result
Formats a database key index in a human readable fashion.
Source§fn maybe_changed_after(
&self,
input: DatabaseKeyIndex,
revision: Revision,
) -> bool
fn maybe_changed_after( &self, input: DatabaseKeyIndex, revision: Revision, ) -> bool
True if the computed value for
input may have changed since revision.Source§fn cycle_recovery_strategy(
&self,
input: DatabaseKeyIndex,
) -> CycleRecoveryStrategy
fn cycle_recovery_strategy( &self, input: DatabaseKeyIndex, ) -> CycleRecoveryStrategy
Find the
CycleRecoveryStrategy for a given input.Source§fn for_each_query(&self, op: &mut dyn FnMut(&dyn QueryStorageMassOps))
fn for_each_query(&self, op: &mut dyn FnMut(&dyn QueryStorageMassOps))
Executes the callback for each kind of query.
Source§impl DatabaseStorageTypes for RootDatabase
impl DatabaseStorageTypes for RootDatabase
Source§type DatabaseStorage = __SalsaDatabaseStorage
type DatabaseStorage = __SalsaDatabaseStorage
Defines the “storage type”, where all the query data is kept.
This type is defined by the
database_storage macro.Source§impl Default for RootDatabase
impl Default for RootDatabase
Source§impl ExternalCodeSizeEstimator for RootDatabase
impl ExternalCodeSizeEstimator for RootDatabase
Source§fn estimate_size(&self, function_id: ConcreteFunctionWithBodyId) -> Maybe<isize>
fn estimate_size(&self, function_id: ConcreteFunctionWithBodyId) -> Maybe<isize>
Estimates the size of a function by compiling it to CASM. Note that the size is not accurate since we don’t use the real costs for the dummy functions.
Source§impl ExternalFiles for RootDatabase
impl ExternalFiles for RootDatabase
Source§fn try_ext_as_virtual(&self, external_id: InternId) -> Option<VirtualFile>
fn try_ext_as_virtual(&self, external_id: InternId) -> Option<VirtualFile>
Returns the virtual file matching the external id if found.
Source§fn ext_as_virtual(&self, external_id: InternId) -> VirtualFile
fn ext_as_virtual(&self, external_id: InternId) -> VirtualFile
Returns the virtual file matching the external id.
Source§impl HasQueryGroup<DefsDatabase> for RootDatabase
impl HasQueryGroup<DefsDatabase> for RootDatabase
Source§fn group_storage(&self) -> &<DefsDatabase as QueryGroup>::GroupStorage
fn group_storage(&self) -> &<DefsDatabase as QueryGroup>::GroupStorage
Access the group storage struct from the database.
Source§fn group_storage_mut(
&mut self,
) -> (&<DefsDatabase as QueryGroup>::GroupStorage, &mut Runtime)
fn group_storage_mut( &mut self, ) -> (&<DefsDatabase as QueryGroup>::GroupStorage, &mut Runtime)
Access the group storage struct from the database.
Also returns a ref to the
Runtime, since otherwise
the database is borrowed and one cannot get access to it.Source§impl HasQueryGroup<FilesDatabase> for RootDatabase
impl HasQueryGroup<FilesDatabase> for RootDatabase
Source§fn group_storage(&self) -> &<FilesDatabase as QueryGroup>::GroupStorage
fn group_storage(&self) -> &<FilesDatabase as QueryGroup>::GroupStorage
Access the group storage struct from the database.
Source§fn group_storage_mut(
&mut self,
) -> (&<FilesDatabase as QueryGroup>::GroupStorage, &mut Runtime)
fn group_storage_mut( &mut self, ) -> (&<FilesDatabase as QueryGroup>::GroupStorage, &mut Runtime)
Access the group storage struct from the database.
Also returns a ref to the
Runtime, since otherwise
the database is borrowed and one cannot get access to it.Source§impl HasQueryGroup<LoweringDatabase> for RootDatabase
impl HasQueryGroup<LoweringDatabase> for RootDatabase
Source§fn group_storage(&self) -> &<LoweringDatabase as QueryGroup>::GroupStorage
fn group_storage(&self) -> &<LoweringDatabase as QueryGroup>::GroupStorage
Access the group storage struct from the database.
Source§fn group_storage_mut(
&mut self,
) -> (&<LoweringDatabase as QueryGroup>::GroupStorage, &mut Runtime)
fn group_storage_mut( &mut self, ) -> (&<LoweringDatabase as QueryGroup>::GroupStorage, &mut Runtime)
Access the group storage struct from the database.
Also returns a ref to the
Runtime, since otherwise
the database is borrowed and one cannot get access to it.Source§impl HasQueryGroup<ParserDatabase> for RootDatabase
impl HasQueryGroup<ParserDatabase> for RootDatabase
Source§fn group_storage(&self) -> &<ParserDatabase as QueryGroup>::GroupStorage
fn group_storage(&self) -> &<ParserDatabase as QueryGroup>::GroupStorage
Access the group storage struct from the database.
Source§fn group_storage_mut(
&mut self,
) -> (&<ParserDatabase as QueryGroup>::GroupStorage, &mut Runtime)
fn group_storage_mut( &mut self, ) -> (&<ParserDatabase as QueryGroup>::GroupStorage, &mut Runtime)
Access the group storage struct from the database.
Also returns a ref to the
Runtime, since otherwise
the database is borrowed and one cannot get access to it.Source§impl HasQueryGroup<SemanticDatabase> for RootDatabase
impl HasQueryGroup<SemanticDatabase> for RootDatabase
Source§fn group_storage(&self) -> &<SemanticDatabase as QueryGroup>::GroupStorage
fn group_storage(&self) -> &<SemanticDatabase as QueryGroup>::GroupStorage
Access the group storage struct from the database.
Source§fn group_storage_mut(
&mut self,
) -> (&<SemanticDatabase as QueryGroup>::GroupStorage, &mut Runtime)
fn group_storage_mut( &mut self, ) -> (&<SemanticDatabase as QueryGroup>::GroupStorage, &mut Runtime)
Access the group storage struct from the database.
Also returns a ref to the
Runtime, since otherwise
the database is borrowed and one cannot get access to it.Source§impl HasQueryGroup<SierraGenDatabase> for RootDatabase
impl HasQueryGroup<SierraGenDatabase> for RootDatabase
Source§fn group_storage(&self) -> &<SierraGenDatabase as QueryGroup>::GroupStorage
fn group_storage(&self) -> &<SierraGenDatabase as QueryGroup>::GroupStorage
Access the group storage struct from the database.
Source§fn group_storage_mut(
&mut self,
) -> (&<SierraGenDatabase as QueryGroup>::GroupStorage, &mut Runtime)
fn group_storage_mut( &mut self, ) -> (&<SierraGenDatabase as QueryGroup>::GroupStorage, &mut Runtime)
Access the group storage struct from the database.
Also returns a ref to the
Runtime, since otherwise
the database is borrowed and one cannot get access to it.Source§impl HasQueryGroup<SyntaxDatabase> for RootDatabase
impl HasQueryGroup<SyntaxDatabase> for RootDatabase
Source§fn group_storage(&self) -> &<SyntaxDatabase as QueryGroup>::GroupStorage
fn group_storage(&self) -> &<SyntaxDatabase as QueryGroup>::GroupStorage
Access the group storage struct from the database.
Source§fn group_storage_mut(
&mut self,
) -> (&<SyntaxDatabase as QueryGroup>::GroupStorage, &mut Runtime)
fn group_storage_mut( &mut self, ) -> (&<SyntaxDatabase as QueryGroup>::GroupStorage, &mut Runtime)
Access the group storage struct from the database.
Also returns a ref to the
Runtime, since otherwise
the database is borrowed and one cannot get access to it.Source§impl ParallelDatabase for RootDatabase
impl ParallelDatabase for RootDatabase
Source§impl Upcast<dyn DefsGroup> for RootDatabase
impl Upcast<dyn DefsGroup> for RootDatabase
Source§impl Upcast<dyn FilesGroup> for RootDatabase
impl Upcast<dyn FilesGroup> for RootDatabase
fn upcast(&self) -> &(dyn FilesGroup + 'static)
Source§impl Upcast<dyn LoweringGroup> for RootDatabase
impl Upcast<dyn LoweringGroup> for RootDatabase
fn upcast(&self) -> &(dyn LoweringGroup + 'static)
Source§impl Upcast<dyn ParserGroup> for RootDatabase
impl Upcast<dyn ParserGroup> for RootDatabase
fn upcast(&self) -> &(dyn ParserGroup + 'static)
Source§impl Upcast<dyn SemanticGroup> for RootDatabase
impl Upcast<dyn SemanticGroup> for RootDatabase
fn upcast(&self) -> &(dyn SemanticGroup + 'static)
Source§impl Upcast<dyn SierraGenGroup> for RootDatabase
impl Upcast<dyn SierraGenGroup> for RootDatabase
fn upcast(&self) -> &(dyn SierraGenGroup + 'static)
Source§impl Upcast<dyn SyntaxGroup> for RootDatabase
impl Upcast<dyn SyntaxGroup> for RootDatabase
fn upcast(&self) -> &(dyn SyntaxGroup + 'static)
Auto Trait Implementations§
impl !Freeze for RootDatabase
impl !RefUnwindSafe for RootDatabase
impl Send for RootDatabase
impl !Sync for RootDatabase
impl Unpin for RootDatabase
impl !UnwindSafe for RootDatabase
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<DB> DefsGroup for DB
impl<DB> DefsGroup for DB
fn intern_constant(&self, id: ConstantLongId) -> ConstantId
fn lookup_intern_constant(&self, key: ConstantId) -> ConstantLongId
fn intern_submodule(&self, id: SubmoduleLongId) -> SubmoduleId
fn lookup_intern_submodule(&self, key: SubmoduleId) -> SubmoduleLongId
fn intern_use(&self, id: UseLongId) -> UseId
fn lookup_intern_use(&self, key: UseId) -> UseLongId
fn intern_global_use(&self, id: GlobalUseLongId) -> GlobalUseId
fn lookup_intern_global_use(&self, key: GlobalUseId) -> GlobalUseLongId
fn intern_free_function(&self, id: FreeFunctionLongId) -> FreeFunctionId
fn lookup_intern_free_function(&self, key: FreeFunctionId) -> FreeFunctionLongId
fn intern_impl_type_def(&self, id: ImplTypeDefLongId) -> ImplTypeDefId
fn lookup_intern_impl_type_def(&self, key: ImplTypeDefId) -> ImplTypeDefLongId
fn intern_impl_constant_def( &self, id: ImplConstantDefLongId, ) -> ImplConstantDefId
fn lookup_intern_impl_constant_def( &self, key: ImplConstantDefId, ) -> ImplConstantDefLongId
fn intern_impl_impl_def(&self, id: ImplImplDefLongId) -> ImplImplDefId
fn lookup_intern_impl_impl_def(&self, key: ImplImplDefId) -> ImplImplDefLongId
fn intern_impl_function(&self, id: ImplFunctionLongId) -> ImplFunctionId
fn lookup_intern_impl_function(&self, key: ImplFunctionId) -> ImplFunctionLongId
fn intern_struct(&self, id: StructLongId) -> StructId
fn lookup_intern_struct(&self, key: StructId) -> StructLongId
fn intern_enum(&self, id: EnumLongId) -> EnumId
fn lookup_intern_enum(&self, key: EnumId) -> EnumLongId
fn intern_module_type_alias( &self, id: ModuleTypeAliasLongId, ) -> ModuleTypeAliasId
fn lookup_intern_module_type_alias( &self, key: ModuleTypeAliasId, ) -> ModuleTypeAliasLongId
fn intern_impl_alias(&self, id: ImplAliasLongId) -> ImplAliasId
fn lookup_intern_impl_alias(&self, key: ImplAliasId) -> ImplAliasLongId
fn intern_member(&self, id: MemberLongId) -> MemberId
fn lookup_intern_member(&self, key: MemberId) -> MemberLongId
fn intern_variant(&self, id: VariantLongId) -> VariantId
fn lookup_intern_variant(&self, key: VariantId) -> VariantLongId
fn intern_trait(&self, id: TraitLongId) -> TraitId
fn lookup_intern_trait(&self, key: TraitId) -> TraitLongId
fn intern_trait_type(&self, id: TraitTypeLongId) -> TraitTypeId
fn lookup_intern_trait_type(&self, key: TraitTypeId) -> TraitTypeLongId
fn intern_trait_constant(&self, id: TraitConstantLongId) -> TraitConstantId
fn lookup_intern_trait_constant( &self, key: TraitConstantId, ) -> TraitConstantLongId
fn intern_trait_impl(&self, id: TraitImplLongId) -> TraitImplId
fn lookup_intern_trait_impl(&self, key: TraitImplId) -> TraitImplLongId
fn intern_trait_function(&self, id: TraitFunctionLongId) -> TraitFunctionId
fn lookup_intern_trait_function( &self, key: TraitFunctionId, ) -> TraitFunctionLongId
fn intern_impl_def(&self, id: ImplDefLongId) -> ImplDefId
fn lookup_intern_impl_def(&self, key: ImplDefId) -> ImplDefLongId
fn intern_extern_type(&self, id: ExternTypeLongId) -> ExternTypeId
fn lookup_intern_extern_type(&self, key: ExternTypeId) -> ExternTypeLongId
fn intern_extern_function(&self, id: ExternFunctionLongId) -> ExternFunctionId
fn lookup_intern_extern_function( &self, key: ExternFunctionId, ) -> ExternFunctionLongId
fn intern_macro_declaration( &self, id: MacroDeclarationLongId, ) -> MacroDeclarationId
fn lookup_intern_macro_declaration( &self, key: MacroDeclarationId, ) -> MacroDeclarationLongId
fn intern_param(&self, id: ParamLongId) -> ParamId
fn lookup_intern_param(&self, key: ParamId) -> ParamLongId
fn intern_generic_param(&self, id: GenericParamLongId) -> GenericParamId
fn lookup_intern_generic_param(&self, key: GenericParamId) -> GenericParamLongId
fn intern_local_var(&self, id: LocalVarLongId) -> LocalVarId
fn lookup_intern_local_var(&self, key: LocalVarId) -> LocalVarLongId
fn intern_statement_const(&self, id: StatementConstLongId) -> StatementConstId
fn lookup_intern_statement_const( &self, key: StatementConstId, ) -> StatementConstLongId
fn intern_statement_use(&self, id: StatementUseLongId) -> StatementUseId
fn lookup_intern_statement_use(&self, key: StatementUseId) -> StatementUseLongId
fn intern_plugin_generated_file( &self, id: PluginGeneratedFileLongId, ) -> PluginGeneratedFileId
fn lookup_intern_plugin_generated_file( &self, key: PluginGeneratedFileId, ) -> PluginGeneratedFileLongId
fn default_macro_plugins(&self) -> Arc<[MacroPluginId]>
Source§fn set_default_macro_plugins(&mut self, value__: Arc<[MacroPluginId]>)
fn set_default_macro_plugins(&mut self, value__: Arc<[MacroPluginId]>)
Set the value of the
default_macro_plugins input. Read moreSource§fn set_default_macro_plugins_with_durability(
&mut self,
value__: Arc<[MacroPluginId]>,
durability__: Durability,
)
fn set_default_macro_plugins_with_durability( &mut self, value__: Arc<[MacroPluginId]>, durability__: Durability, )
Set the value of the
default_macro_plugins input with a
specific durability instead of the default of
Durability::LOW. You can use Durability::MAX
to promise that its value will never change again. Read morefn macro_plugin_overrides( &self, ) -> Arc<OrderedHashMap<CrateId, Arc<[MacroPluginId]>>>
Source§fn set_macro_plugin_overrides(
&mut self,
value__: Arc<OrderedHashMap<CrateId, Arc<[MacroPluginId]>>>,
)
fn set_macro_plugin_overrides( &mut self, value__: Arc<OrderedHashMap<CrateId, Arc<[MacroPluginId]>>>, )
Set the value of the
macro_plugin_overrides input. Read moreSource§fn set_macro_plugin_overrides_with_durability(
&mut self,
value__: Arc<OrderedHashMap<CrateId, Arc<[MacroPluginId]>>>,
durability__: Durability,
)
fn set_macro_plugin_overrides_with_durability( &mut self, value__: Arc<OrderedHashMap<CrateId, Arc<[MacroPluginId]>>>, durability__: Durability, )
Set the value of the
macro_plugin_overrides input with a
specific durability instead of the default of
Durability::LOW. You can use Durability::MAX
to promise that its value will never change again. Read morefn intern_macro_plugin(&self, plugin: MacroPluginLongId) -> MacroPluginId
fn lookup_intern_macro_plugin(&self, key: MacroPluginId) -> MacroPluginLongId
Source§fn crate_macro_plugins(&self, crate_id: CrateId) -> Arc<[MacroPluginId]>
fn crate_macro_plugins(&self, crate_id: CrateId) -> Arc<[MacroPluginId]>
Returns
MacroPluginIds of the plugins set for the crate with CrateId.
Provides an override if it has been set with
DefsGroupEx::set_override_crate_macro_plugins or the default
(DefsGroup::default_macro_plugins) otherwise.fn default_inline_macro_plugins( &self, ) -> Arc<OrderedHashMap<String, InlineMacroExprPluginId>>
Source§fn set_default_inline_macro_plugins(
&mut self,
value__: Arc<OrderedHashMap<String, InlineMacroExprPluginId>>,
)
fn set_default_inline_macro_plugins( &mut self, value__: Arc<OrderedHashMap<String, InlineMacroExprPluginId>>, )
Set the value of the
default_inline_macro_plugins input. Read moreSource§fn set_default_inline_macro_plugins_with_durability(
&mut self,
value__: Arc<OrderedHashMap<String, InlineMacroExprPluginId>>,
durability__: Durability,
)
fn set_default_inline_macro_plugins_with_durability( &mut self, value__: Arc<OrderedHashMap<String, InlineMacroExprPluginId>>, durability__: Durability, )
Set the value of the
default_inline_macro_plugins input with a
specific durability instead of the default of
Durability::LOW. You can use Durability::MAX
to promise that its value will never change again. Read morefn inline_macro_plugin_overrides( &self, ) -> Arc<OrderedHashMap<CrateId, Arc<OrderedHashMap<String, InlineMacroExprPluginId>>>>
Source§fn set_inline_macro_plugin_overrides(
&mut self,
value__: Arc<OrderedHashMap<CrateId, Arc<OrderedHashMap<String, InlineMacroExprPluginId>>>>,
)
fn set_inline_macro_plugin_overrides( &mut self, value__: Arc<OrderedHashMap<CrateId, Arc<OrderedHashMap<String, InlineMacroExprPluginId>>>>, )
Set the value of the
inline_macro_plugin_overrides input. Read moreSource§fn set_inline_macro_plugin_overrides_with_durability(
&mut self,
value__: Arc<OrderedHashMap<CrateId, Arc<OrderedHashMap<String, InlineMacroExprPluginId>>>>,
durability__: Durability,
)
fn set_inline_macro_plugin_overrides_with_durability( &mut self, value__: Arc<OrderedHashMap<CrateId, Arc<OrderedHashMap<String, InlineMacroExprPluginId>>>>, durability__: Durability, )
Set the value of the
inline_macro_plugin_overrides input with a
specific durability instead of the default of
Durability::LOW. You can use Durability::MAX
to promise that its value will never change again. Read morefn intern_inline_macro_plugin( &self, plugin: InlineMacroExprPluginLongId, ) -> InlineMacroExprPluginId
fn lookup_intern_inline_macro_plugin( &self, key: InlineMacroExprPluginId, ) -> InlineMacroExprPluginLongId
Source§fn crate_inline_macro_plugins(
&self,
crate_id: CrateId,
) -> Arc<OrderedHashMap<String, InlineMacroExprPluginId>>
fn crate_inline_macro_plugins( &self, crate_id: CrateId, ) -> Arc<OrderedHashMap<String, InlineMacroExprPluginId>>
Returns
InlineMacroExprPluginIds of the plugins set for the crate with CrateId.
Provides an override if it has been set with
DefsGroupEx::set_override_crate_inline_macro_plugins or the default
(DefsGroup::default_inline_macro_plugins) otherwise.Source§fn allowed_attributes(&self, crate_id: CrateId) -> Arc<OrderedHashSet<String>>
fn allowed_attributes(&self, crate_id: CrateId) -> Arc<OrderedHashSet<String>>
Returns the set of attributes allowed anywhere.
An attribute on any item that is not in this set will be handled as an unknown attribute.
Source§fn allowed_statement_attributes(&self) -> Arc<OrderedHashSet<String>>
fn allowed_statement_attributes(&self) -> Arc<OrderedHashSet<String>>
Returns the set of attributes allowed on statements.
An attribute on a statement that is not in this set will be handled as an unknown attribute.
Source§fn declared_derives(&self, crate_id: CrateId) -> Arc<OrderedHashSet<String>>
fn declared_derives(&self, crate_id: CrateId) -> Arc<OrderedHashSet<String>>
Returns the set of
derive that were declared as by a plugin.
A derive that is not in this set will be handled as an unknown derive.Source§fn declared_phantom_type_attributes(
&self,
crate_id: CrateId,
) -> Arc<OrderedHashSet<String>>
fn declared_phantom_type_attributes( &self, crate_id: CrateId, ) -> Arc<OrderedHashSet<String>>
Returns the set of attributes that were declared as phantom type attributes by a plugin,
i.e. a type marked with this attribute is considered a phantom type.
Source§fn is_submodule_inline(&self, submodule_id: SubmoduleId) -> bool
fn is_submodule_inline(&self, submodule_id: SubmoduleId) -> bool
Checks whether the submodule is defined as inline.
Source§fn module_main_file(
&self,
module_id: ModuleId,
) -> Result<FileId, DiagnosticAdded>
fn module_main_file( &self, module_id: ModuleId, ) -> Result<FileId, DiagnosticAdded>
Gets the main file of the module.
A module might have more virtual files generated by plugins.
Source§fn module_files(
&self,
module_id: ModuleId,
) -> Result<Arc<[FileId]>, DiagnosticAdded>
fn module_files( &self, module_id: ModuleId, ) -> Result<Arc<[FileId]>, DiagnosticAdded>
Gets all the files of a module - main files and generated virtual files.
Source§fn module_file(
&self,
module_id: ModuleFileId,
) -> Result<FileId, DiagnosticAdded>
fn module_file( &self, module_id: ModuleFileId, ) -> Result<FileId, DiagnosticAdded>
Gets a file from a module and a FileIndex (i.e. ModuleFileId).
Source§fn module_dir(&self, module_id: ModuleId) -> Result<Directory, DiagnosticAdded>
fn module_dir(&self, module_id: ModuleId) -> Result<Directory, DiagnosticAdded>
Gets the directory of a module.
fn crate_modules(&self, crate_id: CrateId) -> Arc<[ModuleId]>
fn priv_file_to_module_mapping( &self, ) -> Arc<OrderedHashMap<FileId, Vec<ModuleId>>>
fn file_modules( &self, file_id: FileId, ) -> Result<Arc<[ModuleId]>, DiagnosticAdded>
Source§fn cached_crate_modules(
&self,
crate_id: CrateId,
) -> Option<(Arc<OrderedHashMap<ModuleId, ModuleData>>, Arc<DefCacheLoadingData>)>
fn cached_crate_modules( &self, crate_id: CrateId, ) -> Option<(Arc<OrderedHashMap<ModuleId, ModuleData>>, Arc<DefCacheLoadingData>)>
Returns the ModuleData of all modules in the crate’s cache, and the loading data of the
DefsGroup in the crate.
fn priv_module_data( &self, module_id: ModuleId, ) -> Result<ModuleData, DiagnosticAdded>
fn priv_module_sub_files( &self, module_id: ModuleId, file_id: FileId, ) -> Result<Arc<PrivModuleSubFiles>, DiagnosticAdded>
fn module_submodules( &self, module_id: ModuleId, ) -> Result<Arc<OrderedHashMap<SubmoduleId, ItemModule>>, DiagnosticAdded>
fn module_submodules_ids( &self, module_id: ModuleId, ) -> Result<Arc<[SubmoduleId]>, DiagnosticAdded>
fn module_constants( &self, module_id: ModuleId, ) -> Result<Arc<OrderedHashMap<ConstantId, ItemConstant>>, DiagnosticAdded>
fn module_constants_ids( &self, module_id: ModuleId, ) -> Result<Arc<[ConstantId]>, DiagnosticAdded>
fn module_constant_by_id( &self, constant_id: ConstantId, ) -> Result<Option<ItemConstant>, DiagnosticAdded>
fn module_free_functions( &self, module_id: ModuleId, ) -> Result<Arc<OrderedHashMap<FreeFunctionId, FunctionWithBody>>, DiagnosticAdded>
fn module_free_functions_ids( &self, module_id: ModuleId, ) -> Result<Arc<[FreeFunctionId]>, DiagnosticAdded>
fn module_free_function_by_id( &self, free_function_id: FreeFunctionId, ) -> Result<Option<FunctionWithBody>, DiagnosticAdded>
fn module_items( &self, module_id: ModuleId, ) -> Result<Arc<[ModuleItemId]>, DiagnosticAdded>
fn module_global_uses( &self, module_id: ModuleId, ) -> Result<Arc<OrderedHashMap<GlobalUseId, UsePathStar>>, DiagnosticAdded>
Source§fn module_item_name_stable_ptr(
&self,
module_id: ModuleId,
item_id: ModuleItemId,
) -> Result<SyntaxStablePtrId, DiagnosticAdded>
fn module_item_name_stable_ptr( &self, module_id: ModuleId, item_id: ModuleItemId, ) -> Result<SyntaxStablePtrId, DiagnosticAdded>
Returns the stable ptr of the name of a module item.
fn module_uses( &self, module_id: ModuleId, ) -> Result<Arc<OrderedHashMap<UseId, UsePathLeaf>>, DiagnosticAdded>
fn module_uses_ids( &self, module_id: ModuleId, ) -> Result<Arc<[UseId]>, DiagnosticAdded>
fn module_use_by_id( &self, use_id: UseId, ) -> Result<Option<UsePathLeaf>, DiagnosticAdded>
fn module_global_use_by_id( &self, global_use_id: GlobalUseId, ) -> Result<Option<UsePathStar>, DiagnosticAdded>
fn module_structs( &self, module_id: ModuleId, ) -> Result<Arc<OrderedHashMap<StructId, ItemStruct>>, DiagnosticAdded>
fn module_structs_ids( &self, module_id: ModuleId, ) -> Result<Arc<[StructId]>, DiagnosticAdded>
fn module_struct_by_id( &self, struct_id: StructId, ) -> Result<Option<ItemStruct>, DiagnosticAdded>
fn module_enums( &self, module_id: ModuleId, ) -> Result<Arc<OrderedHashMap<EnumId, ItemEnum>>, DiagnosticAdded>
fn module_enums_ids( &self, module_id: ModuleId, ) -> Result<Arc<[EnumId]>, DiagnosticAdded>
fn module_enum_by_id( &self, enum_id: EnumId, ) -> Result<Option<ItemEnum>, DiagnosticAdded>
fn module_type_aliases( &self, module_id: ModuleId, ) -> Result<Arc<OrderedHashMap<ModuleTypeAliasId, ItemTypeAlias>>, DiagnosticAdded>
fn module_type_aliases_ids( &self, module_id: ModuleId, ) -> Result<Arc<[ModuleTypeAliasId]>, DiagnosticAdded>
fn module_type_alias_by_id( &self, module_type_alias_id: ModuleTypeAliasId, ) -> Result<Option<ItemTypeAlias>, DiagnosticAdded>
fn module_impl_aliases( &self, module_id: ModuleId, ) -> Result<Arc<OrderedHashMap<ImplAliasId, ItemImplAlias>>, DiagnosticAdded>
fn module_impl_aliases_ids( &self, module_id: ModuleId, ) -> Result<Arc<[ImplAliasId]>, DiagnosticAdded>
fn module_impl_alias_by_id( &self, impl_alias_id: ImplAliasId, ) -> Result<Option<ItemImplAlias>, DiagnosticAdded>
fn module_traits( &self, module_id: ModuleId, ) -> Result<Arc<OrderedHashMap<TraitId, ItemTrait>>, DiagnosticAdded>
fn module_traits_ids( &self, module_id: ModuleId, ) -> Result<Arc<[TraitId]>, DiagnosticAdded>
fn module_trait_by_id( &self, trait_id: TraitId, ) -> Result<Option<ItemTrait>, DiagnosticAdded>
fn module_impls( &self, module_id: ModuleId, ) -> Result<Arc<OrderedHashMap<ImplDefId, ItemImpl>>, DiagnosticAdded>
fn module_impls_ids( &self, module_id: ModuleId, ) -> Result<Arc<[ImplDefId]>, DiagnosticAdded>
fn module_impl_by_id( &self, impl_id: ImplDefId, ) -> Result<Option<ItemImpl>, DiagnosticAdded>
fn module_extern_types( &self, module_id: ModuleId, ) -> Result<Arc<OrderedHashMap<ExternTypeId, ItemExternType>>, DiagnosticAdded>
fn module_extern_types_ids( &self, module_id: ModuleId, ) -> Result<Arc<[ExternTypeId]>, DiagnosticAdded>
fn module_extern_type_by_id( &self, extern_type_id: ExternTypeId, ) -> Result<Option<ItemExternType>, DiagnosticAdded>
fn module_extern_functions( &self, module_id: ModuleId, ) -> Result<Arc<OrderedHashMap<ExternFunctionId, ItemExternFunction>>, DiagnosticAdded>
fn module_extern_functions_ids( &self, module_id: ModuleId, ) -> Result<Arc<[ExternFunctionId]>, DiagnosticAdded>
fn module_extern_function_by_id( &self, extern_function_id: ExternFunctionId, ) -> Result<Option<ItemExternFunction>, DiagnosticAdded>
Source§fn module_macro_declarations(
&self,
module_id: ModuleId,
) -> Result<Arc<OrderedHashMap<MacroDeclarationId, ItemMacroDeclaration>>, DiagnosticAdded>
fn module_macro_declarations( &self, module_id: ModuleId, ) -> Result<Arc<OrderedHashMap<MacroDeclarationId, ItemMacroDeclaration>>, DiagnosticAdded>
Returns the macro declarations in the module.
Source§fn module_macro_declarations_ids(
&self,
module_id: ModuleId,
) -> Result<Arc<[MacroDeclarationId]>, DiagnosticAdded>
fn module_macro_declarations_ids( &self, module_id: ModuleId, ) -> Result<Arc<[MacroDeclarationId]>, DiagnosticAdded>
Returns the IDs of the macro declarations in the module.
Source§fn module_macro_declaration_by_id(
&self,
macro_declaration_id: MacroDeclarationId,
) -> Result<Option<ItemMacroDeclaration>, DiagnosticAdded>
fn module_macro_declaration_by_id( &self, macro_declaration_id: MacroDeclarationId, ) -> Result<Option<ItemMacroDeclaration>, DiagnosticAdded>
Returns the macro declaration by its ID.
fn module_ancestors(&self, module_id: ModuleId) -> OrderedHashSet<ModuleId>
fn module_generated_file_aux_data( &self, module_id: ModuleId, ) -> Result<Arc<[Option<DynGeneratedFileAuxData>]>, DiagnosticAdded>
fn module_plugin_diagnostics( &self, module_id: ModuleId, ) -> Result<Arc<[(ModuleFileId, PluginDiagnostic)]>, DiagnosticAdded>
Source§fn module_plugin_diagnostics_notes(
&self,
module_id: ModuleId,
) -> Result<Arc<OrderedHashMap<FileId, DiagnosticNote>>, DiagnosticAdded>
fn module_plugin_diagnostics_notes( &self, module_id: ModuleId, ) -> Result<Arc<OrderedHashMap<FileId, DiagnosticNote>>, DiagnosticAdded>
Diagnostic notes for diagnostics originating in the plugin generated files identified by
FileId.Source§impl<T> DefsGroupEx for T
impl<T> DefsGroupEx for T
Source§fn set_override_crate_macro_plugins(
&mut self,
crate_id: CrateId,
plugins: Arc<[MacroPluginId]>,
)
fn set_override_crate_macro_plugins( &mut self, crate_id: CrateId, plugins: Arc<[MacroPluginId]>, )
Source§fn set_override_crate_inline_macro_plugins(
&mut self,
crate_id: CrateId,
plugins: Arc<OrderedHashMap<String, InlineMacroExprPluginId>>,
)
fn set_override_crate_inline_macro_plugins( &mut self, crate_id: CrateId, plugins: Arc<OrderedHashMap<String, InlineMacroExprPluginId>>, )
Source§impl<T> Elongate for Twhere
T: Upcast<dyn SemanticGroup>,
impl<T> Elongate for Twhere
T: Upcast<dyn SemanticGroup>,
fn elongate(&self) -> &(dyn SemanticGroup + 'static)
Source§impl<DB> FilesGroup for DB
impl<DB> FilesGroup for DB
fn intern_crate(&self, crt: CrateLongId) -> CrateId
fn lookup_intern_crate(&self, key: CrateId) -> CrateLongId
fn intern_file(&self, file: FileLongId) -> FileId
fn lookup_intern_file(&self, key: FileId) -> FileLongId
fn intern_blob(&self, blob: BlobLongId) -> BlobId
fn lookup_intern_blob(&self, key: BlobId) -> BlobLongId
fn intern_flag(&self, flag: FlagLongId) -> FlagId
fn lookup_intern_flag(&self, key: FlagId) -> FlagLongId
Source§fn crate_configs(&self) -> Arc<OrderedHashMap<CrateId, CrateConfiguration>>
fn crate_configs(&self) -> Arc<OrderedHashMap<CrateId, CrateConfiguration>>
Main input of the project. Lists all the crates configurations.
Source§fn set_crate_configs(
&mut self,
value__: Arc<OrderedHashMap<CrateId, CrateConfiguration>>,
)
fn set_crate_configs( &mut self, value__: Arc<OrderedHashMap<CrateId, CrateConfiguration>>, )
Set the value of the
crate_configs input. Read moreSource§fn set_crate_configs_with_durability(
&mut self,
value__: Arc<OrderedHashMap<CrateId, CrateConfiguration>>,
durability__: Durability,
)
fn set_crate_configs_with_durability( &mut self, value__: Arc<OrderedHashMap<CrateId, CrateConfiguration>>, durability__: Durability, )
Set the value of the
crate_configs input with a
specific durability instead of the default of
Durability::LOW. You can use Durability::MAX
to promise that its value will never change again. Read moreSource§fn file_overrides(&self) -> Arc<OrderedHashMap<FileId, Arc<str>>>
fn file_overrides(&self) -> Arc<OrderedHashMap<FileId, Arc<str>>>
Overrides for file content. Mostly used by language server and tests.
TODO(spapini): Currently, when this input changes, all the file_content() queries will
be invalidated.
Change this mechanism to hold file_overrides on the db struct outside salsa mechanism,
and invalidate manually.
Source§fn set_file_overrides(&mut self, value__: Arc<OrderedHashMap<FileId, Arc<str>>>)
fn set_file_overrides(&mut self, value__: Arc<OrderedHashMap<FileId, Arc<str>>>)
Set the value of the
file_overrides input. Read moreSource§fn set_file_overrides_with_durability(
&mut self,
value__: Arc<OrderedHashMap<FileId, Arc<str>>>,
durability__: Durability,
)
fn set_file_overrides_with_durability( &mut self, value__: Arc<OrderedHashMap<FileId, Arc<str>>>, durability__: Durability, )
Set the value of the
file_overrides input with a
specific durability instead of the default of
Durability::LOW. You can use Durability::MAX
to promise that its value will never change again. Read moreSource§fn set_flags(&mut self, value__: Arc<OrderedHashMap<FlagId, Arc<Flag>>>)
fn set_flags(&mut self, value__: Arc<OrderedHashMap<FlagId, Arc<Flag>>>)
Set the value of the
flags input. Read moreSource§fn set_flags_with_durability(
&mut self,
value__: Arc<OrderedHashMap<FlagId, Arc<Flag>>>,
durability__: Durability,
)
fn set_flags_with_durability( &mut self, value__: Arc<OrderedHashMap<FlagId, Arc<Flag>>>, durability__: Durability, )
Set the value of the
flags input with a
specific durability instead of the default of
Durability::LOW. You can use Durability::MAX
to promise that its value will never change again. Read moreSource§fn set_cfg_set_with_durability(
&mut self,
value__: Arc<CfgSet>,
durability__: Durability,
)
fn set_cfg_set_with_durability( &mut self, value__: Arc<CfgSet>, durability__: Durability, )
Set the value of the
cfg_set input with a
specific durability instead of the default of
Durability::LOW. You can use Durability::MAX
to promise that its value will never change again. Read moreSource§fn crate_config(&self, crate_id: CrateId) -> Option<CrateConfiguration>
fn crate_config(&self, crate_id: CrateId) -> Option<CrateConfiguration>
Configuration of the crate.
Source§fn priv_raw_file_content(&self, file_id: FileId) -> Option<Arc<str>>
fn priv_raw_file_content(&self, file_id: FileId) -> Option<Arc<str>>
Query for raw file contents. Private.
Source§fn file_content(&self, file_id: FileId) -> Option<Arc<str>>
fn file_content(&self, file_id: FileId) -> Option<Arc<str>>
Query for the file contents. This takes overrides into consideration.
fn file_summary(&self, file_id: FileId) -> Option<Arc<FileSummary>>
Source§impl<T> FilesGroupEx for Twhere
T: FilesGroup + ?Sized,
impl<T> FilesGroupEx for Twhere
T: FilesGroup + ?Sized,
Source§fn override_file_content(&mut self, file: FileId, content: Option<Arc<str>>)
fn override_file_content(&mut self, file: FileId, content: Option<Arc<str>>)
Overrides file content. None value removes the override.
Source§fn set_crate_config(&mut self, crt: CrateId, root: Option<CrateConfiguration>)
fn set_crate_config(&mut self, crt: CrateId, root: Option<CrateConfiguration>)
Sets the root directory of the crate. None value removes the crate.
Source§impl<T> FmtForward for T
impl<T> FmtForward for T
Source§fn fmt_binary(self) -> FmtBinary<Self>where
Self: Binary,
fn fmt_binary(self) -> FmtBinary<Self>where
Self: Binary,
Causes
self to use its Binary implementation when Debug-formatted.Source§fn fmt_display(self) -> FmtDisplay<Self>where
Self: Display,
fn fmt_display(self) -> FmtDisplay<Self>where
Self: Display,
Causes
self to use its Display implementation when
Debug-formatted.Source§fn fmt_lower_exp(self) -> FmtLowerExp<Self>where
Self: LowerExp,
fn fmt_lower_exp(self) -> FmtLowerExp<Self>where
Self: LowerExp,
Causes
self to use its LowerExp implementation when
Debug-formatted.Source§fn fmt_lower_hex(self) -> FmtLowerHex<Self>where
Self: LowerHex,
fn fmt_lower_hex(self) -> FmtLowerHex<Self>where
Self: LowerHex,
Causes
self to use its LowerHex implementation when
Debug-formatted.Source§fn fmt_octal(self) -> FmtOctal<Self>where
Self: Octal,
fn fmt_octal(self) -> FmtOctal<Self>where
Self: Octal,
Causes
self to use its Octal implementation when Debug-formatted.Source§fn fmt_pointer(self) -> FmtPointer<Self>where
Self: Pointer,
fn fmt_pointer(self) -> FmtPointer<Self>where
Self: Pointer,
Causes
self to use its Pointer implementation when
Debug-formatted.Source§fn fmt_upper_exp(self) -> FmtUpperExp<Self>where
Self: UpperExp,
fn fmt_upper_exp(self) -> FmtUpperExp<Self>where
Self: UpperExp,
Causes
self to use its UpperExp implementation when
Debug-formatted.Source§fn fmt_upper_hex(self) -> FmtUpperHex<Self>where
Self: UpperHex,
fn fmt_upper_hex(self) -> FmtUpperHex<Self>where
Self: UpperHex,
Causes
self to use its UpperHex implementation when
Debug-formatted.Source§impl<'a, T> FunctionImplicitsTrait<'a> for T
impl<'a, T> FunctionImplicitsTrait<'a> for T
Source§fn function_with_body_implicits(
&self,
function: ConcreteFunctionWithBodyId,
) -> Result<Vec<TypeId>, DiagnosticAdded>
fn function_with_body_implicits( &self, function: ConcreteFunctionWithBodyId, ) -> Result<Vec<TypeId>, DiagnosticAdded>
Returns all the implicits used by a ConcreteFunctionWithBodyId.
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§impl<DB> LoweringGroup for DBwhere
DB: SemanticGroup + Upcast<dyn SemanticGroup> + ExternalCodeSizeEstimator + Database + HasQueryGroup<LoweringDatabase>,
impl<DB> LoweringGroup for DBwhere
DB: SemanticGroup + Upcast<dyn SemanticGroup> + ExternalCodeSizeEstimator + Database + HasQueryGroup<LoweringDatabase>,
fn intern_lowering_function(&self, id: FunctionLongId) -> FunctionId
fn lookup_intern_lowering_function(&self, key: FunctionId) -> FunctionLongId
fn intern_lowering_concrete_function_with_body( &self, id: ConcreteFunctionWithBodyLongId, ) -> ConcreteFunctionWithBodyId
fn lookup_intern_lowering_concrete_function_with_body( &self, key: ConcreteFunctionWithBodyId, ) -> ConcreteFunctionWithBodyLongId
fn intern_lowering_function_with_body( &self, id: FunctionWithBodyLongId, ) -> FunctionWithBodyId
fn lookup_intern_lowering_function_with_body( &self, key: FunctionWithBodyId, ) -> FunctionWithBodyLongId
fn intern_location(&self, id: Location) -> LocationId
fn lookup_intern_location(&self, key: LocationId) -> Location
fn intern_strategy(&self, id: OptimizationStrategy) -> OptimizationStrategyId
fn lookup_intern_strategy( &self, key: OptimizationStrategyId, ) -> OptimizationStrategy
Source§fn priv_function_with_body_multi_lowering(
&self,
function_id: FunctionWithBodyId,
) -> Result<Arc<MultiLowering>, DiagnosticAdded>
fn priv_function_with_body_multi_lowering( &self, function_id: FunctionWithBodyId, ) -> Result<Arc<MultiLowering>, DiagnosticAdded>
Computes the lowered representation of a function with a body, along with all it generated
functions (e.g. closures, lambdas, loops, …).
Source§fn cached_multi_lowerings(
&self,
crate_id: CrateId,
) -> Option<Arc<OrderedHashMap<FunctionWithBodyId, MultiLowering>>>
fn cached_multi_lowerings( &self, crate_id: CrateId, ) -> Option<Arc<OrderedHashMap<FunctionWithBodyId, MultiLowering>>>
Returns a mapping from function ids to their multi-lowerings for the given loaded from a
cache for the given crate.
Source§fn priv_function_with_body_lowering(
&self,
function_id: FunctionWithBodyId,
) -> Result<Arc<Lowered>, DiagnosticAdded>
fn priv_function_with_body_lowering( &self, function_id: FunctionWithBodyId, ) -> Result<Arc<Lowered>, DiagnosticAdded>
Computes the lowered representation of a function with a body before borrow checking.
Source§fn function_with_body_lowering_with_borrow_check(
&self,
function_id: FunctionWithBodyId,
) -> Result<(Arc<Lowered>, Arc<UnorderedHashMap<BlockId, Vec<FunctionId>>>), DiagnosticAdded>
fn function_with_body_lowering_with_borrow_check( &self, function_id: FunctionWithBodyId, ) -> Result<(Arc<Lowered>, Arc<UnorderedHashMap<BlockId, Vec<FunctionId>>>), DiagnosticAdded>
Computes the lowered representation of a function with a body.
Additionally applies borrow checking testing, and returns the possible calls per block.
Source§fn function_with_body_lowering(
&self,
function_id: FunctionWithBodyId,
) -> Result<Arc<Lowered>, DiagnosticAdded>
fn function_with_body_lowering( &self, function_id: FunctionWithBodyId, ) -> Result<Arc<Lowered>, DiagnosticAdded>
Computes the lowered representation of a function with a body.
Source§fn lowered_body(
&self,
function_id: ConcreteFunctionWithBodyId,
stage: LoweringStage,
) -> Result<Arc<Lowered>, DiagnosticAdded>
fn lowered_body( &self, function_id: ConcreteFunctionWithBodyId, stage: LoweringStage, ) -> Result<Arc<Lowered>, DiagnosticAdded>
Computes the lowered representation of a function at the requested lowering stage.
Source§fn lowered_direct_callees(
&self,
function_id: ConcreteFunctionWithBodyId,
dependency_type: DependencyType,
stage: LoweringStage,
) -> Result<Vec<FunctionId>, DiagnosticAdded>
fn lowered_direct_callees( &self, function_id: ConcreteFunctionWithBodyId, dependency_type: DependencyType, stage: LoweringStage, ) -> Result<Vec<FunctionId>, DiagnosticAdded>
Returns the set of direct callees which are functions with body of a concrete function with
a body (i.e. excluding libfunc callees), at the given stage.
Source§fn lowered_direct_callees_with_body(
&self,
function_id: ConcreteFunctionWithBodyId,
dependency_type: DependencyType,
stage: LoweringStage,
) -> Result<Vec<ConcreteFunctionWithBodyId>, DiagnosticAdded>
fn lowered_direct_callees_with_body( &self, function_id: ConcreteFunctionWithBodyId, dependency_type: DependencyType, stage: LoweringStage, ) -> Result<Vec<ConcreteFunctionWithBodyId>, DiagnosticAdded>
Returns the set of direct callees which are functions with body of a concrete function with
a body (i.e. excluding libfunc callees), at the given stage.
Source§fn function_with_body_lowering_diagnostics(
&self,
function_id: FunctionWithBodyId,
) -> Result<Diagnostics<LoweringDiagnostic>, DiagnosticAdded>
fn function_with_body_lowering_diagnostics( &self, function_id: FunctionWithBodyId, ) -> Result<Diagnostics<LoweringDiagnostic>, DiagnosticAdded>
Aggregates function level lowering diagnostics.
Source§fn semantic_function_with_body_lowering_diagnostics(
&self,
function_id: FunctionWithBodyId,
) -> Result<Diagnostics<LoweringDiagnostic>, DiagnosticAdded>
fn semantic_function_with_body_lowering_diagnostics( &self, function_id: FunctionWithBodyId, ) -> Result<Diagnostics<LoweringDiagnostic>, DiagnosticAdded>
Aggregates semantic function level lowering diagnostics - along with all its generated
function.
Source§fn module_lowering_diagnostics(
&self,
module_id: ModuleId,
) -> Result<Diagnostics<LoweringDiagnostic>, DiagnosticAdded>
fn module_lowering_diagnostics( &self, module_id: ModuleId, ) -> Result<Diagnostics<LoweringDiagnostic>, DiagnosticAdded>
Aggregates module level lowering diagnostics.
Source§fn file_lowering_diagnostics(
&self,
file_id: FileId,
) -> Result<Diagnostics<LoweringDiagnostic>, DiagnosticAdded>
fn file_lowering_diagnostics( &self, file_id: FileId, ) -> Result<Diagnostics<LoweringDiagnostic>, DiagnosticAdded>
Aggregates file level lowering diagnostics.
Source§fn function_implicits(
&self,
function: FunctionId,
) -> Result<Vec<TypeId>, DiagnosticAdded>
fn function_implicits( &self, function: FunctionId, ) -> Result<Vec<TypeId>, DiagnosticAdded>
Returns all the implicit parameters that the function requires (according to both its
signature and the functions it calls). The items in the returned vector are unique and the
order is consistent, but not necessarily related to the order of the explicit implicits in
the signature of the function.
Source§fn scc_implicits(
&self,
function: ConcreteSCCRepresentative,
) -> Result<Vec<TypeId>, DiagnosticAdded>
fn scc_implicits( &self, function: ConcreteSCCRepresentative, ) -> Result<Vec<TypeId>, DiagnosticAdded>
Returns all the implicits used by a strongly connected component of functions.
Source§fn function_may_panic(
&self,
function: FunctionId,
) -> Result<bool, DiagnosticAdded>
fn function_may_panic( &self, function: FunctionId, ) -> Result<bool, DiagnosticAdded>
Returns whether the function may panic.
Source§fn scc_may_panic(
&self,
scc: ConcreteSCCRepresentative,
) -> Result<bool, DiagnosticAdded>
fn scc_may_panic( &self, scc: ConcreteSCCRepresentative, ) -> Result<bool, DiagnosticAdded>
Returns whether any function in the strongly connected component may panic.
Source§fn has_direct_panic(
&self,
function_id: ConcreteFunctionWithBodyId,
) -> Result<bool, DiagnosticAdded>
fn has_direct_panic( &self, function_id: ConcreteFunctionWithBodyId, ) -> Result<bool, DiagnosticAdded>
Checks if the function has a block that ends with panic.
Source§fn function_with_body_direct_callees(
&self,
function_id: FunctionWithBodyId,
dependency_type: DependencyType,
) -> Result<OrderedHashSet<FunctionId>, DiagnosticAdded>
fn function_with_body_direct_callees( &self, function_id: FunctionWithBodyId, dependency_type: DependencyType, ) -> Result<OrderedHashSet<FunctionId>, DiagnosticAdded>
Returns the set of direct callees of a function with a body.
Source§fn function_with_body_direct_function_with_body_callees(
&self,
function_id: FunctionWithBodyId,
dependency_type: DependencyType,
) -> Result<OrderedHashSet<FunctionWithBodyId>, DiagnosticAdded>
fn function_with_body_direct_function_with_body_callees( &self, function_id: FunctionWithBodyId, dependency_type: DependencyType, ) -> Result<OrderedHashSet<FunctionWithBodyId>, DiagnosticAdded>
Returns the set of direct callees which are functions with body of a function with a body
(i.e. excluding libfunc callees).
Source§fn final_contains_call_cycle(
&self,
function_id: ConcreteFunctionWithBodyId,
) -> Result<bool, DiagnosticAdded>
fn final_contains_call_cycle( &self, function_id: ConcreteFunctionWithBodyId, ) -> Result<bool, DiagnosticAdded>
Returns
true if the function (in its final lowering representation) calls (possibly
indirectly) itself, or if it calls (possibly indirectly) such a function. For example, if f0
calls f1, f1 calls f2, f2 calls f3, and f3 calls f2, then Self::final_contains_call_cycle
will return true for all of these functions.Source§fn in_cycle(
&self,
function_id: FunctionWithBodyId,
dependency_type: DependencyType,
) -> Result<bool, DiagnosticAdded>
fn in_cycle( &self, function_id: FunctionWithBodyId, dependency_type: DependencyType, ) -> Result<bool, DiagnosticAdded>
Returns
true if the function calls (possibly indirectly) itself. For example, if f0 calls
f1, f1 calls f2, f2 calls f3, and f3 calls f2, then Self::in_cycle will return
true for f2 and f3, but false for f0 and f1.Source§fn concrete_in_cycle(
&self,
function_id: ConcreteFunctionWithBodyId,
dependency_type: DependencyType,
stage: LoweringStage,
) -> Result<bool, DiagnosticAdded>
fn concrete_in_cycle( &self, function_id: ConcreteFunctionWithBodyId, dependency_type: DependencyType, stage: LoweringStage, ) -> Result<bool, DiagnosticAdded>
A concrete version of
in_cycle.Source§fn lowered_scc_representative(
&self,
function: ConcreteFunctionWithBodyId,
dependency_type: DependencyType,
stage: LoweringStage,
) -> ConcreteSCCRepresentative
fn lowered_scc_representative( &self, function: ConcreteFunctionWithBodyId, dependency_type: DependencyType, stage: LoweringStage, ) -> ConcreteSCCRepresentative
Returns the representative of the concrete function’s strongly connected component. The
representative is consistently chosen for all the concrete functions in the same SCC.
Source§fn lowered_scc(
&self,
function_id: ConcreteFunctionWithBodyId,
dependency_type: DependencyType,
stage: LoweringStage,
) -> Vec<ConcreteFunctionWithBodyId>
fn lowered_scc( &self, function_id: ConcreteFunctionWithBodyId, dependency_type: DependencyType, stage: LoweringStage, ) -> Vec<ConcreteFunctionWithBodyId>
Returns all the concrete functions in the same strongly connected component as the given
concrete function.
Source§fn function_with_body_scc(
&self,
function_id: FunctionWithBodyId,
dependency_type: DependencyType,
) -> Vec<FunctionWithBodyId>
fn function_with_body_scc( &self, function_id: FunctionWithBodyId, dependency_type: DependencyType, ) -> Vec<FunctionWithBodyId>
Returns all the functions in the same strongly connected component as the given function.
Source§fn function_with_body_feedback_set(
&self,
function: ConcreteFunctionWithBodyId,
stage: LoweringStage,
) -> Result<OrderedHashSet<ConcreteFunctionWithBodyId>, DiagnosticAdded>
fn function_with_body_feedback_set( &self, function: ConcreteFunctionWithBodyId, stage: LoweringStage, ) -> Result<OrderedHashSet<ConcreteFunctionWithBodyId>, DiagnosticAdded>
Returns the feedback-vertex-set of the given concrete function. A feedback-vertex-set is the
set of vertices whose removal leaves a graph without cycles.
Source§fn needs_withdraw_gas(
&self,
function: ConcreteFunctionWithBodyId,
) -> Result<bool, DiagnosticAdded>
fn needs_withdraw_gas( &self, function: ConcreteFunctionWithBodyId, ) -> Result<bool, DiagnosticAdded>
Returns whether the given function needs an additional withdraw_gas call.
Source§fn priv_function_with_body_feedback_set_of_representative(
&self,
function: ConcreteSCCRepresentative,
stage: LoweringStage,
) -> Result<OrderedHashSet<ConcreteFunctionWithBodyId>, DiagnosticAdded>
fn priv_function_with_body_feedback_set_of_representative( &self, function: ConcreteSCCRepresentative, stage: LoweringStage, ) -> Result<OrderedHashSet<ConcreteFunctionWithBodyId>, DiagnosticAdded>
Returns the feedback-vertex-set of the given concrete-function SCC-representative. A
feedback-vertex-set is the set of vertices whose removal leaves a graph without cycles.
Source§fn priv_movable_function_ids(&self) -> Arc<UnorderedHashSet<ExternFunctionId>>
fn priv_movable_function_ids(&self) -> Arc<UnorderedHashSet<ExternFunctionId>>
Internal query for reorder_statements to cache the function ids that can be moved.
Source§fn priv_const_folding_info(&self) -> Arc<ConstFoldingLibfuncInfo>
fn priv_const_folding_info(&self) -> Arc<ConstFoldingLibfuncInfo>
Internal query for the libfuncs information required for const folding.
fn priv_should_inline( &self, function_id: ConcreteFunctionWithBodyId, ) -> Result<bool, DiagnosticAdded>
fn priv_never_inline( &self, function_id: ConcreteFunctionWithBodyId, ) -> Result<bool, DiagnosticAdded>
Source§fn priv_should_specialize(
&self,
function_id: ConcreteFunctionWithBodyId,
) -> Result<bool, DiagnosticAdded>
fn priv_should_specialize( &self, function_id: ConcreteFunctionWithBodyId, ) -> Result<bool, DiagnosticAdded>
Returns whether a function should be specalized.
Source§fn optimization_config(&self) -> Arc<OptimizationConfig>
fn optimization_config(&self) -> Arc<OptimizationConfig>
Returns the configuration struct that controls the behavior of the optimization passes.
Source§fn set_optimization_config(&mut self, value__: Arc<OptimizationConfig>)
fn set_optimization_config(&mut self, value__: Arc<OptimizationConfig>)
Set the value of the
optimization_config input. Read moreSource§fn set_optimization_config_with_durability(
&mut self,
value__: Arc<OptimizationConfig>,
durability__: Durability,
)
fn set_optimization_config_with_durability( &mut self, value__: Arc<OptimizationConfig>, durability__: Durability, )
Set the value of the
optimization_config input with a
specific durability instead of the default of
Durability::LOW. You can use Durability::MAX
to promise that its value will never change again. Read moreSource§fn final_optimization_strategy(&self) -> OptimizationStrategyId
fn final_optimization_strategy(&self) -> OptimizationStrategyId
Returns the final optimization strategy that is applied on top of
inlined_function_optimization_strategy.
Source§fn baseline_optimization_strategy(&self) -> OptimizationStrategyId
fn baseline_optimization_strategy(&self) -> OptimizationStrategyId
Returns the baseline optimization strategy.
This strategy is used for inlining decision and as a starting point for the final lowering.
Source§impl<'a, T> MayPanicTrait<'a> for T
impl<'a, T> MayPanicTrait<'a> for T
Source§fn function_with_body_may_panic(
&self,
function: ConcreteFunctionWithBodyId,
) -> Result<bool, DiagnosticAdded>
fn function_with_body_may_panic( &self, function: ConcreteFunctionWithBodyId, ) -> Result<bool, DiagnosticAdded>
Returns whether a ConcreteFunctionWithBodyId may panic.
Source§impl<T> Paint for Twhere
T: ?Sized,
impl<T> Paint for Twhere
T: ?Sized,
Source§fn fg(&self, value: Color) -> Painted<&T>
fn fg(&self, value: Color) -> Painted<&T>
Returns a styled value derived from self with the foreground set to
value.
This method should be used rarely. Instead, prefer to use color-specific
builder methods like red() and
green(), which have the same functionality but are
pithier.
§Example
Set foreground color to white using fg():
use yansi::{Paint, Color};
painted.fg(Color::White);Set foreground color to white using white().
use yansi::Paint;
painted.white();Source§fn bright_black(&self) -> Painted<&T>
fn bright_black(&self) -> Painted<&T>
Source§fn bright_red(&self) -> Painted<&T>
fn bright_red(&self) -> Painted<&T>
Source§fn bright_green(&self) -> Painted<&T>
fn bright_green(&self) -> Painted<&T>
Source§fn bright_yellow(&self) -> Painted<&T>
fn bright_yellow(&self) -> Painted<&T>
Source§fn bright_blue(&self) -> Painted<&T>
fn bright_blue(&self) -> Painted<&T>
Source§fn bright_magenta(&self) -> Painted<&T>
fn bright_magenta(&self) -> Painted<&T>
Source§fn bright_cyan(&self) -> Painted<&T>
fn bright_cyan(&self) -> Painted<&T>
Source§fn bright_white(&self) -> Painted<&T>
fn bright_white(&self) -> Painted<&T>
Source§fn bg(&self, value: Color) -> Painted<&T>
fn bg(&self, value: Color) -> Painted<&T>
Returns a styled value derived from self with the background set to
value.
This method should be used rarely. Instead, prefer to use color-specific
builder methods like on_red() and
on_green(), which have the same functionality but
are pithier.
§Example
Set background color to red using fg():
use yansi::{Paint, Color};
painted.bg(Color::Red);Set background color to red using on_red().
use yansi::Paint;
painted.on_red();Source§fn on_primary(&self) -> Painted<&T>
fn on_primary(&self) -> Painted<&T>
Source§fn on_magenta(&self) -> Painted<&T>
fn on_magenta(&self) -> Painted<&T>
Source§fn on_bright_black(&self) -> Painted<&T>
fn on_bright_black(&self) -> Painted<&T>
Source§fn on_bright_red(&self) -> Painted<&T>
fn on_bright_red(&self) -> Painted<&T>
Source§fn on_bright_green(&self) -> Painted<&T>
fn on_bright_green(&self) -> Painted<&T>
Source§fn on_bright_yellow(&self) -> Painted<&T>
fn on_bright_yellow(&self) -> Painted<&T>
Source§fn on_bright_blue(&self) -> Painted<&T>
fn on_bright_blue(&self) -> Painted<&T>
Source§fn on_bright_magenta(&self) -> Painted<&T>
fn on_bright_magenta(&self) -> Painted<&T>
Source§fn on_bright_cyan(&self) -> Painted<&T>
fn on_bright_cyan(&self) -> Painted<&T>
Source§fn on_bright_white(&self) -> Painted<&T>
fn on_bright_white(&self) -> Painted<&T>
Source§fn attr(&self, value: Attribute) -> Painted<&T>
fn attr(&self, value: Attribute) -> Painted<&T>
Enables the styling Attribute value.
This method should be used rarely. Instead, prefer to use
attribute-specific builder methods like bold() and
underline(), which have the same functionality
but are pithier.
§Example
Make text bold using attr():
use yansi::{Paint, Attribute};
painted.attr(Attribute::Bold);Make text bold using using bold().
use yansi::Paint;
painted.bold();Source§fn rapid_blink(&self) -> Painted<&T>
fn rapid_blink(&self) -> Painted<&T>
Source§fn quirk(&self, value: Quirk) -> Painted<&T>
fn quirk(&self, value: Quirk) -> Painted<&T>
Enables the yansi Quirk value.
This method should be used rarely. Instead, prefer to use quirk-specific
builder methods like mask() and
wrap(), which have the same functionality but are
pithier.
§Example
Enable wrapping using .quirk():
use yansi::{Paint, Quirk};
painted.quirk(Quirk::Wrap);Enable wrapping using wrap().
use yansi::Paint;
painted.wrap();Source§fn clear(&self) -> Painted<&T>
👎Deprecated since 1.0.1: renamed to resetting() due to conflicts with Vec::clear().
The clear() method will be removed in a future release.
fn clear(&self) -> Painted<&T>
resetting() due to conflicts with Vec::clear().
The clear() method will be removed in a future release.Source§fn whenever(&self, value: Condition) -> Painted<&T>
fn whenever(&self, value: Condition) -> Painted<&T>
Conditionally enable styling based on whether the Condition value
applies. Replaces any previous condition.
See the crate level docs for more details.
§Example
Enable styling painted only when both stdout and stderr are TTYs:
use yansi::{Paint, Condition};
painted.red().on_yellow().whenever(Condition::STDOUTERR_ARE_TTY);Source§impl<DB> ParserGroup for DBwhere
DB: SyntaxGroup + Upcast<dyn SyntaxGroup> + FilesGroup + Upcast<dyn FilesGroup> + Database + HasQueryGroup<ParserDatabase>,
impl<DB> ParserGroup for DBwhere
DB: SyntaxGroup + Upcast<dyn SyntaxGroup> + FilesGroup + Upcast<dyn FilesGroup> + Database + HasQueryGroup<ParserDatabase>,
Source§fn priv_file_syntax_data(&self, file_id: FileId) -> SyntaxData
fn priv_file_syntax_data(&self, file_id: FileId) -> SyntaxData
Should only be used internally.
Parses a file and returns the result and the generated ParserDiagnostic.
Source§fn file_syntax(&self, file_id: FileId) -> Result<SyntaxNode, DiagnosticAdded>
fn file_syntax(&self, file_id: FileId) -> Result<SyntaxNode, DiagnosticAdded>
Parses a file and returns its SyntaxNode.
Source§fn file_module_syntax(
&self,
file_id: FileId,
) -> Result<SyntaxFile, DiagnosticAdded>
fn file_module_syntax( &self, file_id: FileId, ) -> Result<SyntaxFile, DiagnosticAdded>
Parses a file and returns its AST as a root SyntaxFile.
Source§fn file_expr_syntax(&self, file_id: FileId) -> Result<Expr, DiagnosticAdded>
fn file_expr_syntax(&self, file_id: FileId) -> Result<Expr, DiagnosticAdded>
Parses a file and returns its AST as an expression. Only used for inline macros expanded
code.
Source§fn file_statement_list_syntax(
&self,
file_id: FileId,
) -> Result<StatementList, DiagnosticAdded>
fn file_statement_list_syntax( &self, file_id: FileId, ) -> Result<StatementList, DiagnosticAdded>
Parses a file and returns its AST as a list of statements. Only used for inline macros
expanded code.
Source§fn file_syntax_diagnostics(
&self,
file_id: FileId,
) -> Diagnostics<ParserDiagnostic>
fn file_syntax_diagnostics( &self, file_id: FileId, ) -> Diagnostics<ParserDiagnostic>
Returns the parser diagnostics for this file.
Source§impl<T> Pipe for Twhere
T: ?Sized,
impl<T> Pipe for Twhere
T: ?Sized,
Source§fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> Rwhere
Self: Sized,
fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> Rwhere
Self: Sized,
Pipes by value. This is generally the method you want to use. Read more
Source§fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> Rwhere
R: 'a,
fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> Rwhere
R: 'a,
Borrows
self and passes that borrow into the pipe function. Read moreSource§fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> Rwhere
R: 'a,
fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> Rwhere
R: 'a,
Mutably borrows
self and passes that borrow into the pipe function. Read moreSource§fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> R
fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> R
Source§fn pipe_borrow_mut<'a, B, R>(
&'a mut self,
func: impl FnOnce(&'a mut B) -> R,
) -> R
fn pipe_borrow_mut<'a, B, R>( &'a mut self, func: impl FnOnce(&'a mut B) -> R, ) -> R
Source§fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> R
fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> R
Borrows
self, then passes self.as_ref() into the pipe function.Source§fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> R
fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> R
Mutably borrows
self, then passes self.as_mut() into the pipe
function.Source§fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R
fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R
Borrows
self, then passes self.deref() into the pipe function.Source§impl<T> PluginSuiteInput for Twhere
T: SemanticGroup + ?Sized,
impl<T> PluginSuiteInput for Twhere
T: SemanticGroup + ?Sized,
Source§fn intern_plugin_suite(&mut self, suite: PluginSuite) -> InternedPluginSuite
fn intern_plugin_suite(&mut self, suite: PluginSuite) -> InternedPluginSuite
Interns each plugin from the
PluginSuite into the database.Source§fn set_default_plugins_from_suite(&mut self, suite: InternedPluginSuite)
fn set_default_plugins_from_suite(&mut self, suite: InternedPluginSuite)
Sets macro, inline macro and analyzer plugins specified in the
PluginSuite as default
for all crates. Read moreSource§fn set_override_crate_plugins_from_suite(
&mut self,
crate_id: CrateId,
suite: InternedPluginSuite,
)
fn set_override_crate_plugins_from_suite( &mut self, crate_id: CrateId, suite: InternedPluginSuite, )
Sets macro, inline macro and analyzer plugins present in the
PluginSuite for a crate
pointed to by the CrateId, overriding the defaults for that crate. Read moreSource§impl<T> Pointable for T
impl<T> Pointable for T
Source§impl<'a, T> SemanticEnumEx<'a> for T
impl<'a, T> SemanticEnumEx<'a> for T
Source§fn concrete_enum_variant(
&self,
concrete_enum_id: ConcreteEnumId,
variant: &Variant,
) -> Result<ConcreteVariant, DiagnosticAdded>
fn concrete_enum_variant( &self, concrete_enum_id: ConcreteEnumId, variant: &Variant, ) -> Result<ConcreteVariant, DiagnosticAdded>
Source§fn concrete_enum_variants(
&self,
concrete_enum_id: ConcreteEnumId,
) -> Result<Vec<ConcreteVariant>, DiagnosticAdded>
fn concrete_enum_variants( &self, concrete_enum_id: ConcreteEnumId, ) -> Result<Vec<ConcreteVariant>, DiagnosticAdded>
Retrieves all the ConcreteVariants for a ConcreteEnumId.
Source§impl<'a, T> SemanticExprLookup<'a> for T
impl<'a, T> SemanticExprLookup<'a> for T
fn lookup_expr_by_ptr( &self, function_id: FunctionWithBodyId, ptr: ExprPtr, ) -> Result<Id<Expr>, DiagnosticAdded>
fn lookup_pattern_by_ptr( &self, function_id: FunctionWithBodyId, ptr: PatternPtr, ) -> Result<Id<Pattern>, DiagnosticAdded>
Source§impl<DB> SemanticGroup for DBwhere
DB: DefsGroup + Upcast<dyn DefsGroup> + Upcast<dyn ParserGroup> + Elongate + Database + HasQueryGroup<SemanticDatabase>,
impl<DB> SemanticGroup for DBwhere
DB: DefsGroup + Upcast<dyn DefsGroup> + Upcast<dyn ParserGroup> + Elongate + Database + HasQueryGroup<SemanticDatabase>,
fn intern_function(&self, id: FunctionLongId) -> FunctionId
fn lookup_intern_function(&self, key: FunctionId) -> FunctionLongId
fn intern_concrete_function_with_body( &self, id: ConcreteFunctionWithBody, ) -> ConcreteFunctionWithBodyId
fn lookup_intern_concrete_function_with_body( &self, key: ConcreteFunctionWithBodyId, ) -> ConcreteFunctionWithBody
fn intern_concrete_struct(&self, id: ConcreteStructLongId) -> ConcreteStructId
fn lookup_intern_concrete_struct( &self, key: ConcreteStructId, ) -> ConcreteStructLongId
fn intern_concrete_enum(&self, id: ConcreteEnumLongId) -> ConcreteEnumId
fn lookup_intern_concrete_enum(&self, key: ConcreteEnumId) -> ConcreteEnumLongId
fn intern_concrete_extern_type( &self, id: ConcreteExternTypeLongId, ) -> ConcreteExternTypeId
fn lookup_intern_concrete_extern_type( &self, key: ConcreteExternTypeId, ) -> ConcreteExternTypeLongId
fn intern_concrete_trait(&self, id: ConcreteTraitLongId) -> ConcreteTraitId
fn lookup_intern_concrete_trait( &self, key: ConcreteTraitId, ) -> ConcreteTraitLongId
fn intern_concrete_trait_function( &self, id: ConcreteTraitGenericFunctionLongId, ) -> ConcreteTraitGenericFunctionId
fn lookup_intern_concrete_trait_function( &self, key: ConcreteTraitGenericFunctionId, ) -> ConcreteTraitGenericFunctionLongId
fn intern_concrete_trait_type( &self, id: ConcreteTraitTypeLongId, ) -> ConcreteTraitTypeId
fn lookup_intern_concrete_trait_type( &self, key: ConcreteTraitTypeId, ) -> ConcreteTraitTypeLongId
fn intern_concrete_trait_constant( &self, id: ConcreteTraitConstantLongId, ) -> ConcreteTraitConstantId
fn lookup_intern_concrete_trait_constant( &self, key: ConcreteTraitConstantId, ) -> ConcreteTraitConstantLongId
fn intern_concrete_impl(&self, id: ConcreteImplLongId) -> ConcreteImplId
fn lookup_intern_concrete_impl(&self, key: ConcreteImplId) -> ConcreteImplLongId
fn intern_concrete_trait_impl( &self, id: ConcreteTraitImplLongId, ) -> ConcreteTraitImplId
fn lookup_intern_concrete_trait_impl( &self, key: ConcreteTraitImplId, ) -> ConcreteTraitImplLongId
fn intern_type(&self, id: TypeLongId) -> TypeId
fn lookup_intern_type(&self, key: TypeId) -> TypeLongId
fn intern_const_value(&self, id: ConstValue) -> ConstValueId
fn lookup_intern_const_value(&self, key: ConstValueId) -> ConstValue
fn intern_impl(&self, id: ImplLongId) -> ImplId
fn lookup_intern_impl(&self, key: ImplId) -> ImplLongId
fn intern_impl_var(&self, id: ImplVar) -> ImplVarId
fn lookup_intern_impl_var(&self, key: ImplVarId) -> ImplVar
fn intern_generated_impl(&self, id: GeneratedImplLongId) -> GeneratedImplId
fn lookup_intern_generated_impl( &self, key: GeneratedImplId, ) -> GeneratedImplLongId
fn intern_uninferred_generated_impl( &self, id: UninferredGeneratedImplLongId, ) -> UninferredGeneratedImplId
fn lookup_intern_uninferred_generated_impl( &self, key: UninferredGeneratedImplId, ) -> UninferredGeneratedImplLongId
Source§fn priv_constant_semantic_data(
&self,
const_id: ConstantId,
in_cycle: bool,
) -> Result<ConstantData, DiagnosticAdded>
fn priv_constant_semantic_data( &self, const_id: ConstantId, in_cycle: bool, ) -> Result<ConstantData, DiagnosticAdded>
Private query to compute data about a constant definition.
Source§fn constant_semantic_diagnostics(
&self,
const_id: ConstantId,
) -> Diagnostics<SemanticDiagnostic>
fn constant_semantic_diagnostics( &self, const_id: ConstantId, ) -> Diagnostics<SemanticDiagnostic>
Returns the semantic diagnostics of a constant definition.
Source§fn constant_semantic_data(
&self,
use_id: ConstantId,
) -> Result<Constant, DiagnosticAdded>
fn constant_semantic_data( &self, use_id: ConstantId, ) -> Result<Constant, DiagnosticAdded>
Returns the semantic data of a constant definition.
fn constant_resolver_data( &self, use_id: ConstantId, ) -> Result<Arc<ResolverData>, DiagnosticAdded>
fn constant_const_value( &self, const_id: ConstantId, ) -> Result<ConstValueId, DiagnosticAdded>
fn constant_const_type( &self, const_id: ConstantId, ) -> Result<TypeId, DiagnosticAdded>
Source§fn const_calc_info(&self) -> Arc<ConstCalcInfo>
fn const_calc_info(&self) -> Arc<ConstCalcInfo>
Returns information required for const calculations.
Source§fn priv_use_semantic_data(
&self,
use_id: UseId,
) -> Result<UseData, DiagnosticAdded>
fn priv_use_semantic_data( &self, use_id: UseId, ) -> Result<UseData, DiagnosticAdded>
Private query to compute data about a use.
Source§fn use_semantic_diagnostics(
&self,
use_id: UseId,
) -> Diagnostics<SemanticDiagnostic>
fn use_semantic_diagnostics( &self, use_id: UseId, ) -> Diagnostics<SemanticDiagnostic>
Returns the semantic diagnostics of a use.
fn use_resolver_data( &self, use_id: UseId, ) -> Result<Arc<ResolverData>, DiagnosticAdded>
Source§fn priv_global_use_semantic_data(
&self,
global_use_id: GlobalUseId,
) -> Result<UseGlobalData, DiagnosticAdded>
fn priv_global_use_semantic_data( &self, global_use_id: GlobalUseId, ) -> Result<UseGlobalData, DiagnosticAdded>
Private query to compute data about a global use.
Source§fn priv_global_use_imported_module(
&self,
global_use_id: GlobalUseId,
) -> Result<ModuleId, DiagnosticAdded>
fn priv_global_use_imported_module( &self, global_use_id: GlobalUseId, ) -> Result<ModuleId, DiagnosticAdded>
Private query to compute the imported module, given a global use.
Source§fn global_use_semantic_diagnostics(
&self,
global_use_id: GlobalUseId,
) -> Diagnostics<SemanticDiagnostic>
fn global_use_semantic_diagnostics( &self, global_use_id: GlobalUseId, ) -> Diagnostics<SemanticDiagnostic>
Returns the semantic diagnostics of a global use.
Source§fn priv_module_use_star_modules(
&self,
module_id: ModuleId,
) -> Arc<ImportedModules>
fn priv_module_use_star_modules( &self, module_id: ModuleId, ) -> Arc<ImportedModules>
Private query to compute the imported modules of a module, using global uses.
Source§fn priv_module_semantic_data(
&self,
module_id: ModuleId,
) -> Result<Arc<ModuleSemanticData>, DiagnosticAdded>
fn priv_module_semantic_data( &self, module_id: ModuleId, ) -> Result<Arc<ModuleSemanticData>, DiagnosticAdded>
Private query to compute data about the module.
Source§fn module_item_by_name(
&self,
module_id: ModuleId,
name: SmolStr,
) -> Result<Option<ModuleItemId>, DiagnosticAdded>
fn module_item_by_name( &self, module_id: ModuleId, name: SmolStr, ) -> Result<Option<ModuleItemId>, DiagnosticAdded>
Returns Maybe::Err if the module was not properly resolved.
Returns [Maybe::Ok(None)] if the item does not exist.
Source§fn module_item_info_by_name(
&self,
module_id: ModuleId,
name: SmolStr,
) -> Result<Option<ModuleItemInfo>, DiagnosticAdded>
fn module_item_info_by_name( &self, module_id: ModuleId, name: SmolStr, ) -> Result<Option<ModuleItemInfo>, DiagnosticAdded>
Returns Maybe::Err if the module was not properly resolved.
Returns [Maybe::Ok(None)] if the item does not exist.
Source§fn module_all_used_uses(
&self,
module_id: ModuleId,
) -> Result<Arc<OrderedHashSet<UseId>>, DiagnosticAdded>
fn module_all_used_uses( &self, module_id: ModuleId, ) -> Result<Arc<OrderedHashSet<UseId>>, DiagnosticAdded>
Returns all the items used within the module.
Source§fn module_attributes(
&self,
module_id: ModuleId,
) -> Result<Vec<Attribute>, DiagnosticAdded>
fn module_attributes( &self, module_id: ModuleId, ) -> Result<Vec<Attribute>, DiagnosticAdded>
Returns the attributes of a module.
Source§fn module_usable_trait_ids(
&self,
module_id: ModuleId,
) -> Result<Arc<OrderedHashMap<TraitId, LookupItemId>>, DiagnosticAdded>
fn module_usable_trait_ids( &self, module_id: ModuleId, ) -> Result<Arc<OrderedHashMap<TraitId, LookupItemId>>, DiagnosticAdded>
Finds all the trait ids usable in the module.
Source§fn priv_struct_declaration_data(
&self,
struct_id: StructId,
) -> Result<StructDeclarationData, DiagnosticAdded>
fn priv_struct_declaration_data( &self, struct_id: StructId, ) -> Result<StructDeclarationData, DiagnosticAdded>
Private query to compute data about a struct declaration.
Source§fn struct_declaration_diagnostics(
&self,
struct_id: StructId,
) -> Diagnostics<SemanticDiagnostic>
fn struct_declaration_diagnostics( &self, struct_id: StructId, ) -> Diagnostics<SemanticDiagnostic>
Returns the declaration diagnostics of a struct.
Source§fn struct_attributes(
&self,
struct_id: StructId,
) -> Result<Vec<Attribute>, DiagnosticAdded>
fn struct_attributes( &self, struct_id: StructId, ) -> Result<Vec<Attribute>, DiagnosticAdded>
Returns the attributes of a struct.
Source§fn struct_generic_params(
&self,
struct_id: StructId,
) -> Result<Vec<GenericParam>, DiagnosticAdded>
fn struct_generic_params( &self, struct_id: StructId, ) -> Result<Vec<GenericParam>, DiagnosticAdded>
Returns the generic parameters of an enum.
Source§fn struct_generic_params_data(
&self,
struct_id: StructId,
) -> Result<GenericParamsData, DiagnosticAdded>
fn struct_generic_params_data( &self, struct_id: StructId, ) -> Result<GenericParamsData, DiagnosticAdded>
Returns the generic parameters data of an enum.
Source§fn struct_declaration_resolver_data(
&self,
structure_id: StructId,
) -> Result<Arc<ResolverData>, DiagnosticAdded>
fn struct_declaration_resolver_data( &self, structure_id: StructId, ) -> Result<Arc<ResolverData>, DiagnosticAdded>
Returns the resolution resolved_items of a struct declaration.
Source§fn priv_struct_definition_data(
&self,
struct_id: StructId,
) -> Result<StructDefinitionData, DiagnosticAdded>
fn priv_struct_definition_data( &self, struct_id: StructId, ) -> Result<StructDefinitionData, DiagnosticAdded>
Private query to compute data about a struct definition.
Source§fn struct_definition_diagnostics(
&self,
struct_id: StructId,
) -> Diagnostics<SemanticDiagnostic>
fn struct_definition_diagnostics( &self, struct_id: StructId, ) -> Diagnostics<SemanticDiagnostic>
Returns the semantic diagnostics of a struct definition.
Source§fn struct_members(
&self,
struct_id: StructId,
) -> Result<Arc<OrderedHashMap<SmolStr, Member>>, DiagnosticAdded>
fn struct_members( &self, struct_id: StructId, ) -> Result<Arc<OrderedHashMap<SmolStr, Member>>, DiagnosticAdded>
Returns the members of a struct.
Source§fn struct_definition_resolver_data(
&self,
structure_id: StructId,
) -> Result<Arc<ResolverData>, DiagnosticAdded>
fn struct_definition_resolver_data( &self, structure_id: StructId, ) -> Result<Arc<ResolverData>, DiagnosticAdded>
Returns the resolution resolved_items of a struct definition.
Source§fn concrete_struct_members(
&self,
concrete_struct_id: ConcreteStructId,
) -> Result<Arc<OrderedHashMap<SmolStr, Member>>, DiagnosticAdded>
fn concrete_struct_members( &self, concrete_struct_id: ConcreteStructId, ) -> Result<Arc<OrderedHashMap<SmolStr, Member>>, DiagnosticAdded>
Returns the concrete members of a struct.
Source§fn priv_enum_declaration_data(
&self,
enum_id: EnumId,
) -> Result<EnumDeclarationData, DiagnosticAdded>
fn priv_enum_declaration_data( &self, enum_id: EnumId, ) -> Result<EnumDeclarationData, DiagnosticAdded>
Private query to compute data about an enum declaration.
Source§fn enum_declaration_diagnostics(
&self,
enum_id: EnumId,
) -> Diagnostics<SemanticDiagnostic>
fn enum_declaration_diagnostics( &self, enum_id: EnumId, ) -> Diagnostics<SemanticDiagnostic>
Returns the diagnostics of an enum declaration.
Source§fn enum_generic_params(
&self,
enum_id: EnumId,
) -> Result<Vec<GenericParam>, DiagnosticAdded>
fn enum_generic_params( &self, enum_id: EnumId, ) -> Result<Vec<GenericParam>, DiagnosticAdded>
Returns the generic parameters of an enum.
Source§fn enum_generic_params_data(
&self,
enum_id: EnumId,
) -> Result<GenericParamsData, DiagnosticAdded>
fn enum_generic_params_data( &self, enum_id: EnumId, ) -> Result<GenericParamsData, DiagnosticAdded>
Returns the generic parameters data of an enum.
Source§fn enum_attributes(
&self,
enum_id: EnumId,
) -> Result<Vec<Attribute>, DiagnosticAdded>
fn enum_attributes( &self, enum_id: EnumId, ) -> Result<Vec<Attribute>, DiagnosticAdded>
Returns the attributes attached to an enum.
Source§fn enum_declaration_resolver_data(
&self,
enum_id: EnumId,
) -> Result<Arc<ResolverData>, DiagnosticAdded>
fn enum_declaration_resolver_data( &self, enum_id: EnumId, ) -> Result<Arc<ResolverData>, DiagnosticAdded>
Returns the resolution resolved_items of an enum declaration.
Source§fn priv_enum_definition_data(
&self,
enum_id: EnumId,
) -> Result<EnumDefinitionData, DiagnosticAdded>
fn priv_enum_definition_data( &self, enum_id: EnumId, ) -> Result<EnumDefinitionData, DiagnosticAdded>
Private query to compute data about an enum definition.
Source§fn enum_definition_diagnostics(
&self,
enum_id: EnumId,
) -> Diagnostics<SemanticDiagnostic>
fn enum_definition_diagnostics( &self, enum_id: EnumId, ) -> Diagnostics<SemanticDiagnostic>
Returns the definition diagnostics of an enum definition.
Source§fn enum_variants(
&self,
enum_id: EnumId,
) -> Result<OrderedHashMap<SmolStr, VariantId>, DiagnosticAdded>
fn enum_variants( &self, enum_id: EnumId, ) -> Result<OrderedHashMap<SmolStr, VariantId>, DiagnosticAdded>
Returns the members of an enum.
Source§fn variant_semantic(
&self,
enum_id: EnumId,
variant_id: VariantId,
) -> Result<Variant, DiagnosticAdded>
fn variant_semantic( &self, enum_id: EnumId, variant_id: VariantId, ) -> Result<Variant, DiagnosticAdded>
Returns the semantic model of a variant.
Source§fn enum_definition_resolver_data(
&self,
enum_id: EnumId,
) -> Result<Arc<ResolverData>, DiagnosticAdded>
fn enum_definition_resolver_data( &self, enum_id: EnumId, ) -> Result<Arc<ResolverData>, DiagnosticAdded>
Returns the resolution resolved_items of an enum definition.
Source§fn module_type_alias_semantic_diagnostics(
&self,
module_type_alias_id: ModuleTypeAliasId,
) -> Diagnostics<SemanticDiagnostic>
fn module_type_alias_semantic_diagnostics( &self, module_type_alias_id: ModuleTypeAliasId, ) -> Diagnostics<SemanticDiagnostic>
Returns the semantic diagnostics of a type alias.
Source§fn module_type_alias_resolved_type(
&self,
module_type_alias_id: ModuleTypeAliasId,
) -> Result<TypeId, DiagnosticAdded>
fn module_type_alias_resolved_type( &self, module_type_alias_id: ModuleTypeAliasId, ) -> Result<TypeId, DiagnosticAdded>
Returns the resolved type of a type alias.
Source§fn module_type_alias_generic_params(
&self,
enum_id: ModuleTypeAliasId,
) -> Result<Vec<GenericParam>, DiagnosticAdded>
fn module_type_alias_generic_params( &self, enum_id: ModuleTypeAliasId, ) -> Result<Vec<GenericParam>, DiagnosticAdded>
Returns the generic parameters of a type alias.
Source§fn module_type_alias_resolver_data(
&self,
module_type_alias_id: ModuleTypeAliasId,
) -> Result<Arc<ResolverData>, DiagnosticAdded>
fn module_type_alias_resolver_data( &self, module_type_alias_id: ModuleTypeAliasId, ) -> Result<Arc<ResolverData>, DiagnosticAdded>
Returns the resolution resolved_items of a type alias.
Source§fn priv_module_type_alias_generic_params_data(
&self,
enum_id: ModuleTypeAliasId,
) -> Result<GenericParamsData, DiagnosticAdded>
fn priv_module_type_alias_generic_params_data( &self, enum_id: ModuleTypeAliasId, ) -> Result<GenericParamsData, DiagnosticAdded>
Private query to compute the generic parameters data of a type alias.
Source§fn priv_module_type_alias_semantic_data(
&self,
module_type_alias_id: ModuleTypeAliasId,
in_cycle: bool,
) -> Result<ModuleTypeAliasData, DiagnosticAdded>
fn priv_module_type_alias_semantic_data( &self, module_type_alias_id: ModuleTypeAliasId, in_cycle: bool, ) -> Result<ModuleTypeAliasData, DiagnosticAdded>
Private query to compute data about a type alias.
Source§fn impl_alias_impl_def(
&self,
impl_alias_id: ImplAliasId,
) -> Result<ImplDefId, DiagnosticAdded>
fn impl_alias_impl_def( &self, impl_alias_id: ImplAliasId, ) -> Result<ImplDefId, DiagnosticAdded>
Returns the impl definition pointed to by the impl alias, or an error if it points to
something else.
Source§fn priv_impl_alias_semantic_data(
&self,
impl_alias_id: ImplAliasId,
in_cycle: bool,
) -> Result<ImplAliasData, DiagnosticAdded>
fn priv_impl_alias_semantic_data( &self, impl_alias_id: ImplAliasId, in_cycle: bool, ) -> Result<ImplAliasData, DiagnosticAdded>
Private query to compute data about a type alias.
Source§fn impl_alias_semantic_diagnostics(
&self,
impl_alias_id: ImplAliasId,
) -> Diagnostics<SemanticDiagnostic>
fn impl_alias_semantic_diagnostics( &self, impl_alias_id: ImplAliasId, ) -> Diagnostics<SemanticDiagnostic>
Returns the semantic diagnostics of a type alias.
Source§fn impl_alias_resolved_impl(
&self,
impl_alias_id: ImplAliasId,
) -> Result<ImplId, DiagnosticAdded>
fn impl_alias_resolved_impl( &self, impl_alias_id: ImplAliasId, ) -> Result<ImplId, DiagnosticAdded>
Returns the resolved type of a type alias.
Source§fn impl_alias_generic_params(
&self,
impl_alias_id: ImplAliasId,
) -> Result<Vec<GenericParam>, DiagnosticAdded>
fn impl_alias_generic_params( &self, impl_alias_id: ImplAliasId, ) -> Result<Vec<GenericParam>, DiagnosticAdded>
Returns the generic parameters of a type alias.
Source§fn impl_alias_generic_params_data(
&self,
impl_alias_id: ImplAliasId,
) -> Result<GenericParamsData, DiagnosticAdded>
fn impl_alias_generic_params_data( &self, impl_alias_id: ImplAliasId, ) -> Result<GenericParamsData, DiagnosticAdded>
Returns the generic parameters data of a type alias.
Source§fn impl_alias_resolver_data(
&self,
impl_alias_id: ImplAliasId,
) -> Result<Arc<ResolverData>, DiagnosticAdded>
fn impl_alias_resolver_data( &self, impl_alias_id: ImplAliasId, ) -> Result<Arc<ResolverData>, DiagnosticAdded>
Returns the resolution resolved_items of a type alias.
Source§fn impl_alias_attributes(
&self,
impl_def_id: ImplAliasId,
) -> Result<Vec<Attribute>, DiagnosticAdded>
fn impl_alias_attributes( &self, impl_def_id: ImplAliasId, ) -> Result<Vec<Attribute>, DiagnosticAdded>
Returns the attributes attached to the impl alias.
Source§fn trait_semantic_declaration_diagnostics(
&self,
trait_id: TraitId,
) -> Diagnostics<SemanticDiagnostic>
fn trait_semantic_declaration_diagnostics( &self, trait_id: TraitId, ) -> Diagnostics<SemanticDiagnostic>
Returns the semantic declaration diagnostics of a trait.
Source§fn trait_generic_params(
&self,
trait_id: TraitId,
) -> Result<Vec<GenericParam>, DiagnosticAdded>
fn trait_generic_params( &self, trait_id: TraitId, ) -> Result<Vec<GenericParam>, DiagnosticAdded>
Returns the generic parameters of a trait.
Source§fn trait_generic_params_data(
&self,
trait_id: TraitId,
in_cycle: bool,
) -> Result<GenericParamsData, DiagnosticAdded>
fn trait_generic_params_data( &self, trait_id: TraitId, in_cycle: bool, ) -> Result<GenericParamsData, DiagnosticAdded>
Returns the generic parameters data of a trait.
Source§fn trait_attributes(
&self,
trait_id: TraitId,
) -> Result<Vec<Attribute>, DiagnosticAdded>
fn trait_attributes( &self, trait_id: TraitId, ) -> Result<Vec<Attribute>, DiagnosticAdded>
Returns the attributes of a trait.
Source§fn trait_resolver_data(
&self,
trait_id: TraitId,
) -> Result<Arc<ResolverData>, DiagnosticAdded>
fn trait_resolver_data( &self, trait_id: TraitId, ) -> Result<Arc<ResolverData>, DiagnosticAdded>
Returns the resolution resolved_items of a trait.
Source§fn priv_trait_declaration_data(
&self,
trait_id: TraitId,
) -> Result<TraitDeclarationData, DiagnosticAdded>
fn priv_trait_declaration_data( &self, trait_id: TraitId, ) -> Result<TraitDeclarationData, DiagnosticAdded>
Private query to compute declaration data about a trait.
Source§fn trait_semantic_definition_diagnostics(
&self,
trait_id: TraitId,
) -> Diagnostics<SemanticDiagnostic>
fn trait_semantic_definition_diagnostics( &self, trait_id: TraitId, ) -> Diagnostics<SemanticDiagnostic>
Returns the semantic definition diagnostics of a trait.
Source§fn trait_required_item_names(
&self,
trait_id: TraitId,
) -> Result<OrderedHashSet<SmolStr>, DiagnosticAdded>
fn trait_required_item_names( &self, trait_id: TraitId, ) -> Result<OrderedHashSet<SmolStr>, DiagnosticAdded>
Returns the names of all the non default implemented items of a trait.
Source§fn trait_item_by_name(
&self,
trait_id: TraitId,
name: SmolStr,
) -> Result<Option<TraitItemId>, DiagnosticAdded>
fn trait_item_by_name( &self, trait_id: TraitId, name: SmolStr, ) -> Result<Option<TraitItemId>, DiagnosticAdded>
Returns the item of the trait, by the given
name, if exists.Source§fn trait_item_info_by_name(
&self,
trait_id: TraitId,
name: SmolStr,
) -> Result<Option<TraitItemInfo>, DiagnosticAdded>
fn trait_item_info_by_name( &self, trait_id: TraitId, name: SmolStr, ) -> Result<Option<TraitItemInfo>, DiagnosticAdded>
Returns the metadata for a trait item, by the given
name, if exists.Source§fn trait_all_used_uses(
&self,
trait_id: TraitId,
) -> Result<Arc<OrderedHashSet<UseId>>, DiagnosticAdded>
fn trait_all_used_uses( &self, trait_id: TraitId, ) -> Result<Arc<OrderedHashSet<UseId>>, DiagnosticAdded>
Returns all the items used within the trait.
Source§fn trait_functions(
&self,
trait_id: TraitId,
) -> Result<OrderedHashMap<SmolStr, TraitFunctionId>, DiagnosticAdded>
fn trait_functions( &self, trait_id: TraitId, ) -> Result<OrderedHashMap<SmolStr, TraitFunctionId>, DiagnosticAdded>
Returns the functions of a trait.
Source§fn trait_function_by_name(
&self,
trait_id: TraitId,
name: SmolStr,
) -> Result<Option<TraitFunctionId>, DiagnosticAdded>
fn trait_function_by_name( &self, trait_id: TraitId, name: SmolStr, ) -> Result<Option<TraitFunctionId>, DiagnosticAdded>
Returns the function with the given name of the given trait, if exists.
Source§fn trait_types(
&self,
trait_id: TraitId,
) -> Result<OrderedHashMap<SmolStr, TraitTypeId>, DiagnosticAdded>
fn trait_types( &self, trait_id: TraitId, ) -> Result<OrderedHashMap<SmolStr, TraitTypeId>, DiagnosticAdded>
Returns the types of a trait.
Source§fn trait_type_by_name(
&self,
trait_id: TraitId,
name: SmolStr,
) -> Result<Option<TraitTypeId>, DiagnosticAdded>
fn trait_type_by_name( &self, trait_id: TraitId, name: SmolStr, ) -> Result<Option<TraitTypeId>, DiagnosticAdded>
Returns the item type with the given name of the given trait, if exists.
Source§fn trait_constants(
&self,
trait_id: TraitId,
) -> Result<OrderedHashMap<SmolStr, TraitConstantId>, DiagnosticAdded>
fn trait_constants( &self, trait_id: TraitId, ) -> Result<OrderedHashMap<SmolStr, TraitConstantId>, DiagnosticAdded>
Returns the constants of a trait.
Source§fn trait_constant_by_name(
&self,
trait_id: TraitId,
name: SmolStr,
) -> Result<Option<TraitConstantId>, DiagnosticAdded>
fn trait_constant_by_name( &self, trait_id: TraitId, name: SmolStr, ) -> Result<Option<TraitConstantId>, DiagnosticAdded>
Returns the item constants with the given name of the given trait, if exists.
Source§fn trait_impls(
&self,
trait_id: TraitId,
) -> Result<OrderedHashMap<SmolStr, TraitImplId>, DiagnosticAdded>
fn trait_impls( &self, trait_id: TraitId, ) -> Result<OrderedHashMap<SmolStr, TraitImplId>, DiagnosticAdded>
Returns the constants of a trait.
Source§fn trait_impl_by_name(
&self,
trait_id: TraitId,
name: SmolStr,
) -> Result<Option<TraitImplId>, DiagnosticAdded>
fn trait_impl_by_name( &self, trait_id: TraitId, name: SmolStr, ) -> Result<Option<TraitImplId>, DiagnosticAdded>
Returns the item impls with the given name of the given trait, if exists.
Source§fn priv_trait_definition_data(
&self,
trait_id: TraitId,
) -> Result<TraitDefinitionData, DiagnosticAdded>
fn priv_trait_definition_data( &self, trait_id: TraitId, ) -> Result<TraitDefinitionData, DiagnosticAdded>
Private query to compute definition data about a trait.
Source§fn trait_type_diagnostics(
&self,
trait_type_id: TraitTypeId,
) -> Diagnostics<SemanticDiagnostic>
fn trait_type_diagnostics( &self, trait_type_id: TraitTypeId, ) -> Diagnostics<SemanticDiagnostic>
Returns the semantic diagnostics of a trait type.
Source§fn trait_type_generic_params(
&self,
trait_type_id: TraitTypeId,
) -> Result<Vec<GenericParam>, DiagnosticAdded>
fn trait_type_generic_params( &self, trait_type_id: TraitTypeId, ) -> Result<Vec<GenericParam>, DiagnosticAdded>
Returns the generic params of a trait type.
Source§fn trait_type_attributes(
&self,
trait_type_id: TraitTypeId,
) -> Result<Vec<Attribute>, DiagnosticAdded>
fn trait_type_attributes( &self, trait_type_id: TraitTypeId, ) -> Result<Vec<Attribute>, DiagnosticAdded>
Returns the attributes of a trait type.
Source§fn trait_type_resolver_data(
&self,
trait_type_id: TraitTypeId,
) -> Result<Arc<ResolverData>, DiagnosticAdded>
fn trait_type_resolver_data( &self, trait_type_id: TraitTypeId, ) -> Result<Arc<ResolverData>, DiagnosticAdded>
Returns the resolution resolved_items of a trait type.
Source§fn priv_trait_type_generic_params_data(
&self,
trait_type_id: TraitTypeId,
) -> Result<GenericParamsData, DiagnosticAdded>
fn priv_trait_type_generic_params_data( &self, trait_type_id: TraitTypeId, ) -> Result<GenericParamsData, DiagnosticAdded>
Private query to compute the generic params data of a trait type.
Source§fn priv_trait_type_data(
&self,
type_id: TraitTypeId,
) -> Result<TraitItemTypeData, DiagnosticAdded>
fn priv_trait_type_data( &self, type_id: TraitTypeId, ) -> Result<TraitItemTypeData, DiagnosticAdded>
Private query to compute data about a trait type.
Source§fn trait_constant_diagnostics(
&self,
trait_constant: TraitConstantId,
) -> Diagnostics<SemanticDiagnostic>
fn trait_constant_diagnostics( &self, trait_constant: TraitConstantId, ) -> Diagnostics<SemanticDiagnostic>
Returns the semantic diagnostics of a trait type.
Source§fn trait_constant_attributes(
&self,
trait_constant: TraitConstantId,
) -> Result<Vec<Attribute>, DiagnosticAdded>
fn trait_constant_attributes( &self, trait_constant: TraitConstantId, ) -> Result<Vec<Attribute>, DiagnosticAdded>
Returns the attributes of a trait constants.
Source§fn trait_constant_type(
&self,
trait_type_id: TraitConstantId,
) -> Result<TypeId, DiagnosticAdded>
fn trait_constant_type( &self, trait_type_id: TraitConstantId, ) -> Result<TypeId, DiagnosticAdded>
Returns the type of a trait constant.
Source§fn trait_constant_resolver_data(
&self,
trait_constant: TraitConstantId,
) -> Result<Arc<ResolverData>, DiagnosticAdded>
fn trait_constant_resolver_data( &self, trait_constant: TraitConstantId, ) -> Result<Arc<ResolverData>, DiagnosticAdded>
Returns the resolution resolved_items of a trait constants.
Source§fn priv_trait_constant_data(
&self,
trait_constant: TraitConstantId,
) -> Result<TraitItemConstantData, DiagnosticAdded>
fn priv_trait_constant_data( &self, trait_constant: TraitConstantId, ) -> Result<TraitItemConstantData, DiagnosticAdded>
Private query to compute data about a trait constant.
Source§fn concrete_trait_constant_type(
&self,
concrete_trait_constant_id: ConcreteTraitConstantId,
) -> Result<TypeId, DiagnosticAdded>
fn concrete_trait_constant_type( &self, concrete_trait_constant_id: ConcreteTraitConstantId, ) -> Result<TypeId, DiagnosticAdded>
Returns the type of a trait constant.
Source§fn trait_impl_diagnostics(
&self,
trait_impl: TraitImplId,
) -> Diagnostics<SemanticDiagnostic>
fn trait_impl_diagnostics( &self, trait_impl: TraitImplId, ) -> Diagnostics<SemanticDiagnostic>
Returns the semantic diagnostics of a trait impls.
Source§fn trait_impl_attributes(
&self,
trait_impl: TraitImplId,
) -> Result<Vec<Attribute>, DiagnosticAdded>
fn trait_impl_attributes( &self, trait_impl: TraitImplId, ) -> Result<Vec<Attribute>, DiagnosticAdded>
Returns the attributes of a trait impls.
Source§fn trait_impl_concrete_trait(
&self,
trait_impl_id: TraitImplId,
) -> Result<ConcreteTraitId, DiagnosticAdded>
fn trait_impl_concrete_trait( &self, trait_impl_id: TraitImplId, ) -> Result<ConcreteTraitId, DiagnosticAdded>
Returns the concrete trait of a trait impl.
Source§fn trait_impl_resolver_data(
&self,
trait_impl: TraitImplId,
) -> Result<Arc<ResolverData>, DiagnosticAdded>
fn trait_impl_resolver_data( &self, trait_impl: TraitImplId, ) -> Result<Arc<ResolverData>, DiagnosticAdded>
Returns the resolution resolved_items of a trait impls.
Source§fn priv_trait_impl_data(
&self,
trait_impl: TraitImplId,
) -> Result<TraitItemImplData, DiagnosticAdded>
fn priv_trait_impl_data( &self, trait_impl: TraitImplId, ) -> Result<TraitItemImplData, DiagnosticAdded>
Private query to compute data about a trait impl.
Source§fn concrete_trait_impl_concrete_trait(
&self,
concrete_trait_impl_id: ConcreteTraitImplId,
) -> Result<ConcreteTraitId, DiagnosticAdded>
fn concrete_trait_impl_concrete_trait( &self, concrete_trait_impl_id: ConcreteTraitImplId, ) -> Result<ConcreteTraitId, DiagnosticAdded>
Returns the concrete trait of a concrete trait impl.
Source§fn trait_function_declaration_diagnostics(
&self,
trait_function_id: TraitFunctionId,
) -> Diagnostics<SemanticDiagnostic>
fn trait_function_declaration_diagnostics( &self, trait_function_id: TraitFunctionId, ) -> Diagnostics<SemanticDiagnostic>
Returns the semantic diagnostics of a trait function.
Source§fn trait_function_signature(
&self,
trait_function_id: TraitFunctionId,
) -> Result<Signature, DiagnosticAdded>
fn trait_function_signature( &self, trait_function_id: TraitFunctionId, ) -> Result<Signature, DiagnosticAdded>
Returns the signature of a trait function.
Source§fn trait_function_generic_params(
&self,
trait_function_id: TraitFunctionId,
) -> Result<Vec<GenericParam>, DiagnosticAdded>
fn trait_function_generic_params( &self, trait_function_id: TraitFunctionId, ) -> Result<Vec<GenericParam>, DiagnosticAdded>
Returns the generic params of a trait function.
Source§fn priv_trait_function_generic_params_data(
&self,
trait_function_id: TraitFunctionId,
) -> Result<GenericParamsData, DiagnosticAdded>
fn priv_trait_function_generic_params_data( &self, trait_function_id: TraitFunctionId, ) -> Result<GenericParamsData, DiagnosticAdded>
Returns the generic params data of a trait function.
Source§fn trait_function_attributes(
&self,
trait_function_id: TraitFunctionId,
) -> Result<Vec<Attribute>, DiagnosticAdded>
fn trait_function_attributes( &self, trait_function_id: TraitFunctionId, ) -> Result<Vec<Attribute>, DiagnosticAdded>
Returns the attributes of a trait function.
Source§fn trait_function_resolver_data(
&self,
trait_function_id: TraitFunctionId,
) -> Result<Arc<ResolverData>, DiagnosticAdded>
fn trait_function_resolver_data( &self, trait_function_id: TraitFunctionId, ) -> Result<Arc<ResolverData>, DiagnosticAdded>
Returns the resolution resolved_items of a trait function.
Source§fn trait_function_declaration_inline_config(
&self,
trait_function_id: TraitFunctionId,
) -> Result<InlineConfiguration, DiagnosticAdded>
fn trait_function_declaration_inline_config( &self, trait_function_id: TraitFunctionId, ) -> Result<InlineConfiguration, DiagnosticAdded>
Returns the inline configuration of a trait function’s declaration.
Source§fn trait_function_declaration_implicit_precedence(
&self,
trait_function_id: TraitFunctionId,
) -> Result<ImplicitPrecedence, DiagnosticAdded>
fn trait_function_declaration_implicit_precedence( &self, trait_function_id: TraitFunctionId, ) -> Result<ImplicitPrecedence, DiagnosticAdded>
Returns the implicits precedence of a trait function.
Source§fn trait_function_declaration_implicits(
&self,
trait_function_id: TraitFunctionId,
) -> Result<Vec<TypeId>, DiagnosticAdded>
fn trait_function_declaration_implicits( &self, trait_function_id: TraitFunctionId, ) -> Result<Vec<TypeId>, DiagnosticAdded>
Returns the explicit implicits of a signature of a trait function.
Source§fn priv_trait_function_declaration_data(
&self,
function_id: TraitFunctionId,
) -> Result<FunctionDeclarationData, DiagnosticAdded>
fn priv_trait_function_declaration_data( &self, function_id: TraitFunctionId, ) -> Result<FunctionDeclarationData, DiagnosticAdded>
Private query to compute data about a trait function declaration.
Source§fn trait_function_body_diagnostics(
&self,
trait_function_id: TraitFunctionId,
) -> Diagnostics<SemanticDiagnostic>
fn trait_function_body_diagnostics( &self, trait_function_id: TraitFunctionId, ) -> Diagnostics<SemanticDiagnostic>
Returns the semantic diagnostics of a trait function definition (declaration + body).
Source§fn trait_function_body(
&self,
trait_function_id: TraitFunctionId,
) -> Result<Option<Arc<FunctionBody>>, DiagnosticAdded>
fn trait_function_body( &self, trait_function_id: TraitFunctionId, ) -> Result<Option<Arc<FunctionBody>>, DiagnosticAdded>
Returns the body of a trait function, if any.
Source§fn priv_trait_function_body_data(
&self,
trait_function_id: TraitFunctionId,
) -> Result<Option<FunctionBodyData>, DiagnosticAdded>
fn priv_trait_function_body_data( &self, trait_function_id: TraitFunctionId, ) -> Result<Option<FunctionBodyData>, DiagnosticAdded>
Private query to compute data about a trait function definition (declaration + body)
Source§fn concrete_trait_function_generic_params(
&self,
concrete_trait_function_id: ConcreteTraitGenericFunctionId,
) -> Result<Vec<GenericParam>, DiagnosticAdded>
fn concrete_trait_function_generic_params( &self, concrete_trait_function_id: ConcreteTraitGenericFunctionId, ) -> Result<Vec<GenericParam>, DiagnosticAdded>
Returns the generic params of a concrete trait function.
Source§fn concrete_trait_function_signature(
&self,
concrete_trait_function_id: ConcreteTraitGenericFunctionId,
) -> Result<Signature, DiagnosticAdded>
fn concrete_trait_function_signature( &self, concrete_trait_function_id: ConcreteTraitGenericFunctionId, ) -> Result<Signature, DiagnosticAdded>
Returns the signature of a concrete trait function.
Source§fn module_impl_ids_for_trait_filter(
&self,
module_id: ModuleId,
trait_lookup_constraint: TraitFilter,
) -> Result<Vec<UninferredImpl>, DiagnosticAdded>
fn module_impl_ids_for_trait_filter( &self, module_id: ModuleId, trait_lookup_constraint: TraitFilter, ) -> Result<Vec<UninferredImpl>, DiagnosticAdded>
Returns candidate ImplDefIds for a specific trait lookup constraint.
fn impl_impl_ids_for_trait_filter( &self, impl_id: ImplId, trait_lookup_constraint: TraitFilter, ) -> Result<Vec<UninferredImpl>, DiagnosticAdded>
fn canonic_trait_solutions( &self, canonical_trait: CanonicalTrait, lookup_context: ImplLookupContext, impl_type_bounds: BTreeMap<ImplTypeById, TypeId>, ) -> Result<SolutionSet<CanonicalImpl>, InferenceError>
Source§fn impl_semantic_declaration_diagnostics(
&self,
impl_def_id: ImplDefId,
) -> Diagnostics<SemanticDiagnostic>
fn impl_semantic_declaration_diagnostics( &self, impl_def_id: ImplDefId, ) -> Diagnostics<SemanticDiagnostic>
Returns the semantic declaration diagnostics of an impl.
Source§fn impl_def_generic_params_data(
&self,
impl_def_id: ImplDefId,
) -> Result<GenericParamsData, DiagnosticAdded>
fn impl_def_generic_params_data( &self, impl_def_id: ImplDefId, ) -> Result<GenericParamsData, DiagnosticAdded>
Returns the generic parameters data of an impl.
Source§fn impl_def_generic_params(
&self,
impl_def_id: ImplDefId,
) -> Result<Vec<GenericParam>, DiagnosticAdded>
fn impl_def_generic_params( &self, impl_def_id: ImplDefId, ) -> Result<Vec<GenericParam>, DiagnosticAdded>
Returns the generic parameters of an impl.
Source§fn impl_def_resolver_data(
&self,
impl_def_id: ImplDefId,
) -> Result<Arc<ResolverData>, DiagnosticAdded>
fn impl_def_resolver_data( &self, impl_def_id: ImplDefId, ) -> Result<Arc<ResolverData>, DiagnosticAdded>
Returns the resolution resolved_items of an impl.
Source§fn impl_def_concrete_trait(
&self,
impl_def_id: ImplDefId,
) -> Result<ConcreteTraitId, DiagnosticAdded>
fn impl_def_concrete_trait( &self, impl_def_id: ImplDefId, ) -> Result<ConcreteTraitId, DiagnosticAdded>
Returns the concrete trait that is implemented by the impl.
Source§fn impl_def_substitution(
&self,
impl_def_id: ImplDefId,
) -> Result<Arc<GenericSubstitution>, DiagnosticAdded>
fn impl_def_substitution( &self, impl_def_id: ImplDefId, ) -> Result<Arc<GenericSubstitution>, DiagnosticAdded>
Returns the substitution for generics for the impl.
Source§fn impl_def_attributes(
&self,
impl_def_id: ImplDefId,
) -> Result<Vec<Attribute>, DiagnosticAdded>
fn impl_def_attributes( &self, impl_def_id: ImplDefId, ) -> Result<Vec<Attribute>, DiagnosticAdded>
Returns the attributes attached to the impl.
Source§fn impl_concrete_trait(
&self,
impl_id: ImplId,
) -> Result<ConcreteTraitId, DiagnosticAdded>
fn impl_concrete_trait( &self, impl_id: ImplId, ) -> Result<ConcreteTraitId, DiagnosticAdded>
Returns the concrete trait that is implemented by the concrete impl.
Source§fn impl_def_trait(
&self,
impl_def_id: ImplDefId,
) -> Result<TraitId, DiagnosticAdded>
fn impl_def_trait( &self, impl_def_id: ImplDefId, ) -> Result<TraitId, DiagnosticAdded>
Returns the trait that is implemented by the impl, or an error if the RHS of the
of is not
a trait.Source§fn priv_impl_declaration_data(
&self,
impl_def_id: ImplDefId,
) -> Result<ImplDeclarationData, DiagnosticAdded>
fn priv_impl_declaration_data( &self, impl_def_id: ImplDefId, ) -> Result<ImplDeclarationData, DiagnosticAdded>
Private query to compute declaration data about an impl.
Source§fn impl_semantic_definition_diagnostics(
&self,
impl_def_id: ImplDefId,
) -> Diagnostics<SemanticDiagnostic>
fn impl_semantic_definition_diagnostics( &self, impl_def_id: ImplDefId, ) -> Diagnostics<SemanticDiagnostic>
Returns the semantic definition diagnostics of an impl.
Source§fn impl_item_by_name(
&self,
impl_def_id: ImplDefId,
name: SmolStr,
) -> Result<Option<ImplItemId>, DiagnosticAdded>
fn impl_item_by_name( &self, impl_def_id: ImplDefId, name: SmolStr, ) -> Result<Option<ImplItemId>, DiagnosticAdded>
Returns the item of the impl, by the given
name, if exists.Source§fn impl_item_info_by_name(
&self,
impl_def_id: ImplDefId,
name: SmolStr,
) -> Result<Option<ImplItemInfo>, DiagnosticAdded>
fn impl_item_info_by_name( &self, impl_def_id: ImplDefId, name: SmolStr, ) -> Result<Option<ImplItemInfo>, DiagnosticAdded>
Returns the metadata for an impl item, by the given
name, if exists.Source§fn impl_implicit_impl_by_name(
&self,
impl_def_id: ImplDefId,
name: SmolStr,
) -> Result<Option<TraitImplId>, DiagnosticAdded>
fn impl_implicit_impl_by_name( &self, impl_def_id: ImplDefId, name: SmolStr, ) -> Result<Option<TraitImplId>, DiagnosticAdded>
Returns the trait impl of an implicit impl if
name exists in trait and not in the impl.Source§fn impl_all_used_uses(
&self,
impl_def_id: ImplDefId,
) -> Result<Arc<OrderedHashSet<UseId>>, DiagnosticAdded>
fn impl_all_used_uses( &self, impl_def_id: ImplDefId, ) -> Result<Arc<OrderedHashSet<UseId>>, DiagnosticAdded>
Returns all the items used within the impl.
Source§fn impl_types(
&self,
impl_def_id: ImplDefId,
) -> Result<Arc<OrderedHashMap<ImplTypeDefId, ItemTypeAlias>>, DiagnosticAdded>
fn impl_types( &self, impl_def_id: ImplDefId, ) -> Result<Arc<OrderedHashMap<ImplTypeDefId, ItemTypeAlias>>, DiagnosticAdded>
Returns the type items in the impl.
Source§fn impl_type_ids(
&self,
impl_def_id: ImplDefId,
) -> Result<Arc<[ImplTypeDefId]>, DiagnosticAdded>
fn impl_type_ids( &self, impl_def_id: ImplDefId, ) -> Result<Arc<[ImplTypeDefId]>, DiagnosticAdded>
Returns the ids of the type items in the impl.
Source§fn impl_type_by_id(
&self,
impl_type_id: ImplTypeDefId,
) -> Result<Option<ItemTypeAlias>, DiagnosticAdded>
fn impl_type_by_id( &self, impl_type_id: ImplTypeDefId, ) -> Result<Option<ItemTypeAlias>, DiagnosticAdded>
Returns the impl AST of the impl type that matches the given id, if exists.
Source§fn impl_type_by_trait_type(
&self,
impl_def_id: ImplDefId,
trait_type_id: TraitTypeId,
) -> Result<ImplTypeDefId, DiagnosticAdded>
fn impl_type_by_trait_type( &self, impl_def_id: ImplDefId, trait_type_id: TraitTypeId, ) -> Result<ImplTypeDefId, DiagnosticAdded>
Returns the impl type item that matches the given trait type item, if exists.
Source§fn impl_constants(
&self,
impl_def_id: ImplDefId,
) -> Result<Arc<OrderedHashMap<ImplConstantDefId, ItemConstant>>, DiagnosticAdded>
fn impl_constants( &self, impl_def_id: ImplDefId, ) -> Result<Arc<OrderedHashMap<ImplConstantDefId, ItemConstant>>, DiagnosticAdded>
Returns the constant items in the impl.
Source§fn impl_impls(
&self,
impl_def_id: ImplDefId,
) -> Result<Arc<OrderedHashMap<ImplImplDefId, ItemImplAlias>>, DiagnosticAdded>
fn impl_impls( &self, impl_def_id: ImplDefId, ) -> Result<Arc<OrderedHashMap<ImplImplDefId, ItemImplAlias>>, DiagnosticAdded>
Returns the impls items in the impl.
Source§fn impl_impl_ids(
&self,
impl_def_id: ImplDefId,
) -> Result<Arc<[ImplImplDefId]>, DiagnosticAdded>
fn impl_impl_ids( &self, impl_def_id: ImplDefId, ) -> Result<Arc<[ImplImplDefId]>, DiagnosticAdded>
Returns the ids of the impl items in the impl.
Source§fn impl_impl_by_id(
&self,
impl_impl_id: ImplImplDefId,
) -> Result<Option<ItemImplAlias>, DiagnosticAdded>
fn impl_impl_by_id( &self, impl_impl_id: ImplImplDefId, ) -> Result<Option<ItemImplAlias>, DiagnosticAdded>
Returns the impl AST of the impl impl that matches the given id, if exists.
Source§fn impl_impl_by_trait_impl(
&self,
impl_def_id: ImplDefId,
trait_impl_id: TraitImplId,
) -> Result<ImplImplDefId, DiagnosticAdded>
fn impl_impl_by_trait_impl( &self, impl_def_id: ImplDefId, trait_impl_id: TraitImplId, ) -> Result<ImplImplDefId, DiagnosticAdded>
Returns the impl impl item that matches the given trait impl item, if exists.
Source§fn is_implicit_impl_impl(
&self,
impl_def_id: ImplDefId,
trait_impl_id: TraitImplId,
) -> Result<bool, DiagnosticAdded>
fn is_implicit_impl_impl( &self, impl_def_id: ImplDefId, trait_impl_id: TraitImplId, ) -> Result<bool, DiagnosticAdded>
Returns whether
trait_impl_id is an implicit impl in impl_def_id.Source§fn impl_constant_by_trait_constant(
&self,
impl_def_id: ImplDefId,
trait_constant_id: TraitConstantId,
) -> Result<ImplConstantDefId, DiagnosticAdded>
fn impl_constant_by_trait_constant( &self, impl_def_id: ImplDefId, trait_constant_id: TraitConstantId, ) -> Result<ImplConstantDefId, DiagnosticAdded>
Returns the impl constant item that matches the given trait constant item, if exists.
Source§fn impl_functions(
&self,
impl_def_id: ImplDefId,
) -> Result<OrderedHashMap<SmolStr, ImplFunctionId>, DiagnosticAdded>
fn impl_functions( &self, impl_def_id: ImplDefId, ) -> Result<OrderedHashMap<SmolStr, ImplFunctionId>, DiagnosticAdded>
Returns the functions in the impl.
Source§fn impl_function_by_trait_function(
&self,
impl_def_id: ImplDefId,
trait_function_id: TraitFunctionId,
) -> Result<Option<ImplFunctionId>, DiagnosticAdded>
fn impl_function_by_trait_function( &self, impl_def_id: ImplDefId, trait_function_id: TraitFunctionId, ) -> Result<Option<ImplFunctionId>, DiagnosticAdded>
Returns the impl function that matches the given trait function, if exists.
Note that a function that doesn’t exist in the impl doesn’t necessarily indicate an error,
as, e.g., a trait function that has a default implementation doesn’t have to be
implemented in the impl.
Source§fn priv_impl_definition_data(
&self,
impl_def_id: ImplDefId,
) -> Result<ImplDefinitionData, DiagnosticAdded>
fn priv_impl_definition_data( &self, impl_def_id: ImplDefId, ) -> Result<ImplDefinitionData, DiagnosticAdded>
Private query to compute definition data about an impl.
Source§fn priv_impl_is_fully_concrete(&self, impl_id: ImplId) -> bool
fn priv_impl_is_fully_concrete(&self, impl_id: ImplId) -> bool
Private query to check if an impl is fully concrete.
Source§fn priv_impl_is_var_free(&self, impl_id: ImplId) -> bool
fn priv_impl_is_var_free(&self, impl_id: ImplId) -> bool
Private query to check if an impl contains no variables.
Source§fn impl_type_def_semantic_diagnostics(
&self,
impl_type_def_id: ImplTypeDefId,
) -> Diagnostics<SemanticDiagnostic>
fn impl_type_def_semantic_diagnostics( &self, impl_type_def_id: ImplTypeDefId, ) -> Diagnostics<SemanticDiagnostic>
Returns the semantic diagnostics of an impl item type.
Source§fn impl_type_def_resolved_type(
&self,
impl_type_def_id: ImplTypeDefId,
) -> Result<TypeId, DiagnosticAdded>
fn impl_type_def_resolved_type( &self, impl_type_def_id: ImplTypeDefId, ) -> Result<TypeId, DiagnosticAdded>
Returns the resolved type of an impl item type.
Source§fn impl_type_def_generic_params(
&self,
impl_type_def_id: ImplTypeDefId,
) -> Result<Vec<GenericParam>, DiagnosticAdded>
fn impl_type_def_generic_params( &self, impl_type_def_id: ImplTypeDefId, ) -> Result<Vec<GenericParam>, DiagnosticAdded>
Returns the generic parameters of an impl item type.
Source§fn impl_type_def_attributes(
&self,
impl_type_def_id: ImplTypeDefId,
) -> Result<Vec<Attribute>, DiagnosticAdded>
fn impl_type_def_attributes( &self, impl_type_def_id: ImplTypeDefId, ) -> Result<Vec<Attribute>, DiagnosticAdded>
Returns the attributes of an impl type.
Source§fn impl_type_def_resolver_data(
&self,
impl_type_def_id: ImplTypeDefId,
) -> Result<Arc<ResolverData>, DiagnosticAdded>
fn impl_type_def_resolver_data( &self, impl_type_def_id: ImplTypeDefId, ) -> Result<Arc<ResolverData>, DiagnosticAdded>
Returns the resolution resolved_items of an impl item type.
Source§fn impl_type_def_trait_type(
&self,
impl_type_def_id: ImplTypeDefId,
) -> Result<TraitTypeId, DiagnosticAdded>
fn impl_type_def_trait_type( &self, impl_type_def_id: ImplTypeDefId, ) -> Result<TraitTypeId, DiagnosticAdded>
Returns the trait type of an impl type.
Source§fn priv_impl_type_semantic_data(
&self,
impl_type_def_id: ImplTypeDefId,
in_cycle: bool,
) -> Result<ImplItemTypeData, DiagnosticAdded>
fn priv_impl_type_semantic_data( &self, impl_type_def_id: ImplTypeDefId, in_cycle: bool, ) -> Result<ImplItemTypeData, DiagnosticAdded>
Private query to compute data about an impl item type.
Source§fn priv_impl_type_def_generic_params_data(
&self,
impl_type_def_id: ImplTypeDefId,
) -> Result<GenericParamsData, DiagnosticAdded>
fn priv_impl_type_def_generic_params_data( &self, impl_type_def_id: ImplTypeDefId, ) -> Result<GenericParamsData, DiagnosticAdded>
Private query to compute data about the generic parameters of an impl item type.
Source§fn deref_chain(
&self,
ty: TypeId,
try_deref_mut: bool,
) -> Result<DerefChain, DiagnosticAdded>
fn deref_chain( &self, ty: TypeId, try_deref_mut: bool, ) -> Result<DerefChain, DiagnosticAdded>
Returns the deref chain and diagnostics for a given type.
Source§fn impl_type_concrete_implized(
&self,
impl_type_def_id: ImplTypeId,
) -> Result<TypeId, DiagnosticAdded>
fn impl_type_concrete_implized( &self, impl_type_def_id: ImplTypeId, ) -> Result<TypeId, DiagnosticAdded>
Returns the implized impl type if the impl is concrete. Returns a TypeId that’s not an impl
type with a concrete impl.
Source§fn impl_constant_def_semantic_diagnostics(
&self,
impl_constant_def_id: ImplConstantDefId,
) -> Diagnostics<SemanticDiagnostic>
fn impl_constant_def_semantic_diagnostics( &self, impl_constant_def_id: ImplConstantDefId, ) -> Diagnostics<SemanticDiagnostic>
Returns the semantic diagnostics of an impl item constant.
Source§fn impl_constant_def_value(
&self,
impl_constant_def_id: ImplConstantDefId,
) -> Result<ConstValueId, DiagnosticAdded>
fn impl_constant_def_value( &self, impl_constant_def_id: ImplConstantDefId, ) -> Result<ConstValueId, DiagnosticAdded>
Returns the resolved constant value of an impl item constant.
Source§fn impl_constant_def_resolver_data(
&self,
impl_constant_def_id: ImplConstantDefId,
) -> Result<Arc<ResolverData>, DiagnosticAdded>
fn impl_constant_def_resolver_data( &self, impl_constant_def_id: ImplConstantDefId, ) -> Result<Arc<ResolverData>, DiagnosticAdded>
Returns the resolution resolved_items of an impl item constant.
Source§fn impl_constant_def_trait_constant(
&self,
impl_constant_def_id: ImplConstantDefId,
) -> Result<TraitConstantId, DiagnosticAdded>
fn impl_constant_def_trait_constant( &self, impl_constant_def_id: ImplConstantDefId, ) -> Result<TraitConstantId, DiagnosticAdded>
Returns the type of an impl item constant.
Source§fn priv_impl_constant_semantic_data(
&self,
impl_constant_def_id: ImplConstantDefId,
in_cycle: bool,
) -> Result<ImplItemConstantData, DiagnosticAdded>
fn priv_impl_constant_semantic_data( &self, impl_constant_def_id: ImplConstantDefId, in_cycle: bool, ) -> Result<ImplItemConstantData, DiagnosticAdded>
Private query to compute data about an impl item constant.
Source§fn impl_constant_implized_by_context(
&self,
impl_constant_id: ImplConstantId,
impl_def_id: ImplDefId,
) -> Result<ConstValueId, DiagnosticAdded>
fn impl_constant_implized_by_context( &self, impl_constant_id: ImplConstantId, impl_def_id: ImplDefId, ) -> Result<ConstValueId, DiagnosticAdded>
Returns the given impl constant, implized by the given impl context.
Source§fn impl_constant_concrete_implized_value(
&self,
impl_constant_id: ImplConstantId,
) -> Result<ConstValueId, DiagnosticAdded>
fn impl_constant_concrete_implized_value( &self, impl_constant_id: ImplConstantId, ) -> Result<ConstValueId, DiagnosticAdded>
Returns the implized impl constant value if the impl is concrete.
Source§fn impl_constant_concrete_implized_type(
&self,
impl_constant_id: ImplConstantId,
) -> Result<TypeId, DiagnosticAdded>
fn impl_constant_concrete_implized_type( &self, impl_constant_id: ImplConstantId, ) -> Result<TypeId, DiagnosticAdded>
Returns the implized impl constant type if the impl is concrete.
Source§fn impl_impl_def_semantic_diagnostics(
&self,
impl_impl_def_id: ImplImplDefId,
) -> Diagnostics<SemanticDiagnostic>
fn impl_impl_def_semantic_diagnostics( &self, impl_impl_def_id: ImplImplDefId, ) -> Diagnostics<SemanticDiagnostic>
Returns the semantic diagnostics of an impl item impl.
Source§fn impl_impl_def_resolver_data(
&self,
impl_impl_def_id: ImplImplDefId,
) -> Result<Arc<ResolverData>, DiagnosticAdded>
fn impl_impl_def_resolver_data( &self, impl_impl_def_id: ImplImplDefId, ) -> Result<Arc<ResolverData>, DiagnosticAdded>
Returns the resolution resolved_items of an impl item impl.
Source§fn impl_impl_def_trait_impl(
&self,
impl_impl_def_id: ImplImplDefId,
) -> Result<TraitImplId, DiagnosticAdded>
fn impl_impl_def_trait_impl( &self, impl_impl_def_id: ImplImplDefId, ) -> Result<TraitImplId, DiagnosticAdded>
Returns the type of an impl item impl.
Source§fn impl_impl_def_impl(
&self,
impl_impl_def_id: ImplImplDefId,
in_cycle: bool,
) -> Result<ImplId, DiagnosticAdded>
fn impl_impl_def_impl( &self, impl_impl_def_id: ImplImplDefId, in_cycle: bool, ) -> Result<ImplId, DiagnosticAdded>
Returns the resolved impl of an impl item impl.
Source§fn priv_impl_impl_semantic_data(
&self,
impl_impl_def_id: ImplImplDefId,
in_cycle: bool,
) -> Result<ImplItemImplData, DiagnosticAdded>
fn priv_impl_impl_semantic_data( &self, impl_impl_def_id: ImplImplDefId, in_cycle: bool, ) -> Result<ImplItemImplData, DiagnosticAdded>
Private query to compute data about an impl item impl.
Source§fn priv_impl_impl_def_generic_params_data(
&self,
impl_impl_def_id: ImplImplDefId,
) -> Result<GenericParamsData, DiagnosticAdded>
fn priv_impl_impl_def_generic_params_data( &self, impl_impl_def_id: ImplImplDefId, ) -> Result<GenericParamsData, DiagnosticAdded>
Private query to compute data about the generic parameters of an impl item impl.
Source§fn implicit_impl_impl_semantic_diagnostics(
&self,
impl_def_id: ImplDefId,
trait_impl_id: TraitImplId,
) -> Diagnostics<SemanticDiagnostic>
fn implicit_impl_impl_semantic_diagnostics( &self, impl_def_id: ImplDefId, trait_impl_id: TraitImplId, ) -> Diagnostics<SemanticDiagnostic>
Returns the semantic diagnostics of an implicit impl.
Source§fn implicit_impl_impl_impl(
&self,
impl_def_id: ImplDefId,
trait_impl_id: TraitImplId,
in_cycle: bool,
) -> Result<ImplId, DiagnosticAdded>
fn implicit_impl_impl_impl( &self, impl_def_id: ImplDefId, trait_impl_id: TraitImplId, in_cycle: bool, ) -> Result<ImplId, DiagnosticAdded>
Returns the resolved impl of an implicit impl.
fn priv_implicit_impl_impl_semantic_data( &self, impl_def_id: ImplDefId, trait_impl_id: TraitImplId, in_cycle: bool, ) -> Result<ImplicitImplImplData, DiagnosticAdded>
Source§fn impl_impl_implized_by_context(
&self,
impl_impl_id: ImplImplId,
impl_def_id: ImplDefId,
in_cycle: bool,
) -> Result<ImplId, DiagnosticAdded>
fn impl_impl_implized_by_context( &self, impl_impl_id: ImplImplId, impl_def_id: ImplDefId, in_cycle: bool, ) -> Result<ImplId, DiagnosticAdded>
Returns the implized impl impl if the impl is concrete.
Source§fn impl_impl_concrete_implized(
&self,
impl_impl_id: ImplImplId,
) -> Result<ImplId, DiagnosticAdded>
fn impl_impl_concrete_implized( &self, impl_impl_id: ImplImplId, ) -> Result<ImplId, DiagnosticAdded>
Returns the implized impl impl value if the impl is concrete.
Source§fn impl_impl_concrete_trait(
&self,
impl_impl_id: ImplImplId,
) -> Result<ConcreteTraitId, DiagnosticAdded>
fn impl_impl_concrete_trait( &self, impl_impl_id: ImplImplId, ) -> Result<ConcreteTraitId, DiagnosticAdded>
Returns the concrete trait of an impl impl.
Source§fn impl_function_declaration_diagnostics(
&self,
impl_function_id: ImplFunctionId,
) -> Diagnostics<SemanticDiagnostic>
fn impl_function_declaration_diagnostics( &self, impl_function_id: ImplFunctionId, ) -> Diagnostics<SemanticDiagnostic>
Returns the semantic diagnostics of an impl function’s declaration (signature).
Source§fn impl_function_signature(
&self,
impl_function_id: ImplFunctionId,
) -> Result<Signature, DiagnosticAdded>
fn impl_function_signature( &self, impl_function_id: ImplFunctionId, ) -> Result<Signature, DiagnosticAdded>
Returns the signature of an impl function.
Source§fn impl_function_generic_params(
&self,
impl_function_id: ImplFunctionId,
) -> Result<Vec<GenericParam>, DiagnosticAdded>
fn impl_function_generic_params( &self, impl_function_id: ImplFunctionId, ) -> Result<Vec<GenericParam>, DiagnosticAdded>
Returns the generic params of an impl function.
Source§fn priv_impl_function_generic_params_data(
&self,
impl_function_id: ImplFunctionId,
) -> Result<GenericParamsData, DiagnosticAdded>
fn priv_impl_function_generic_params_data( &self, impl_function_id: ImplFunctionId, ) -> Result<GenericParamsData, DiagnosticAdded>
Returns the generic params data of an impl function.
Source§fn impl_function_attributes(
&self,
impl_function_id: ImplFunctionId,
) -> Result<Vec<Attribute>, DiagnosticAdded>
fn impl_function_attributes( &self, impl_function_id: ImplFunctionId, ) -> Result<Vec<Attribute>, DiagnosticAdded>
Returns the attributes of an impl function.
Source§fn impl_function_resolver_data(
&self,
impl_function_id: ImplFunctionId,
) -> Result<Arc<ResolverData>, DiagnosticAdded>
fn impl_function_resolver_data( &self, impl_function_id: ImplFunctionId, ) -> Result<Arc<ResolverData>, DiagnosticAdded>
Returns the resolution resolved_items of an impl function’s declaration.
Source§fn impl_function_declaration_inline_config(
&self,
impl_function_id: ImplFunctionId,
) -> Result<InlineConfiguration, DiagnosticAdded>
fn impl_function_declaration_inline_config( &self, impl_function_id: ImplFunctionId, ) -> Result<InlineConfiguration, DiagnosticAdded>
Returns the inline configuration of an impl function’s declaration.
Source§fn impl_function_declaration_implicit_precedence(
&self,
impl_function_id: ImplFunctionId,
) -> Result<ImplicitPrecedence, DiagnosticAdded>
fn impl_function_declaration_implicit_precedence( &self, impl_function_id: ImplFunctionId, ) -> Result<ImplicitPrecedence, DiagnosticAdded>
Returns the implicits precedence of an impl function.
Source§fn impl_function_declaration_implicits(
&self,
impl_function_id: ImplFunctionId,
) -> Result<Vec<TypeId>, DiagnosticAdded>
fn impl_function_declaration_implicits( &self, impl_function_id: ImplFunctionId, ) -> Result<Vec<TypeId>, DiagnosticAdded>
Returns the explicit implicits of a signature of an impl function.
Source§fn impl_function_trait_function(
&self,
impl_function_id: ImplFunctionId,
) -> Result<TraitFunctionId, DiagnosticAdded>
fn impl_function_trait_function( &self, impl_function_id: ImplFunctionId, ) -> Result<TraitFunctionId, DiagnosticAdded>
Returns the trait function of an impl function.
Source§fn priv_impl_function_declaration_data(
&self,
impl_function_id: ImplFunctionId,
) -> Result<ImplFunctionDeclarationData, DiagnosticAdded>
fn priv_impl_function_declaration_data( &self, impl_function_id: ImplFunctionId, ) -> Result<ImplFunctionDeclarationData, DiagnosticAdded>
Private query to compute data about an impl function declaration.
Source§fn impl_function_body_diagnostics(
&self,
impl_function_id: ImplFunctionId,
) -> Diagnostics<SemanticDiagnostic>
fn impl_function_body_diagnostics( &self, impl_function_id: ImplFunctionId, ) -> Diagnostics<SemanticDiagnostic>
Returns the semantic diagnostics of an impl function definition (declaration + body).
Source§fn impl_function_body(
&self,
impl_function_id: ImplFunctionId,
) -> Result<Arc<FunctionBody>, DiagnosticAdded>
fn impl_function_body( &self, impl_function_id: ImplFunctionId, ) -> Result<Arc<FunctionBody>, DiagnosticAdded>
Returns the definition of an impl function.
Source§fn impl_function_body_resolver_data(
&self,
impl_function_id: ImplFunctionId,
) -> Result<Arc<ResolverData>, DiagnosticAdded>
fn impl_function_body_resolver_data( &self, impl_function_id: ImplFunctionId, ) -> Result<Arc<ResolverData>, DiagnosticAdded>
Returns the resolution resolved_items of an impl function’s definition.
Source§fn priv_impl_function_body_data(
&self,
impl_function_id: ImplFunctionId,
) -> Result<FunctionBodyData, DiagnosticAdded>
fn priv_impl_function_body_data( &self, impl_function_id: ImplFunctionId, ) -> Result<FunctionBodyData, DiagnosticAdded>
Private query to compute data about an impl function definition (declaration + body)
Source§fn trait_type_implized_by_context(
&self,
trait_type_def_id: TraitTypeId,
impl_def_id: ImplDefId,
) -> Result<TypeId, DiagnosticAdded>
fn trait_type_implized_by_context( &self, trait_type_def_id: TraitTypeId, impl_def_id: ImplDefId, ) -> Result<TypeId, DiagnosticAdded>
Returns the impl type for the given trait type, by implization by the given impl context, if
the impl matches the trait of the trait type.
Source§fn free_function_declaration_diagnostics(
&self,
free_function_id: FreeFunctionId,
) -> Diagnostics<SemanticDiagnostic>
fn free_function_declaration_diagnostics( &self, free_function_id: FreeFunctionId, ) -> Diagnostics<SemanticDiagnostic>
Returns the semantic diagnostics of a free function’s declaration (signature).
Source§fn free_function_signature(
&self,
free_function_id: FreeFunctionId,
) -> Result<Signature, DiagnosticAdded>
fn free_function_signature( &self, free_function_id: FreeFunctionId, ) -> Result<Signature, DiagnosticAdded>
Returns the signature of a free function.
Source§fn free_function_declaration_implicits(
&self,
free_function_id: FreeFunctionId,
) -> Result<Vec<TypeId>, DiagnosticAdded>
fn free_function_declaration_implicits( &self, free_function_id: FreeFunctionId, ) -> Result<Vec<TypeId>, DiagnosticAdded>
Returns the explicit implicits of a signature of a free function.
Source§fn free_function_declaration_implicit_precedence(
&self,
free_function_id: FreeFunctionId,
) -> Result<ImplicitPrecedence, DiagnosticAdded>
fn free_function_declaration_implicit_precedence( &self, free_function_id: FreeFunctionId, ) -> Result<ImplicitPrecedence, DiagnosticAdded>
Returns the implicits precedence of a free function.
Source§fn free_function_generic_params(
&self,
free_function_id: FreeFunctionId,
) -> Result<Vec<GenericParam>, DiagnosticAdded>
fn free_function_generic_params( &self, free_function_id: FreeFunctionId, ) -> Result<Vec<GenericParam>, DiagnosticAdded>
Returns the generic params of a free function.
Source§fn free_function_generic_params_data(
&self,
free_function_id: FreeFunctionId,
) -> Result<GenericParamsData, DiagnosticAdded>
fn free_function_generic_params_data( &self, free_function_id: FreeFunctionId, ) -> Result<GenericParamsData, DiagnosticAdded>
Returns the generic params data of a free function.
Source§fn free_function_declaration_resolver_data(
&self,
free_function_id: FreeFunctionId,
) -> Result<Arc<ResolverData>, DiagnosticAdded>
fn free_function_declaration_resolver_data( &self, free_function_id: FreeFunctionId, ) -> Result<Arc<ResolverData>, DiagnosticAdded>
Returns the resolution resolved_items of a free function’s declaration.
Source§fn free_function_declaration_inline_config(
&self,
free_function_id: FreeFunctionId,
) -> Result<InlineConfiguration, DiagnosticAdded>
fn free_function_declaration_inline_config( &self, free_function_id: FreeFunctionId, ) -> Result<InlineConfiguration, DiagnosticAdded>
Returns the inline configuration of a free function’s declaration.
Source§fn priv_free_function_declaration_data(
&self,
function_id: FreeFunctionId,
) -> Result<FunctionDeclarationData, DiagnosticAdded>
fn priv_free_function_declaration_data( &self, function_id: FreeFunctionId, ) -> Result<FunctionDeclarationData, DiagnosticAdded>
Private query to compute data about a free function declaration - its signature excluding
its body.
Source§fn free_function_body_diagnostics(
&self,
free_function_id: FreeFunctionId,
) -> Diagnostics<SemanticDiagnostic>
fn free_function_body_diagnostics( &self, free_function_id: FreeFunctionId, ) -> Diagnostics<SemanticDiagnostic>
Returns the semantic diagnostics of a free function’s body.
Source§fn free_function_body_resolver_data(
&self,
free_function_id: FreeFunctionId,
) -> Result<Arc<ResolverData>, DiagnosticAdded>
fn free_function_body_resolver_data( &self, free_function_id: FreeFunctionId, ) -> Result<Arc<ResolverData>, DiagnosticAdded>
Returns the resolution resolved_items of a free function’s body.
Source§fn priv_free_function_body_data(
&self,
free_function_id: FreeFunctionId,
) -> Result<FunctionBodyData, DiagnosticAdded>
fn priv_free_function_body_data( &self, free_function_id: FreeFunctionId, ) -> Result<FunctionBodyData, DiagnosticAdded>
Private query to compute data about a free function’s body.
Source§fn function_declaration_diagnostics(
&self,
function_id: FunctionWithBodyId,
) -> Diagnostics<SemanticDiagnostic>
fn function_declaration_diagnostics( &self, function_id: FunctionWithBodyId, ) -> Diagnostics<SemanticDiagnostic>
Returns the semantic diagnostics of a declaration (signature) of a function with a body.
Source§fn function_declaration_inline_config(
&self,
function_id: FunctionWithBodyId,
) -> Result<InlineConfiguration, DiagnosticAdded>
fn function_declaration_inline_config( &self, function_id: FunctionWithBodyId, ) -> Result<InlineConfiguration, DiagnosticAdded>
Returns the inline configuration of a declaration (signature) of a function with a body.
Source§fn function_declaration_implicit_precedence(
&self,
function_id: FunctionWithBodyId,
) -> Result<ImplicitPrecedence, DiagnosticAdded>
fn function_declaration_implicit_precedence( &self, function_id: FunctionWithBodyId, ) -> Result<ImplicitPrecedence, DiagnosticAdded>
Returns the implicit order of a declaration (signature) of a function with a body.
Source§fn function_with_body_signature(
&self,
function_id: FunctionWithBodyId,
) -> Result<Signature, DiagnosticAdded>
fn function_with_body_signature( &self, function_id: FunctionWithBodyId, ) -> Result<Signature, DiagnosticAdded>
Returns the signature of a function with a body.
Source§fn function_with_body_generic_params(
&self,
function_id: FunctionWithBodyId,
) -> Result<Vec<GenericParam>, DiagnosticAdded>
fn function_with_body_generic_params( &self, function_id: FunctionWithBodyId, ) -> Result<Vec<GenericParam>, DiagnosticAdded>
Returns all the available generic params inside a function body.
Source§fn function_with_body_attributes(
&self,
function_id: FunctionWithBodyId,
) -> Result<Vec<Attribute>, DiagnosticAdded>
fn function_with_body_attributes( &self, function_id: FunctionWithBodyId, ) -> Result<Vec<Attribute>, DiagnosticAdded>
Returns the attributes of a function with a body.
Source§fn function_body_diagnostics(
&self,
function_id: FunctionWithBodyId,
) -> Diagnostics<SemanticDiagnostic>
fn function_body_diagnostics( &self, function_id: FunctionWithBodyId, ) -> Diagnostics<SemanticDiagnostic>
Returns the semantic diagnostics of a body of a function (with a body).
Source§fn function_body_expr(
&self,
function_id: FunctionWithBodyId,
) -> Result<Id<Expr>, DiagnosticAdded>
fn function_body_expr( &self, function_id: FunctionWithBodyId, ) -> Result<Id<Expr>, DiagnosticAdded>
Returns the body expr of a function (with a body).
Source§fn function_body(
&self,
function_id: FunctionWithBodyId,
) -> Result<Arc<FunctionBody>, DiagnosticAdded>
fn function_body( &self, function_id: FunctionWithBodyId, ) -> Result<Arc<FunctionBody>, DiagnosticAdded>
Returns the body of a function (with a body).
Source§fn priv_extern_function_declaration_data(
&self,
function_id: ExternFunctionId,
) -> Result<FunctionDeclarationData, DiagnosticAdded>
fn priv_extern_function_declaration_data( &self, function_id: ExternFunctionId, ) -> Result<FunctionDeclarationData, DiagnosticAdded>
Private query to compute data about an extern function declaration. An extern function has
no body, and thus only has a declaration.
Source§fn extern_function_declaration_inline_config(
&self,
extern_function_id: ExternFunctionId,
) -> Result<InlineConfiguration, DiagnosticAdded>
fn extern_function_declaration_inline_config( &self, extern_function_id: ExternFunctionId, ) -> Result<InlineConfiguration, DiagnosticAdded>
Returns the inline configuration of an extern function’s declaration.
Source§fn extern_function_declaration_diagnostics(
&self,
extern_function_id: ExternFunctionId,
) -> Diagnostics<SemanticDiagnostic>
fn extern_function_declaration_diagnostics( &self, extern_function_id: ExternFunctionId, ) -> Diagnostics<SemanticDiagnostic>
Returns the semantic diagnostics of an extern function declaration. An extern function has
no body, and thus only has a declaration.
Source§fn extern_function_signature(
&self,
extern_function_id: ExternFunctionId,
) -> Result<Signature, DiagnosticAdded>
fn extern_function_signature( &self, extern_function_id: ExternFunctionId, ) -> Result<Signature, DiagnosticAdded>
Returns the signature of an extern function.
Source§fn extern_function_declaration_generic_params(
&self,
extern_function_id: ExternFunctionId,
) -> Result<Vec<GenericParam>, DiagnosticAdded>
fn extern_function_declaration_generic_params( &self, extern_function_id: ExternFunctionId, ) -> Result<Vec<GenericParam>, DiagnosticAdded>
Returns the generic params of an extern function.
Source§fn extern_function_declaration_generic_params_data(
&self,
extern_function_id: ExternFunctionId,
) -> Result<GenericParamsData, DiagnosticAdded>
fn extern_function_declaration_generic_params_data( &self, extern_function_id: ExternFunctionId, ) -> Result<GenericParamsData, DiagnosticAdded>
Returns the generic params data of an extern function.
Source§fn extern_function_declaration_implicits(
&self,
extern_function_id: ExternFunctionId,
) -> Result<Vec<TypeId>, DiagnosticAdded>
fn extern_function_declaration_implicits( &self, extern_function_id: ExternFunctionId, ) -> Result<Vec<TypeId>, DiagnosticAdded>
Returns the explicit implicits of an extern function declaration.
Source§fn extern_function_declaration_refs(
&self,
extern_function_id: ExternFunctionId,
) -> Result<Vec<Parameter>, DiagnosticAdded>
fn extern_function_declaration_refs( &self, extern_function_id: ExternFunctionId, ) -> Result<Vec<Parameter>, DiagnosticAdded>
Returns the ref parameters of an extern function declaration.
Source§fn extern_function_declaration_resolver_data(
&self,
extern_function_id: ExternFunctionId,
) -> Result<Arc<ResolverData>, DiagnosticAdded>
fn extern_function_declaration_resolver_data( &self, extern_function_id: ExternFunctionId, ) -> Result<Arc<ResolverData>, DiagnosticAdded>
Returns the resolution resolved_items of an extern function.
Source§fn priv_extern_type_declaration_data(
&self,
type_id: ExternTypeId,
) -> Result<ExternTypeDeclarationData, DiagnosticAdded>
fn priv_extern_type_declaration_data( &self, type_id: ExternTypeId, ) -> Result<ExternTypeDeclarationData, DiagnosticAdded>
Private query to compute data about an extern type declaration. An extern type has
no body, and thus only has a declaration.
Source§fn extern_type_declaration_diagnostics(
&self,
extern_type_id: ExternTypeId,
) -> Diagnostics<SemanticDiagnostic>
fn extern_type_declaration_diagnostics( &self, extern_type_id: ExternTypeId, ) -> Diagnostics<SemanticDiagnostic>
Returns the semantic diagnostics of an extern type declaration. An extern type has
no body, and thus only has a declaration.
Source§fn extern_type_declaration_generic_params(
&self,
extern_type_id: ExternTypeId,
) -> Result<Vec<GenericParam>, DiagnosticAdded>
fn extern_type_declaration_generic_params( &self, extern_type_id: ExternTypeId, ) -> Result<Vec<GenericParam>, DiagnosticAdded>
Returns the generic params of an extern type.
Source§fn extern_type_declaration_generic_params_data(
&self,
extern_type_id: ExternTypeId,
) -> Result<GenericParamsData, DiagnosticAdded>
fn extern_type_declaration_generic_params_data( &self, extern_type_id: ExternTypeId, ) -> Result<GenericParamsData, DiagnosticAdded>
Returns the generic params data of an extern type.
Source§fn extern_type_attributes(
&self,
extern_type_id: ExternTypeId,
) -> Result<Vec<Attribute>, DiagnosticAdded>
fn extern_type_attributes( &self, extern_type_id: ExternTypeId, ) -> Result<Vec<Attribute>, DiagnosticAdded>
Returns the attributes of an extern type.
Source§fn function_title_signature(
&self,
function_title_id: FunctionTitleId,
) -> Result<Signature, DiagnosticAdded>
fn function_title_signature( &self, function_title_id: FunctionTitleId, ) -> Result<Signature, DiagnosticAdded>
Returns the signature of the given FunctionTitleId. This include free functions, extern
functions, etc…
Source§fn function_title_generic_params(
&self,
function_title_id: FunctionTitleId,
) -> Result<Vec<GenericParam>, DiagnosticAdded>
fn function_title_generic_params( &self, function_title_id: FunctionTitleId, ) -> Result<Vec<GenericParam>, DiagnosticAdded>
Returns the generic parameters of the given FunctionTitleId. This include free
functions, extern functions, etc…
Source§fn concrete_function_signature(
&self,
function_id: FunctionId,
) -> Result<Signature, DiagnosticAdded>
fn concrete_function_signature( &self, function_id: FunctionId, ) -> Result<Signature, DiagnosticAdded>
Returns the signature of a concrete function. This include free functions, extern functions,
etc…
Source§fn concrete_function_closure_params(
&self,
function_id: FunctionId,
) -> Result<OrderedHashMap<TypeId, TypeId>, DiagnosticAdded>
fn concrete_function_closure_params( &self, function_id: FunctionId, ) -> Result<OrderedHashMap<TypeId, TypeId>, DiagnosticAdded>
Returns a mapping of closure types to their associated parameter types for a concrete
function.
Source§fn get_closure_params(
&self,
generic_function_id: GenericFunctionId,
) -> Result<OrderedHashMap<TypeId, TypeId>, DiagnosticAdded>
fn get_closure_params( &self, generic_function_id: GenericFunctionId, ) -> Result<OrderedHashMap<TypeId, TypeId>, DiagnosticAdded>
Returns a mapping of closure types to their associated parameter types for a generic
function.
Source§fn priv_macro_declaration_data(
&self,
macro_id: MacroDeclarationId,
) -> Result<MacroDeclarationData, DiagnosticAdded>
fn priv_macro_declaration_data( &self, macro_id: MacroDeclarationId, ) -> Result<MacroDeclarationData, DiagnosticAdded>
Private query to compute data about a macro declaration.
Source§fn macro_declaration_diagnostics(
&self,
macro_id: MacroDeclarationId,
) -> Diagnostics<SemanticDiagnostic>
fn macro_declaration_diagnostics( &self, macro_id: MacroDeclarationId, ) -> Diagnostics<SemanticDiagnostic>
Returns the semantic diagnostics of a macro declaration.
Source§fn macro_declaration_resolver_data(
&self,
macro_id: MacroDeclarationId,
) -> Result<Arc<ResolverData>, DiagnosticAdded>
fn macro_declaration_resolver_data( &self, macro_id: MacroDeclarationId, ) -> Result<Arc<ResolverData>, DiagnosticAdded>
Returns the resolver data of a macro declaration.
Source§fn macro_declaration_attributes(
&self,
macro_id: MacroDeclarationId,
) -> Result<Vec<Attribute>, DiagnosticAdded>
fn macro_declaration_attributes( &self, macro_id: MacroDeclarationId, ) -> Result<Vec<Attribute>, DiagnosticAdded>
Returns the attributes of a macro declaration.
Source§fn macro_declaration_rules(
&self,
macro_id: MacroDeclarationId,
) -> Result<Vec<MacroRuleData>, DiagnosticAdded>
fn macro_declaration_rules( &self, macro_id: MacroDeclarationId, ) -> Result<Vec<MacroRuleData>, DiagnosticAdded>
Returns the rules semantic data of a macro declaration.
Source§fn generic_type_generic_params(
&self,
generic_type: GenericTypeId,
) -> Result<Vec<GenericParam>, DiagnosticAdded>
fn generic_type_generic_params( &self, generic_type: GenericTypeId, ) -> Result<Vec<GenericParam>, DiagnosticAdded>
Returns the generic params of a generic type.
Source§fn generic_param_semantic(
&self,
generic_param: GenericParamId,
) -> Result<GenericParam, DiagnosticAdded>
fn generic_param_semantic( &self, generic_param: GenericParamId, ) -> Result<GenericParam, DiagnosticAdded>
Returns the semantic data of a generic param.
Source§fn generic_param_diagnostics(
&self,
generic_param: GenericParamId,
) -> Diagnostics<SemanticDiagnostic>
fn generic_param_diagnostics( &self, generic_param: GenericParamId, ) -> Diagnostics<SemanticDiagnostic>
Returns the semantic diagnostics of a generic param.
Source§fn generic_param_resolver_data(
&self,
generic_param: GenericParamId,
) -> Result<Arc<ResolverData>, DiagnosticAdded>
fn generic_param_resolver_data( &self, generic_param: GenericParamId, ) -> Result<Arc<ResolverData>, DiagnosticAdded>
Returns the resolver data of a generic param.
Source§fn generic_impl_param_trait(
&self,
generic_param_id: GenericParamId,
) -> Result<TraitId, DiagnosticAdded>
fn generic_impl_param_trait( &self, generic_param_id: GenericParamId, ) -> Result<TraitId, DiagnosticAdded>
Returns the trait a generic param impl should implement.
Panics if the generic param is not an impl generic param.
Source§fn priv_generic_param_data(
&self,
generic_param: GenericParamId,
in_cycle: bool,
) -> Result<GenericParamData, DiagnosticAdded>
fn priv_generic_param_data( &self, generic_param: GenericParamId, in_cycle: bool, ) -> Result<GenericParamData, DiagnosticAdded>
Private query to compute data about a generic param.
Source§fn generic_params_type_constraints(
&self,
generic_params: Vec<GenericParamId>,
) -> Vec<(TypeId, TypeId)>
fn generic_params_type_constraints( &self, generic_params: Vec<GenericParamId>, ) -> Vec<(TypeId, TypeId)>
Returns the type constraints intoduced by the generic params.
Source§fn single_value_type(&self, ty: TypeId) -> Result<bool, DiagnosticAdded>
fn single_value_type(&self, ty: TypeId) -> Result<bool, DiagnosticAdded>
Returns true if there is only one value for the given type and hence the values of the given
type are all interchangeable.
Examples include the unit type tuple of a unit type and empty structs.
Always returns false for extern types.
Source§fn type_size_info(
&self,
ty: TypeId,
) -> Result<TypeSizeInformation, DiagnosticAdded>
fn type_size_info( &self, ty: TypeId, ) -> Result<TypeSizeInformation, DiagnosticAdded>
Returns the type size information for the given type.
Source§fn type_info(&self, lookup_context: ImplLookupContext, ty: TypeId) -> TypeInfo
fn type_info(&self, lookup_context: ImplLookupContext, ty: TypeId) -> TypeInfo
Returns the type info for a type in a context.
Source§fn copyable(&self, ty: TypeId) -> Result<ImplId, InferenceError>
fn copyable(&self, ty: TypeId) -> Result<ImplId, InferenceError>
Returns the
Copy impl for a type in general context.Source§fn droppable(&self, ty: TypeId) -> Result<ImplId, InferenceError>
fn droppable(&self, ty: TypeId) -> Result<ImplId, InferenceError>
Returns the
Drop impl for a type in general context.Source§fn priv_type_is_fully_concrete(&self, ty: TypeId) -> bool
fn priv_type_is_fully_concrete(&self, ty: TypeId) -> bool
Private query to check if a type is fully concrete.
Source§fn priv_type_is_var_free(&self, ty: TypeId) -> bool
fn priv_type_is_var_free(&self, ty: TypeId) -> bool
Private query to check if a type contains no variables.
Source§fn priv_type_short_name(&self, ty: TypeId) -> String
fn priv_type_short_name(&self, ty: TypeId) -> String
Private query for a shorter unique name for types.
Source§fn expr_semantic(&self, function_id: FunctionWithBodyId, id: Id<Expr>) -> Expr
fn expr_semantic(&self, function_id: FunctionWithBodyId, id: Id<Expr>) -> Expr
Assumes function and expression are present.
Source§fn pattern_semantic(
&self,
function_id: FunctionWithBodyId,
id: Id<Pattern>,
) -> Pattern
fn pattern_semantic( &self, function_id: FunctionWithBodyId, id: Id<Pattern>, ) -> Pattern
Assumes function and pattern are present.
Source§fn statement_semantic(
&self,
function_id: FunctionWithBodyId,
id: Id<Statement>,
) -> Statement
fn statement_semantic( &self, function_id: FunctionWithBodyId, id: Id<Statement>, ) -> Statement
Assumes function and statement are valid.
fn lookup_resolved_generic_item_by_ptr( &self, id: LookupItemId, ptr: TerminalIdentifierPtr, ) -> Option<ResolvedGenericItem>
fn lookup_resolved_concrete_item_by_ptr( &self, id: LookupItemId, ptr: TerminalIdentifierPtr, ) -> Option<ResolvedConcreteItem>
Source§fn module_semantic_diagnostics(
&self,
module_id: ModuleId,
) -> Result<Diagnostics<SemanticDiagnostic>, DiagnosticAdded>
fn module_semantic_diagnostics( &self, module_id: ModuleId, ) -> Result<Diagnostics<SemanticDiagnostic>, DiagnosticAdded>
Aggregates module level semantic diagnostics.
Source§fn file_semantic_diagnostics(
&self,
file_id: FileId,
) -> Result<Diagnostics<SemanticDiagnostic>, DiagnosticAdded>
fn file_semantic_diagnostics( &self, file_id: FileId, ) -> Result<Diagnostics<SemanticDiagnostic>, DiagnosticAdded>
Aggregates file level semantic diagnostics.
fn core_crate(&self) -> CrateId
fn core_module(&self) -> ModuleId
fn core_info(&self) -> Arc<CoreInfo>
fn default_analyzer_plugins(&self) -> Arc<[AnalyzerPluginId]>
Source§fn set_default_analyzer_plugins(&mut self, value__: Arc<[AnalyzerPluginId]>)
fn set_default_analyzer_plugins(&mut self, value__: Arc<[AnalyzerPluginId]>)
Set the value of the
default_analyzer_plugins input. Read moreSource§fn set_default_analyzer_plugins_with_durability(
&mut self,
value__: Arc<[AnalyzerPluginId]>,
durability__: Durability,
)
fn set_default_analyzer_plugins_with_durability( &mut self, value__: Arc<[AnalyzerPluginId]>, durability__: Durability, )
Set the value of the
default_analyzer_plugins input with a
specific durability instead of the default of
Durability::LOW. You can use Durability::MAX
to promise that its value will never change again. Read morefn analyzer_plugin_overrides( &self, ) -> Arc<OrderedHashMap<CrateId, Arc<[AnalyzerPluginId]>>>
Source§fn set_analyzer_plugin_overrides(
&mut self,
value__: Arc<OrderedHashMap<CrateId, Arc<[AnalyzerPluginId]>>>,
)
fn set_analyzer_plugin_overrides( &mut self, value__: Arc<OrderedHashMap<CrateId, Arc<[AnalyzerPluginId]>>>, )
Set the value of the
analyzer_plugin_overrides input. Read moreSource§fn set_analyzer_plugin_overrides_with_durability(
&mut self,
value__: Arc<OrderedHashMap<CrateId, Arc<[AnalyzerPluginId]>>>,
durability__: Durability,
)
fn set_analyzer_plugin_overrides_with_durability( &mut self, value__: Arc<OrderedHashMap<CrateId, Arc<[AnalyzerPluginId]>>>, durability__: Durability, )
Set the value of the
analyzer_plugin_overrides input with a
specific durability instead of the default of
Durability::LOW. You can use Durability::MAX
to promise that its value will never change again. Read morefn intern_analyzer_plugin( &self, plugin: AnalyzerPluginLongId, ) -> AnalyzerPluginId
fn lookup_intern_analyzer_plugin( &self, key: AnalyzerPluginId, ) -> AnalyzerPluginLongId
Source§fn crate_analyzer_plugins(&self, crate_id: CrateId) -> Arc<[AnalyzerPluginId]>
fn crate_analyzer_plugins(&self, crate_id: CrateId) -> Arc<[AnalyzerPluginId]>
Returns
AnalyzerPluginIds of the plugins set for the crate with CrateId.
Returns
SemanticGroupEx::set_override_crate_analyzer_plugins if it has been set,
or the (SemanticGroup::default_analyzer_plugins) otherwise.Source§fn declared_allows(&self, crate_id: CrateId) -> Arc<OrderedHashSet<String>>
fn declared_allows(&self, crate_id: CrateId) -> Arc<OrderedHashSet<String>>
Returns the set of
allow that were declared as by a plugin.
An allow that is not in this set will be handled as an unknown allow.Source§fn methods_in_module(
&self,
module_id: ModuleId,
type_filter: TypeFilter,
) -> Arc<[TraitFunctionId]>
fn methods_in_module( &self, module_id: ModuleId, type_filter: TypeFilter, ) -> Arc<[TraitFunctionId]>
Returns all methods in a module that match the given type filter.
Source§fn methods_in_crate(
&self,
crate_id: CrateId,
type_filter: TypeFilter,
) -> Arc<[TraitFunctionId]>
fn methods_in_crate( &self, crate_id: CrateId, type_filter: TypeFilter, ) -> Arc<[TraitFunctionId]>
Returns all methods in a crate that match the given type filter.
Source§fn visible_importables_from_module(
&self,
module_id: ModuleFileId,
) -> Option<Arc<OrderedHashMap<ImportableId, String>>>
fn visible_importables_from_module( &self, module_id: ModuleFileId, ) -> Option<Arc<OrderedHashMap<ImportableId, String>>>
Returns all the importables visible from a module, alongside a visible use path to the
trait.
Source§fn visible_importables_in_module(
&self,
module_id: ModuleId,
user_module_file_id: ModuleFileId,
include_parent: bool,
) -> Arc<[(ImportableId, String)]>
fn visible_importables_in_module( &self, module_id: ModuleId, user_module_file_id: ModuleFileId, include_parent: bool, ) -> Arc<[(ImportableId, String)]>
Returns all visible importables in a module, alongside a visible use path to the trait.
user_module_file_id is the module from which the importables should be visible. If
include_parent is true, the parent module of module_id is also considered.Source§fn visible_importables_in_crate(
&self,
crate_id: CrateId,
user_module_file_id: ModuleFileId,
) -> Arc<[(ImportableId, String)]>
fn visible_importables_in_crate( &self, crate_id: CrateId, user_module_file_id: ModuleFileId, ) -> Arc<[(ImportableId, String)]>
Returns all visible importables in a crate, alongside a visible use path to the trait.
user_module_file_id is the module from which the importables should be visible.Source§fn visible_traits_from_module(
&self,
module_id: ModuleFileId,
) -> Option<Arc<OrderedHashMap<TraitId, String>>>
fn visible_traits_from_module( &self, module_id: ModuleFileId, ) -> Option<Arc<OrderedHashMap<TraitId, String>>>
Returns all the traits visible from a module, alongside a visible use path to the trait.
Source§impl<T> SemanticGroupEx for Twhere
T: SemanticGroup + ?Sized,
impl<T> SemanticGroupEx for Twhere
T: SemanticGroup + ?Sized,
Source§fn set_override_crate_analyzer_plugins(
&mut self,
crate_id: CrateId,
plugins: Arc<[AnalyzerPluginId]>,
)
fn set_override_crate_analyzer_plugins( &mut self, crate_id: CrateId, plugins: Arc<[AnalyzerPluginId]>, )
Source§impl<T0, T1, E, TRewriter> SemanticRewriter<(T0, T1), E> for TRewriterwhere
TRewriter: SemanticRewriter<T0, E> + SemanticRewriter<T1, E>,
impl<T0, T1, E, TRewriter> SemanticRewriter<(T0, T1), E> for TRewriterwhere
TRewriter: SemanticRewriter<T0, E> + SemanticRewriter<T1, E>,
fn internal_rewrite(&mut self, value: &mut (T0, T1)) -> Result<RewriteResult, E>
fn rewrite(&mut self, value: T) -> Result<T, Error>
Source§impl<T, E, TRewriter> SemanticRewriter<Box<T>, E> for TRewriterwhere
TRewriter: SemanticRewriter<T, E>,
impl<T, E, TRewriter> SemanticRewriter<Box<T>, E> for TRewriterwhere
TRewriter: SemanticRewriter<T, E>,
fn internal_rewrite(&mut self, value: &mut Box<T>) -> Result<RewriteResult, E>
fn rewrite(&mut self, value: T) -> Result<T, Error>
Source§impl<T, E, TRewriter> SemanticRewriter<Option<T>, E> for TRewriterwhere
TRewriter: SemanticRewriter<T, E>,
impl<T, E, TRewriter> SemanticRewriter<Option<T>, E> for TRewriterwhere
TRewriter: SemanticRewriter<T, E>,
fn internal_rewrite( &mut self, value: &mut Option<T>, ) -> Result<RewriteResult, E>
fn rewrite(&mut self, value: T) -> Result<T, Error>
Source§impl<K, V, E, TRewriter> SemanticRewriter<OrderedHashMap<K, V>, E> for TRewriter
impl<K, V, E, TRewriter> SemanticRewriter<OrderedHashMap<K, V>, E> for TRewriter
fn internal_rewrite( &mut self, value: &mut OrderedHashMap<K, V>, ) -> Result<RewriteResult, E>
fn rewrite(&mut self, value: T) -> Result<T, Error>
Source§impl<T, E, TRewriter, E2> SemanticRewriter<Result<T, E2>, E> for TRewriterwhere
TRewriter: SemanticRewriter<T, E>,
impl<T, E, TRewriter, E2> SemanticRewriter<Result<T, E2>, E> for TRewriterwhere
TRewriter: SemanticRewriter<T, E>,
fn internal_rewrite( &mut self, value: &mut Result<T, E2>, ) -> Result<RewriteResult, E>
fn rewrite(&mut self, value: T) -> Result<T, Error>
Source§impl<T, E, TRewriter> SemanticRewriter<Vec<T>, E> for TRewriterwhere
T: Clone,
TRewriter: SemanticRewriter<T, E>,
impl<T, E, TRewriter> SemanticRewriter<Vec<T>, E> for TRewriterwhere
T: Clone,
TRewriter: SemanticRewriter<T, E>,
fn internal_rewrite(&mut self, value: &mut Vec<T>) -> Result<RewriteResult, E>
fn rewrite(&mut self, value: T) -> Result<T, Error>
Source§impl<T, E, TRewriter> SemanticRewriter<VecDeque<T>, E> for TRewriterwhere
TRewriter: SemanticRewriter<T, E>,
impl<T, E, TRewriter> SemanticRewriter<VecDeque<T>, E> for TRewriterwhere
TRewriter: SemanticRewriter<T, E>,
fn internal_rewrite( &mut self, value: &mut VecDeque<T>, ) -> Result<RewriteResult, E>
fn rewrite(&mut self, value: T) -> Result<T, Error>
Source§impl<'a, T> SemanticUseEx<'a> for T
impl<'a, T> SemanticUseEx<'a> for T
Source§fn use_resolved_item(
&self,
use_id: UseId,
) -> Result<ResolvedGenericItem, DiagnosticAdded>
fn use_resolved_item( &self, use_id: UseId, ) -> Result<ResolvedGenericItem, DiagnosticAdded>
Returns the resolved item or an error if it can’t be resolved. Read more
Source§impl<DB> SierraGenGroup for DB
impl<DB> SierraGenGroup for DB
fn intern_label_id(&self, id: LabelLongId) -> LabelId
fn lookup_intern_label_id(&self, key: LabelId) -> LabelLongId
fn intern_concrete_lib_func( &self, id: ConcreteLibfuncLongId, ) -> ConcreteLibfuncId
fn lookup_intern_concrete_lib_func( &self, key: ConcreteLibfuncId, ) -> ConcreteLibfuncLongId
fn intern_concrete_type(&self, id: SierraGeneratorTypeLongId) -> ConcreteTypeId
fn lookup_intern_concrete_type( &self, key: ConcreteTypeId, ) -> SierraGeneratorTypeLongId
Source§fn intern_sierra_function(&self, id: FunctionId) -> FunctionId
fn intern_sierra_function(&self, id: FunctionId) -> FunctionId
Creates a Sierra function id for a lowering function id.
fn lookup_intern_sierra_function(&self, key: FunctionId) -> FunctionId
Source§fn get_concrete_type_id(
&self,
type_id: TypeId,
) -> Result<ConcreteTypeId, DiagnosticAdded>
fn get_concrete_type_id( &self, type_id: TypeId, ) -> Result<ConcreteTypeId, DiagnosticAdded>
Returns the matching sierra concrete type id for a given semantic type id.
Source§fn get_index_enum_type_id(
&self,
index_count: usize,
) -> Result<ConcreteTypeId, DiagnosticAdded>
fn get_index_enum_type_id( &self, index_count: usize, ) -> Result<ConcreteTypeId, DiagnosticAdded>
Returns the ConcreteTypeId of the index enum type with the given index count.
Source§fn get_concrete_long_type_id(
&self,
type_id: TypeId,
) -> Result<Arc<ConcreteTypeLongId>, DiagnosticAdded>
fn get_concrete_long_type_id( &self, type_id: TypeId, ) -> Result<Arc<ConcreteTypeLongId>, DiagnosticAdded>
Returns the matching sierra concrete type long id for a given semantic type id.
Source§fn is_self_referential(&self, type_id: TypeId) -> Result<bool, DiagnosticAdded>
fn is_self_referential(&self, type_id: TypeId) -> Result<bool, DiagnosticAdded>
Returns if the semantic id has a circular definition.
Source§fn type_dependencies(
&self,
type_id: TypeId,
) -> Result<Arc<[TypeId]>, DiagnosticAdded>
fn type_dependencies( &self, type_id: TypeId, ) -> Result<Arc<[TypeId]>, DiagnosticAdded>
Returns the semantic type ids the type is directly dependent on. Read more
fn has_in_deps( &self, type_id: TypeId, needle: TypeId, ) -> Result<bool, DiagnosticAdded>
Source§fn get_function_signature(
&self,
function_id: FunctionId,
) -> Result<Arc<FunctionSignature>, DiagnosticAdded>
fn get_function_signature( &self, function_id: FunctionId, ) -> Result<Arc<FunctionSignature>, DiagnosticAdded>
Returns the cairo_lang_sierra::program::FunctionSignature object for the given function
id.
Source§fn get_type_info(
&self,
concrete_type_id: ConcreteTypeId,
) -> Result<Arc<TypeInfo>, DiagnosticAdded>
fn get_type_info( &self, concrete_type_id: ConcreteTypeId, ) -> Result<Arc<TypeInfo>, DiagnosticAdded>
Returns the cairo_lang_sierra::extensions::types::TypeInfo object for the given type id.
Source§fn priv_function_with_body_sierra_data(
&self,
function_id: ConcreteFunctionWithBodyId,
) -> SierraFunctionWithBodyData
fn priv_function_with_body_sierra_data( &self, function_id: ConcreteFunctionWithBodyId, ) -> SierraFunctionWithBodyData
Private query to compute Sierra data about a function with body.
Source§fn function_with_body_sierra(
&self,
function_id: ConcreteFunctionWithBodyId,
) -> Result<Arc<Function>, DiagnosticAdded>
fn function_with_body_sierra( &self, function_id: ConcreteFunctionWithBodyId, ) -> Result<Arc<Function>, DiagnosticAdded>
Returns the Sierra code (as pre_sierra::Function) for a given function with body.
Source§fn priv_get_dummy_function(
&self,
function_id: ConcreteFunctionWithBodyId,
) -> Result<Arc<Function>, DiagnosticAdded>
fn priv_get_dummy_function( &self, function_id: ConcreteFunctionWithBodyId, ) -> Result<Arc<Function>, DiagnosticAdded>
Private query to generate a dummy function for a given function with body.
Source§fn get_ap_change(
&self,
function_id: ConcreteFunctionWithBodyId,
) -> Result<SierraApChange, DiagnosticAdded>
fn get_ap_change( &self, function_id: ConcreteFunctionWithBodyId, ) -> Result<SierraApChange, DiagnosticAdded>
Returns the ap change of a given function if it is known at compile time or
SierraApChange::Unknown otherwise.
Source§fn get_sierra_program_for_functions(
&self,
requested_function_ids: Vec<ConcreteFunctionWithBodyId>,
) -> Result<Arc<SierraProgramWithDebug>, DiagnosticAdded>
fn get_sierra_program_for_functions( &self, requested_function_ids: Vec<ConcreteFunctionWithBodyId>, ) -> Result<Arc<SierraProgramWithDebug>, DiagnosticAdded>
Returns the SierraProgramWithDebug object of the requested functions.
Source§fn get_sierra_program(
&self,
requested_crate_ids: Vec<CrateId>,
) -> Result<Arc<SierraProgramWithDebug>, DiagnosticAdded>
fn get_sierra_program( &self, requested_crate_ids: Vec<CrateId>, ) -> Result<Arc<SierraProgramWithDebug>, DiagnosticAdded>
Returns the SierraProgramWithDebug object of the requested crates.
Source§impl<DB> SyntaxGroup for DB
impl<DB> SyntaxGroup for DB
fn intern_green(&self, field: Arc<GreenNode>) -> GreenId
fn lookup_intern_green(&self, key: GreenId) -> Arc<GreenNode>
fn intern_stable_ptr(&self, field: SyntaxStablePtr) -> SyntaxStablePtrId
fn lookup_intern_stable_ptr(&self, key: SyntaxStablePtrId) -> SyntaxStablePtr
fn intern_syntax_node(&self, field: SyntaxNodeLongId) -> SyntaxNode
fn lookup_intern_syntax_node(&self, key: SyntaxNode) -> SyntaxNodeLongId
Source§fn get_children(&self, node: SyntaxNode) -> Arc<[SyntaxNode]>
fn get_children(&self, node: SyntaxNode) -> Arc<[SyntaxNode]>
Query for caching SyntaxNode::get_children.
Source§impl<T> Tap for T
impl<T> Tap for T
Source§fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Self
fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Self
Immutable access to the
Borrow<B> of a value. Read moreSource§fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Self
fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Self
Mutable access to the
BorrowMut<B> of a value. Read moreSource§fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Self
fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Self
Immutable access to the
AsRef<R> view of a value. Read moreSource§fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Self
fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Self
Mutable access to the
AsMut<R> view of a value. Read moreSource§fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Self
fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Self
Immutable access to the
Deref::Target of a value. Read moreSource§fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Self
fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Self
Mutable access to the
Deref::Target of a value. Read moreSource§fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self
fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self
Calls
.tap() only in debug builds, and is erased in release builds.Source§fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self
fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self
Calls
.tap_mut() only in debug builds, and is erased in release
builds.Source§fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Self
fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Self
Calls
.tap_borrow() only in debug builds, and is erased in release
builds.Source§fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Self
fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Self
Calls
.tap_borrow_mut() only in debug builds, and is erased in release
builds.Source§fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Self
fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Self
Calls
.tap_ref() only in debug builds, and is erased in release
builds.Source§fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Self
fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Self
Calls
.tap_ref_mut() only in debug builds, and is erased in release
builds.Source§fn tap_deref_dbg<T>(self, func: impl FnOnce(&T)) -> Self
fn tap_deref_dbg<T>(self, func: impl FnOnce(&T)) -> Self
Calls
.tap_deref() only in debug builds, and is erased in release
builds.