Enum ide_db::defs::Definition

source ·
pub enum Definition {
Show 21 variants Macro(Macro), Field(Field), TupleField(TupleField), Module(Module), Function(Function), Adt(Adt), Variant(Variant), Const(Const), Static(Static), Trait(Trait), TraitAlias(TraitAlias), TypeAlias(TypeAlias), BuiltinType(BuiltinType), SelfType(Impl), GenericParam(GenericParam), Local(Local), Label(Label), DeriveHelper(DeriveHelper), BuiltinAttr(BuiltinAttr), ToolModule(ToolModule), ExternCrateDecl(ExternCrateDecl),
}

Variants§

§

Macro(Macro)

§

Field(Field)

§

TupleField(TupleField)

§

Module(Module)

§

Function(Function)

§

Adt(Adt)

§

Variant(Variant)

§

Const(Const)

§

Static(Static)

§

Trait(Trait)

§

TraitAlias(TraitAlias)

§

TypeAlias(TypeAlias)

§

BuiltinType(BuiltinType)

§

SelfType(Impl)

§

GenericParam(GenericParam)

§

Local(Local)

§

Label(Label)

§

DeriveHelper(DeriveHelper)

§

BuiltinAttr(BuiltinAttr)

§

ToolModule(ToolModule)

§

ExternCrateDecl(ExternCrateDecl)

Implementations§

source§

impl Definition

source

pub fn canonical_module_path( &self, db: &RootDatabase ) -> Option<impl Iterator<Item = Module>>

source

pub fn krate(&self, db: &RootDatabase) -> Option<Crate>

source

pub fn module(&self, db: &RootDatabase) -> Option<Module>

source

pub fn enclosing_definition(&self, db: &RootDatabase) -> Option<Definition>

source

pub fn visibility(&self, db: &RootDatabase) -> Option<Visibility>

source

pub fn name(&self, db: &RootDatabase) -> Option<Name>

source

pub fn docs( &self, db: &RootDatabase, famous_defs: Option<&FamousDefs<'_, '_>> ) -> Option<Documentation>

source

pub fn label(&self, db: &RootDatabase) -> String

source§

impl Definition

source

pub fn rename( &self, sema: &Semantics<'_, RootDatabase>, new_name: &str ) -> Result<SourceChange>

source

pub fn range_for_rename( self, sema: &Semantics<'_, RootDatabase> ) -> Option<FileRange>

Textual range of the identifier which will change when renaming this Definition. Note that builtin types can’t be renamed and extern crate names will report its range, though a rename will introduce an alias instead.

source§

impl Definition

source

pub fn usages<'a>(self, sema: &'a Semantics<'_, RootDatabase>) -> FindUsages<'a>

Trait Implementations§

source§

impl AsAssocItem for Definition

source§

impl AsExternAssocItem for Definition

source§

impl Clone for Definition

source§

fn clone(&self) -> Definition

Returns a copy of the value. Read more
1.0.0 · source§

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

Performs copy-assignment from source. Read more
source§

impl Debug for Definition

source§

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

Formats the value using the given formatter. Read more
source§

impl From<Adt> for Definition

source§

fn from(it: Adt) -> Definition

Converts to this type from the input type.
source§

impl From<AssocItem> for Definition

source§

fn from(assoc_item: AssocItem) -> Self

Converts to this type from the input type.
source§

impl From<BuiltinType> for Definition

source§

fn from(it: BuiltinType) -> Definition

Converts to this type from the input type.
source§

impl From<Const> for Definition

source§

fn from(it: Const) -> Definition

Converts to this type from the input type.
source§

impl From<DocLinkDef> for Definition

source§

fn from(def: DocLinkDef) -> Self

Converts to this type from the input type.
source§

impl From<ExternCrateDecl> for Definition

source§

fn from(it: ExternCrateDecl) -> Definition

Converts to this type from the input type.
source§

impl From<Field> for Definition

source§

fn from(it: Field) -> Definition

Converts to this type from the input type.
source§

impl From<Function> for Definition

source§

fn from(it: Function) -> Definition

Converts to this type from the input type.
source§

impl From<GenericParam> for Definition

source§

fn from(it: GenericParam) -> Definition

Converts to this type from the input type.
source§

impl From<Impl> for Definition

source§

fn from(impl_: Impl) -> Self

Converts to this type from the input type.
source§

impl From<Label> for Definition

source§

fn from(it: Label) -> Definition

Converts to this type from the input type.
source§

impl From<Local> for Definition

source§

fn from(it: Local) -> Definition

Converts to this type from the input type.
source§

impl From<Macro> for Definition

source§

fn from(it: Macro) -> Definition

Converts to this type from the input type.
source§

impl From<Module> for Definition

source§

fn from(it: Module) -> Definition

Converts to this type from the input type.
source§

impl From<ModuleDef> for Definition

source§

fn from(def: ModuleDef) -> Self

Converts to this type from the input type.
source§

impl From<PathResolution> for Definition

source§

fn from(path_resolution: PathResolution) -> Self

Converts to this type from the input type.
source§

impl From<Static> for Definition

source§

fn from(it: Static) -> Definition

Converts to this type from the input type.
source§

impl From<Trait> for Definition

source§

fn from(it: Trait) -> Definition

Converts to this type from the input type.
source§

impl From<TraitAlias> for Definition

source§

fn from(it: TraitAlias) -> Definition

Converts to this type from the input type.
source§

impl From<TypeAlias> for Definition

source§

fn from(it: TypeAlias) -> Definition

Converts to this type from the input type.
source§

impl From<Variant> for Definition

source§

fn from(it: Variant) -> Definition

Converts to this type from the input type.
source§

impl From<VariantDef> for Definition

source§

fn from(def: VariantDef) -> Self

Converts to this type from the input type.
source§

impl Hash for Definition

source§

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

Feeds this value into the given Hasher. Read more
1.3.0 · source§

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

Feeds a slice of this type into the given Hasher. Read more
source§

impl PartialEq for Definition

source§

fn eq(&self, other: &Definition) -> bool

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
source§

impl TryFrom<DefWithBody> for Definition

§

type Error = ()

The type returned in the event of a conversion error.
source§

fn try_from(def: DefWithBody) -> Result<Self, Self::Error>

Performs the conversion.
source§

impl Copy for Definition

source§

impl Eq for Definition

source§

impl StructuralPartialEq for Definition

Auto Trait Implementations§

Blanket Implementations§

source§

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

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

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

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

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

source§

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<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

§

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more
§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

§

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

§

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
source§

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

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

§

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

§

fn into_box(self) -> Box<dyn Any>

Convert self into the appropriate boxed form.
§

impl<T> IntoBox<dyn Any + Send> for T
where T: Any + Send,

§

fn into_box(self) -> Box<dyn Any + Send>

Convert self into the appropriate boxed form.
§

impl<T> IntoBox<dyn Any + Send + Sync> for T
where T: Any + Send + Sync,

§

fn into_box(self) -> Box<dyn Any + Send + Sync>

Convert self into the appropriate boxed form.
§

impl<T> IntoBox<dyn CloneAny> for T
where T: CloneAny,

§

fn into_box(self) -> Box<dyn CloneAny>

Convert self into the appropriate boxed form.
§

impl<T> IntoBox<dyn CloneAny + Send> for T
where T: CloneAny + Send,

§

fn into_box(self) -> Box<dyn CloneAny + Send>

Convert self into the appropriate boxed form.
§

impl<T> IntoBox<dyn CloneAny + Send + Sync> for T
where T: CloneAny + Send + Sync,

§

fn into_box(self) -> Box<dyn CloneAny + Send + Sync>

Convert self into the appropriate boxed form.
§

impl<T> Pointable for T

§

const ALIGN: usize = _

The alignment of pointer.
§

type Init = T

The type for initializers.
§

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

Initializes a with the given initializer. Read more
§

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

Dereferences the given pointer. Read more
§

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

Mutably dereferences the given pointer. Read more
§

unsafe fn drop(ptr: usize)

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

impl<T> ToOwned for T
where T: Clone,

§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

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

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

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

Performs the conversion.
source§

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.
source§

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

Performs the conversion.
§

impl<T> WithSubscriber for T

§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a [WithDispatch] wrapper. Read more
§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a [WithDispatch] wrapper. Read more
§

impl<'a, T> Captures<'a> for T
where T: ?Sized,

§

impl<T> CloneAny for T
where T: Any + Clone,

§

impl<T> Idx for T
where T: Copy + PartialEq + Eq + Hash,