Fix #289

resources/bytecode/javFiles/TypeCast.jav

@@ -0,0 +1,11 @@
+import java.lang.Object;
+import java.lang.Integer;
+import java.util.List;
+import java.util.ArrayList;
+
+public class TypeCast {
+    public void main() {
+        Object a = new ArrayList<Integer>();
+        ArrayList b = (ArrayList) a;
+    }
+}

src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java

@@ -102,7 +102,8 @@ public class TYPEStmt implements StatementVisitor {
 
     @Override
     public void visit(CastExpr castExpr) {
-        throw new NotImplementedException();
+        castExpr.expr.accept(this);
+        constraintsSet.addUndConstraint(new Pair(castExpr.getType(), castExpr.expr.getType(), PairOperator.SMALLERDOT));
     }
 
     @Override

src/test/java/TestComplete.java

@@ -867,6 +867,13 @@ public class TestComplete {
         assertEquals(clazzPublic.getDeclaredField("fPrivate").getModifiers(), Modifier.PRIVATE);
     }
 
+    @Test
+    public void testTypeCast() throws Exception {
+        var classFiles = generateClassFiles(new ByteArrayClassLoader(), "TypeCast.jav");
+        var clazz = classFiles.get("TypeCast");
+        var instance = clazz.getDeclaredConstructor().newInstance();
+    }
+
     @Test
     public void testBug122() throws Exception {
         var classFiles = generateClassFiles(new ByteArrayClassLoader(), "Bug122.jav");