From 7dfe54699960f4db67db9928bd7cdb218ee812ef Mon Sep 17 00:00:00 2001
From: Till Schnell <till.schnell@gmail.com>
Date: Tue, 6 Apr 2021 18:24:05 +0200
Subject: [PATCH] return the source files

---
 src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java b/src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
index 416644aa..af0d747e 100644
--- a/src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
+++ b/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<>();