33use std:: sync:: Arc ;
44
55use base_db:: { salsa, SourceDatabase } ;
6- use mbe:: { ExpandError , ExpandResult , MacroDef , MacroRules } ;
6+ use mbe:: { ExpandError , ExpandResult } ;
77use parser:: FragmentKind ;
88use syntax:: {
99 algo:: diff,
10- ast:: { MacroStmts , NameOwner } ,
10+ ast:: { self , NameOwner } ,
1111 AstNode , GreenNode , Parse ,
1212 SyntaxKind :: * ,
13- SyntaxNode ,
13+ SyntaxNode , SyntaxToken ,
1414} ;
1515
1616use crate :: {
@@ -120,9 +120,9 @@ pub trait AstDatabase: SourceDatabase {
120120pub fn expand_hypothetical (
121121 db : & dyn AstDatabase ,
122122 actual_macro_call : MacroCallId ,
123- hypothetical_args : & syntax :: ast:: TokenTree ,
124- token_to_map : syntax :: SyntaxToken ,
125- ) -> Option < ( SyntaxNode , syntax :: SyntaxToken ) > {
123+ hypothetical_args : & ast:: TokenTree ,
124+ token_to_map : SyntaxToken ,
125+ ) -> Option < ( SyntaxNode , SyntaxToken ) > {
126126 let macro_file = MacroFile { macro_call_id : actual_macro_call } ;
127127 let ( tt, tmap_1) = mbe:: syntax_node_to_token_tree ( hypothetical_args. syntax ( ) ) ;
128128 let range =
@@ -146,10 +146,10 @@ fn ast_id_map(db: &dyn AstDatabase, file_id: HirFileId) -> Arc<AstIdMap> {
146146fn macro_def ( db : & dyn AstDatabase , id : MacroDefId ) -> Option < Arc < ( TokenExpander , mbe:: TokenMap ) > > {
147147 match id. kind {
148148 MacroDefKind :: Declarative ( ast_id) => match ast_id. to_node ( db) {
149- syntax :: ast:: Macro :: MacroRules ( macro_rules) => {
149+ ast:: Macro :: MacroRules ( macro_rules) => {
150150 let arg = macro_rules. token_tree ( ) ?;
151151 let ( tt, tmap) = mbe:: ast_to_token_tree ( & arg) ;
152- let rules = match MacroRules :: parse ( & tt) {
152+ let rules = match mbe :: MacroRules :: parse ( & tt) {
153153 Ok ( it) => it,
154154 Err ( err) => {
155155 let name = macro_rules. name ( ) . map ( |n| n. to_string ( ) ) . unwrap_or_default ( ) ;
@@ -159,10 +159,10 @@ fn macro_def(db: &dyn AstDatabase, id: MacroDefId) -> Option<Arc<(TokenExpander,
159159 } ;
160160 Some ( Arc :: new ( ( TokenExpander :: MacroRules ( rules) , tmap) ) )
161161 }
162- syntax :: ast:: Macro :: MacroDef ( macro_def) => {
162+ ast:: Macro :: MacroDef ( macro_def) => {
163163 let arg = macro_def. body ( ) ?;
164164 let ( tt, tmap) = mbe:: ast_to_token_tree ( & arg) ;
165- let rules = match MacroDef :: parse ( & tt) {
165+ let rules = match mbe :: MacroDef :: parse ( & tt) {
166166 Ok ( it) => it,
167167 Err ( err) => {
168168 let name = macro_def. name ( ) . map ( |n| n. to_string ( ) ) . unwrap_or_default ( ) ;
@@ -408,7 +408,7 @@ fn is_self_replicating(from: &SyntaxNode, to: &SyntaxNode) -> bool {
408408 if diff ( from, to) . is_empty ( ) {
409409 return true ;
410410 }
411- if let Some ( stmts) = MacroStmts :: cast ( from. clone ( ) ) {
411+ if let Some ( stmts) = ast :: MacroStmts :: cast ( from. clone ( ) ) {
412412 if stmts. statements ( ) . any ( |stmt| diff ( stmt. syntax ( ) , to) . is_empty ( ) ) {
413413 return true ;
414414 }
0 commit comments