Java to Kotlin converter: better switch conversion in case of code block in case

This commit is contained in:
Valentin Kipyatkov
2014-07-07 20:02:32 +04:00
parent 3ccd8839ff
commit 8d290ee127
4 changed files with 66 additions and 6 deletions
@@ -216,18 +216,33 @@ open class StatementVisitor(public val converter: Converter) : JavaElementVisito
fun isSwitchBreak(statement: PsiStatement) = statement is PsiBreakStatement && statement.getLabelIdentifier() == null
fun convertStatements(statements: List<PsiStatement>): List<Statement>
= statements.filterNot(::isSwitchBreak).map { converter.convertStatement(it) }
fun convertStatements(statements: List<PsiStatement>): List<Statement> {
val statementsToKeep = statements.filterNot(::isSwitchBreak)
if (statementsToKeep.size == 1) {
val block = statementsToKeep.single() as? PsiBlockStatement
if (block != null) {
return listOf(converter.convertBlock(block.getCodeBlock(), true, { !isSwitchBreak(it) }))
}
}
return statementsToKeep.map { converter.convertStatement(it) }
}
fun convertCaseStatements(caseIndex: Int): List<Statement> {
val case = cases[caseIndex]
return if (case.statements.any { it is PsiBreakStatement || it is PsiContinueStatement || it is PsiReturnStatement || it is PsiThrowStatement } ||
caseIndex == cases.lastIndex) {
convertStatements(case.statements)
val fallsThrough = if (caseIndex == cases.lastIndex) {
false
}
else { // otherwise we fall through into the next case
else {
val block = case.statements.singleOrNull2() as? PsiBlockStatement
val statements = if (block != null) block.getCodeBlock().getStatements().toList() else case.statements
!statements.any { it is PsiBreakStatement || it is PsiContinueStatement || it is PsiReturnStatement || it is PsiThrowStatement }
}
return if (fallsThrough) { // we fall through into the next case
convertStatements(case.statements) + convertCaseStatements(caseIndex + 1)
}
else {
convertStatements(case.statements)
}
}
fun convertCaseStatementsToBody(caseIndex: Int): Statement {
@@ -399,4 +414,7 @@ open class StatementVisitor(public val converter: Converter) : JavaElementVisito
else
converter.convertStatement(statement)
}
private fun <T: Any> List<T>.singleOrNull2(): T?
= if (size == 1) this[0] else null
}
@@ -2596,6 +2596,11 @@ public class JavaToKotlinConverterTestGenerated extends AbstractJavaToKotlinConv
JetTestUtils.assertAllTestsPresentByMetadata(this.getClass(), "org.jetbrains.jet.generators.tests.TestsPackage", new File("j2k/tests/testData/ast/switch"), Pattern.compile("^(.+)\\.java$"), true);
}
@TestMetadata("caseWithBlock.java")
public void testCaseWithBlock() throws Exception {
doTest("j2k/tests/testData/ast/switch/caseWithBlock.java");
}
@TestMetadata("comlicatedFallDown.java")
public void testComlicatedFallDown() throws Exception {
doTest("j2k/tests/testData/ast/switch/comlicatedFallDown.java");
@@ -0,0 +1,20 @@
//method
void foo() {
switch(a) {
case 1: {
int x = 1;
System.out.println(x);
break;
}
case 2: {
int x = 2;
System.out.println(x);
}
break;
case 3: {
System.out.println(3);
}
}
}
@@ -0,0 +1,17 @@
fun foo() {
when (a) {
1 -> {
val x = 1
System.out.println(x)
}
2 -> {
val x = 2
System.out.println(x)
}
3 -> {
System.out.println(3)
}
}
}