Skip to main content

rustc_public/
crate_def.rs

1//! Module that define a common trait for things that represent a crate definition,
2//! such as, a function, a trait, an enum, and any other definitions.
3
4use crate::ty::{GenericArgs, Span, Ty, index_impl};
5use crate::{AssocItems, Crate, Symbol, ThreadLocalIndex, with};
6
7/// A unique identification number for each item accessible for the current compilation unit.
8#[derive(#[automatically_derived]
impl ::core::clone::Clone for DefId {
    #[inline]
    fn clone(&self) -> DefId {
        let _: ::core::clone::AssertParamIsClone<usize>;
        let _: ::core::clone::AssertParamIsClone<ThreadLocalIndex>;
        *self
    }
}Clone, #[automatically_derived]
impl ::core::marker::Copy for DefId { }Copy, #[automatically_derived]
impl ::core::cmp::PartialEq for DefId {
    #[inline]
    fn eq(&self, other: &DefId) -> bool {
        self.0 == other.0 && self.1 == other.1
    }
}PartialEq, #[automatically_derived]
impl ::core::cmp::Eq for DefId {
    #[inline]
    #[doc(hidden)]
    #[coverage(off)]
    fn assert_receiver_is_total_eq(&self) {
        let _: ::core::cmp::AssertParamIsEq<usize>;
        let _: ::core::cmp::AssertParamIsEq<ThreadLocalIndex>;
    }
}Eq, #[automatically_derived]
impl ::core::hash::Hash for DefId {
    #[inline]
    fn hash<__H: ::core::hash::Hasher>(&self, state: &mut __H) {
        ::core::hash::Hash::hash(&self.0, state);
        ::core::hash::Hash::hash(&self.1, state)
    }
}Hash)]
9pub struct DefId(pub(crate) usize, ThreadLocalIndex);
10impl crate::IndexedVal for DefId {
    fn to_val(index: usize) -> Self { DefId(index, crate::ThreadLocalIndex) }
    fn to_index(&self) -> usize { self.0 }
}
impl ::serde::Serialize for DefId {
    fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error> where
        S: ::serde::Serializer {
        let n: usize = self.0;
        ::serde::Serialize::serialize(&n, serializer)
    }
}index_impl!(DefId);
11
12impl DefId {
13    /// Return fully qualified name of this definition
14    pub fn name(&self) -> Symbol {
15        with(|cx| cx.def_name(*self, false))
16    }
17
18    /// Return a trimmed name of this definition.
19    ///
20    /// This can be used to print more user friendly diagnostic messages.
21    ///
22    /// If a symbol name can only be imported from one place for a type, and as
23    /// long as it was not glob-imported anywhere in the current crate, we trim its
24    /// path and print only the name.
25    ///
26    /// For example, this function may shorten `std::vec::Vec` to just `Vec`,
27    /// as long as there is no other `Vec` importable anywhere.
28    pub fn trimmed_name(&self) -> Symbol {
29        with(|cx| cx.def_name(*self, true))
30    }
31
32    /// Return the parent of this definition, or `None` if this is the root of a
33    /// crate.
34    pub fn parent(&self) -> Option<DefId> {
35        with(|cx| cx.def_parent(*self))
36    }
37
38    pub fn span(&self) -> Span {
39        with(|cx| cx.span_of_a_def(*self))
40    }
41}
42
43/// A trait for retrieving information about a particular definition.
44///
45/// Implementors must provide the implementation of `def_id` which will be used to retrieve
46/// information about a crate's definition.
47pub trait CrateDef {
48    /// Retrieve the unique identifier for the current definition.
49    fn def_id(&self) -> DefId;
50
51    /// Return the fully qualified name of the current definition.
52    ///
53    /// See [`DefId::name`] for more details
54    fn name(&self) -> Symbol {
55        self.def_id().name()
56    }
57
58    /// Return a trimmed name of this definition.
59    ///
60    /// See [`DefId::trimmed_name`] for more details
61    fn trimmed_name(&self) -> Symbol {
62        self.def_id().trimmed_name()
63    }
64
65    /// Return information about the crate where this definition is declared.
66    ///
67    /// This will return the crate number and its name.
68    fn krate(&self) -> Crate {
69        let def_id = self.def_id();
70        with(|cx| cx.krate(def_id))
71    }
72
73    /// Return the span of this definition.
74    fn span(&self) -> Span {
75        self.def_id().span()
76    }
77
78    /// Return registered tool attributes with the given attribute name.
79    ///
80    /// FIXME(jdonszelmann): may panic on non-tool attributes. After more attribute work, non-tool
81    /// attributes will simply return an empty list.
82    ///
83    /// Single segmented name like `#[clippy]` is specified as `&["clippy".to_string()]`.
84    /// Multi-segmented name like `#[rustfmt::skip]` is specified as `&["rustfmt".to_string(), "skip".to_string()]`.
85    fn tool_attrs(&self, attr: &[Symbol]) -> Vec<Attribute> {
86        let def_id = self.def_id();
87        with(|cx| cx.tool_attrs(def_id, attr))
88    }
89
90    /// Return all tool attributes of this definition.
91    fn all_tool_attrs(&self) -> Vec<Attribute> {
92        let def_id = self.def_id();
93        with(|cx| cx.all_tool_attrs(def_id))
94    }
95}
96
97/// A trait that can be used to retrieve a definition's type.
98///
99/// Note that not every CrateDef has a type `Ty`. They should not implement this trait.
100pub trait CrateDefType: CrateDef {
101    /// Returns the type of this crate item.
102    fn ty(&self) -> Ty {
103        with(|cx| cx.def_ty(self.def_id()))
104    }
105
106    /// Retrieve the type of this definition by instantiating and normalizing it with `args`.
107    ///
108    /// This will panic if instantiation fails.
109    fn ty_with_args(&self, args: &GenericArgs) -> Ty {
110        with(|cx| cx.def_ty_with_args(self.def_id(), args))
111    }
112}
113
114/// A trait for retrieving all items from a definition within a crate.
115pub trait CrateDefItems: CrateDef {
116    /// Retrieve all associated items from a definition.
117    fn associated_items(&self) -> AssocItems {
118        with(|cx| cx.associated_items(self.def_id()))
119    }
120}
121
122#[derive(#[automatically_derived]
impl ::core::clone::Clone for Attribute {
    #[inline]
    fn clone(&self) -> Attribute {
        Attribute {
            value: ::core::clone::Clone::clone(&self.value),
            span: ::core::clone::Clone::clone(&self.span),
        }
    }
}Clone, #[automatically_derived]
impl ::core::fmt::Debug for Attribute {
    #[inline]
    fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
        ::core::fmt::Formatter::debug_struct_field2_finish(f, "Attribute",
            "value", &self.value, "span", &&self.span)
    }
}Debug, #[automatically_derived]
impl ::core::cmp::PartialEq for Attribute {
    #[inline]
    fn eq(&self, other: &Attribute) -> bool {
        self.value == other.value && self.span == other.span
    }
}PartialEq, #[automatically_derived]
impl ::core::cmp::Eq for Attribute {
    #[inline]
    #[doc(hidden)]
    #[coverage(off)]
    fn assert_receiver_is_total_eq(&self) {
        let _: ::core::cmp::AssertParamIsEq<String>;
        let _: ::core::cmp::AssertParamIsEq<Span>;
    }
}Eq)]
123pub struct Attribute {
124    value: String,
125    span: Span,
126}
127
128impl Attribute {
129    pub fn new(value: String, span: Span) -> Attribute {
130        Attribute { value, span }
131    }
132
133    /// Get the span of this attribute.
134    pub fn span(&self) -> Span {
135        self.span
136    }
137
138    /// Get the string representation of this attribute.
139    pub fn as_str(&self) -> &str {
140        &self.value
141    }
142}
143
144macro_rules! crate_def {
145    ( $(#[$attr:meta])*
146      $vis:vis $name:ident $(;)?
147    ) => {
148        $(#[$attr])*
149        #[derive(Clone, Copy, PartialEq, Eq, Debug, Hash)]
150        $vis struct $name(pub DefId);
151
152        impl CrateDef for $name {
153            fn def_id(&self) -> DefId {
154                self.0
155            }
156        }
157    };
158}
159
160macro_rules! crate_def_with_ty {
161    ( $(#[$attr:meta])*
162      $vis:vis $name:ident $(;)?
163    ) => {
164        $(#[$attr])*
165        #[derive(Clone, Copy, PartialEq, Eq, Debug, Hash)]
166        $vis struct $name(pub DefId);
167
168        impl CrateDef for $name {
169            fn def_id(&self) -> DefId {
170                self.0
171            }
172        }
173
174        impl CrateDefType for $name {}
175    };
176}
177
178macro_rules! impl_crate_def_items {
179    ( $name:ident $(;)? ) => {
180        impl CrateDefItems for $name {}
181    };
182}