feat: add Constraint for Default-Case

2024-09-20 18:02:53 +02:00 · 2024-09-20 18:02:13 +02:00
1 changed files with 1 additions and 1 deletions
--- a/src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
+++ b/src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
@@ -861,7 +861,7 @@ public class TYPEStmt implements StatementVisitor {
            for (var child : switchStmt.getBlocks()) {
                for (var label : child.getLabels()) {
                    if (label.getPattern() == null) {
-                        System.out.println("DefaultCase");
+                        constraintsSet.addUndConstraint(new Pair(new RefType(new JavaClassName("java.lang.Object"), new NullToken()), switchStmt.getSwitch().getType(), PairOperator.SMALLERDOT, loc(label.getOffset())));
                    }
                    if (label.getPattern() instanceof RecordPattern) {
                        RecordPattern recordPattern = (RecordPattern) label.getPattern();
Author	SHA1	Message	Date
Ruben	9ede47c2d6	feat: add Constraint for Default-Case Some checks failed Build and Test with Maven / Build-and-test-with-Maven (push) Failing after 5m58s Details	2024-09-20 18:02:53 +02:00
Ruben	406f98e55d	feat: add Constraint for Default-Case	2024-09-20 18:02:13 +02:00