Merge branch 'unify-test' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test

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

@@ -33,6 +33,7 @@ import de.dhbwstuttgart.typeinference.unify.model.PlaceholderType;
 import de.dhbwstuttgart.typeinference.unify.model.UnifyPair;
 import de.dhbwstuttgart.typeinference.unify.model.UnifyType;
 import de.dhbwstuttgart.typeinference.unify.TypeUnifyTask;
+import de.dhbwstuttgart.typeinference.unify.UnifyResultModel;
 
 import java.io.File;
 import java.io.FileOutputStream;
@@ -43,6 +44,8 @@ import java.util.function.Function;
 import java.util.stream.Collectors;
 import java.util.stream.Stream;
 
+import org.antlr.v4.parse.ANTLRParser.throwsSpec_return;
+
 public class JavaTXCompiler {
 
     final CompilationEnvironment environment;
@@ -268,6 +271,10 @@ public class JavaTXCompiler {
 	}
 	*/
     
+    public UnifyResultModel typeInferenceAsync() throws ClassNotFoundException {
+    	return new UnifyResultModel();
+    }
+    
     
     public List<ResultSet> typeInference() throws ClassNotFoundException {
         List<ClassOrInterface> allClasses = new ArrayList<>();//environment.getAllAvailableClasses();

src/main/java/de/dhbwstuttgart/typeinference/unify/UnifyResultEvent.java

@@ -0,0 +1,18 @@
+package de.dhbwstuttgart.typeinference.unify;
+
+import java.util.List;
+
+import de.dhbwstuttgart.typeinference.result.ResultSet;
+
+public class UnifyResultEvent {
+	
+	private List<ResultSet> newTypeResult;
+
+	public UnifyResultEvent(List<ResultSet> newTypeResult) {
+		this.newTypeResult = newTypeResult;
+	}
+
+	public List<ResultSet> getNewTypeResult() {
+		return newTypeResult;
+	}
+}

src/main/java/de/dhbwstuttgart/typeinference/unify/UnifyResultListener.java

@@ -0,0 +1,7 @@
+package de.dhbwstuttgart.typeinference.unify;
+
+public interface UnifyResultListener {
+
+	void onNewTypeResultFound(UnifyResultEvent evt);
+
+}

src/main/java/de/dhbwstuttgart/typeinference/unify/UnifyResultModel.java

@@ -0,0 +1,27 @@
+package de.dhbwstuttgart.typeinference.unify;
+
+import java.util.ArrayList;
+import java.util.List;
+
+import de.dhbwstuttgart.typeinference.result.ResultSet;
+
+public class UnifyResultModel {
+	
+	private List<UnifyResultListener> listeners = new ArrayList<>();
+	
+	public void addUnifyResultListener(UnifyResultListener listenerToAdd) {
+		listeners.add(listenerToAdd);
+	}
+
+	public void removeUnifyResultListener(UnifyResultListener listenerToRemove) {
+		listeners.remove(listenerToRemove);
+	}
+	
+	public void notify(ResultSet newResult) {
+		UnifyResultEvent evt = new UnifyResultEvent(newResult);
+		
+		for (UnifyResultListener listener : listeners) {
+			listener.onNewTypeResultFound(evt);
+		}
+	}
+}