Fehler in TypeStmt beheben

src/de/dhbwstuttgart/core/CompilationEnvironment.java

@@ -0,0 +1,9 @@
+package de.dhbwstuttgart.core;
+
+/**
+ * Stellt die Java-Environment dar
+ * Speichert alle Typen, Klassen aus den benutzen SourceFiles und Librarys
+ */
+public class CompilationEnvironment {
+
+}

src/de/dhbwstuttgart/core/JavaTXCompiler.java

@@ -22,7 +22,11 @@ import java.util.stream.Collectors;
 public class JavaTXCompiler {
 
     protected List<SourceFile> sourceFiles = new ArrayList<>();
+/*
+    public JavaTXCompiler(List<File> sourceFiles){
 
+    }
+*/
     public List<ResultSet> typeInference(){
         List<ClassOrInterface> allClasses = new ArrayList<>();
         for(SourceFile sf : sourceFiles){

src/de/dhbwstuttgart/typeinference/result/ResultSet.java

@@ -50,6 +50,7 @@ class Resolver implements ResultSetVisitor {
             resultPair.accept(this);
         }
         if(resolved==null){//TPH kommt nicht im Result vor:
+            resolved = tph;
         }
 
         return new ResolvedType(resolved, additionalTPHs);//resolved;

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

@@ -260,6 +260,7 @@ public class TYPEStmt implements StatementVisitor{
     protected Set<Pair> generateParameterConstraints(MethodCall foMethod, MethodAssumption assumption, TypeInferenceBlockInformation info) {
         Set<Pair> ret = new HashSet<>();
         for(int i = 0;i<foMethod.arglist.getArguments().size();i++){
+            foMethod.arglist.getArguments().get(i).accept(this);
             ret.add(ConstraintsFactory.createPair(foMethod.arglist.getArguments().get(i).getType(),
                     assumption.getArgTypes().get(i), PairOperator.SMALLERDOT, info));
         }

test/typeinference/JavaTXCompilerTest.java

@@ -47,7 +47,6 @@ public class JavaTXCompilerTest extends JavaTXCompiler {
                 }
             }
         }
-
     }
 
     static String readFile(String path, Charset encoding)