aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_syntax/src/ast/extensions.rs
diff options
context:
space:
mode:
authorLuca Barbieri <[email protected]>2020-04-03 20:12:09 +0100
committerAleksey Kladov <[email protected]>2020-04-09 10:50:37 +0100
commit60f4d7bd8c0ecb9f23557464e824140a2be8f41a (patch)
tree00aea343b133272e1df072bd7c839fddf07f36f6 /crates/ra_syntax/src/ast/extensions.rs
parent85956932872481cf4813c5e7794d981a9edb4623 (diff)
Provide more complete AST accessors to support usage in rustc
Diffstat (limited to 'crates/ra_syntax/src/ast/extensions.rs')
-rw-r--r--crates/ra_syntax/src/ast/extensions.rs148
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 @@
4use itertools::Itertools; 4use itertools::Itertools;
5 5
6use crate::{ 6use 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
142impl ast::Path { 138impl ast::Path {
@@ -154,12 +150,6 @@ impl ast::Module {
154 } 150 }
155} 151}
156 152
157impl ast::UseTree {
158 pub fn has_star(&self) -> bool {
159 self.syntax().children_with_tokens().any(|it| it.kind() == T![*])
160 }
161}
162
163impl ast::UseTreeList { 153impl 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
186impl ast::ImplDef { 162impl ast::ImplDef {
@@ -387,24 +363,9 @@ pub enum SelfParamKind {
387} 363}
388 364
389impl ast::SelfParam { 365impl 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
418impl 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
427impl 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
436impl 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
455impl ast::TypeBound { 407impl 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
521impl ast::MacroCall { 487impl ast::MacroCall {
@@ -528,3 +494,41 @@ impl ast::MacroCall {
528 } 494 }
529 } 495 }
530} 496}
497
498impl 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
508impl 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
526impl 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}