diff options
Diffstat (limited to 'crates/ra_syntax/src/ast')
-rw-r--r-- | crates/ra_syntax/src/ast/expr_extensions.rs | 10 | ||||
-rw-r--r-- | crates/ra_syntax/src/ast/generated/nodes.rs | 37 |
2 files changed, 7 insertions, 40 deletions
diff --git a/crates/ra_syntax/src/ast/expr_extensions.rs b/crates/ra_syntax/src/ast/expr_extensions.rs index ecf74fd36..6aed7b4bb 100644 --- a/crates/ra_syntax/src/ast/expr_extensions.rs +++ b/crates/ra_syntax/src/ast/expr_extensions.rs | |||
@@ -16,7 +16,7 @@ impl ast::Expr { | |||
16 | | ast::Expr::WhileExpr(_) | 16 | | ast::Expr::WhileExpr(_) |
17 | | ast::Expr::BlockExpr(_) | 17 | | ast::Expr::BlockExpr(_) |
18 | | ast::Expr::MatchExpr(_) | 18 | | ast::Expr::MatchExpr(_) |
19 | | ast::Expr::TryBlockExpr(_) => true, | 19 | | ast::Expr::TryExpr(_) => true, |
20 | _ => false, | 20 | _ => false, |
21 | } | 21 | } |
22 | } | 22 | } |
@@ -371,12 +371,12 @@ impl ast::BlockExpr { | |||
371 | if self.unsafe_token().is_some() || self.async_token().is_some() { | 371 | if self.unsafe_token().is_some() || self.async_token().is_some() { |
372 | return false; | 372 | return false; |
373 | } | 373 | } |
374 | let kind = match self.syntax().parent() { | 374 | let parent = match self.syntax().parent() { |
375 | Some(it) => it, | ||
375 | None => return true, | 376 | None => return true, |
376 | Some(it) => it.kind(), | ||
377 | }; | 377 | }; |
378 | match kind { | 378 | match parent.kind() { |
379 | FN_DEF | IF_EXPR | WHILE_EXPR | LOOP_EXPR | TRY_BLOCK_EXPR => false, | 379 | FN_DEF | IF_EXPR | WHILE_EXPR | LOOP_EXPR => false, |
380 | _ => true, | 380 | _ => true, |
381 | } | 381 | } |
382 | } | 382 | } |
diff --git a/crates/ra_syntax/src/ast/generated/nodes.rs b/crates/ra_syntax/src/ast/generated/nodes.rs index d2253d4af..81260680f 100644 --- a/crates/ra_syntax/src/ast/generated/nodes.rs +++ b/crates/ra_syntax/src/ast/generated/nodes.rs | |||
@@ -476,16 +476,6 @@ impl LoopExpr { | |||
476 | } | 476 | } |
477 | 477 | ||
478 | #[derive(Debug, Clone, PartialEq, Eq, Hash)] | 478 | #[derive(Debug, Clone, PartialEq, Eq, Hash)] |
479 | pub struct TryBlockExpr { | ||
480 | pub(crate) syntax: SyntaxNode, | ||
481 | } | ||
482 | impl ast::AttrsOwner for TryBlockExpr {} | ||
483 | impl TryBlockExpr { | ||
484 | pub fn try_token(&self) -> Option<SyntaxToken> { support::token(&self.syntax, T![try]) } | ||
485 | pub fn body(&self) -> Option<BlockExpr> { support::child(&self.syntax) } | ||
486 | } | ||
487 | |||
488 | #[derive(Debug, Clone, PartialEq, Eq, Hash)] | ||
489 | pub struct ForExpr { | 479 | pub struct ForExpr { |
490 | pub(crate) syntax: SyntaxNode, | 480 | pub(crate) syntax: SyntaxNode, |
491 | } | 481 | } |
@@ -1475,7 +1465,6 @@ pub enum Expr { | |||
1475 | FieldExpr(FieldExpr), | 1465 | FieldExpr(FieldExpr), |
1476 | AwaitExpr(AwaitExpr), | 1466 | AwaitExpr(AwaitExpr), |
1477 | TryExpr(TryExpr), | 1467 | TryExpr(TryExpr), |
1478 | TryBlockExpr(TryBlockExpr), | ||
1479 | CastExpr(CastExpr), | 1468 | CastExpr(CastExpr), |
1480 | RefExpr(RefExpr), | 1469 | RefExpr(RefExpr), |
1481 | PrefixExpr(PrefixExpr), | 1470 | PrefixExpr(PrefixExpr), |
@@ -1958,17 +1947,6 @@ impl AstNode for LoopExpr { | |||
1958 | } | 1947 | } |
1959 | fn syntax(&self) -> &SyntaxNode { &self.syntax } | 1948 | fn syntax(&self) -> &SyntaxNode { &self.syntax } |
1960 | } | 1949 | } |
1961 | impl AstNode for TryBlockExpr { | ||
1962 | fn can_cast(kind: SyntaxKind) -> bool { kind == TRY_BLOCK_EXPR } | ||
1963 | fn cast(syntax: SyntaxNode) -> Option<Self> { | ||
1964 | if Self::can_cast(syntax.kind()) { | ||
1965 | Some(Self { syntax }) | ||
1966 | } else { | ||
1967 | None | ||
1968 | } | ||
1969 | } | ||
1970 | fn syntax(&self) -> &SyntaxNode { &self.syntax } | ||
1971 | } | ||
1972 | impl AstNode for ForExpr { | 1950 | impl AstNode for ForExpr { |
1973 | fn can_cast(kind: SyntaxKind) -> bool { kind == FOR_EXPR } | 1951 | fn can_cast(kind: SyntaxKind) -> bool { kind == FOR_EXPR } |
1974 | fn cast(syntax: SyntaxNode) -> Option<Self> { | 1952 | fn cast(syntax: SyntaxNode) -> Option<Self> { |
@@ -3310,9 +3288,6 @@ impl From<AwaitExpr> for Expr { | |||
3310 | impl From<TryExpr> for Expr { | 3288 | impl From<TryExpr> for Expr { |
3311 | fn from(node: TryExpr) -> Expr { Expr::TryExpr(node) } | 3289 | fn from(node: TryExpr) -> Expr { Expr::TryExpr(node) } |
3312 | } | 3290 | } |
3313 | impl From<TryBlockExpr> for Expr { | ||
3314 | fn from(node: TryBlockExpr) -> Expr { Expr::TryBlockExpr(node) } | ||
3315 | } | ||
3316 | impl From<CastExpr> for Expr { | 3291 | impl From<CastExpr> for Expr { |
3317 | fn from(node: CastExpr) -> Expr { Expr::CastExpr(node) } | 3292 | fn from(node: CastExpr) -> Expr { Expr::CastExpr(node) } |
3318 | } | 3293 | } |
@@ -3343,9 +3318,8 @@ impl AstNode for Expr { | |||
3343 | TUPLE_EXPR | ARRAY_EXPR | PAREN_EXPR | PATH_EXPR | LAMBDA_EXPR | IF_EXPR | 3318 | TUPLE_EXPR | ARRAY_EXPR | PAREN_EXPR | PATH_EXPR | LAMBDA_EXPR | IF_EXPR |
3344 | | LOOP_EXPR | FOR_EXPR | WHILE_EXPR | CONTINUE_EXPR | BREAK_EXPR | LABEL | 3319 | | LOOP_EXPR | FOR_EXPR | WHILE_EXPR | CONTINUE_EXPR | BREAK_EXPR | LABEL |
3345 | | BLOCK_EXPR | RETURN_EXPR | MATCH_EXPR | RECORD_LIT | CALL_EXPR | INDEX_EXPR | 3320 | | BLOCK_EXPR | RETURN_EXPR | MATCH_EXPR | RECORD_LIT | CALL_EXPR | INDEX_EXPR |
3346 | | METHOD_CALL_EXPR | FIELD_EXPR | AWAIT_EXPR | TRY_EXPR | TRY_BLOCK_EXPR | 3321 | | METHOD_CALL_EXPR | FIELD_EXPR | AWAIT_EXPR | TRY_EXPR | CAST_EXPR | REF_EXPR |
3347 | | CAST_EXPR | REF_EXPR | PREFIX_EXPR | RANGE_EXPR | BIN_EXPR | LITERAL | MACRO_CALL | 3322 | | PREFIX_EXPR | RANGE_EXPR | BIN_EXPR | LITERAL | MACRO_CALL | BOX_EXPR => true, |
3348 | | BOX_EXPR => true, | ||
3349 | _ => false, | 3323 | _ => false, |
3350 | } | 3324 | } |
3351 | } | 3325 | } |
@@ -3373,7 +3347,6 @@ impl AstNode for Expr { | |||
3373 | FIELD_EXPR => Expr::FieldExpr(FieldExpr { syntax }), | 3347 | FIELD_EXPR => Expr::FieldExpr(FieldExpr { syntax }), |
3374 | AWAIT_EXPR => Expr::AwaitExpr(AwaitExpr { syntax }), | 3348 | AWAIT_EXPR => Expr::AwaitExpr(AwaitExpr { syntax }), |
3375 | TRY_EXPR => Expr::TryExpr(TryExpr { syntax }), | 3349 | TRY_EXPR => Expr::TryExpr(TryExpr { syntax }), |
3376 | TRY_BLOCK_EXPR => Expr::TryBlockExpr(TryBlockExpr { syntax }), | ||
3377 | CAST_EXPR => Expr::CastExpr(CastExpr { syntax }), | 3350 | CAST_EXPR => Expr::CastExpr(CastExpr { syntax }), |
3378 | REF_EXPR => Expr::RefExpr(RefExpr { syntax }), | 3351 | REF_EXPR => Expr::RefExpr(RefExpr { syntax }), |
3379 | PREFIX_EXPR => Expr::PrefixExpr(PrefixExpr { syntax }), | 3352 | PREFIX_EXPR => Expr::PrefixExpr(PrefixExpr { syntax }), |
@@ -3410,7 +3383,6 @@ impl AstNode for Expr { | |||
3410 | Expr::FieldExpr(it) => &it.syntax, | 3383 | Expr::FieldExpr(it) => &it.syntax, |
3411 | Expr::AwaitExpr(it) => &it.syntax, | 3384 | Expr::AwaitExpr(it) => &it.syntax, |
3412 | Expr::TryExpr(it) => &it.syntax, | 3385 | Expr::TryExpr(it) => &it.syntax, |
3413 | Expr::TryBlockExpr(it) => &it.syntax, | ||
3414 | Expr::CastExpr(it) => &it.syntax, | 3386 | Expr::CastExpr(it) => &it.syntax, |
3415 | Expr::RefExpr(it) => &it.syntax, | 3387 | Expr::RefExpr(it) => &it.syntax, |
3416 | Expr::PrefixExpr(it) => &it.syntax, | 3388 | Expr::PrefixExpr(it) => &it.syntax, |
@@ -3891,11 +3863,6 @@ impl std::fmt::Display for LoopExpr { | |||
3891 | std::fmt::Display::fmt(self.syntax(), f) | 3863 | std::fmt::Display::fmt(self.syntax(), f) |
3892 | } | 3864 | } |
3893 | } | 3865 | } |
3894 | impl std::fmt::Display for TryBlockExpr { | ||
3895 | fn fmt(&self, f: &mut std::fmt::Formatter) -> std::fmt::Result { | ||
3896 | std::fmt::Display::fmt(self.syntax(), f) | ||
3897 | } | ||
3898 | } | ||
3899 | impl std::fmt::Display for ForExpr { | 3866 | impl std::fmt::Display for ForExpr { |
3900 | fn fmt(&self, f: &mut std::fmt::Formatter) -> std::fmt::Result { | 3867 | fn fmt(&self, f: &mut std::fmt::Formatter) -> std::fmt::Result { |
3901 | std::fmt::Display::fmt(self.syntax(), f) | 3868 | std::fmt::Display::fmt(self.syntax(), f) |