diff options
Diffstat (limited to 'crates/ra_syntax/src/ast/extensions.rs')
-rw-r--r-- | crates/ra_syntax/src/ast/extensions.rs | 148 |
1 files changed, 76 insertions, 72 deletions
diff --git a/crates/ra_syntax/src/ast/extensions.rs b/crates/ra_syntax/src/ast/extensions.rs index bf7d137be..400eba210 100644 --- a/crates/ra_syntax/src/ast/extensions.rs +++ b/crates/ra_syntax/src/ast/extensions.rs | |||
@@ -4,7 +4,10 @@ | |||
4 | use itertools::Itertools; | 4 | use itertools::Itertools; |
5 | 5 | ||
6 | use crate::{ | 6 | use crate::{ |
7 | ast::{self, child_opt, children, AstNode, AttrInput, NameOwner, SyntaxNode}, | 7 | ast::{ |
8 | self, child_opt, child_token_opt, children, AstElement, AstNode, AstToken, AttrInput, | ||
9 | NameOwner, SyntaxNode, | ||
10 | }, | ||
8 | SmolStr, SyntaxElement, | 11 | SmolStr, SyntaxElement, |
9 | SyntaxKind::*, | 12 | SyntaxKind::*, |
10 | SyntaxToken, T, | 13 | SyntaxToken, T, |
@@ -130,13 +133,6 @@ impl ast::PathSegment { | |||
130 | }; | 133 | }; |
131 | Some(res) | 134 | Some(res) |
132 | } | 135 | } |
133 | |||
134 | pub fn has_colon_colon(&self) -> bool { | ||
135 | match self.syntax.first_child_or_token().map(|s| s.kind()) { | ||
136 | Some(T![::]) => true, | ||
137 | _ => false, | ||
138 | } | ||
139 | } | ||
140 | } | 136 | } |
141 | 137 | ||
142 | impl ast::Path { | 138 | impl ast::Path { |
@@ -154,12 +150,6 @@ impl ast::Module { | |||
154 | } | 150 | } |
155 | } | 151 | } |
156 | 152 | ||
157 | impl ast::UseTree { | ||
158 | pub fn has_star(&self) -> bool { | ||
159 | self.syntax().children_with_tokens().any(|it| it.kind() == T![*]) | ||
160 | } | ||
161 | } | ||
162 | |||
163 | impl ast::UseTreeList { | 153 | impl ast::UseTreeList { |
164 | pub fn parent_use_tree(&self) -> ast::UseTree { | 154 | pub fn parent_use_tree(&self) -> ast::UseTree { |
165 | self.syntax() | 155 | self.syntax() |
@@ -167,20 +157,6 @@ impl ast::UseTreeList { | |||
167 | .and_then(ast::UseTree::cast) | 157 | .and_then(ast::UseTree::cast) |
168 | .expect("UseTreeLists are always nested in UseTrees") | 158 | .expect("UseTreeLists are always nested in UseTrees") |
169 | } | 159 | } |
170 | pub fn l_curly(&self) -> Option<SyntaxToken> { | ||
171 | self.token(T!['{']) | ||
172 | } | ||
173 | |||
174 | pub fn r_curly(&self) -> Option<SyntaxToken> { | ||
175 | self.token(T!['}']) | ||
176 | } | ||
177 | |||
178 | fn token(&self, kind: SyntaxKind) -> Option<SyntaxToken> { | ||
179 | self.syntax() | ||
180 | .children_with_tokens() | ||
181 | .filter_map(|it| it.into_token()) | ||
182 | .find(|it| it.kind() == kind) | ||
183 | } | ||
184 | } | 160 | } |
185 | 161 | ||
186 | impl ast::ImplDef { | 162 | impl ast::ImplDef { |
@@ -387,24 +363,9 @@ pub enum SelfParamKind { | |||
387 | } | 363 | } |
388 | 364 | ||
389 | impl ast::SelfParam { | 365 | impl ast::SelfParam { |
390 | pub fn self_kw_token(&self) -> SyntaxToken { | ||
391 | self.syntax() | ||
392 | .children_with_tokens() | ||
393 | .filter_map(|it| it.into_token()) | ||
394 | .find(|it| it.kind() == T![self]) | ||
395 | .expect("invalid tree: self param must have self") | ||
396 | } | ||
397 | |||
398 | pub fn kind(&self) -> SelfParamKind { | 366 | pub fn kind(&self) -> SelfParamKind { |
399 | let borrowed = self.syntax().children_with_tokens().any(|n| n.kind() == T![&]); | 367 | if self.amp().is_some() { |
400 | if borrowed { | 368 | if self.amp_mut_kw().is_some() { |
401 | // check for a `mut` coming after the & -- `mut &self` != `&mut self` | ||
402 | if self | ||
403 | .syntax() | ||
404 | .children_with_tokens() | ||
405 | .skip_while(|n| n.kind() != T![&]) | ||
406 | .any(|n| n.kind() == T![mut]) | ||
407 | { | ||
408 | SelfParamKind::MutRef | 369 | SelfParamKind::MutRef |
409 | } else { | 370 | } else { |
410 | SelfParamKind::Ref | 371 | SelfParamKind::Ref |
@@ -413,32 +374,23 @@ impl ast::SelfParam { | |||
413 | SelfParamKind::Owned | 374 | SelfParamKind::Owned |
414 | } | 375 | } |
415 | } | 376 | } |
416 | } | ||
417 | 377 | ||
418 | impl ast::LifetimeParam { | 378 | /// the "mut" in "mut self", not the one in "&mut self" |
419 | pub fn lifetime_token(&self) -> Option<SyntaxToken> { | 379 | pub fn mut_kw(&self) -> Option<ast::MutKw> { |
420 | self.syntax() | 380 | self.syntax() |
421 | .children_with_tokens() | 381 | .children_with_tokens() |
422 | .filter_map(|it| it.into_token()) | 382 | .filter_map(|it| it.into_token()) |
423 | .find(|it| it.kind() == LIFETIME) | 383 | .take_while(|it| it.kind() != T![&]) |
384 | .find_map(ast::MutKw::cast) | ||
424 | } | 385 | } |
425 | } | ||
426 | 386 | ||
427 | impl ast::TypeParam { | 387 | /// the "mut" in "&mut self", not the one in "mut self" |
428 | pub fn colon_token(&self) -> Option<SyntaxToken> { | 388 | pub fn amp_mut_kw(&self) -> Option<ast::MutKw> { |
429 | self.syntax() | 389 | self.syntax() |
430 | .children_with_tokens() | 390 | .children_with_tokens() |
431 | .filter_map(|it| it.into_token()) | 391 | .filter_map(|it| it.into_token()) |
432 | .find(|it| it.kind() == T![:]) | 392 | .skip_while(|it| it.kind() != T![&]) |
433 | } | 393 | .find_map(ast::MutKw::cast) |
434 | } | ||
435 | |||
436 | impl ast::WherePred { | ||
437 | pub fn lifetime_token(&self) -> Option<SyntaxToken> { | ||
438 | self.syntax() | ||
439 | .children_with_tokens() | ||
440 | .filter_map(|it| it.into_token()) | ||
441 | .find(|it| it.kind() == LIFETIME) | ||
442 | } | 394 | } |
443 | } | 395 | } |
444 | 396 | ||
@@ -449,7 +401,7 @@ pub enum TypeBoundKind { | |||
449 | /// for<'a> ... | 401 | /// for<'a> ... |
450 | ForType(ast::ForType), | 402 | ForType(ast::ForType), |
451 | /// 'a | 403 | /// 'a |
452 | Lifetime(ast::SyntaxToken), | 404 | Lifetime(ast::Lifetime), |
453 | } | 405 | } |
454 | 406 | ||
455 | impl ast::TypeBound { | 407 | impl ast::TypeBound { |
@@ -465,21 +417,28 @@ impl ast::TypeBound { | |||
465 | } | 417 | } |
466 | } | 418 | } |
467 | 419 | ||
468 | fn lifetime(&self) -> Option<SyntaxToken> { | 420 | pub fn has_question_mark(&self) -> bool { |
469 | self.syntax() | 421 | self.question().is_some() |
470 | .children_with_tokens() | ||
471 | .filter_map(|it| it.into_token()) | ||
472 | .find(|it| it.kind() == LIFETIME) | ||
473 | } | 422 | } |
474 | 423 | ||
475 | pub fn question_mark_token(&self) -> Option<SyntaxToken> { | 424 | pub fn const_question(&self) -> Option<ast::Question> { |
476 | self.syntax() | 425 | self.syntax() |
477 | .children_with_tokens() | 426 | .children_with_tokens() |
478 | .filter_map(|it| it.into_token()) | 427 | .filter_map(|it| it.into_token()) |
479 | .find(|it| it.kind() == T![?]) | 428 | .take_while(|it| it.kind() != T![const]) |
429 | .find_map(ast::Question::cast) | ||
480 | } | 430 | } |
481 | pub fn has_question_mark(&self) -> bool { | 431 | |
482 | self.question_mark_token().is_some() | 432 | pub fn question(&self) -> Option<ast::Question> { |
433 | if self.const_kw().is_some() { | ||
434 | self.syntax() | ||
435 | .children_with_tokens() | ||
436 | .filter_map(|it| it.into_token()) | ||
437 | .skip_while(|it| it.kind() != T![const]) | ||
438 | .find_map(ast::Question::cast) | ||
439 | } else { | ||
440 | child_token_opt(self) | ||
441 | } | ||
483 | } | 442 | } |
484 | } | 443 | } |
485 | 444 | ||
@@ -493,6 +452,7 @@ pub enum VisibilityKind { | |||
493 | In(ast::Path), | 452 | In(ast::Path), |
494 | PubCrate, | 453 | PubCrate, |
495 | PubSuper, | 454 | PubSuper, |
455 | PubSelf, | ||
496 | Pub, | 456 | Pub, |
497 | } | 457 | } |
498 | 458 | ||
@@ -504,6 +464,8 @@ impl ast::Visibility { | |||
504 | VisibilityKind::PubCrate | 464 | VisibilityKind::PubCrate |
505 | } else if self.is_pub_super() { | 465 | } else if self.is_pub_super() { |
506 | VisibilityKind::PubSuper | 466 | VisibilityKind::PubSuper |
467 | } else if self.is_pub_self() { | ||
468 | VisibilityKind::PubSuper | ||
507 | } else { | 469 | } else { |
508 | VisibilityKind::Pub | 470 | VisibilityKind::Pub |
509 | } | 471 | } |
@@ -516,6 +478,10 @@ impl ast::Visibility { | |||
516 | fn is_pub_super(&self) -> bool { | 478 | fn is_pub_super(&self) -> bool { |
517 | self.syntax().children_with_tokens().any(|it| it.kind() == T![super]) | 479 | self.syntax().children_with_tokens().any(|it| it.kind() == T![super]) |
518 | } | 480 | } |
481 | |||
482 | fn is_pub_self(&self) -> bool { | ||
483 | self.syntax().children_with_tokens().any(|it| it.kind() == T![self]) | ||
484 | } | ||
519 | } | 485 | } |
520 | 486 | ||
521 | impl ast::MacroCall { | 487 | impl ast::MacroCall { |
@@ -528,3 +494,41 @@ impl ast::MacroCall { | |||
528 | } | 494 | } |
529 | } | 495 | } |
530 | } | 496 | } |
497 | |||
498 | impl ast::LifetimeParam { | ||
499 | pub fn lifetime_bounds(&self) -> impl Iterator<Item = ast::Lifetime> { | ||
500 | self.syntax() | ||
501 | .children_with_tokens() | ||
502 | .filter_map(|it| it.into_token()) | ||
503 | .skip_while(|x| x.kind() != T![:]) | ||
504 | .filter_map(ast::Lifetime::cast) | ||
505 | } | ||
506 | } | ||
507 | |||
508 | impl ast::RangePat { | ||
509 | pub fn start(&self) -> Option<ast::Pat> { | ||
510 | self.syntax() | ||
511 | .children_with_tokens() | ||
512 | .take_while(|it| !ast::RangeSeparator::can_cast_element(it.kind())) | ||
513 | .filter_map(|it| it.into_node()) | ||
514 | .find_map(ast::Pat::cast) | ||
515 | } | ||
516 | |||
517 | pub fn end(&self) -> Option<ast::Pat> { | ||
518 | self.syntax() | ||
519 | .children_with_tokens() | ||
520 | .skip_while(|it| !ast::RangeSeparator::can_cast_element(it.kind())) | ||
521 | .filter_map(|it| it.into_node()) | ||
522 | .find_map(ast::Pat::cast) | ||
523 | } | ||
524 | } | ||
525 | |||
526 | impl ast::TokenTree { | ||
527 | pub fn left_delimiter(&self) -> Option<ast::LeftDelimiter> { | ||
528 | self.syntax().first_child_or_token().and_then(ast::LeftDelimiter::cast_element) | ||
529 | } | ||
530 | |||
531 | pub fn right_delimiter(&self) -> Option<ast::RightDelimiter> { | ||
532 | self.syntax().last_child_or_token().and_then(ast::RightDelimiter::cast_element) | ||
533 | } | ||
534 | } | ||