mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-29 04:45:04 +07:00
- now it can be suppressed properly - show info level if the branches have different comments GitOrigin-RevId: 5f1c5c0a67165b949b894d2d81c53800ad3b4b22
16 lines
355 B
Java
16 lines
355 B
Java
// "Delete redundant 'switch' branch" "INFORMATION"
|
|
class C {
|
|
void foo(int n) {
|
|
switch (n) {
|
|
case 2:
|
|
bar("B");
|
|
break;
|
|
default:
|
|
/*comment 2*/
|
|
bar("A");
|
|
break;/*comment 1*/
|
|
/*comment 3*/
|
|
}
|
|
}
|
|
void bar(String s){}
|
|
} |