pub trait ResolverExpand {
Show 21 methods
// Required methods
fn next_node_id(&mut self) -> NodeId;
fn invocation_parent(&self, id: LocalExpnId) -> LocalDefId;
fn resolve_dollar_crates(&mut self);
fn visit_ast_fragment_with_placeholders(
&mut self,
expn_id: LocalExpnId,
fragment: &AstFragment,
);
fn register_builtin_macro(&mut self, name: Symbol, ext: SyntaxExtensionKind);
fn expansion_for_ast_pass(
&mut self,
call_site: Span,
pass: AstPass,
features: &[Symbol],
parent_module_id: Option<NodeId>,
) -> LocalExpnId;
fn resolve_imports(&mut self);
fn resolve_macro_invocation(
&mut self,
invoc: &Invocation,
eager_expansion_root: LocalExpnId,
force: bool,
) -> Result<Lrc<SyntaxExtension>, Indeterminate>;
fn record_macro_rule_usage(&mut self, mac_id: NodeId, rule_index: usize);
fn check_unused_macros(&mut self);
fn has_derive_copy(&self, expn_id: LocalExpnId) -> bool;
fn resolve_derives(
&mut self,
expn_id: LocalExpnId,
force: bool,
derive_paths: &dyn Fn() -> Vec<DeriveResolution>,
) -> Result<(), Indeterminate>;
fn take_derive_resolutions(
&mut self,
expn_id: LocalExpnId,
) -> Option<Vec<DeriveResolution>>;
fn cfg_accessible(
&mut self,
expn_id: LocalExpnId,
path: &Path,
) -> Result<bool, Indeterminate>;
fn macro_accessible(
&mut self,
expn_id: LocalExpnId,
path: &Path,
) -> Result<bool, Indeterminate>;
fn get_proc_macro_quoted_span(&self, krate: CrateNum, id: usize) -> Span;
fn declare_proc_macro(&mut self, id: NodeId);
fn append_stripped_cfg_item(
&mut self,
parent_node: NodeId,
name: Ident,
cfg: MetaItem,
);
fn registered_tools(&self) -> &RegisteredTools;
fn register_glob_delegation(&mut self, invoc_id: LocalExpnId);
fn glob_delegation_suffixes(
&mut self,
trait_def_id: DefId,
impl_def_id: LocalDefId,
) -> Result<Vec<(Ident, Option<Ident>)>, Indeterminate>;
}
Required Methods§
fn next_node_id(&mut self) -> NodeId
fn invocation_parent(&self, id: LocalExpnId) -> LocalDefId
fn resolve_dollar_crates(&mut self)
fn visit_ast_fragment_with_placeholders( &mut self, expn_id: LocalExpnId, fragment: &AstFragment, )
fn register_builtin_macro(&mut self, name: Symbol, ext: SyntaxExtensionKind)
fn expansion_for_ast_pass( &mut self, call_site: Span, pass: AstPass, features: &[Symbol], parent_module_id: Option<NodeId>, ) -> LocalExpnId
fn resolve_imports(&mut self)
fn resolve_macro_invocation( &mut self, invoc: &Invocation, eager_expansion_root: LocalExpnId, force: bool, ) -> Result<Lrc<SyntaxExtension>, Indeterminate>
fn record_macro_rule_usage(&mut self, mac_id: NodeId, rule_index: usize)
fn check_unused_macros(&mut self)
Sourcefn has_derive_copy(&self, expn_id: LocalExpnId) -> bool
fn has_derive_copy(&self, expn_id: LocalExpnId) -> bool
Does #[derive(...)]
attribute with the given ExpnId
have built-in Copy
inside it?
Sourcefn resolve_derives(
&mut self,
expn_id: LocalExpnId,
force: bool,
derive_paths: &dyn Fn() -> Vec<DeriveResolution>,
) -> Result<(), Indeterminate>
fn resolve_derives( &mut self, expn_id: LocalExpnId, force: bool, derive_paths: &dyn Fn() -> Vec<DeriveResolution>, ) -> Result<(), Indeterminate>
Resolve paths inside the #[derive(...)]
attribute with the given ExpnId
.
Sourcefn take_derive_resolutions(
&mut self,
expn_id: LocalExpnId,
) -> Option<Vec<DeriveResolution>>
fn take_derive_resolutions( &mut self, expn_id: LocalExpnId, ) -> Option<Vec<DeriveResolution>>
Take resolutions for paths inside the #[derive(...)]
attribute with the given ExpnId
back from resolver.
Sourcefn cfg_accessible(
&mut self,
expn_id: LocalExpnId,
path: &Path,
) -> Result<bool, Indeterminate>
fn cfg_accessible( &mut self, expn_id: LocalExpnId, path: &Path, ) -> Result<bool, Indeterminate>
Path resolution logic for #[cfg_accessible(path)]
.
fn macro_accessible( &mut self, expn_id: LocalExpnId, path: &Path, ) -> Result<bool, Indeterminate>
Sourcefn get_proc_macro_quoted_span(&self, krate: CrateNum, id: usize) -> Span
fn get_proc_macro_quoted_span(&self, krate: CrateNum, id: usize) -> Span
Decodes the proc-macro quoted span in the specified crate, with the specified id. No caching is performed.
Sourcefn declare_proc_macro(&mut self, id: NodeId)
fn declare_proc_macro(&mut self, id: NodeId)
The order of items in the HIR is unrelated to the order of items in the AST. However, we generate proc macro harnesses based on the AST order, and later refer to these harnesses from the HIR. This field keeps track of the order in which we generated proc macros harnesses, so that we can map HIR proc macros items back to their harness items.
fn append_stripped_cfg_item( &mut self, parent_node: NodeId, name: Ident, cfg: MetaItem, )
Sourcefn registered_tools(&self) -> &RegisteredTools
fn registered_tools(&self) -> &RegisteredTools
Tools registered with #![register_tool]
and used by tool attributes and lints.
Sourcefn register_glob_delegation(&mut self, invoc_id: LocalExpnId)
fn register_glob_delegation(&mut self, invoc_id: LocalExpnId)
Mark this invocation id as a glob delegation.
Sourcefn glob_delegation_suffixes(
&mut self,
trait_def_id: DefId,
impl_def_id: LocalDefId,
) -> Result<Vec<(Ident, Option<Ident>)>, Indeterminate>
fn glob_delegation_suffixes( &mut self, trait_def_id: DefId, impl_def_id: LocalDefId, ) -> Result<Vec<(Ident, Option<Ident>)>, Indeterminate>
Names of specific methods to which glob delegation expands.