pub struct FullDef<Body = ()> {
pub def_id: DefId,
pub parent: Option<DefId>,
pub span: Span,
pub source_span: Option<Span>,
pub source_text: Option<String>,
pub attributes: Vec<Attribute>,
pub visibility: Option<bool>,
pub lang_item: Option<String>,
pub diagnostic_item: Option<String>,
pub kind: FullDefKind<Body>,
}Expand description
Gathers a lot of definition information about a rustc_hir::def_id::DefId.
Fields§
§def_id: DefId§parent: Option<DefId>The enclosing item.
span: SpanThe span of the definition of this item (e.g. for a function this is is signature).
source_span: Option<Span>The span of the whole definition (including e.g. the function body).
source_text: Option<String>The text of the whole definition.
attributes: Vec<Attribute>Attributes on this definition, if applicable.
visibility: Option<bool>Visibility of the definition, for definitions where this makes sense.
lang_item: Option<String>If this definition is a lang item, we store the identifier, e.g. sized.
diagnostic_item: Option<String>If this definition is a diagnostic item, we store the identifier, e.g. box_new.
kind: FullDefKind<Body>Implementations§
source§impl<Body> FullDef<Body>
impl<Body> FullDef<Body>
pub fn rust_def_id(&self) -> RDefId
pub fn kind(&self) -> &FullDefKind<Body>
sourcepub fn generics(&self) -> Option<(&TyGenerics, &GenericPredicates)>
pub fn generics(&self) -> Option<(&TyGenerics, &GenericPredicates)>
Returns the generics and predicates for definitions that have those.
Trait Implementations§
source§impl<'de, Body> Deserialize<'de> for FullDef<Body>where
Body: Deserialize<'de>,
impl<'de, Body> Deserialize<'de> for FullDef<Body>where
Body: Deserialize<'de>,
source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
source§impl<Body: JsonSchema> JsonSchema for FullDef<Body>
impl<Body: JsonSchema> JsonSchema for FullDef<Body>
source§fn schema_name() -> String
fn schema_name() -> String
The name of the generated JSON Schema. Read more
source§fn schema_id() -> Cow<'static, str>
fn schema_id() -> Cow<'static, str>
Returns a string that uniquely identifies the schema produced by this type. Read more
source§fn json_schema(gen: &mut SchemaGenerator) -> Schema
fn json_schema(gen: &mut SchemaGenerator) -> Schema
Generates a JSON Schema for this type. Read more
source§fn is_referenceable() -> bool
fn is_referenceable() -> bool
Whether JSON Schemas generated for this type should be re-used where possible using the
$ref keyword. Read moreAuto Trait Implementations§
impl<Body> Freeze for FullDef<Body>where
Body: Freeze,
impl<Body> RefUnwindSafe for FullDef<Body>where
Body: RefUnwindSafe,
impl<Body> Send for FullDef<Body>
impl<Body> Sync for FullDef<Body>
impl<Body> Unpin for FullDef<Body>where
Body: Unpin,
impl<Body> UnwindSafe for FullDef<Body>where
Body: UnwindSafe + RefUnwindSafe,
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<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
source§unsafe fn clone_to_uninit(&self, dst: *mut T)
unsafe fn clone_to_uninit(&self, dst: *mut T)
🔬This is a nightly-only experimental API. (
clone_to_uninit)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 more