i22022/NichtHaskell
2
2
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Compare commits

base: i22022:06dc01f629d30accfce7b2b2d5207705e9581f13
Branches Tags
i22022:master
..
compare: i22022:5592a6cfe1a4d7d5cb101570ae3ad13fc412d35d
Branches Tags
i22022:master

No commits in common. "06dc01f629d30accfce7b2b2d5207705e9581f13" and "5592a6cfe1a4d7d5cb101570ae3ad13fc412d35d" have entirely different histories.
06dc01f629 ... 5592a6cfe1

25 changed files with 16 additions and 475 deletions
Show Stats Expand all files Collapse all files

12
src/main/java/abstractSyntaxTree/Datatype/BoolDatatype.java
View File

@ -2,21 +2,11 @@ package abstractSyntaxTree.Datatype;
import TypeCheck.AbstractType;
import TypeCheck.TypeCheckResult;
import abstractSyntaxTree.Class.RefType;
import org.objectweb.asm.*;
import java.util.Objects;
public class BoolDatatype extends AbstractType implements IDatatype{
boolean value;
@Override
public boolean equals(Object o) {
if (this == o) return true;
if (o == null || getClass() != o.getClass()) return false;
BoolDatatype boolDatatype = (BoolDatatype) o;
return (Objects.equals(value, boolDatatype.value));
}
@Override
public TypeCheckResult typeCheck() throws Exception {
TypeCheckResult result = new TypeCheckResult();
@ -34,6 +24,4 @@ public class BoolDatatype extends AbstractType implements IDatatype{
mv.visitInsn(Opcodes.ICONST_0); // 0 for false
}
}
}

10
src/main/java/abstractSyntaxTree/Datatype/CharDatatype.java
View File

@ -4,11 +4,8 @@ import TypeCheck.AbstractType;
import TypeCheck.TypeCheckResult;
import org.objectweb.asm.MethodVisitor;
import java.util.Objects;
public class CharDatatype extends AbstractType implements IDatatype{
char value;
@Override
public TypeCheckResult typeCheck() throws Exception {
TypeCheckResult result = new TypeCheckResult();
@ -27,11 +24,4 @@ public class CharDatatype extends AbstractType implements IDatatype{
mv.visitLdcInsn((int)value);
}
@Override
public boolean equals(Object o) {
if (this == o) return true;
if (o == null || getClass() != o.getClass()) return false;
CharDatatype charDatatype = (CharDatatype) o;
return (Objects.equals(value, charDatatype.value));
}
}

10
src/main/java/abstractSyntaxTree/Datatype/IntDatatype.java
View File

@ -5,8 +5,6 @@ import TypeCheck.TypeCheckResult;
import org.objectweb.asm.MethodVisitor;
import org.objectweb.asm.Opcodes;
import java.util.Objects;
public class IntDatatype extends AbstractType implements IDatatype{
int value;
@Override
@ -33,12 +31,4 @@ public class IntDatatype extends AbstractType implements IDatatype{
else
mv.visitLdcInsn(value);
}
@Override
public boolean equals(Object o) {
if (this == o) return true;
if (o == null || getClass() != o.getClass()) return false;
IntDatatype intDatatype = (IntDatatype) o;
return (Objects.equals(value, intDatatype.value));
}
}

12
src/main/java/abstractSyntaxTree/Expression/BinaryExpression.java
View File

@ -3,7 +3,6 @@ package abstractSyntaxTree.Expression;
import TypeCheck.TypeCheckResult;
import TypeCheck.TypeCheckHelper;
import TypeCheck.AbstractType;
import abstractSyntaxTree.Datatype.IntDatatype;
import abstractSyntaxTree.Parameter.ParameterList;
import org.objectweb.asm.*;
@ -176,15 +175,4 @@ public class BinaryExpression extends AbstractType implements IExpression{
mv.visitLabel(expressionEnd);
}
@Override
public boolean equals(Object o) {
if (this == o) return true;
if (o == null || getClass() != o.getClass()) return false;
BinaryExpression binaryExpression = (BinaryExpression) o;
return (Objects.equals(operator, binaryExpression.operator)
&& Objects.equals(left, binaryExpression.left)
&& Objects.equals(right, binaryExpression.right)
);
}
}

11
src/main/java/abstractSyntaxTree/Expression/InstVarExpression.java
View File

@ -9,7 +9,6 @@ import org.objectweb.asm.Opcodes;
import java.util.HashMap;
import java.util.LinkedHashMap;
import java.util.Objects;
public class InstVarExpression implements IExpression{
@ -64,14 +63,4 @@ public class InstVarExpression implements IExpression{
// Load the variable onto the stack
mv.visitFieldInsn(Opcodes.GETFIELD, classRef.name, fieldName, fieldDescriptor);
}
@Override
public boolean equals(Object o) {
if (this == o) return true;
if (o == null || getClass() != o.getClass()) return false;
InstVarExpression instVarExpression = (InstVarExpression) o;
return (Objects.equals(classRef, instVarExpression.classRef)
&& Objects.equals(fieldName, instVarExpression.fieldName)
);
}
}

11
src/main/java/abstractSyntaxTree/Expression/IntConstantExpression.java
View File

@ -8,8 +8,6 @@ import org.objectweb.asm.MethodVisitor;
import java.util.HashMap;
import java.util.LinkedHashMap;
import java.util.Objects;
public class IntConstantExpression extends AbstractType implements IExpression{
public int value;
@ -26,13 +24,4 @@ public class IntConstantExpression extends AbstractType implements IExpression{
public void codeGen(MethodVisitor mv, LinkedHashMap<String, String> localVars, HashMap<String, HashMap<String, String>> typeContext) throws Exception {
}
@Override
public boolean equals(Object o) {
if (this == o) return true;
if (o == null || getClass() != o.getClass()) return false;
IntConstantExpression intConstantExpression = (IntConstantExpression) o;
return (Objects.equals(value, intConstantExpression.value)
);
}
}

10
src/main/java/abstractSyntaxTree/Expression/LocalVarIdentifier.java
View File

@ -10,7 +10,6 @@ import abstractSyntaxTree.Parameter.ParameterList;
import org.objectweb.asm.MethodVisitor;
import java.util.HashMap;
import java.util.Objects;
public class LocalVarIdentifier implements IExpression{
@ -72,13 +71,4 @@ public class LocalVarIdentifier implements IExpression{
break;
}
}
@Override
public boolean equals(Object o) {
if (this == o) return true;
if (o == null || getClass() != o.getClass()) return false;
LocalVarIdentifier localVarIdentifier = (LocalVarIdentifier) o;
return (Objects.equals(identifier, localVarIdentifier.identifier)
);
}
}

10
src/main/java/abstractSyntaxTree/Expression/UnaryExpression.java
View File

@ -70,14 +70,4 @@ public class UnaryExpression extends AbstractType implements IExpression{
}
}
@Override
public boolean equals(Object o) {
if (this == o) return true;
if (o == null || getClass() != o.getClass()) return false;
UnaryExpression unaryExpression = (UnaryExpression) o;
return (Objects.equals(operator, unaryExpression.operator)
&& Objects.equals(operand, unaryExpression.operand)
);
}
}

13
src/main/java/abstractSyntaxTree/Parameter/Parameter.java
View File

@ -1,10 +1,7 @@
package abstractSyntaxTree.Parameter;
import abstractSyntaxTree.Expression.UnaryExpression;
import abstractSyntaxTree.Node;
import java.util.Objects;
public class Parameter implements Node {
public String type;
public String identifier;
@ -13,14 +10,4 @@ public class Parameter implements Node {
this.type = type;
this.identifier = identifier;
}
@Override
public boolean equals(Object o) {
if (this == o) return true;
if (o == null || getClass() != o.getClass()) return false;
Parameter parameter = (Parameter) o;
return (Objects.equals(type, parameter.type)
&& Objects.equals(identifier, parameter.identifier)
);
}
}

10
src/main/java/abstractSyntaxTree/Parameter/ParameterList.java
View File

@ -3,7 +3,6 @@ package abstractSyntaxTree.Parameter;
import abstractSyntaxTree.Node;
import java.util.List;
import java.util.Objects;
public class ParameterList implements Node {
public List<Parameter> parameterList;
@ -11,13 +10,4 @@ public class ParameterList implements Node {
public ParameterList(List<Parameter> parameterList) {
this.parameterList = parameterList;
}
@Override
public boolean equals(Object o) {
if (this == o) return true;
if (o == null || getClass() != o.getClass()) return false;
ParameterList parameterListObj = (ParameterList) o;
return (Objects.equals(parameterList, parameterListObj.parameterList)
);
}
}

13
src/main/java/abstractSyntaxTree/Statement/BlockStatement.java
View File

@ -3,14 +3,12 @@ package abstractSyntaxTree.Statement;
import TypeCheck.TypeCheckResult;
import TypeCheck.AbstractType;
import abstractSyntaxTree.Class.FieldDecl;
import abstractSyntaxTree.Parameter.Parameter;
import abstractSyntaxTree.Parameter.ParameterList;
import org.objectweb.asm.*;
import java.util.HashMap;
import java.util.LinkedHashMap;
import java.util.List;
import java.util.Objects;
public class BlockStatement extends AbstractType implements IStatement {
@ -88,15 +86,4 @@ public class BlockStatement extends AbstractType implements IStatement {
statement.codeGen(mv, blockLocalVars, typeContext);
}
}
@Override
public boolean equals(Object o) {
if (this == o) return true;
if (o == null || getClass() != o.getClass()) return false;
BlockStatement blockStatement = (BlockStatement) o;
return (Objects.equals(localVars, blockStatement.localVars)
&& Objects.equals(returnType, blockStatement.returnType)
&& Objects.equals(statements, blockStatement.statements)
);
}
}

6
src/main/java/abstractSyntaxTree/Statement/EmptyStatement.java
View File

@ -8,7 +8,6 @@ import org.objectweb.asm.MethodVisitor;
import java.util.HashMap;
import java.util.LinkedHashMap;
import java.util.List;
import java.util.Objects;
public class EmptyStatement extends AbstractType implements IStatement{
@ -23,9 +22,4 @@ public class EmptyStatement extends AbstractType implements IStatement{
public void codeGen(MethodVisitor mv, LinkedHashMap<String, String> localVars, HashMap<String, HashMap<String, String>> typeContext) throws Exception {
//An empty statement does not generate any code
}
@Override
public boolean equals(Object o) {
return true;
}
}

11
src/main/java/abstractSyntaxTree/Statement/IfElseStatement.java
View File

@ -70,15 +70,4 @@ public class IfElseStatement extends AbstractType implements IStatement{
mv.visitLabel(statementEnd); //End of the if-else statement
}
@Override
public boolean equals(Object o) {
if (this == o) return true;
if (o == null || getClass() != o.getClass()) return false;
IfElseStatement ifElseStatement = (IfElseStatement) o;
return (Objects.equals(condition, ifElseStatement.condition)
&& Objects.equals(ifStatement, ifElseStatement.ifStatement)
&& Objects.equals(elseStatement, ifElseStatement.elseStatement)
);
}
}

11
src/main/java/abstractSyntaxTree/Statement/IfStatement.java
View File

@ -9,7 +9,6 @@ import org.objectweb.asm.*;
import java.util.HashMap;
import java.util.LinkedHashMap;
import java.util.List;
import java.util.Objects;
public class IfStatement extends AbstractType implements IStatement{
IExpression condition;
@ -51,16 +50,6 @@ public class IfStatement extends AbstractType implements IStatement{
mv.visitLabel(conditionFalse); // If the condition is false, the Statements in the ifBlock will not be executed
}
@Override
public boolean equals(Object o) {
if (this == o) return true;
if (o == null || getClass() != o.getClass()) return false;
IfStatement ifStatementObj = (IfStatement) o;
return (Objects.equals(condition, ifStatementObj.condition)
&& Objects.equals(ifStatement, ifStatementObj.ifStatement)
);
}
}

10
src/main/java/abstractSyntaxTree/Statement/LocalVarDecl.java
View File

@ -49,14 +49,4 @@ public class LocalVarDecl implements IStatement{
mv.visitVarInsn(Opcodes.ASTORE, index);
}
}
@Override
public boolean equals(Object o) {
if (this == o) return true;
if (o == null || getClass() != o.getClass()) return false;
LocalVarDecl localVarDecl = (LocalVarDecl) o;
return (Objects.equals(type, localVarDecl.type)
&& Objects.equals(identifier, localVarDecl.identifier)
);
}
}

10
src/main/java/abstractSyntaxTree/Statement/ReturnStatement.java
View File

@ -9,7 +9,6 @@ import org.objectweb.asm.*;
import java.util.HashMap;
import java.util.LinkedHashMap;
import java.util.List;
import java.util.Objects;
public class ReturnStatement extends AbstractType implements IStatement{
IExpression expression;
@ -54,13 +53,4 @@ public class ReturnStatement extends AbstractType implements IStatement{
mv.visitInsn(Opcodes.RETURN);
}
}
@Override
public boolean equals(Object o) {
if (this == o) return true;
if (o == null || getClass() != o.getClass()) return false;
ReturnStatement returnStatement = (ReturnStatement) o;
return (Objects.equals(expression, returnStatement.expression)
);
}
}

11
src/main/java/abstractSyntaxTree/Statement/WhileStatement.java
View File

@ -9,7 +9,6 @@ import org.objectweb.asm.*;
import java.util.HashMap;
import java.util.LinkedHashMap;
import java.util.List;
import java.util.Objects;
public class WhileStatement extends AbstractType implements IStatement {
IExpression condition;
@ -60,14 +59,4 @@ public class WhileStatement extends AbstractType implements IStatement {
mv.visitLabel(conditionFalse);
}
@Override
public boolean equals(Object o) {
if (this == o) return true;
if (o == null || getClass() != o.getClass()) return false;
WhileStatement whileStatement = (WhileStatement) o;
return (Objects.equals(condition, whileStatement.condition)
&& Objects.equals(statement, whileStatement.statement)
);
}
}

12
src/main/java/abstractSyntaxTree/StatementExpression/AssignStatementExpression.java
View File

@ -8,7 +8,6 @@ import abstractSyntaxTree.Expression.InstVarExpression;
import abstractSyntaxTree.Expression.LocalVarIdentifier;
import abstractSyntaxTree.Parameter.ParameterList;
import abstractSyntaxTree.Statement.IStatement;
import abstractSyntaxTree.Statement.WhileStatement;
import org.objectweb.asm.*;
import java.util.HashMap;
@ -113,15 +112,4 @@ public class AssignStatementExpression extends AbstractType implements IExpressi
}
*/
}
@Override
public boolean equals(Object o) {
if (this == o) return true;
if (o == null || getClass() != o.getClass()) return false;
AssignStatementExpression assignStatementExpression = (AssignStatementExpression) o;
return (Objects.equals(operator, assignStatementExpression.operator)
&& Objects.equals(left, assignStatementExpression.left)
&& Objects.equals(right, assignStatementExpression.right)
);
}
}

11
src/main/java/abstractSyntaxTree/StatementExpression/MethodCallStatementExpression.java
View File

@ -14,7 +14,6 @@ import org.objectweb.asm.Opcodes;
import java.util.HashMap;
import java.util.LinkedHashMap;
import java.util.List;
import java.util.Objects;
public class MethodCallStatementExpression extends AbstractType implements IExpression, IStatement {
String methodName;
@ -92,14 +91,4 @@ public class MethodCallStatementExpression extends AbstractType implements IExpr
mv.visitMethodInsn(Opcodes.INVOKEVIRTUAL, thisClass.name, methodName, descriptor, false);
}
}
@Override
public boolean equals(Object o) {
if (this == o) return true;
if (o == null || getClass() != o.getClass()) return false;
MethodCallStatementExpression methodCallStatementExpression = (MethodCallStatementExpression) o;
return (Objects.equals(methodName, methodCallStatementExpression.methodName)
&& Objects.equals(arguments, methodCallStatementExpression.arguments)
);
}
}

16
src/test/java/ByteCode/ByteCodeLoader.java Normal file
View File

@ -0,0 +1,16 @@
package ByteCode;
import java.security.SecureClassLoader;
public class ByteCodeLoader extends SecureClassLoader {
private final byte[] bytecode;
public ByteCodeLoader(byte[] bytecode) {
this.bytecode = bytecode;
}
@Override
protected Class<?> findClass(String name) throws ClassNotFoundException {
return defineClass(name, bytecode, 0, bytecode.length);
}
}

110
src/test/java/ByteCode/CompareByteCodeBehaviour.java
View File

@ -1,110 +0,0 @@
package ByteCode;
import java.lang.reflect.Method;
import java.util.ArrayList;
import java.lang.reflect.Constructor;
import java.lang.reflect.InvocationTargetException;
import static ByteCode.CompareByteCodeSyntax.compareMethod;
public class CompareByteCodeBehaviour {
ArrayList<Method> methodArray1;
ArrayList<Method> methodArray2;
public CompareByteCodeBehaviour(){
methodArray1 = new ArrayList<Method>();
methodArray2 = new ArrayList<Method>();
}
private void clearMethods(){
methodArray1.clear();
methodArray2.clear();
}
public boolean functionAlreadyAdded(Method method1, Method method2){
int lengthOfArray = methodArray1.size();
for (int i = 0; i < lengthOfArray; i++) {
if (method1.getName().equals(this.methodArray1.get(i).getName()) ||
method2.getName().equals(this.methodArray1.get(i).getName())) {
return true;
}
}
return false;
}
private void sortMethods(Class<?> class1, Class<?> class2) {
this.clearMethods();
Method[] methods1 = class1.getDeclaredMethods();
Method[] methods2 = class2.getDeclaredMethods();
for (Method method1 : methods1) {
for (Method method2 : methods2) {
if (compareMethod(method1, method2)) {
if (!functionAlreadyAdded(method1, method2)) {
this.methodArray1.add(method1);
this.methodArray2.add(method2);
}
break;
}
}
}
}
public void compareMethodBehaviour(Class<?> class1, Class<?> class2){
try {
this.sortMethods(class1, class2);
// Create instances
Constructor<?> constructor1 = class1.getDeclaredConstructor();
Constructor<?> constructor2 = class2.getDeclaredConstructor();
Object obj1 = constructor1.newInstance();
Object obj2 = constructor2.newInstance();
// Get methods
Method[] methods1 = new Method[this.methodArray1.size()];
methods1 = this.methodArray1.toArray(methods1);
Method[] methods2 = new Method[this.methodArray2.size()];
methods2 = this.methodArray2.toArray(methods2);
// Compare methods
for (int i = 0; i < methods1.length; i++) {
Method method1 = methods1[i];
Method method2 = methods2[i];
// Test with some sample inputs
Object[] testInputs = getTestInputs(method1.getParameterTypes());
Object result1 = method1.invoke(obj1, testInputs);
Object result2 = method2.invoke(obj2, testInputs);
/*
if (!result1.equals(result2)) {
System.out.println("Methods " + method1.getName() + " do not produce the same result");
} else {
System.out.println("Methods " + method1.getName() + " produce the same result");
}
*/
}
} catch (InstantiationException | IllegalAccessException |
NoSuchMethodException | InvocationTargetException e) {
e.printStackTrace();
}
}
private static Object[] getTestInputs(Class<?>[] parameterTypes) {
// Create test inputs based on parameter types
Object[] inputs = new Object[parameterTypes.length];
for (int i = 0; i < parameterTypes.length; i++) {
if (parameterTypes[i] == int.class) {
inputs[i] = 1; // example value
} else if (parameterTypes[i] == String.class) {
inputs[i] = "test"; // example value
}
// Add more cases as needed for different parameter types
}
return inputs;
}
}

122
src/test/java/ByteCode/CompareByteCodeSyntax.java
View File

@ -1,122 +0,0 @@
package ByteCode;
import java.lang.annotation.Annotation;
import java.lang.reflect.Field;
import java.lang.reflect.Method;
import java.util.Arrays;
public class CompareByteCodeSyntax {
public static boolean haveSameBehavior(Class<?> class1, Class<?> class2) {
if (!compareClassSignatures(class1, class2)) {
return false;
}
if (!compareMethods(class1, class2)) {
return false;
}
if (!compareFields(class1, class2)) {
return false;
}
if (!compareAnnotations(class1.getAnnotations(), class2.getAnnotations())) {
return false;
}
return true;
}
public static boolean compareClassSignatures(Class<?> class1, Class<?> class2) {
if (!Arrays.equals(class1.getInterfaces(), class2.getInterfaces())) {
return false;
}
if (class1.getSuperclass() != class2.getSuperclass()) {
return false;
}
return true;
}
public static boolean compareMethods(Class<?> class1, Class<?> class2) {
Method[] methods1 = class1.getDeclaredMethods();
Method[] methods2 = class2.getDeclaredMethods();
if (methods1.length != methods2.length) {
return false;
}
for (Method method1 : methods1) {
boolean found = false;
for (Method method2 : methods2) {
if (compareMethod(method1, method2)) {
found = true;
break;
}
}
if (!found) {
return false;
}
}
return true;
}
public static boolean compareMethod(Method method1, Method method2) {
if (!method1.getReturnType().equals(method2.getReturnType())) {
return false;
}
if (!Arrays.equals(method1.getParameterTypes(), method2.getParameterTypes())) {
return false;
}
if (!Arrays.equals(method1.getExceptionTypes(), method2.getExceptionTypes())) {
return false;
}
if (!compareAnnotations(method1.getAnnotations(), method2.getAnnotations())) {
return false;
}
return true;
}
public static boolean compareFields(Class<?> class1, Class<?> class2) {
Field[] fields1 = class1.getDeclaredFields();
Field[] fields2 = class2.getDeclaredFields();
if (fields1.length != fields2.length) {
return false;
}
for (Field field1 : fields1) {
boolean found = false;
for (Field field2 : fields2) {
if (compareField(field1, field2)) {
found = true;
break;
}
}
if (!found) {
return false;
}
}
return true;
}
public static boolean compareField(Field field1, Field field2) {
if (!field1.getType().equals(field2.getType())) {
return false;
}
if (!compareAnnotations(field1.getAnnotations(), field2.getAnnotations())) {
return false;
}
return true;
}
public static boolean compareAnnotations(Annotation[] annotations1, Annotation[] annotations2) {
if (annotations1.length != annotations2.length) {
return false;
}
for (Annotation annotation1 : annotations1) {
boolean found = false;
for (Annotation annotation2 : annotations2) {
if (annotation1.annotationType().equals(annotation2.annotationType())) {
found = true;
break;
}
}
if (!found) {
return false;
}
}
return true;
}
}

4
src/test/java/ByteCode/TestAll.java
View File

@ -1,4 +0,0 @@
package ByteCode;
public class TestAll {
}

5
src/test/java/Typecheck/TestAll.java
View File

@ -1,5 +0,0 @@
package Typecheck;
public class TestAll {
}

30
src/test/java/Typecheck/TypeChecker.java
View File

@ -1,30 +0,0 @@
package Typecheck;
import TypeCheck.TypeCheckResult;
import abstractSyntaxTree.Program;
import gen.DecafLexer;
import org.antlr.v4.runtime.CharStream;
import org.antlr.v4.runtime.CharStreams;
import org.antlr.v4.runtime.CommonTokenStream;
import org.antlr.v4.runtime.Token;
import java.nio.file.Files;
import java.nio.file.Paths;
import java.util.List;
import static org.junit.Assert.assertEquals;
public class TypeChecker {
// Method to test if the TypeCheck returns the expected Result
public void assertTypeCheckResult(Program programmToBeTested, boolean expectedResult) throws Exception {
boolean actualResult;
try {
TypeCheckResult typeCheckResult = programmToBeTested.typeCheck();
actualResult = true;
} catch (Exception e) {
actualResult = false;
}
assertEquals(expectedResult, actualResult);
}
}