i22006/Compilerbau2024AbsolutNichtHaskell
i22006/Compilerbau2024AbsolutNichtHaskell
2
0
Fork 0
mirror of https://github.com/JonathanFleischmann/CompilerULTIMATE.git synced 2024-12-28 17:28:03 +00:00
Code Issues Packages Projects Releases Wiki Activity

fixed and added some e2e tests

Browse Source
This commit is contained in:
JonathanFleischmann 2024-06-28 20:54:42 +02:00
parent 576fceb89b
commit 88061275b8
6 changed files with 237 additions and 112 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/test/java/testResources/CodeGen/Features/ByteCode_Continue.java
View File

@ -47,13 +47,13 @@ public class ByteCode_Continue {
@Test @Test
public void testMethodNames() { public void testMethodNames() {
Assertions.assertEquals("continueMethod", util.getMethodNames().get(0)); Assertions.assertEquals("continueLoop", util.getMethodNames().get(0));
} }
@Test @Test
public void testMethodReturnType() { public void testMethodReturnType() {
try { try {
Assertions.assertEquals("void", util.getMethodReturnType("continueMethod", new Class<?>[]{boolean.class})); Assertions.assertEquals("void", util.getMethodReturnType("continueLoop", new Class<?>[]{boolean.class}));
} catch (Exception e) { } catch (Exception e) {
Assertions.fail(); Assertions.fail();
} }
@ -62,8 +62,8 @@ public class ByteCode_Continue {
@Test @Test
public void testMethodParameters() { public void testMethodParameters() {
try { try {
Assertions.assertEquals(1, util.getMethodParameterCount("continueMethod", new Class<?>[]{boolean.class})); Assertions.assertEquals(1, util.getMethodParameterCount("continueLoop", new Class<?>[]{boolean.class}));
Assertions.assertEquals("boolean", util.getMethodParameterTypes("continueMethod", new Class<?>[]{boolean.class}).get(0)); Assertions.assertEquals("boolean", util.getMethodParameterTypes("continueLoop", new Class<?>[]{boolean.class}).get(0));
} catch (Exception e) { } catch (Exception e) {
Assertions.fail(); Assertions.fail();
} }
@ -113,7 +113,7 @@ public class ByteCode_Continue {
try { try {
int fieldRepetitions = (int) util.getFieldValue("repetitions"); int fieldRepetitions = (int) util.getFieldValue("repetitions");
Assertions.assertEquals(0, fieldRepetitions); Assertions.assertEquals(0, fieldRepetitions);
util.invokeMethod("continueMethod", new Class<?>[]{boolean.class}, new Object[]{false}); util.invokeMethod("continueLoop", new Class<?>[]{boolean.class}, new Object[]{false});
Assertions.assertEquals(5, util.getFieldValue("repetitions")); Assertions.assertEquals(5, util.getFieldValue("repetitions"));
} catch (Exception e) { } catch (Exception e) {
Assertions.fail(); Assertions.fail();
@ -125,7 +125,7 @@ public class ByteCode_Continue {
try { try {
int fieldRepetitions = (int) util.getFieldValue("repetitions"); int fieldRepetitions = (int) util.getFieldValue("repetitions");
Assertions.assertEquals(0, fieldRepetitions); Assertions.assertEquals(0, fieldRepetitions);
util.invokeMethod("continueMethod", new Class<?>[]{boolean.class}, new Object[]{true}); util.invokeMethod("continueLoop", new Class<?>[]{boolean.class}, new Object[]{true});
Assertions.assertEquals(4, util.getFieldValue("repetitions")); Assertions.assertEquals(4, util.getFieldValue("repetitions"));
} catch (Exception e) { } catch (Exception e) {
Assertions.fail(); Assertions.fail();

159
src/test/java/testResources/CodeGen/Features/ByteCode_Main.java
View File

@ -2,71 +2,110 @@ package testResources.CodeGen.Features;
import de.maishai.typedast.Type; import de.maishai.typedast.Type;
import de.maishai.typedast.typedclass.*; import de.maishai.typedast.typedclass.*;
import org.junit.jupiter.api.Assertions;
import org.junit.jupiter.api.BeforeEach;
import org.junit.jupiter.api.Test;
import testResources.CodeGen.BytecodeTestUtil;
import java.util.List; import java.util.List;
public class ByteCode_Main { public class ByteCode_Main {
public static TypedProgram get() {
return new TypedProgram(
List.of(
new TypedClass(
"Main",
List.of(),
List.of(),
List.of(
new TypedConstructor(
"Main",
List.of(),
new TypedBlock(
List.of(),
List.of(),
Type.VOID
),
Type.VOID,
List.of()
)
),
new TypedMain(
Type.VOID,
new TypedMethod(
"main",
Type.VOID,
List.of(),
List.of(),
new TypedBlock(
List.of(
new TypedLocalVariable(
"i",
Type.INT
)
),
List.of(
new TypedAssignment(
new TypedIntLiteral(
0,
Type.INT
),
new TypedFieldVarAccess(
false,
null,
"i",
Type.INT
),
Type.INT
)
),
Type.VOID
)
) //TODO: fix this test
), private BytecodeTestUtil util;
null,
null, @BeforeEach
Type.REFERENCE("Main") public void setUp() {
) try {
), util = new BytecodeTestUtil(List.of("src/test/testFiles/CodeGenFeatures/Main.java"), "Main");
null } catch (Exception e) {
); throw new RuntimeException(e);
}
} }
@Test
public void testConstructorCount() {
Assertions.assertEquals(1, util.getConstructorCount());
// default constructor
}
@Test
public void testDefaultConstructor() {
Assertions.assertEquals("Main", util.getConstructorNames().get(0));
Assertions.assertEquals(0, util.getConstructorParameterCount(0));
try {
Assertions.assertEquals("Main", util.invokeConstructor(new Class<?>[]{}, null).getClass().getName());
} catch (Exception e) {
throw new RuntimeException(e);
}
}
@Test
public void testMethodCount() {
Assertions.assertEquals(1, util.getMethodCount());
}
@Test
public void testMethodNames() {
Assertions.assertEquals("main", util.getMethodNames().get(0));
}
@Test
public void testMethodReturnType() {
try {
Assertions.assertEquals("void", util.getMethodReturnType("main", new Class<?>[]{String[].class}));
} catch (Exception e) {
Assertions.fail();
}
}
@Test
public void testMethodParameters() {
try {
Assertions.assertEquals(1,
util.getMethodParameterCount("main", new Class<?>[]{String[].class}));
Assertions.assertEquals("String[]",
util.getMethodParameterTypes("main", new Class<?>[]{String[].class}).get(0));
} catch (Exception e) {
Assertions.fail();
}
}
@Test
public void testFieldCount() {
Assertions.assertEquals(1, util.getFieldCount());
}
@Test
public void testFieldNames() {
Assertions.assertEquals("i", util.getFieldNames().get(0));
}
@Test
public void testFieldTypes() {
Assertions.assertEquals("int", util.getFieldTypes().get(0));
}
@Test
public void testFieldValues() {
try {
Assertions.assertEquals(0, util.getFieldValue("i"));
} catch (Exception e) {
Assertions.fail();
}
}
@Test
public void testInvokeDefaultConstructor() {
try {
Object instance = util.invokeConstructor(new Class<?>[]{}, null);
Assertions.assertEquals(instance.getClass().getName(), "Main");
Assertions.assertEquals(0, util.getFieldValueOfObject(instance, "i"));
} catch (Exception e) {
Assertions.fail();
}
}
//TODO: Add test for invoking main method, how to?
} }

166
src/test/java/testResources/CodeGen/Features/ByteCode_Method.java
View File

@ -2,49 +2,135 @@ package testResources.CodeGen.Features;
import de.maishai.typedast.Type; import de.maishai.typedast.Type;
import de.maishai.typedast.typedclass.*; import de.maishai.typedast.typedclass.*;
import org.junit.jupiter.api.Assertions;
import org.junit.jupiter.api.BeforeEach;
import org.junit.jupiter.api.Test;
import testResources.CodeGen.BytecodeTestUtil;
import java.util.List; import java.util.List;
public class ByteCode_Method { public class ByteCode_Method {
public static TypedProgram get() {
return new TypedProgram( private BytecodeTestUtil util;
List.of(
new TypedClass( @BeforeEach
"Method", public void setUp() {
List.of(), try {
List.of( util = new BytecodeTestUtil(List.of("src/test/testFiles/CodeGenFeatures/Method.java"), "Method");
new TypedMethod( } catch (Exception e) {
"method", throw new RuntimeException(e);
Type.VOID, }
List.of(), }
List.of(),
new TypedBlock( @Test
List.of(), public void testConstructorCount() {
List.of(), Assertions.assertEquals(1, util.getConstructorCount());
Type.VOID // default constructor
) }
)
), @Test
List.of( public void testConstructor() {
new TypedConstructor( Assertions.assertEquals("Method", util.getConstructorNames().get(0));
"Method", Assertions.assertEquals(0, util.getConstructorParameterCount(0));
List.of(), try {
new TypedBlock( Assertions.assertEquals("Method", util.invokeConstructor(new Class<?>[]{}, null).getClass().getName());
List.of(), } catch (Exception e) {
List.of(), throw new RuntimeException(e);
Type.VOID }
), }
Type.VOID,
List.of() @Test
) public void testMethodCount() {
), Assertions.assertEquals(2, util.getMethodCount());
null, }
null,
null, @Test
Type.REFERENCE("Method") public void testMethodNames() {
) Assertions.assertTrue(util.getMethodNames().contains("method"));
), Assertions.assertTrue(util.getMethodNames().contains("method2"));
null }
);
@Test
public void testMethodReturnType() {
try {
Assertions.assertEquals("void", util.getMethodReturnType("method", new Class<?>[]{}));
Assertions.assertEquals("void", util.getMethodReturnType("method2", new Class<?>[]{int.class, int.class}));
} catch (Exception e) {
Assertions.fail();
}
}
@Test
public void testMethodParameters() {
try {
Assertions.assertEquals(0, util.getMethodParameterCount("method", new Class<?>[]{}));
Assertions.assertEquals(2, util.getMethodParameterCount("method2", new Class<?>[]{int.class, int.class}));
Assertions.assertEquals("int", util.getMethodParameterTypes("method2", new Class<?>[]{int.class, int.class}).get(0));
Assertions.assertEquals("int", util.getMethodParameterTypes("method2", new Class<?>[]{int.class, int.class}).get(1));
} catch (Exception e) {
Assertions.fail();
}
}
@Test
public void testFieldCount() {
Assertions.assertEquals(1, util.getFieldCount());
}
@Test
public void testFieldNames() {
Assertions.assertEquals("x", util.getFieldNames().get(0));
}
@Test
public void testFieldTypes() {
try {
Assertions.assertEquals("int", util.getFieldTypes().get(0));
} catch (Exception e) {
throw new RuntimeException(e);
}
}
@Test
public void testFieldValues() {
try {
Assertions.assertEquals(0, util.getFieldValue("x"));
} catch (Exception e) {
throw new RuntimeException(e);
}
}
@Test
public void testInvokeConstructor() {
try {
Object instance = util.invokeConstructor(new Class<?>[]{}, null);
Assertions.assertEquals(instance.getClass().getName(), "Method");
Assertions.assertEquals(0, util.getFieldValue("x"));
} catch (Exception e) {
Assertions.fail();
}
}
@Test
public void testInvokeMethod() {
try {
Assertions.assertEquals(0, util.getFieldValue("x"));
util.invokeMethod("method", new Class<?>[]{}, new Object[]{});
Assertions.assertEquals(10, util.getFieldValue("x"));
} catch (Exception e) {
Assertions.fail();
}
}
@Test
public void testInvokeMethod2() {
try {
Assertions.assertEquals(0, util.getFieldValue("x"));
util.invokeMethod("method2", new Class<?>[]{int.class, int.class}, new Object[]{5, 5});
Assertions.assertEquals(5, util.getFieldValue("x"));
} catch (Exception e) {
Assertions.fail();
}
} }
} }

4
src/test/testFiles/CodeGenFeatures/Continue.java
View File

@ -4,11 +4,11 @@ public class Continue {
this.repetitions = 0; this.repetitions = 0;
for (int i = 0; i < 5; i+=1) { for (int i = 0; i < 5; i+=1) {
// the second condition has to be in brackets // the second condition has to be in brackets
if (shouldContinue && i == 3) { if (shouldContinue && (i == 3)) {
continue; continue;
} }
// repetition is a field variable, it should be retrieved with this // repetition is a field variable, it should be retrieved with this
repetitions += 1; this.repetitions += 1;
} }
} }
} }

4
src/test/testFiles/CodeGenFeatures/Main.java
View File

@ -1,10 +1,6 @@
public class Main { public class Main {
int i; int i;
public Main() {
this.i = 0;
}
public static void main(String[] args) { public static void main(String[] args) {
this.i = 10; this.i = 10;
} }

4
src/test/testFiles/CodeGenFeatures/Method.java
View File

@ -8,4 +8,8 @@ public class Method {
public void method() { public void method() {
this.x = 10; this.x = 10;
} }
public void method2(int a, int b) {
this.x = a;
}
} }