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

@@ -103,31 +103,34 @@ public class TYPE {
 
         var subPatternList = recordPattern.getSubPattern();
         var resolver = new GenericsResolverSameName();
-        var refType = (RefType) recordPattern.getType();
-
-        var allClasses = blockInformation.getAvailableClasses();
-        var typename = refType.getName().getClassName();
-
-        ClassOrInterface allClass = allClasses.stream().filter(c -> c.getClassName().getClassName().equals(typename)).findFirst().orElseThrow();
 
         int counter = 0;
         for (Pattern el : subPatternList){
             if (el instanceof RecordPattern){
                 constraintSet.addAll(addRecursiveParameterConstraints((RecordPattern) el, blockInformation));
-            } else {
-                FormalParameter param = (FormalParameter) allClass.getConstructors().getFirst().getParameterList().getParameterAt(counter);
-                FieldAssumption assumption = new FieldAssumption(param.getName(), allClass, param.getType(), blockInformation.getCurrentTypeScope());
+            } else if (recordPattern.getType() instanceof RefType refType){
+                var allClasses = blockInformation.getAvailableClasses();
+                var typename = refType.getName().getClassName();
 
-                var fieldCons = new Pair(el.getType(), assumption.getType(resolver), PairOperator.SMALLERDOT);
-                var recvCons = new Pair(refType, assumption.getReceiverType(resolver), PairOperator.EQUALSDOT);
-                constraintSet.addUndConstraint(fieldCons);
-                constraintSet.addUndConstraint(recvCons);
+                for (ClassOrInterface allClass : allClasses) {
+                    var className = allClass.getClassName().getClassName();
+                    if(className.equals(typename)){
+                        FormalParameter param = (FormalParameter) allClass.getConstructors().getFirst().getParameterList().getParameterAt(counter);
+                        FieldAssumption assumption = new FieldAssumption(param.getName(), allClass, param.getType(), blockInformation.getCurrentTypeScope());
 
-                for (var i = 0; i < refType.getParaList().size(); i++) {
-                    constraintSet.addUndConstraint(new Pair(refType.getParaList().get(i),
-                            ((RefType)assumption.getReceiverType(resolver)).getParaList().get(i),
-                            PairOperator.EQUALSDOT));
+                        var fieldCons = new Pair(el.getType(), assumption.getType(resolver), PairOperator.EQUALSDOT);
+                        var recvCons = new Pair(refType, assumption.getReceiverType(resolver), PairOperator.EQUALSDOT);
+                        constraintSet.addUndConstraint(fieldCons);
+                        constraintSet.addUndConstraint(recvCons);
+
+                        for (var i = 0; i < refType.getParaList().size(); i++) {
+                            constraintSet.addUndConstraint(new Pair(refType.getParaList().get(i),
+                                    ((RefType)assumption.getReceiverType(resolver)).getParaList().get(i),
+                                    PairOperator.EQUALSDOT));
+                        }
+                    }
                 }
+
             }
             counter++;
         }