Trait rustc_expand::base::ResolverExpand[−][src]

pub trait ResolverExpand {
    fn next_node_id(&mut self) -> NodeId;

    fn resolve_dollar_crates(&mut self);

    fn visit_ast_fragment_with_placeholders(
        &mut self, 
        expn_id: ExpnId, 
        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>
    ) -> ExpnId;

    fn resolve_imports(&mut self);

    fn resolve_macro_invocation(
        &mut self, 
        invoc: &Invocation, 
        eager_expansion_root: ExpnId, 
        force: bool
    ) -> Result<Lrc<SyntaxExtension>, Indeterminate>;

    fn check_unused_macros(&mut self);

    fn lint_node_id(&self, expn_id: ExpnId) -> NodeId;

    fn has_derive_copy(&self, expn_id: ExpnId) -> bool;

    fn resolve_derives(
        &mut self, 
        expn_id: ExpnId, 
        derives: Vec<Path>, 
        force: bool
    ) -> Result<(), Indeterminate>;

    fn take_derive_resolutions(
        &mut self, 
        expn_id: ExpnId
    ) -> Option<Vec<(Lrc<SyntaxExtension>, Path)>>;

    fn cfg_accessible(
        &mut self, 
        expn_id: ExpnId, 
        path: &Path
    ) -> Result<bool, Indeterminate>;
}

Required methods

fn next_node_id(&mut self) -> NodeId[src]

fn resolve_dollar_crates(&mut self)[src]

fn visit_ast_fragment_with_placeholders(
    &mut self,
    expn_id: ExpnId,
    fragment: &AstFragment
)[src]

fn register_builtin_macro(&mut self, name: Symbol, ext: SyntaxExtensionKind)[src]

fn expansion_for_ast_pass(
    &mut self,
    call_site: Span,
    pass: AstPass,
    features: &[Symbol],
    parent_module_id: Option<NodeId>
) -> ExpnId[src]

fn resolve_imports(&mut self)[src]

fn resolve_macro_invocation(
    &mut self,
    invoc: &Invocation,
    eager_expansion_root: ExpnId,
    force: bool
) -> Result<Lrc<SyntaxExtension>, Indeterminate>[src]

fn check_unused_macros(&mut self)[src]

fn lint_node_id(&self, expn_id: ExpnId) -> NodeId[src]

Some parent node that is close enough to the given macro call.

fn has_derive_copy(&self, expn_id: ExpnId) -> bool[src]

Does #[derive(...)] attribute with the given ExpnId have built-in Copy inside it?

fn resolve_derives(
    &mut self,
    expn_id: ExpnId,
    derives: Vec<Path>,
    force: bool
) -> Result<(), Indeterminate>[src]

Resolve paths inside the #[derive(...)] attribute with the given ExpnId.

fn take_derive_resolutions(
    &mut self,
    expn_id: ExpnId
) -> Option<Vec<(Lrc<SyntaxExtension>, Path)>>[src]

Take resolutions for paths inside the #[derive(...)] attribute with the given ExpnId back from resolver.

fn cfg_accessible(
    &mut self,
    expn_id: ExpnId,
    path: &Path
) -> Result<bool, Indeterminate>[src]

Path resolution logic for #[cfg_accessible(path)].

Loading content...

Implementors

Loading content...