modified: resources/AllgemeinTest/Box.jav

modified:   resources/bytecode/javFiles/Matrix.jav
	modified:   src/test/java/AllgemeinTest.java

resources/AllgemeinTest/Box.jav

@@ -9,4 +9,12 @@ public class Box {
 	set(x) {
 	  a = x;
 	}
+	
+	get() {
+		return a;
+	}
+	
+	m(b) {
+		//b.set(b.get());
+	}
 }

resources/bytecode/javFiles/Matrix.jav

@@ -23,9 +23,7 @@ public class Matrix    extends Vector<Vector<Integer>> {
 
     public mul(m) {
         var ret = new Matrix();
-        var i = 0;
+        for(v1 : this) {
-        while(i < size()) {
-            var v1 = this.elementAt(i);
             var v2 = new Vector<Integer>();
             var j = 0;
             while(j < v1.size()) {
@@ -39,7 +37,6 @@ public class Matrix    extends Vector<Vector<Integer>> {
                 v2.addElement(erg);
                 j++; }
             ret.addElement(v2);
-            i++; 
          }
         return ret;
     }

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

@@ -103,34 +103,31 @@ 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 if (recordPattern.getType() instanceof RefType refType){
+            } else {
-                var allClasses = blockInformation.getAvailableClasses();
+                FormalParameter param = (FormalParameter) allClass.getConstructors().getFirst().getParameterList().getParameterAt(counter);
-                var typename = refType.getName().getClassName();
+                FieldAssumption assumption = new FieldAssumption(param.getName(), allClass, param.getType(), blockInformation.getCurrentTypeScope());
 
-                for (ClassOrInterface allClass : allClasses) {
+                var fieldCons = new Pair(el.getType(), assumption.getType(resolver), PairOperator.SMALLERDOT);
-                    var className = allClass.getClassName().getClassName();
+                var recvCons = new Pair(refType, assumption.getReceiverType(resolver), PairOperator.EQUALSDOT);
-                    if(className.equals(typename)){
+                constraintSet.addUndConstraint(fieldCons);
-                        FormalParameter param = (FormalParameter) allClass.getConstructors().getFirst().getParameterList().getParameterAt(counter);
+                constraintSet.addUndConstraint(recvCons);
-                        FieldAssumption assumption = new FieldAssumption(param.getName(), allClass, param.getType(), blockInformation.getCurrentTypeScope());
 
-                        var fieldCons = new Pair(el.getType(), assumption.getType(resolver), PairOperator.EQUALSDOT);
+                for (var i = 0; i < refType.getParaList().size(); i++) {
-                        var recvCons = new Pair(refType, assumption.getReceiverType(resolver), PairOperator.EQUALSDOT);
+                    constraintSet.addUndConstraint(new Pair(refType.getParaList().get(i),
-                        constraintSet.addUndConstraint(fieldCons);
+                            ((RefType)assumption.getReceiverType(resolver)).getParaList().get(i),
-                        constraintSet.addUndConstraint(recvCons);
+                            PairOperator.EQUALSDOT));
-
-                        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++;
         }

src/test/java/AllgemeinTest.java

@@ -55,7 +55,7 @@ public class AllgemeinTest {
 		//String className = "VectorNotObject";
 		//String className = "WildcardCaptureConversionTest";
 		//String className = "CaptureConversion";
-		//String className = "Pair";
+		String className = "Pair2";
 		//String className = "UseWildcardPair";
 		//String className = "Assign";
 		//String className = "StreamTest";
@@ -64,8 +64,8 @@ public class AllgemeinTest {
 		//String className = "Cycle";
 		//String className = "TripleTest";
 		//String className = "WildcardList";
-		String className = "List";
+		//String className = "List";
-		//String className = "Box";
+		//String className = "BoxUse";
 		//String className = "GenBox";
 		//String className = "InnerInf";
 		//String className = "Foo";