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 :: {
@@ -115,9 +115,9 @@ pub trait AstDatabase: SourceDatabase {
115115pub fn expand_hypothetical (
116116 db : & dyn AstDatabase ,
117117 actual_macro_call : MacroCallId ,
118- hypothetical_args : & syntax :: ast:: TokenTree ,
119- token_to_map : syntax :: SyntaxToken ,
120- ) -> Option < ( SyntaxNode , syntax :: SyntaxToken ) > {
118+ hypothetical_args : & ast:: TokenTree ,
119+ token_to_map : SyntaxToken ,
120+ ) -> Option < ( SyntaxNode , SyntaxToken ) > {
121121 let macro_file = MacroFile { macro_call_id : actual_macro_call } ;
122122 let ( tt, tmap_1) = mbe:: syntax_node_to_token_tree ( hypothetical_args. syntax ( ) ) ;
123123 let range =
@@ -141,10 +141,10 @@ fn ast_id_map(db: &dyn AstDatabase, file_id: HirFileId) -> Arc<AstIdMap> {
141141fn macro_def ( db : & dyn AstDatabase , id : MacroDefId ) -> Option < Arc < ( TokenExpander , mbe:: TokenMap ) > > {
142142 match id. kind {
143143 MacroDefKind :: Declarative ( ast_id) => match ast_id. to_node ( db) {
144- syntax :: ast:: Macro :: MacroRules ( macro_rules) => {
144+ ast:: Macro :: MacroRules ( macro_rules) => {
145145 let arg = macro_rules. token_tree ( ) ?;
146146 let ( tt, tmap) = mbe:: ast_to_token_tree ( & arg) ;
147- let rules = match MacroRules :: parse ( & tt) {
147+ let rules = match mbe :: MacroRules :: parse ( & tt) {
148148 Ok ( it) => it,
149149 Err ( err) => {
150150 let name = macro_rules. name ( ) . map ( |n| n. to_string ( ) ) . unwrap_or_default ( ) ;
@@ -154,10 +154,10 @@ fn macro_def(db: &dyn AstDatabase, id: MacroDefId) -> Option<Arc<(TokenExpander,
154154 } ;
155155 Some ( Arc :: new ( ( TokenExpander :: MacroRules ( rules) , tmap) ) )
156156 }
157- syntax :: ast:: Macro :: MacroDef ( macro_def) => {
157+ ast:: Macro :: MacroDef ( macro_def) => {
158158 let arg = macro_def. body ( ) ?;
159159 let ( tt, tmap) = mbe:: ast_to_token_tree ( & arg) ;
160- let rules = match MacroDef :: parse ( & tt) {
160+ let rules = match mbe :: MacroDef :: parse ( & tt) {
161161 Ok ( it) => it,
162162 Err ( err) => {
163163 let name = macro_def. name ( ) . map ( |n| n. to_string ( ) ) . unwrap_or_default ( ) ;
@@ -403,7 +403,7 @@ fn is_self_replicating(from: &SyntaxNode, to: &SyntaxNode) -> bool {
403403 if diff ( from, to) . is_empty ( ) {
404404 return true ;
405405 }
406- if let Some ( stmts) = MacroStmts :: cast ( from. clone ( ) ) {
406+ if let Some ( stmts) = ast :: MacroStmts :: cast ( from. clone ( ) ) {
407407 if stmts. statements ( ) . any ( |stmt| diff ( stmt. syntax ( ) , to) . is_empty ( ) ) {
408408 return true ;
409409 }
0 commit comments