1 //! Renaming functionality.
3 //! This is mostly front-end for [`ide_db::rename`], but it also includes the
4 //! tests. This module also implements a couple of magic tricks, like renaming
5 //! `self` and to `self` (to switch between associated function and method).
6 use hir::{AsAssocItem, InFile, Semantics};
9 defs::{Definition, NameClass, NameRefClass},
10 rename::{bail, format_err, source_edit_from_references, IdentifierKind},
13 use stdx::{always, never};
14 use syntax::{ast, AstNode, SyntaxNode};
16 use text_edit::TextEdit;
18 use crate::{FilePosition, RangeInfo, SourceChange};
20 pub use ide_db::rename::RenameError;
22 type RenameResult<T> = Result<T, RenameError>;
24 /// Prepares a rename. The sole job of this function is to return the TextRange of the thing that is
25 /// being targeted for a rename.
26 pub(crate) fn prepare_rename(
28 position: FilePosition,
29 ) -> RenameResult<RangeInfo<()>> {
30 let sema = Semantics::new(db);
31 let source_file = sema.parse(position.file_id);
32 let syntax = source_file.syntax();
34 let (name_like, def) = find_definition(&sema, syntax, position)?;
35 if def.range_for_rename(&sema).is_none() {
36 bail!("No references found at position")
39 let frange = sema.original_range(name_like.syntax());
40 always!(frange.range.contains_inclusive(position.offset) && frange.file_id == position.file_id);
41 Ok(RangeInfo::new(frange.range, ()))
46 // Renames the item below the cursor and all of its references
49 // | Editor | Shortcut
51 // | VS Code | kbd:[F2]
54 // image::https://user-images.githubusercontent.com/48062697/113065582-055aae80-91b1-11eb-8ade-2b58e6d81883.gif[]
57 position: FilePosition,
59 ) -> RenameResult<SourceChange> {
60 let sema = Semantics::new(db);
61 let source_file = sema.parse(position.file_id);
62 let syntax = source_file.syntax();
64 let (_name_like, def) = find_definition(&sema, syntax, position)?;
66 if let Definition::Local(local) = def {
67 if let Some(self_param) = local.as_self_param(sema.db) {
68 cov_mark::hit!(rename_self_to_param);
69 return rename_self_to_param(&sema, local, self_param, new_name);
71 if new_name == "self" {
72 cov_mark::hit!(rename_to_self);
73 return rename_to_self(&sema, local);
77 def.rename(&sema, new_name)
80 /// Called by the client when it is about to rename a file.
81 pub(crate) fn will_rename_file(
85 ) -> Option<SourceChange> {
86 let sema = Semantics::new(db);
87 let module = sema.to_module_def(file_id)?;
88 let def = Definition::ModuleDef(module.into());
89 let mut change = def.rename(&sema, new_name_stem).ok()?;
90 change.file_system_edits.clear();
95 sema: &Semantics<RootDatabase>,
97 position: FilePosition,
98 ) -> RenameResult<(ast::NameLike, Definition)> {
100 .find_node_at_offset_with_descend::<ast::NameLike>(syntax, position.offset)
101 .ok_or_else(|| format_err!("No references found at position"))?;
103 let def = match &name_like {
104 // renaming aliases would rename the item being aliased as the HIR doesn't track aliases yet
105 ast::NameLike::Name(name)
106 if name.syntax().parent().map_or(false, |it| ast::Rename::can_cast(it.kind())) =>
108 bail!("Renaming aliases is currently unsupported")
110 ast::NameLike::Name(name) => NameClass::classify(sema, &name).map(|class| match class {
111 NameClass::Definition(it) | NameClass::ConstReference(it) => it,
112 NameClass::PatFieldShorthand { local_def, field_ref: _ } => {
113 Definition::Local(local_def)
116 ast::NameLike::NameRef(name_ref) => {
117 if let Some(def) = NameRefClass::classify(sema, &name_ref).map(|class| match class {
118 NameRefClass::Definition(def) => def,
119 NameRefClass::FieldShorthand { local_ref, field_ref: _ } => {
120 Definition::Local(local_ref)
123 // if the name differs from the definitions name it has to be an alias
124 if def.name(sema.db).map_or(false, |it| it.to_string() != name_ref.text()) {
125 bail!("Renaming aliases is currently unsupported");
132 ast::NameLike::Lifetime(lifetime) => NameRefClass::classify_lifetime(sema, &lifetime)
133 .and_then(|class| match class {
134 NameRefClass::Definition(def) => Some(def),
138 NameClass::classify_lifetime(sema, &lifetime).and_then(|it| match it {
139 NameClass::Definition(it) => Some(it),
144 .ok_or_else(|| format_err!("No references found at position"))?;
149 fn rename_to_self(sema: &Semantics<RootDatabase>, local: hir::Local) -> RenameResult<SourceChange> {
150 if never!(local.is_self(sema.db)) {
151 bail!("rename_to_self invoked on self");
154 let fn_def = match local.parent(sema.db) {
155 hir::DefWithBody::Function(func) => func,
156 _ => bail!("Cannot rename local to self outside of function"),
159 if let Some(_) = fn_def.self_param(sema.db) {
160 bail!("Method already has a self parameter");
163 let params = fn_def.assoc_fn_params(sema.db);
164 let first_param = params
166 .ok_or_else(|| format_err!("Cannot rename local to self unless it is a parameter"))?;
167 if first_param.as_local(sema.db) != local {
168 bail!("Only the first parameter may be renamed to self");
171 let assoc_item = fn_def
172 .as_assoc_item(sema.db)
173 .ok_or_else(|| format_err!("Cannot rename parameter to self for free function"))?;
174 let impl_ = match assoc_item.container(sema.db) {
175 hir::AssocItemContainer::Trait(_) => {
176 bail!("Cannot rename parameter to self for trait functions");
178 hir::AssocItemContainer::Impl(impl_) => impl_,
180 let first_param_ty = first_param.ty();
181 let impl_ty = impl_.self_ty(sema.db);
182 let (ty, self_param) = if impl_ty.remove_ref().is_some() {
183 // if the impl is a ref to the type we can just match the `&T` with self directly
184 (first_param_ty.clone(), "self")
186 first_param_ty.remove_ref().map_or((first_param_ty.clone(), "self"), |ty| {
187 (ty, if first_param_ty.is_mutable_reference() { "&mut self" } else { "&self" })
192 bail!("Parameter type differs from impl block type");
195 let InFile { file_id, value: param_source } =
196 first_param.source(sema.db).ok_or_else(|| format_err!("No source for parameter found"))?;
198 let def = Definition::Local(local);
199 let usages = def.usages(sema).all();
200 let mut source_change = SourceChange::default();
201 source_change.extend(usages.iter().map(|(&file_id, references)| {
202 (file_id, source_edit_from_references(references, def, "self"))
204 source_change.insert_source_edit(
205 file_id.original_file(sema.db),
206 TextEdit::replace(param_source.syntax().text_range(), String::from(self_param)),
211 fn rename_self_to_param(
212 sema: &Semantics<RootDatabase>,
214 self_param: hir::SelfParam,
216 ) -> RenameResult<SourceChange> {
217 if new_name == "self" {
218 // Let's do nothing rather than complain.
219 cov_mark::hit!(rename_self_to_self);
220 return Ok(SourceChange::default());
223 let identifier_kind = IdentifierKind::classify(new_name)?;
225 let InFile { file_id, value: self_param } =
226 self_param.source(sema.db).ok_or_else(|| format_err!("cannot find function source"))?;
228 let def = Definition::Local(local);
229 let usages = def.usages(sema).all();
230 let edit = text_edit_from_self_param(&self_param, new_name)
231 .ok_or_else(|| format_err!("No target type found"))?;
232 if usages.len() > 1 && identifier_kind == IdentifierKind::Underscore {
233 bail!("Cannot rename reference to `_` as it is being referenced multiple times");
235 let mut source_change = SourceChange::default();
236 source_change.insert_source_edit(file_id.original_file(sema.db), edit);
237 source_change.extend(usages.iter().map(|(&file_id, references)| {
238 (file_id, source_edit_from_references(references, def, new_name))
243 fn text_edit_from_self_param(self_param: &ast::SelfParam, new_name: &str) -> Option<TextEdit> {
244 fn target_type_name(impl_def: &ast::Impl) -> Option<String> {
245 if let Some(ast::Type::PathType(p)) = impl_def.self_ty() {
246 return Some(p.path()?.segment()?.name_ref()?.text().to_string());
251 let impl_def = self_param.syntax().ancestors().find_map(ast::Impl::cast)?;
252 let type_name = target_type_name(&impl_def)?;
254 let mut replacement_text = String::from(new_name);
255 replacement_text.push_str(": ");
256 match (self_param.amp_token(), self_param.mut_token()) {
257 (Some(_), None) => replacement_text.push('&'),
258 (Some(_), Some(_)) => replacement_text.push_str("&mut "),
261 replacement_text.push_str(type_name.as_str());
263 Some(TextEdit::replace(self_param.syntax().text_range(), replacement_text))
268 use expect_test::{expect, Expect};
269 use stdx::trim_indent;
270 use test_utils::assert_eq_text;
271 use text_edit::TextEdit;
273 use crate::{fixture, FileId};
275 use super::{RangeInfo, RenameError};
278 fn check(new_name: &str, ra_fixture_before: &str, ra_fixture_after: &str) {
279 let ra_fixture_after = &trim_indent(ra_fixture_after);
280 let (analysis, position) = fixture::position(ra_fixture_before);
281 let rename_result = analysis
282 .rename(position, new_name)
283 .unwrap_or_else(|err| panic!("Rename to '{}' was cancelled: {}", new_name, err));
284 match rename_result {
285 Ok(source_change) => {
286 let mut text_edit_builder = TextEdit::builder();
287 let mut file_id: Option<FileId> = None;
288 for edit in source_change.source_file_edits {
289 file_id = Some(edit.0);
290 for indel in edit.1.into_iter() {
291 text_edit_builder.replace(indel.delete, indel.insert);
294 if let Some(file_id) = file_id {
295 let mut result = analysis.file_text(file_id).unwrap().to_string();
296 text_edit_builder.finish().apply(&mut result);
297 assert_eq_text!(ra_fixture_after, &*result);
301 if ra_fixture_after.starts_with("error:") {
302 let error_message = ra_fixture_after
305 .skip("error:".len())
306 .collect::<String>();
307 assert_eq!(error_message.trim(), err.to_string());
310 panic!("Rename to '{}' failed unexpectedly: {}", new_name, err)
316 fn check_expect(new_name: &str, ra_fixture: &str, expect: Expect) {
317 let (analysis, position) = fixture::position(ra_fixture);
319 analysis.rename(position, new_name).unwrap().expect("Expect returned a RenameError");
320 expect.assert_debug_eq(&source_change)
323 fn check_prepare(ra_fixture: &str, expect: Expect) {
324 let (analysis, position) = fixture::position(ra_fixture);
325 let result = analysis
326 .prepare_rename(position)
327 .unwrap_or_else(|err| panic!("PrepareRename was cancelled: {}", err));
329 Ok(RangeInfo { range, info: () }) => {
330 let source = analysis.file_text(position.file_id).unwrap();
331 expect.assert_eq(&format!("{:?}: {}", range, &source[range]))
333 Err(RenameError(err)) => expect.assert_eq(&err),
338 fn test_prepare_rename_namelikes() {
339 check_prepare(r"fn name$0<'lifetime>() {}", expect![[r#"3..7: name"#]]);
340 check_prepare(r"fn name<'lifetime$0>() {}", expect![[r#"8..17: 'lifetime"#]]);
341 check_prepare(r"fn name<'lifetime>() { name$0(); }", expect![[r#"23..27: name"#]]);
345 fn test_prepare_rename_in_macro() {
353 expect![[r#"83..86: Foo"#]],
358 fn test_prepare_rename_keyword() {
359 check_prepare(r"struct$0 Foo;", expect![[r#"No references found at position"#]]);
363 fn test_prepare_rename_tuple_field() {
373 expect![[r#"No references found at position"#]],
378 fn test_prepare_rename_builtin() {
385 expect![[r#"No references found at position"#]],
390 fn test_prepare_rename_self() {
396 fn foo(self) -> Self$0 {
401 expect![[r#"No references found at position"#]],
406 fn test_rename_to_underscore() {
407 check("_", r#"fn main() { let i$0 = 1; }"#, r#"fn main() { let _ = 1; }"#);
411 fn test_rename_to_raw_identifier() {
412 check("r#fn", r#"fn main() { let i$0 = 1; }"#, r#"fn main() { let r#fn = 1; }"#);
416 fn test_rename_to_invalid_identifier1() {
419 r#"fn main() { let i$0 = 1; }"#,
420 "error: Invalid name `invalid!`: not an identifier",
425 fn test_rename_to_invalid_identifier2() {
428 r#"fn main() { let i$0 = 1; }"#,
429 "error: Invalid name `multiple tokens`: not an identifier",
434 fn test_rename_to_invalid_identifier3() {
437 r#"fn main() { let i$0 = 1; }"#,
438 "error: Invalid name `let`: not an identifier",
443 fn test_rename_to_invalid_identifier_lifetime() {
444 cov_mark::check!(rename_not_an_ident_ref);
447 r#"fn main() { let i$0 = 1; }"#,
448 "error: Invalid name `'foo`: not an identifier",
453 fn test_rename_to_invalid_identifier_lifetime2() {
454 cov_mark::check!(rename_not_a_lifetime_ident_ref);
457 r#"fn main<'a>(_: &'a$0 ()) {}"#,
458 "error: Invalid name `foo`: not a lifetime identifier",
463 fn test_rename_to_underscore_invalid() {
464 cov_mark::check!(rename_underscore_multiple);
467 r#"fn main(foo$0: ()) {foo;}"#,
468 "error: Cannot rename reference to `_` as it is being referenced multiple times",
473 fn test_rename_mod_invalid() {
477 "error: Invalid name `'foo`: cannot rename module to 'foo",
482 fn test_rename_for_local() {
511 fn test_rename_unresolved_reference() {
514 r#"fn main() { let _ = unresolved_ref$0; }"#,
515 "error: No references found at position",
520 fn test_rename_for_macro_args() {
524 macro_rules! foo {($i:ident) => {$i} }
531 macro_rules! foo {($i:ident) => {$i} }
541 fn test_rename_for_macro_args_rev() {
545 macro_rules! foo {($i:ident) => {$i} }
552 macro_rules! foo {($i:ident) => {$i} }
562 fn test_rename_for_macro_define_fn() {
566 macro_rules! define_fn {($id:ident) => { fn $id{} }}
573 macro_rules! define_fn {($id:ident) => { fn $id{} }}
583 fn test_rename_for_macro_define_fn_rev() {
587 macro_rules! define_fn {($id:ident) => { fn $id{} }}
594 macro_rules! define_fn {($id:ident) => { fn $id{} }}
604 fn test_rename_for_param_inside() {
605 check("j", r#"fn foo(i : u32) -> u32 { i$0 }"#, r#"fn foo(j : u32) -> u32 { j }"#);
609 fn test_rename_refs_for_fn_param() {
610 check("j", r#"fn foo(i$0 : u32) -> u32 { i }"#, r#"fn foo(j : u32) -> u32 { j }"#);
614 fn test_rename_for_mut_param() {
615 check("j", r#"fn foo(mut i$0 : u32) -> u32 { i }"#, r#"fn foo(mut j : u32) -> u32 { j }"#);
619 fn test_rename_struct_field() {
623 struct Foo { field$0: i32 }
626 fn new(i: i32) -> Self {
632 struct Foo { foo: i32 }
635 fn new(i: i32) -> Self {
644 fn test_rename_field_in_field_shorthand() {
645 cov_mark::check!(test_rename_field_in_field_shorthand);
649 struct Foo { foo$0: i32 }
652 fn new(foo: i32) -> Self {
658 struct Foo { field: i32 }
661 fn new(foo: i32) -> Self {
670 fn test_rename_local_in_field_shorthand() {
671 cov_mark::check!(test_rename_local_in_field_shorthand);
675 struct Foo { i: i32 }
678 fn new(i$0: i32) -> Self {
684 struct Foo { i: i32 }
687 fn new(j: i32) -> Self {
696 fn test_field_shorthand_correct_struct() {
700 struct Foo { i$0: i32 }
701 struct Bar { i: i32 }
704 fn new(i: i32) -> Self {
710 struct Foo { j: i32 }
711 struct Bar { i: i32 }
714 fn new(i: i32) -> Self {
723 fn test_shadow_local_for_struct_shorthand() {
727 struct Foo { i: i32 }
729 fn baz(i$0: i32) -> Self {
738 struct Foo { i: i32 }
740 fn baz(j: i32) -> Self {
741 let x = Foo { i: j };
752 fn test_rename_mod() {
784 dst: AnchoredPathBuf {
799 fn test_rename_mod_in_use_tree() {
809 pub struct FooContent;
812 use crate::foo$0::FooContent;
843 dst: AnchoredPathBuf {
858 fn test_rename_mod_in_dir() {
886 dst: AnchoredPathBuf {
890 path: "../foo2/mod.rs",
901 fn test_rename_unusually_nested_mod() {
906 mod outer { mod fo$0o; }
930 dst: AnchoredPathBuf {
945 fn test_module_rename_in_path() {
950 pub use self::bar as qux;
954 fn main() { foo::bar(); }
958 pub use self::bar as qux;
962 fn main() { baz::bar(); }
968 fn test_rename_mod_filename_and_path() {
1008 file_system_edits: [
1013 dst: AnchoredPathBuf {
1028 fn test_enum_variant_from_module_1() {
1029 cov_mark::check!(rename_non_local);
1034 pub enum Foo { Bar$0 }
1037 fn func(f: foo::Foo) {
1045 pub enum Foo { Baz }
1048 fn func(f: foo::Foo) {
1058 fn test_enum_variant_from_module_2() {
1063 pub struct Foo { pub bar$0: uint }
1066 fn foo(f: foo::Foo) {
1072 pub struct Foo { pub baz: uint }
1075 fn foo(f: foo::Foo) {
1083 fn test_parameter_to_self() {
1084 cov_mark::check!(rename_to_self);
1088 struct Foo { i: i32 }
1091 fn f(foo$0: &mut Foo) -> i32 {
1097 struct Foo { i: i32 }
1100 fn f(&mut self) -> i32 {
1109 struct Foo { i: i32 }
1112 fn f(foo$0: Foo) -> i32 {
1118 struct Foo { i: i32 }
1130 fn test_parameter_to_self_error_no_impl() {
1134 struct Foo { i: i32 }
1136 fn f(foo$0: &mut Foo) -> i32 {
1140 "error: Cannot rename parameter to self for free function",
1145 struct Foo { i: i32 }
1149 fn f(foo$0: &mut Foo) -> i32 {
1154 "error: Parameter type differs from impl block type",
1159 fn test_parameter_to_self_error_not_first() {
1163 struct Foo { i: i32 }
1165 fn f(x: (), foo$0: &mut Foo) -> i32 {
1170 "error: Only the first parameter may be renamed to self",
1175 fn test_parameter_to_self_impl_ref() {
1179 struct Foo { i: i32 }
1181 fn f(foo$0: &Foo) -> i32 {
1187 struct Foo { i: i32 }
1198 fn test_self_to_parameter() {
1202 struct Foo { i: i32 }
1205 fn f(&mut $0self) -> i32 {
1211 struct Foo { i: i32 }
1214 fn f(foo: &mut Foo) -> i32 {
1223 fn test_owned_self_to_parameter() {
1224 cov_mark::check!(rename_self_to_param);
1228 struct Foo { i: i32 }
1231 fn f($0self) -> i32 {
1237 struct Foo { i: i32 }
1240 fn f(foo: Foo) -> i32 {
1249 fn test_self_in_path_to_parameter() {
1253 struct Foo { i: i32 }
1256 fn f(&self) -> i32 {
1263 struct Foo { i: i32 }
1266 fn f(foo: &Foo) -> i32 {
1276 fn test_rename_field_put_init_shorthand() {
1277 cov_mark::check!(test_rename_field_put_init_shorthand);
1281 struct Foo { i$0: i32 }
1283 fn foo(bar: i32) -> Foo {
1288 struct Foo { bar: i32 }
1290 fn foo(bar: i32) -> Foo {
1298 fn test_rename_local_put_init_shorthand() {
1299 cov_mark::check!(test_rename_local_put_init_shorthand);
1303 struct Foo { i: i32 }
1305 fn foo(bar$0: i32) -> Foo {
1310 struct Foo { i: i32 }
1312 fn foo(i: i32) -> Foo {
1320 fn test_struct_field_pat_into_shorthand() {
1321 cov_mark::check!(test_rename_field_put_init_shorthand_pat);
1325 struct Foo { i$0: i32 }
1328 let Foo { i: ref baz @ qux } = foo;
1333 struct Foo { baz: i32 }
1336 let Foo { baz: ref baz @ qux } = foo;
1344 struct Foo { i$0: i32 }
1347 let Foo { i: ref baz } = foo;
1352 struct Foo { baz: i32 }
1355 let Foo { ref baz } = foo;
1363 fn test_struct_local_pat_into_shorthand() {
1364 cov_mark::check!(test_rename_local_put_init_shorthand_pat);
1368 struct Foo { field: i32 }
1371 let Foo { field: qux$0 } = foo;
1376 struct Foo { field: i32 }
1379 let Foo { field } = foo;
1387 struct Foo { field: i32 }
1390 let Foo { field: x @ qux$0 } = foo;
1395 struct Foo { field: i32 }
1398 let Foo { field: x @ field } = foo;
1406 fn test_rename_binding_in_destructure_pat() {
1407 let expected_fixture = r#"
1413 let Foo { i: bar } = foo;
1425 let Foo { i: b } = foo;
1439 let Foo { i } = foo;
1448 fn test_rename_binding_in_destructure_param_pat() {
1456 fn foo(Foo { i }: Foo) -> i32 {
1465 fn foo(Foo { i: bar }: Foo) -> i32 {
1473 fn test_struct_field_complex_ident_pat() {
1474 cov_mark::check!(rename_record_pat_field_name_split);
1478 struct Foo { i$0: i32 }
1481 let Foo { ref i } = foo;
1485 struct Foo { baz: i32 }
1488 let Foo { baz: ref i } = foo;
1495 fn test_rename_lifetimes() {
1496 cov_mark::check!(rename_lifetime);
1503 impl<'a> Foo<'a> for &'a () {
1504 fn foo() -> &'a$0 () {
1513 impl<'yeeee> Foo<'yeeee> for &'yeeee () {
1514 fn foo() -> &'yeeee () {
1523 fn test_rename_bind_pat() {
1528 enum CustomOption<T> {
1533 let test_variable = CustomOption::Some(22);
1535 match test_variable {
1536 CustomOption::Some(foo$0) if foo == 11 => {}
1542 enum CustomOption<T> {
1547 let test_variable = CustomOption::Some(22);
1549 match test_variable {
1550 CustomOption::Some(new_name) if new_name == 11 => {}
1558 fn test_rename_label() {
1562 fn foo<'a>() -> &'a () {
1571 fn foo<'a>() -> &'a () {
1583 fn test_self_to_self() {
1584 cov_mark::check!(rename_self_to_self);
1603 fn test_rename_field_in_pat_in_macro_doesnt_shorthand() {
1604 // ideally we would be able to make this emit a short hand, but I doubt this is easily possible
1610 let $pattern = loop {};
1617 foo!(Foo { bar: baz });
1623 let $pattern = loop {};
1630 foo!(Foo { baz: baz });
1637 fn test_rename_tuple_field() {
1648 "error: No identifier available to rename",
1653 fn test_rename_builtin() {
1661 "error: Cannot rename builtin type",
1666 fn test_rename_self() {
1673 fn foo(self) -> Self$0 {
1678 "error: Cannot rename `Self`",
1683 fn test_rename_ignores_self_ty() {
1689 impl Foo where Self: {}
1694 impl Fo0 where Self: {}
1700 fn test_rename_fails_on_aliases() {
1707 "error: Renaming aliases is currently unsupported",
1716 "error: Renaming aliases is currently unsupported",
1721 fn test_rename_trait_method() {
1801 fn test_rename_trait_method_prefix_of_second() {
1820 fn test_rename_trait_const() {
1829 fn f() { <()>::FOO; }";
1840 fn f() { <()>::BAR; }"#,
1853 fn f() { <()>::BAR; }"#,
1866 fn f() { <()>::BAR$0; }"#,
1872 fn defs_from_macros_arent_renamed() {
1876 macro_rules! m { () => { fn f() {} } }
1880 "error: No identifier available to rename",
1885 fn attributed_item() {
1889 //- proc_macros: identity
1891 #[proc_macros::identity]
1898 #[proc_macros::identity]
1907 fn in_macro_multi_mapping() {
1912 macro_rules! match_ast2 {
1916 $( if $node { $res } else )*
1931 macro_rules! match_ast2 {
1935 $( if $node { $res } else )*