Struct ra_ap_hir::SemanticsScope [−][src]
pub struct SemanticsScope<'a> { pub db: &'a dyn HirDatabase, // some fields omitted }
Expand description
SemanticScope
encapsulates the notion of a scope (the set of visible
names) at a particular program point.
It is a bit tricky, as scopes do not really exist inside the compiler. Rather, the compiler directly computes for each reference the definition it refers to. It might transiently compute the explicit scope map while doing so, but, generally, this is not something left after the analysis.
However, we do very much need explicit scopes for IDE purposes – completion, at its core, lists the contents of the current scope. The notion of scope is also useful to answer questions like “what would be the meaning of this piece of code if we inserted it into this position?”.
So SemanticsScope
is constructed from a specific program point (a syntax
node or just a raw offset) and provides access to the set of visible names
on a somewhat best-effort basis.
Note that if you are wondering “what does this specific existing name mean?”,
you’d better use the resolve_
family of methods.
Fields
db: &'a dyn HirDatabase
Implementations
impl<'a> SemanticsScope<'a>
[src]
impl<'a> SemanticsScope<'a>
[src]pub fn module(&self) -> Option<Module>
[src]
pub fn krate(&self) -> Option<Crate>
[src]
pub fn traits_in_scope(&self) -> FxHashSet<TraitId>
[src]
pub fn traits_in_scope(&self) -> FxHashSet<TraitId>
[src]Note: FxHashSet<TraitId>
should be treated as an opaque type, passed into `Type
pub fn process_all_names(&self, f: &mut dyn FnMut(Name, ScopeDef))
[src]
pub fn speculative_resolve(&self, path: &Path) -> Option<PathResolution>
[src]
pub fn speculative_resolve(&self, path: &Path) -> Option<PathResolution>
[src]Resolve a path as-if it was written at the given scope. This is necessary a heuristic, as it doesn’t take hygiene into account.
Trait Implementations
Auto Trait Implementations
impl<'a> !RefUnwindSafe for SemanticsScope<'a>
impl<'a> !Send for SemanticsScope<'a>
impl<'a> !Sync for SemanticsScope<'a>
impl<'a> Unpin for SemanticsScope<'a>
impl<'a> !UnwindSafe for SemanticsScope<'a>
Blanket Implementations
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]pub fn borrow_mut(&mut self) -> &mut T
[src]
pub fn borrow_mut(&mut self) -> &mut T
[src]Mutably borrows from an owned value. Read more
impl<T> Cast for T
impl<T> Cast for T
fn cast<U>(self, interner: &<U as HasInterner>::Interner) -> U where
Self: CastTo<U>,
U: HasInterner,
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<T> Instrument for T
[src]
impl<T> Instrument for T
[src]fn instrument(self, span: Span) -> Instrumented<Self>
[src]
fn instrument(self, span: Span) -> Instrumented<Self>
[src]Instruments this type with the provided Span
, returning an
Instrumented
wrapper. Read more
fn in_current_span(self) -> Instrumented<Self>
[src]
fn in_current_span(self) -> Instrumented<Self>
[src]impl<T> Any for T where
T: Any,
T: Any,