return the source files

src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java

@@ -104,6 +104,10 @@ public class JavaTXCompiler {
         //INSTANCE = this;
     }
 
+	public Map<File, SourceFile> getSourceFiles () {
+		return sourceFiles;
+	}
+
     public ConstraintSet<Pair> getConstraints() throws ClassNotFoundException, IOException {
         List<ClassOrInterface> allClasses = new ArrayList<>();//environment.getAllAvailableClasses();
         List<ClassOrInterface> importedClasses = new ArrayList<>();