From fd72ed340d8608d9b74cf05700243e1f56df0f1e Mon Sep 17 00:00:00 2001
From: Fayez Abu Alia <fayez.abu-alia@student.uni-tuebingen.de>
Date: Thu, 17 Jan 2019 11:26:09 +0100
Subject: [PATCH] Test Erzeugung Type-Variablen fuer Klassen

---
 src/test/java/bytecode/FieldTphMMethTest.java | 53 +++++++++++++++++++
 .../bytecode/javFiles/FieldTphMMeth.jav       | 24 +++++++++
 2 files changed, 77 insertions(+)
 create mode 100644 src/test/java/bytecode/FieldTphMMethTest.java
 create mode 100644 src/test/resources/bytecode/javFiles/FieldTphMMeth.jav

diff --git a/src/test/java/bytecode/FieldTphMMethTest.java b/src/test/java/bytecode/FieldTphMMethTest.java
new file mode 100644
index 00000000..58a9647a
--- /dev/null
+++ b/src/test/java/bytecode/FieldTphMMethTest.java
@@ -0,0 +1,53 @@
+package bytecode;
+
+import static org.junit.Assert.*;
+
+import java.io.File;
+import java.lang.reflect.Field;
+import java.lang.reflect.Method;
+import java.net.URL;
+import java.net.URLClassLoader;
+
+import org.junit.BeforeClass;
+import org.junit.Test;
+
+import de.dhbwstuttgart.core.JavaTXCompiler;
+
+public class FieldTphMMethTest {
+
+	private static String path;
+	private static File fileToTest;
+	private static JavaTXCompiler compiler;
+	private static ClassLoader loader;
+	private static Class<?> classToTest;
+	private static String pathToClassFile;
+	private static Object instanceOfClass;
+	private static Object instanceOfClass2;
+	
+	@BeforeClass
+	public static void setUpBeforeClass() throws Exception {
+		path = System.getProperty("user.dir")+"/src/test/resources/bytecode/javFiles/FieldTphMMeth.jav";
+		fileToTest = new File(path);
+		compiler = new JavaTXCompiler(fileToTest);
+		compiler.generateBytecode(System.getProperty("user.dir")+"/src/test/resources/testBytecode/generatedBC/");
+		pathToClassFile = System.getProperty("user.dir")+"/src/test/resources/testBytecode/generatedBC/";
+		loader = new URLClassLoader(new URL[] {new URL("file://"+pathToClassFile)});
+		classToTest = loader.loadClass("FieldTphMMeth");
+	}
+
+	@Test
+	public void test() throws Exception {
+		instanceOfClass = classToTest.getConstructor(Object.class).newInstance("C",42,true);
+		instanceOfClass2 = classToTest.getConstructor(Object.class).newInstance("C",42,false);
+		Field a = classToTest.getDeclaredField("a");
+		a.setAccessible(true);
+		
+		Method m = classToTest.getDeclaredMethod("m", Object.class);
+		Object result = m.invoke(instanceOfClass, 42);
+		
+		assertEquals(42,result);
+		assertEquals("C", a.get(instanceOfClass));
+		assertEquals(42, a.get(instanceOfClass2));
+	}
+
+}
diff --git a/src/test/resources/bytecode/javFiles/FieldTphMMeth.jav b/src/test/resources/bytecode/javFiles/FieldTphMMeth.jav
new file mode 100644
index 00000000..abc10a46
--- /dev/null
+++ b/src/test/resources/bytecode/javFiles/FieldTphMMeth.jav
@@ -0,0 +1,24 @@
+public class FieldTphMMeth {
+	a;
+	public FieldTphConsMeth(c,d,e) {
+		a = m(c,d,e);
+	}
+	
+	m(b,d,e) {
+		if(e) {
+			return b;
+		} else{
+			m2(d);
+		}
+		
+	}
+	
+	m2(b) {
+		a = m3(b);
+	}
+	
+	m3(b){
+		return b;
+	}
+	
+}
\ No newline at end of file