Compare commits

...
4 Commits
Author SHA1 Message Date
dholle 32ddb1132f Fix #412 by handling default correctly
Build and Test with Maven / Build-and-test-with-Maven (push) Successful in 1m21s
SonarQube Scan / SonarQube Trigger (pull_request) Successful in 2m33s
2026-11-11 15:13:56 +01:00
dholle 174c999543 Merge pull request 'Fix #414 by implementing the other number formats' (#429) from fix-414 into master
SonarQube Scan / SonarQube Trigger (push) Successful in 2m37s
Reviewed-on: #429
2026-11-11 13:42:55 +00:00
dholle 4b576da19d Fix #414 by implementing the other number formats
Build and Test with Maven / Build-and-test-with-Maven (push) Successful in 1m26s
SonarQube Scan / SonarQube Trigger (pull_request) Successful in 2m35s
2026-11-11 14:38:19 +01:00
dholle 942b8ca488 Merge pull request 'Fix #417 in Codegen and by changing constraint generation' (#428) from fix-417 into master
SonarQube Scan / SonarQube Trigger (push) Successful in 2m33s
Reviewed-on: #428
2026-11-11 13:11:03 +00:00
5 changed files with 51 additions and 7 deletions

No files matched your search

+12
View File
@@ -0,0 +1,12 @@
import java.lang.Integer;
public class Bug412 {
public m(Integer i) {
var r = 0;
switch (i) {
case 1: r = 10; break;
default: r = 20;
}
return r;
}
}
+4
View File
@@ -5,4 +5,8 @@ public class Literal {
public m2() { return 'C'; }
public m3() { return 10L; }
public m4() { return 10.5F; }
public m5() { return 10.5D; }
public m6() { return 0xFF; }
public m7() { return 0b101010; }
public m8() { return 010; }
}
@@ -405,14 +405,16 @@ public class StatementGenerator {
private SwitchBlock convert(Java17Parser.SwitchBlockStatementGroupContext stmt) {
List<SwitchLabel> labels = new ArrayList<>();
stmt.switchLabel().forEach((label) -> {
var isDefault = false;
for (var label : stmt.switchLabel()) {
if (label instanceof SwitchLabelDefaultContext) isDefault = true;
labels.add(convert(label));
});
}
List<Statement> block = new ArrayList<>();
stmt.blockStatement().stream().forEach((blockStmt) -> {
block.addAll(convert(blockStmt));
});
return new SwitchBlock(labels, new Block(block, stmt.blockStatement(0).getStart()), false, stmt.getStart());
return new SwitchBlock(labels, new Block(block, stmt.blockStatement(0).getStart()), isDefault,false, stmt.getStart());
}
private SwitchLabel convert(SwitchLabelContext switchLabel) {
@@ -1033,10 +1035,22 @@ public class StatementGenerator {
private Expression convert(Java17Parser.LiteralContext literal) {
switch (literal) {
case IntLiteralContext intliteral:
var text = intliteral.getText();
var radix = 10;
if (text.startsWith("0x") || text.startsWith("0X")) {
radix = 16;
text = text.substring(2);
} else if (text.startsWith("0b") || text.startsWith("0B")) {
radix = 2;
text = text.substring(2);
} else if (text.startsWith("0") && text.length() > 1) {
radix = 8;
text = text.substring(1);
}
Number value;
if (intliteral.getText().endsWith("l") || intliteral.getText().endsWith("L"))
value = Long.parseLong(intliteral.getText().substring(0, intliteral.getText().length() - 1));
else value = Integer.parseInt(intliteral.getText());
if (text.endsWith("l") || text.endsWith("L"))
value = Long.parseLong(text.substring(0, text.length() - 1), radix);
else value = Integer.parseInt(text, radix);
return new Literal(TypePlaceholder.fresh(literal.getStart()), value, intliteral.getStart());
case FltLiteralContext floatliteral:
if (floatliteral.getText().endsWith("f") || floatliteral.getText().endsWith("F"))
@@ -476,7 +476,7 @@ public class StatementToTargetExpression implements ASTVisitor {
.map(this::extractAllPatterns)
.flatMap(List::stream).toList();
case FormalParameter param -> List.of(new TypeVariants(param.getType(), converter.findAllVariants(param.getType())));
default -> List.of();
case null, default -> List.of();
};
}
+14
View File
@@ -1230,6 +1230,10 @@ public class TestComplete {
assertEquals('C', clazz.getDeclaredMethod("m2").invoke(instance));
assertEquals(10L, clazz.getDeclaredMethod("m3").invoke(instance));
assertEquals(10.5F, clazz.getDeclaredMethod("m4").invoke(instance));
assertEquals(10.5D, clazz.getDeclaredMethod("m5").invoke(instance));
assertEquals(0xFF, clazz.getDeclaredMethod("m6").invoke(instance));
assertEquals(0b101010, clazz.getDeclaredMethod("m7").invoke(instance));
assertEquals(010, clazz.getDeclaredMethod("m8").invoke(instance));
}
@Test
@@ -1755,4 +1759,14 @@ public class TestComplete {
assertEquals("one", name.invoke(instance, 1));
assertEquals("many", name.invoke(instance, 2));
}
@Test
public void testBug412() throws Exception {
var classFiles = generateClassFiles(createClassLoader(), "Bug412.jav");
var clazz = classFiles.get("Bug412");
var instance = clazz.getDeclaredConstructor().newInstance();
var m = clazz.getDeclaredMethod("m", Integer.class);
assertEquals(10, m.invoke(instance, 1));
assertEquals(20, m.invoke(instance, 2));
}
}