added support for non-threaded logging to WriterActiveObject

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

@@ -2592,11 +2592,19 @@ public class TypeUnifyTask extends RecursiveTask<Set<Set<UnifyPair>>>  {
 	
 	void writeLog(String str) {
 		if (log && finalresult) {
-			logFile.write("Thread no.:" + thNo + "\n"
-					+ "noOfThread:" + noOfThread + "\n"
-					+ "parallel:" + parallel + "\n"
-					+ str+"\n\n"
-			);
+			if(parallel){
+				logFile.write("Thread no.:" + thNo + "\n"
+						+ "noOfThread:" + noOfThread + "\n"
+						+ "parallel:" + parallel + "\n"
+						+ str+"\n\n"
+				);
+			}else{
+				logFile.writeNonThreaded("Thread no.:" + thNo + "\n"
+						+ "noOfThread:" + noOfThread + "\n"
+						+ "parallel:" + parallel + "\n"
+						+ str+"\n\n"
+				);
+			}
 		}
 	}
 	

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

@@ -29,8 +29,17 @@ public class WriterActiveObject {
                 writer.write(message);
                 writer.flush();
             } catch (IOException e) {
-                System.out.println(e.getMessage());
+                throw new RuntimeException(e);
             }
         });
     }
+
+    public void writeNonThreaded(String message){
+        try {
+            writer.write(message);
+            writer.flush();
+        } catch (IOException e) {
+            throw new RuntimeException(e);
+        }
+    }
 }