Struct ra_ap_ide_db::RootDatabase[−][src]

pub struct RootDatabase { /* fields omitted */ }

Implementations

impl RootDatabase

pub fn request_cancellation(&mut self)

pub fn apply_change(&mut self, change: Change)

pub fn collect_garbage(&mut self)

pub fn per_query_memory_usage(&mut self) -> Vec<(String, Bytes )>

impl RootDatabase

pub fn new(lru_capacity: Option<usize>) -> RootDatabase

pub fn update_lru_capacity(&mut self, lru_capacity: Option<usize>)

Trait Implementations

impl Database for RootDatabase

fn sweep_all(&self, strategy: SweepStrategy)

Iterates through all query storage and removes any values that have not been used since the last revision was created. The intended use-cycle is that you first execute all of your “main” queries; this will ensure that all query values they consume are marked as used. You then invoke this method to remove other values that were not needed for your main query results. Read more

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. Read more

fn unwind_if_cancelled(&self)

Starts unwinding the stack if the current revision is cancelled. Read more

fn salsa_runtime(&self) -> &Runtime

Gives access to the underlying salsa runtime. Read more

fn salsa_runtime_mut(&mut self) -> &mut Runtime

Gives access to the underlying salsa runtime. Read more

impl DatabaseOps for RootDatabase

fn ops_database(&self) -> &dyn Database

Upcast this type to a dyn Database.

fn ops_salsa_runtime(&self) -> &Runtime

Gives access to the underlying salsa runtime.

fn ops_salsa_runtime_mut(&mut self) -> &mut Runtime

Gives access to the underlying salsa runtime.

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

Formats a database key index in a human readable fashion.

fn maybe_changed_since(
    &self,
    input: DatabaseKeyIndex,
    revision: Revision
) -> bool

True if the computed value for input may have changed since revision.

fn for_each_query(&self, op: &mut dyn FnMut(&dyn QueryStorageMassOps))

Executes the callback for each kind of query.

impl DatabaseStorageTypes for RootDatabase

type DatabaseStorage = __SalsaDatabaseStorage

Defines the “storage type”, where all the query data is kept. This type is defined by the database_storage macro. Read more

impl Debug for RootDatabase

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

Formats the value using the given formatter. Read more

impl Default for RootDatabase

fn default() -> RootDatabase

Returns the “default value” for a type. Read more

impl Drop for RootDatabase

fn drop(&mut self)

Executes the destructor for this type. Read more

impl FileLoader for RootDatabase

fn file_text(&self, file_id: FileId) -> Arc<String>

Text of the file.

fn resolve_path(&self, path: AnchoredPath<'_>) -> Option<FileId>

fn relevant_crates(&self, file_id: FileId) -> Arc<FxHashSet<CrateId>>

impl HasQueryGroup<AstDatabaseStorage> for RootDatabase

fn group_storage(&self) -> &<AstDatabaseStorage as QueryGroup>::GroupStorage

Access the group storage struct from the database.

impl HasQueryGroup<DefDatabaseStorage> for RootDatabase

fn group_storage(&self) -> &<DefDatabaseStorage as QueryGroup>::GroupStorage

Access the group storage struct from the database.

impl HasQueryGroup<HirDatabaseStorage> for RootDatabase

fn group_storage(&self) -> &<HirDatabaseStorage as QueryGroup>::GroupStorage

Access the group storage struct from the database.

impl HasQueryGroup<InternDatabaseStorage> for RootDatabase

fn group_storage(&self) -> &<InternDatabaseStorage as QueryGroup>::GroupStorage

Access the group storage struct from the database.

impl HasQueryGroup<LineIndexDatabaseStorage> for RootDatabase

fn group_storage(
&self
) -> &<LineIndexDatabaseStorage as QueryGroup>::GroupStorage

Access the group storage struct from the database.

impl HasQueryGroup<SourceDatabaseExtStorage> for RootDatabase

fn group_storage(
&self
) -> &<SourceDatabaseExtStorage as QueryGroup>::GroupStorage

Access the group storage struct from the database.

impl HasQueryGroup<SourceDatabaseStorage> for RootDatabase

fn group_storage(&self) -> &<SourceDatabaseStorage as QueryGroup>::GroupStorage

Access the group storage struct from the database.

impl HasQueryGroup<SymbolsDatabaseStorage> for RootDatabase

fn group_storage(&self) -> &<SymbolsDatabaseStorage as QueryGroup>::GroupStorage

Access the group storage struct from the database.

impl ParallelDatabase for RootDatabase

fn snapshot(&self) -> Snapshot<RootDatabase>

Creates a second handle to the database that holds the database fixed at a particular revision. So long as this “frozen” handle exists, any attempt to set an input will block. Read more

impl Upcast<dyn AstDatabase + 'static> for RootDatabase

fn upcast(&self) -> &(dyn AstDatabase + 'static)

impl Upcast<dyn DefDatabase + 'static> for RootDatabase

fn upcast(&self) -> &(dyn DefDatabase + 'static)

impl Upcast<dyn HirDatabase + 'static> for RootDatabase

fn upcast(&self) -> &(dyn HirDatabase + 'static)

Auto Trait Implementations

impl RefUnwindSafe for RootDatabase

impl Send for RootDatabase

impl !Sync for RootDatabase

impl Unpin for RootDatabase

impl UnwindSafe for RootDatabase

Blanket Implementations

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

pub fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<DB> AstDatabase for DB where
DB: SourceDatabase + Database + HasQueryGroup<AstDatabaseStorage>,

pub fn ast_id_map(&self, key0: HirFileId) -> Arc<AstIdMap>

pub fn parse_or_expand(
&self,
key0: HirFileId
) -> Option<SyntaxNode<RustLanguage>>

Main public API – parses a hir file, not caring whether it’s a real file or a macro expansion. Read more

pub fn parse_macro_expansion(
&self,
key0: MacroFile
) -> ExpandResult<Option<(Parse<SyntaxNode<RustLanguage>>, Arc<TokenMap>)>>

Implementation for the macro case.

pub fn intern_macro(&self, key0: MacroCallLoc) -> MacroCallId

Macro ids. That’s probably the tricksiest bit in rust-analyzer, and the reason why we use salsa at all. Read more

pub fn lookup_intern_macro(&self, key0: MacroCallId) -> MacroCallLoc

pub fn macro_arg(&self, key0: MacroCallId) -> Option<Arc<(Subtree, TokenMap)>>

Lowers syntactic macro call to a token tree representation.

pub fn macro_arg_text(&self, key0: MacroCallId) -> Option<GreenNode>

Extracts syntax node, corresponding to a macro call. That’s a firewall query, only typing in the macro call itself changes the returned subtree. Read more

pub fn macro_def(&self, key0: MacroDefId) -> Option<Arc<TokenExpander>>

Gets the expander for this macro. This compiles declarative macros, and just fetches procedural ones. Read more

pub fn macro_expand(
&self,
key0: MacroCallId
) -> ExpandResult<Option<Arc<Subtree>>>

Expand macro call to a token tree. This query is LRUed (we keep 128 or so results in memory)

pub fn expand_proc_macro(&self, key0: MacroCallId) -> ExpandResult<Subtree>

Special case of the previous query for procedural macros. We can’t LRU proc macros, since they are not deterministic in general, and non-determinism breaks salsa in a very, very, very bad way. @edwin0cheng heroically debugged this once! Read more

pub fn macro_expand_error(&self, key0: MacroCallId) -> Option<ExpandError>

Firewall query that returns the error from the macro_expand query.

pub fn hygiene_frame(&self, key0: HirFileId) -> Arc<HygieneFrame>

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

pub fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

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

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

Mutably borrows from an owned value. Read more

impl<T> Cast for T

fn cast<U>(self, interner: &<U as HasInterner>::Interner) -> U where
Self: CastTo<U>,
U: HasInterner,

Cast a value to type U using CastTo.

impl<DB> DefDatabase for DB where
DB: InternDatabase + AstDatabase + Upcast<dyn AstDatabase + 'static> + Database + HasQueryGroup<DefDatabaseStorage>,

pub fn enable_proc_attr_macros(&self) -> bool

pub fn set_enable_proc_attr_macros(&mut self, value__: bool)

Set the value of the enable_proc_attr_macros input. Read more

pub fn set_enable_proc_attr_macros_with_durability(
    &mut self,
    value: bool,
    durability: Durability
)

Set the value of the enable_proc_attr_macros input and promise that its value will never change again. Read more

pub fn file_item_tree(&self, key0: HirFileId) -> Arc<ItemTree>

pub fn crate_def_map(&self, key0: CrateId) -> Arc<DefMap>

pub fn crate_def_map_query(&self, key0: CrateId) -> Arc<DefMap>

pub fn block_def_map(&self, key0: BlockId) -> Option<Arc<DefMap>>

Computes the block-level DefMap, returning None when block doesn’t contain any inner items directly. Read more

pub fn struct_data(&self, key0: StructId) -> Arc<StructData>

pub fn union_data(&self, key0: UnionId) -> Arc<StructData>

pub fn enum_data(&self, key0: EnumId) -> Arc<EnumData>

pub fn impl_data(&self, key0: ImplId) -> Arc<ImplData>

pub fn trait_data(&self, key0: TraitId) -> Arc<TraitData>

pub fn type_alias_data(&self, key0: TypeAliasId) -> Arc<TypeAliasData>

pub fn function_data(&self, key0: FunctionId) -> Arc<FunctionData>

pub fn const_data(&self, key0: ConstId) -> Arc<ConstData>

pub fn static_data(&self, key0: StaticId) -> Arc<StaticData>

pub fn body_with_source_map(
&self,
key0: DefWithBodyId
) -> (Arc<Body>, Arc<BodySourceMap>)

pub fn body(&self, key0: DefWithBodyId) -> Arc<Body>

pub fn expr_scopes(&self, key0: DefWithBodyId) -> Arc<ExprScopes>

pub fn generic_params(&self, key0: GenericDefId) -> Interned<GenericParams>

pub fn variants_attrs(
&self,
key0: EnumId
) -> Arc<ArenaMap<Idx<EnumVariantData>, Attrs>>

pub fn fields_attrs(
&self,
key0: VariantId
) -> Arc<ArenaMap<Idx<FieldData>, Attrs>>

pub fn variants_attrs_source_map(
&self,
key0: EnumId
) -> Arc<ArenaMap<Idx<EnumVariantData>, AstPtr<Variant>>>

pub fn fields_attrs_source_map(
&self,
key0: VariantId
) -> Arc<ArenaMap<Idx<FieldData>, Either<AstPtr<TupleField>, AstPtr<RecordField>>>>

pub fn attrs(&self, key0: AttrDefId) -> AttrsWithOwner

pub fn crate_lang_items(&self, key0: CrateId) -> Arc<LangItems>

pub fn lang_item(&self, key0: CrateId, key1: SmolStr) -> Option<LangItemTarget>

pub fn import_map(&self, key0: CrateId) -> Arc<ImportMap>

pub fn field_visibilities(
&self,
key0: VariantId
) -> Arc<ArenaMap<Idx<FieldData>, Visibility>>

pub fn function_visibility(&self, key0: FunctionId) -> Visibility

impl<T> From<T> for T

pub fn from(t: T) -> T

Performs the conversion.

impl<DB> HirDatabase for DB where
DB: DefDatabase + Upcast<dyn DefDatabase + 'static> + Database + HasQueryGroup<HirDatabaseStorage>,

pub fn infer(&self, key0: DefWithBodyId) -> Arc<InferenceResult>

pub fn infer_query(&self, key0: DefWithBodyId) -> Arc<InferenceResult>

pub fn ty(&self, key0: TyDefId) -> Binders<Ty<Interner>>

pub fn value_ty(&self, key0: ValueTyDefId) -> Binders<Ty<Interner>>

pub fn impl_self_ty(&self, key0: ImplId) -> Binders<Ty<Interner>>

pub fn const_param_ty(&self, key0: ConstParamId) -> Ty<Interner>

pub fn impl_trait(&self, key0: ImplId) -> Option<Binders<TraitRef<Interner>>>

pub fn field_types(
&self,
key0: VariantId
) -> Arc<ArenaMap<Idx<FieldData>, Binders<Ty<Interner>>>>

pub fn callable_item_signature(
&self,
key0: CallableDefId
) -> Binders<CallableSig>

pub fn return_type_impl_traits(
&self,
key0: FunctionId
) -> Option<Arc<Binders<ReturnTypeImplTraits>>>

pub fn generic_predicates_for_param(
&self,
key0: TypeParamId
) -> Arc<[Binders<Binders<WhereClause<Interner>>>]>

pub fn generic_predicates(
&self,
key0: GenericDefId
) -> Arc<[Binders<Binders<WhereClause<Interner>>>]>

pub fn trait_environment(&self, key0: GenericDefId) -> Arc<TraitEnvironment>

pub fn generic_defaults(
&self,
key0: GenericDefId
) -> Arc<[Binders<Ty<Interner>>]>

pub fn inherent_impls_in_crate(&self, key0: CrateId) -> Arc<InherentImpls>

pub fn trait_impls_in_crate(&self, key0: CrateId) -> Arc<TraitImpls>

pub fn trait_impls_in_block(&self, key0: BlockId) -> Option<Arc<TraitImpls>>

pub fn trait_impls_in_deps(&self, key0: CrateId) -> Arc<TraitImpls>

pub fn intern_callable_def(&self, key0: CallableDefId) -> InternedCallableDefId

pub fn lookup_intern_callable_def(
&self,
key0: InternedCallableDefId
) -> CallableDefId

pub fn intern_type_param_id(&self, key0: TypeParamId) -> InternedTypeParamId

pub fn lookup_intern_type_param_id(
&self,
key0: InternedTypeParamId
) -> TypeParamId

pub fn intern_lifetime_param_id(
&self,
key0: LifetimeParamId
) -> InternedLifetimeParamId

pub fn lookup_intern_lifetime_param_id(
&self,
key0: InternedLifetimeParamId
) -> LifetimeParamId

pub fn intern_const_param_id(&self, key0: ConstParamId) -> InternedConstParamId

pub fn lookup_intern_const_param_id(
&self,
key0: InternedConstParamId
) -> ConstParamId

pub fn intern_impl_trait_id(&self, key0: ImplTraitId) -> InternedOpaqueTyId

pub fn lookup_intern_impl_trait_id(
&self,
key0: InternedOpaqueTyId
) -> ImplTraitId

pub fn intern_closure(
&self,
key0: (DefWithBodyId, Idx<Expr>)
) -> InternedClosureId

pub fn lookup_intern_closure(
&self,
key0: InternedClosureId
) -> (DefWithBodyId, Idx<Expr>)

pub fn associated_ty_data(
&self,
key0: AssocTypeId<Interner>
) -> Arc<AssociatedTyDatum<Interner>>

pub fn trait_datum(
    &self,
    key0: CrateId,
    key1: TraitId<Interner>
) -> Arc<TraitDatum<Interner>>

pub fn struct_datum(
    &self,
    key0: CrateId,
    key1: AdtId<Interner>
) -> Arc<AdtDatum<Interner>>

pub fn impl_datum(
    &self,
    key0: CrateId,
    key1: ImplId<Interner>
) -> Arc<ImplDatum<Interner>>

pub fn fn_def_datum(
    &self,
    key0: CrateId,
    key1: FnDefId<Interner>
) -> Arc<FnDefDatum<Interner>>

pub fn fn_def_variance(&self, key0: FnDefId<Interner>) -> Variances<Interner>

pub fn adt_variance(&self, key0: AdtId<Interner>) -> Variances<Interner>

pub fn associated_ty_value(
    &self,
    key0: CrateId,
    key1: AssociatedTyValueId<Interner>
) -> Arc<AssociatedTyValue<Interner>>

pub fn trait_solve(
    &self,
    key0: CrateId,
    key1: Canonical<InEnvironment<Goal<Interner>>>
) -> Option<Solution<Interner>>

pub fn trait_solve_query(
    &self,
    key0: CrateId,
    key1: Canonical<InEnvironment<Goal<Interner>>>
) -> Option<Solution<Interner>>

pub fn program_clauses_for_chalk_env(
    &self,
    key0: CrateId,
    key1: Environment<Interner>
) -> ProgramClauses<Interner>

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more

impl<DB> InternDatabase for DB where
DB: SourceDatabase + Database + HasQueryGroup<InternDatabaseStorage>,

pub fn intern_function(&self, key0: AssocItemLoc<Function>) -> FunctionId

pub fn lookup_intern_function(&self, key0: FunctionId) -> AssocItemLoc<Function>

pub fn intern_struct(&self, key0: ItemLoc<Struct>) -> StructId

pub fn lookup_intern_struct(&self, key0: StructId) -> ItemLoc<Struct>

pub fn intern_union(&self, key0: ItemLoc<Union>) -> UnionId

pub fn lookup_intern_union(&self, key0: UnionId) -> ItemLoc<Union>

pub fn intern_enum(&self, key0: ItemLoc<Enum>) -> EnumId

pub fn lookup_intern_enum(&self, key0: EnumId) -> ItemLoc<Enum>

pub fn intern_const(&self, key0: AssocItemLoc<Const>) -> ConstId

pub fn lookup_intern_const(&self, key0: ConstId) -> AssocItemLoc<Const>

pub fn intern_static(&self, key0: ItemLoc<Static>) -> StaticId

pub fn lookup_intern_static(&self, key0: StaticId) -> ItemLoc<Static>

pub fn intern_trait(&self, key0: ItemLoc<Trait>) -> TraitId

pub fn lookup_intern_trait(&self, key0: TraitId) -> ItemLoc<Trait>

pub fn intern_type_alias(&self, key0: AssocItemLoc<TypeAlias>) -> TypeAliasId

pub fn lookup_intern_type_alias(
&self,
key0: TypeAliasId
) -> AssocItemLoc<TypeAlias>

pub fn intern_impl(&self, key0: ItemLoc<Impl>) -> ImplId

pub fn lookup_intern_impl(&self, key0: ImplId) -> ItemLoc<Impl>

pub fn intern_block(&self, key0: BlockLoc) -> BlockId

pub fn lookup_intern_block(&self, key0: BlockId) -> BlockLoc

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

pub fn into(self) -> U

Performs the conversion.

impl<DB> LineIndexDatabase for DB where
DB: SourceDatabase + Database + HasQueryGroup<LineIndexDatabaseStorage>,

pub fn line_index(&Self, FileId) -> Arc<LineIndex>

impl<T> Pointable for T

pub const ALIGN: usize

The alignment of pointer.

type Init = T

The type for initializers.

pub unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more

pub unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more

pub unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more

pub unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more

impl<DB> SourceDatabase for DB where
DB: FileLoader + Debug + Database + HasQueryGroup<SourceDatabaseStorage>,

pub fn parse(&self, key0: FileId) -> Parse<SourceFile>

pub fn crate_graph(&self) -> Arc<CrateGraph>

The crate graph.

pub fn set_crate_graph(&mut self, value__: Arc<CrateGraph>)

Set the value of the crate_graph input. Read more

pub fn set_crate_graph_with_durability(
    &mut self,
    value: Arc<CrateGraph>,
    durability: Durability
)

Set the value of the crate_graph input and promise that its value will never change again. Read more

impl<DB> SourceDatabaseExt for DB where
DB: SourceDatabase + Database + HasQueryGroup<SourceDatabaseExtStorage>,

pub fn file_text(&self, key0: FileId) -> Arc<String>

pub fn set_file_text(&mut self, key0: FileId, value__: Arc<String>)

Set the value of the file_text input. Read more

pub fn set_file_text_with_durability(
    &mut self,
    key0: FileId,
    value: Arc<String>,
    durability: Durability
)

Set the value of the file_text input and promise that its value will never change again. Read more

pub fn file_source_root(&self, key0: FileId) -> SourceRootId

Path to a file, relative to the root of its source root. Source root of the file. Read more

pub fn set_file_source_root(&mut self, key0: FileId, value__: SourceRootId)

Set the value of the file_source_root input. Read more

pub fn set_file_source_root_with_durability(
    &mut self,
    key0: FileId,
    value: SourceRootId,
    durability: Durability
)

Set the value of the file_source_root input and promise that its value will never change again. Read more

pub fn source_root(&self, key0: SourceRootId) -> Arc<SourceRoot>

Contents of the source root.

pub fn set_source_root(&mut self, key0: SourceRootId, value__: Arc<SourceRoot>)

Set the value of the source_root input. Read more

pub fn set_source_root_with_durability(
    &mut self,
    key0: SourceRootId,
    value: Arc<SourceRoot>,
    durability: Durability
)

Set the value of the source_root input and promise that its value will never change again. Read more

pub fn source_root_crates(
&self,
key0: SourceRootId
) -> Arc<HashSet<CrateId, BuildHasherDefault<FxHasher>>>

impl<DB> SymbolsDatabase for DB where
DB: HirDatabase + SourceDatabaseExt + Database + HasQueryGroup<SymbolsDatabaseStorage>,

pub fn file_symbols(&Self, FileId) -> Arc<SymbolIndex>

pub fn library_symbols(
&Self
) -> Arc<HashMap<SourceRootId, SymbolIndex, BuildHasherDefault<FxHasher>>>

pub fn local_roots(
&Self
) -> Arc<HashSet<SourceRootId, BuildHasherDefault<FxHasher>>>

The set of “local” (that is, from the current workspace) roots. Files in local roots are assumed to change frequently. Read more

pub fn set_local_roots(
&mut Self,
Arc<HashSet<SourceRootId, BuildHasherDefault<FxHasher>>>
)

Set the value of the local_roots input. Read more

pub fn set_local_roots_with_durability(
    &mut Self,
    Arc<HashSet<SourceRootId, BuildHasherDefault<FxHasher>>>,
    Durability
)

Set the value of the local_roots input and promise that its value will never change again. Read more

pub fn library_roots(
&Self
) -> Arc<HashSet<SourceRootId, BuildHasherDefault<FxHasher>>>

The set of roots for crates.io libraries. Files in libraries are assumed to never change. Read more

pub fn set_library_roots(
&mut Self,
Arc<HashSet<SourceRootId, BuildHasherDefault<FxHasher>>>
)

Set the value of the library_roots input. Read more

pub fn set_library_roots_with_durability(
    &mut Self,
    Arc<HashSet<SourceRootId, BuildHasherDefault<FxHasher>>>,
    Durability
)

Set the value of the library_roots input and promise that its value will never change again. Read more

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

type Error = Infallible

The type returned in the event of a conversion error.

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

Performs the conversion.

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

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

The type returned in the event of a conversion error.

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

Performs the conversion.

impl<DB> WithFixture for DB where
DB: 'static + SourceDatabaseExt + Default,

fn with_single_file(text: &str) -> (Self, FileId)

fn with_many_files(ra_fixture: &str) -> (Self, Vec<FileId, Global>)

fn with_files(ra_fixture: &str) -> Self

fn with_position(ra_fixture: &str) -> (Self, FilePosition )

fn with_range(ra_fixture: &str) -> (Self, FileRange )

fn with_range_or_offset(ra_fixture: &str) -> (Self, FileId, RangeOrOffset)

fn test_crate(&self) -> CrateId

impl<T> Any for T where
T: Any,