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

Changed the order of arguments

Browse Source
This commit is contained in:
Jochen Seyfried 2024-05-31 10:42:14 +02:00
parent 9fa9dfdfb6
commit 21dff015b5
12 changed files with 63 additions and 67 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -67,7 +67,7 @@ public class BinaryExpression extends AbstractType implements IExpression{
} }
@Override @Override
public void codeGen(MethodVisitor mv, HashMap<String, HashMap<String, String>> typeContext, LinkedHashMap<String, String> localVars) throws Exception { public void codeGen(MethodVisitor mv, LinkedHashMap<String, String> localVars, HashMap<String, HashMap<String, String>> typeContext) throws Exception {
// Label for the jump instruction // Label for the jump instruction
Label operationFalse = new Label(); //Operation is false Label operationFalse = new Label(); //Operation is false
Label operationTrue = new Label(); //Operation is true Label operationTrue = new Label(); //Operation is true
@ -77,88 +77,88 @@ public class BinaryExpression extends AbstractType implements IExpression{
// Bytecode for the binary operation // Bytecode for the binary operation
switch (operator) { switch (operator) {
case "&&": case "&&":
left.codeGen(mv, typeContext, localVars); left.codeGen(mv, localVars, typeContext);
mv.visitJumpInsn(Opcodes.IFEQ, operationFalse); // IFEQ --> "if equals to zero" (false) --> if left exp is false mv.visitJumpInsn(Opcodes.IFEQ, operationFalse); // IFEQ --> "if equals to zero" (false) --> if left exp is false
right.codeGen(mv, typeContext, localVars); right.codeGen(mv, localVars, typeContext);
mv.visitJumpInsn(Opcodes.IFEQ, operationFalse); // If right exp is false, jump to the end of the whole expression mv.visitJumpInsn(Opcodes.IFEQ, operationFalse); // If right exp is false, jump to the end of the whole expression
mv.visitJumpInsn(Opcodes.GOTO, operationTrue); // If it reaches this point, the right exp is true mv.visitJumpInsn(Opcodes.GOTO, operationTrue); // If it reaches this point, the right exp is true
break; break;
case "||": case "||":
left.codeGen(mv, typeContext, localVars); left.codeGen(mv, localVars, typeContext);
mv.visitJumpInsn(Opcodes.IFNE, operationTrue); // IFNE --> "if not equals to zero" (true) --> if left exp is true mv.visitJumpInsn(Opcodes.IFNE, operationTrue); // IFNE --> "if not equals to zero" (true) --> if left exp is true
right.codeGen(mv, typeContext, localVars); right.codeGen(mv, localVars, typeContext);
mv.visitJumpInsn(Opcodes.IFNE, operationTrue); mv.visitJumpInsn(Opcodes.IFNE, operationTrue);
break; break;
case "==": case "==":
// Keep in mind that only primitive types are allowed in this case (at this time) // Keep in mind that only primitive types are allowed in this case (at this time)
left.codeGen(mv, typeContext, localVars); left.codeGen(mv, localVars, typeContext);
right.codeGen(mv, typeContext, localVars); right.codeGen(mv, localVars, typeContext);
mv.visitJumpInsn(Opcodes.IF_ICMPEQ, operationTrue); // If the two values are equal, jump to the end of the expression mv.visitJumpInsn(Opcodes.IF_ICMPEQ, operationTrue); // If the two values are equal, jump to the end of the expression
break; break;
case "<": case "<":
left.codeGen(mv, typeContext, localVars); left.codeGen(mv, localVars, typeContext);
right.codeGen(mv, typeContext, localVars); right.codeGen(mv, localVars, typeContext);
mv.visitJumpInsn(Opcodes.IF_ICMPLT, operationTrue); // Checks only on less than, not equal mv.visitJumpInsn(Opcodes.IF_ICMPLT, operationTrue); // Checks only on less than, not equal
break; break;
case ">": case ">":
left.codeGen(mv, typeContext, localVars); left.codeGen(mv, localVars, typeContext);
right.codeGen(mv, typeContext, localVars); right.codeGen(mv, localVars, typeContext);
mv.visitJumpInsn(Opcodes.IF_ICMPGT, operationTrue); // Checks only on greater than, not equal mv.visitJumpInsn(Opcodes.IF_ICMPGT, operationTrue); // Checks only on greater than, not equal
break; break;
case "<=": case "<=":
left.codeGen(mv, typeContext, localVars); left.codeGen(mv, localVars, typeContext);
right.codeGen(mv, typeContext, localVars); right.codeGen(mv, localVars, typeContext);
mv.visitJumpInsn(Opcodes.IF_ICMPLE, operationTrue); // Checks on less than OR equal mv.visitJumpInsn(Opcodes.IF_ICMPLE, operationTrue); // Checks on less than OR equal
break; break;
case ">=": case ">=":
left.codeGen(mv, typeContext, localVars); left.codeGen(mv, localVars, typeContext);
right.codeGen(mv, typeContext, localVars); right.codeGen(mv, localVars, typeContext);
mv.visitJumpInsn(Opcodes.IF_ICMPGE, operationTrue); // Checks on greater than OR equal mv.visitJumpInsn(Opcodes.IF_ICMPGE, operationTrue); // Checks on greater than OR equal
break; break;
case "!=": case "!=":
left.codeGen(mv, typeContext, localVars); left.codeGen(mv, localVars, typeContext);
right.codeGen(mv, typeContext, localVars); right.codeGen(mv, localVars, typeContext);
mv.visitJumpInsn(Opcodes.IF_ICMPNE, operationTrue); // Checks on not equal mv.visitJumpInsn(Opcodes.IF_ICMPNE, operationTrue); // Checks on not equal
break; break;
case "+": case "+":
left.codeGen(mv, typeContext, localVars); left.codeGen(mv, localVars, typeContext);
right.codeGen(mv, typeContext, localVars); right.codeGen(mv, localVars, typeContext);
mv.visitInsn(Opcodes.IADD); mv.visitInsn(Opcodes.IADD);
break; break;
case "-": case "-":
left.codeGen(mv, typeContext, localVars); left.codeGen(mv, localVars, typeContext);
right.codeGen(mv, typeContext, localVars); right.codeGen(mv, localVars, typeContext);
mv.visitInsn(Opcodes.ISUB); mv.visitInsn(Opcodes.ISUB);
break; break;
case "*": case "*":
left.codeGen(mv, typeContext, localVars); left.codeGen(mv, localVars, typeContext);
right.codeGen(mv, typeContext, localVars); right.codeGen(mv, localVars, typeContext);
mv.visitInsn(Opcodes.IMUL); mv.visitInsn(Opcodes.IMUL);
break; break;
case "/": case "/":
left.codeGen(mv, typeContext, localVars); left.codeGen(mv, localVars, typeContext);
right.codeGen(mv, typeContext, localVars); right.codeGen(mv, localVars, typeContext);
mv.visitInsn(Opcodes.IDIV); mv.visitInsn(Opcodes.IDIV);
break; break;

2
src/main/java/abstractSyntaxTree/Expression/IExpression.java
View File

@ -14,5 +14,5 @@ public interface IExpression extends Node {
TypeCheckResult typeCheck(HashMap<String, HashMap<String, HashMap<String, ParameterList>>> methodContext, HashMap<String, HashMap<String, String>> typeContext, HashMap<String, String> localVars) throws Exception; TypeCheckResult typeCheck(HashMap<String, HashMap<String, HashMap<String, ParameterList>>> methodContext, HashMap<String, HashMap<String, String>> typeContext, HashMap<String, String> localVars) throws Exception;
// visit method for code generation // visit method for code generation
void codeGen(MethodVisitor mv, HashMap<String, HashMap<String, String>> typeContext, LinkedHashMap<String, String> localVars) throws Exception; void codeGen(MethodVisitor mv, LinkedHashMap<String, String> localVars, HashMap<String, HashMap<String, String>> typeContext) throws Exception;
} }

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

@ -35,7 +35,7 @@ public class InstVarExpression implements IExpression{
@Override @Override
// typeContext: (ClassName, (FieldName, FieldType)) // typeContext: (ClassName, (FieldName, FieldType))
public void codeGen(MethodVisitor mv, HashMap<String, HashMap<String, String>> typeContext, LinkedHashMap<String, String> localVars) throws Exception { public void codeGen(MethodVisitor mv, LinkedHashMap<String, String> localVars, HashMap<String, HashMap<String, String>> typeContext) throws Exception {
// Load "this" onto the stack // Load "this" onto the stack
mv.visitVarInsn(Opcodes.ALOAD, 0); mv.visitVarInsn(Opcodes.ALOAD, 0);

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

@ -28,7 +28,7 @@ public class LocalVarIdentifier implements IExpression{
} }
@Override @Override
public void codeGen(MethodVisitor mv, HashMap<String, HashMap<String, String>> typeContext, LinkedHashMap<String, String> localVars) throws Exception { public void codeGen(MethodVisitor mv, LinkedHashMap<String, String> localVars, HashMap<String, HashMap<String, String>> typeContext) throws Exception {
// Check if the variable is in the list of local variables // Check if the variable is in the list of local variables
String type = localVars.get(identifier); String type = localVars.get(identifier);
if (type == null){ if (type == null){

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

@ -50,7 +50,7 @@ public class UnaryExpression extends AbstractType implements IExpression{
} }
@Override @Override
public void codeGen(MethodVisitor mv, HashMap<String, HashMap<String, String>> typeContext, LinkedHashMap<String, String> localVars) throws Exception { public void codeGen(MethodVisitor mv, LinkedHashMap<String, String> localVars, HashMap<String, HashMap<String, String>> typeContext) throws Exception {
operand.codeGen(mv); operand.codeGen(mv);

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

@ -51,7 +51,7 @@ public class IfElseStatement extends AbstractType implements IStatement{
Label conditionFalse = new Label(); Label conditionFalse = new Label();
Label statementEnd = new Label(); Label statementEnd = new Label();
condition.codeGen(mv, typeContext, localVars); condition.codeGen(mv, localVars, typeContext);
mv.visitJumpInsn(Opcodes.IFEQ, conditionFalse); //Checks if the condition is false (0) mv.visitJumpInsn(Opcodes.IFEQ, conditionFalse); //Checks if the condition is false (0)
ifStatement.codeGen(mv, blockLocalVars, typeContext); //If the condition is true, execute the ifBlock ifStatement.codeGen(mv, blockLocalVars, typeContext); //If the condition is true, execute the ifBlock

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

@ -43,7 +43,7 @@ public class IfStatement extends AbstractType implements IStatement{
Label conditionFalse = new Label(); Label conditionFalse = new Label();
condition.codeGen(mv, typeContext, localVars); condition.codeGen(mv, localVars, typeContext);
mv.visitJumpInsn(Opcodes.IFEQ, conditionFalse); //Checks if the condition is false (0) mv.visitJumpInsn(Opcodes.IFEQ, conditionFalse); //Checks if the condition is false (0)
ifStatement.codeGen(mv, blockLocalVars, typeContext); ifStatement.codeGen(mv, blockLocalVars, typeContext);

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

@ -38,7 +38,7 @@ public class ReturnStatement extends AbstractType implements IStatement{
public void codeGen(MethodVisitor mv, LinkedHashMap<String, String> localVars, HashMap<String, HashMap<String, String>> typeContext) throws Exception { public void codeGen(MethodVisitor mv, LinkedHashMap<String, String> localVars, HashMap<String, HashMap<String, String>> typeContext) throws Exception {
if (expression != null) { if (expression != null) {
expression.codeGen(mv, typeContext, localVars); expression.codeGen(mv, localVars, typeContext);
//Get the Type of the expression //Get the Type of the expression
//TODO: Resolve how do we get the type of the expression //TODO: Resolve how do we get the type of the expression
String type = expression.typeCheck(null, null, null).type; String type = expression.typeCheck(null, null, null).type;

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

@ -45,7 +45,7 @@ public class WhileStatement extends AbstractType implements IStatement {
mv.visitLabel(LoopStart); mv.visitLabel(LoopStart);
condition.codeGen(mv, typeContext, localVars); condition.codeGen(mv, localVars, typeContext);
mv.visitJumpInsn(Opcodes.IFEQ, conditionFalse); // Checks if the condition is false (0) mv.visitJumpInsn(Opcodes.IFEQ, conditionFalse); // Checks if the condition is false (0)
statement.codeGen(mv, blockLocalVars, typeContext); statement.codeGen(mv, blockLocalVars, typeContext);

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

@ -12,6 +12,7 @@ import org.objectweb.asm.*;
import java.util.HashMap; import java.util.HashMap;
import java.util.LinkedHashMap; import java.util.LinkedHashMap;
import java.util.Objects;
public class AssignStatementExpression extends AbstractType implements IExpression, IStatement { public class AssignStatementExpression extends AbstractType implements IExpression, IStatement {
public String operator; public String operator;
@ -50,42 +51,34 @@ public class AssignStatementExpression extends AbstractType implements IExpressi
return result; return result;
} }
@Override
public void codeGen(MethodVisitor mv, HashMap<String, String> localVars) throws Exception {
if (left instanceof VarRefExpression varRef) {
}
}
public TypeCheckResult typeCheck() throws Exception { public TypeCheckResult typeCheck() throws Exception {
return null; return null;
} }
@Override @Override
public void codeGen(MethodVisitor mv, HashMap<String, HashMap<String, String>> typeContext, LinkedHashMap<String, String> localVars) throws Exception { public void codeGen(MethodVisitor mv, LinkedHashMap<String, String> localVars, HashMap<String, HashMap<String, String>> typeContext) throws Exception {
//TODO: Do we need the value on the stack after assigning it? //TODO: Do we need the value on the stack after assigning it?
//TODO: WE do not differentiate between InstanceVar and FieldVar //TODO: WE do not differentiate between InstanceVar and FieldVar
// Call the codeGen on the right expression which will push the value of the right expression onto the stack // Call the codeGen on the right expression which will push the value of the right expression onto the stack
right.codeGen(mv, typeContext, localVars); right.codeGen(mv, localVars, typeContext);
if (left instanceof LocalVarIdentifier) { if (left instanceof LocalVarIdentifier) {
LocalVarIdentifier localVar = (LocalVarIdentifier) left; LocalVarIdentifier localVar = (LocalVarIdentifier) left;
String varName = localVar.getIdentifier(); String varName = localVar.getIdentifier();
//Get the index of the local variable //Get the index of the local variable
int index = -1; int index = -1;
int counter = 0; int counter = 0;
for (String key : localVars.keySet()){ for (String key : localVars.keySet()) {
if (key.equals(varName)){ if (key.equals(varName)) {
index = counter; index = counter;
break; break;
} }
counter++; counter++;
} }
if (index == -1){ if (index == -1) {
throw new Exception("Variable " + varName + " not found"); throw new Exception("Variable " + varName + " not found");
} }
@ -100,20 +93,23 @@ public class AssignStatementExpression extends AbstractType implements IExpressi
break; break;
} }
} else if (left instanceof InstVarExpression){ } else if (left instanceof InstVarExpression) {
instVar = (InstVarExpression) left; instVar = (InstVarExpression) left;
// Load "this" onto the stack // Load "this" onto the stack
mv.visitVarInsn(Opcodes.ALOAD, 0); mv.visitVarInsn(Opcodes.ALOAD, 0);
}
/*
if (left instanceof VarRefExpression varRef) {
//TODO: Implement the handling of a variable reference --> I need a list of local variables
// for that to determine if the variable is a local or field variable
} else if (left instanceof InstVarExpression instVar) {
mv.visitInsn(Opcodes.DUP_X1);
// if (left instanceof VarRefExpression varRef) { // We now again need the owner (class reference), name (of the Field in the owner) and type of the field
// //TODO: Implement the handling of a variable reference --> I need a list of local variables //mv.visitFieldInsn(Opcodes.PUTFIELD, instVar.className, instVar.varName, instVar.type);
// // for that to determine if the variable is a local or field variable }
// } else if (left instanceof InstVarExpression instVar) { }
// mv.visitInsn(Opcodes.DUP_X1); */
//
// // We now again need the owner (class reference), name (of the Field in the owner) and type of the field
// //mv.visitFieldInsn(Opcodes.PUTFIELD, instVar.className, instVar.varName, instVar.type);
// }
} }
} }

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

@ -51,11 +51,10 @@ public class MethodCallStatementExpression extends AbstractType implements IExpr
return null; return null;
} }
//Errors occur due to the change in parameter in the RefType class //Errors occur due to the change in parameter in the RefType class
// I need the methodContext here to get the method descriptor // I need the methodContext here to get the method descriptor
@Override @Override
public void codeGen(MethodVisitor mv, HashMap<String, HashMap<String, String>> typeContext, LinkedHashMap<String, String> localVars) throws Exception { public void codeGen(MethodVisitor mv, LinkedHashMap<String, String> localVars, HashMap<String, HashMap<String, String>> typeContext) throws Exception {
//Generate Bytecode for the receiver //Generate Bytecode for the receiver
if(classThatHasTheMethodIfNotThis != null){ if(classThatHasTheMethodIfNotThis != null){
//TODO: classThatHasTheMethodIfNotThis must be an object --> instance of the class not the class itself //TODO: classThatHasTheMethodIfNotThis must be an object --> instance of the class not the class itself
@ -66,10 +65,10 @@ public class MethodCallStatementExpression extends AbstractType implements IExpr
for (MethodDecl methodDecl : methodDecls) { for (MethodDecl methodDecl : methodDecls) {
if (methodDecl.name.equals(methodName)) { if (methodDecl.name.equals(methodName)) {
//Get the method descriptor //Get the method descriptor
descriptor = methodDecl.getMethodDescriptor(methodContext); //descriptor = methodDecl.getMethodDescriptor(methodContext);
} }
} }
mv.visitMethodInsn(Opcodes.INVOKEVIRTUAL, classThatHasTheMethodIfNotThis.name, methodName, descriptor, false); //mv.visitMethodInsn(Opcodes.INVOKEVIRTUAL, classThatHasTheMethodIfNotThis.name, methodName, descriptor, false);
} else { } else {
// Load this onto the stack // Load this onto the stack
@ -77,7 +76,7 @@ public class MethodCallStatementExpression extends AbstractType implements IExpr
} }
for (IExpression argument : arguments) { for (IExpression argument : arguments) {
argument.codeGen(mv, typeContext, localVars); argument.codeGen(mv, localVars, typeContext);
} }
// Get the method descriptor // Get the method descriptor
@ -86,9 +85,9 @@ public class MethodCallStatementExpression extends AbstractType implements IExpr
for (MethodDecl methodDecl : methodDecls) { for (MethodDecl methodDecl : methodDecls) {
if (methodDecl.name.equals(methodName)) { if (methodDecl.name.equals(methodName)) {
//Get the method descriptor //Get the method descriptor
descriptor = methodDecl.getMethodDescriptor(methodContext); //descriptor = methodDecl.getMethodDescriptor(methodContext);
} }
} }
mv.visitMethodInsn(Opcodes.INVOKEVIRTUAL, thisClass.name, methodName, descriptor, false); //mv.visitMethodInsn(Opcodes.INVOKEVIRTUAL, thisClass.name, methodName, descriptor, false);
} }
} }

7
src/main/java/abstractSyntaxTree/StatementExpression/NewStatementExpression.java
View File

@ -8,6 +8,7 @@ import abstractSyntaxTree.Statement.IStatement;
import org.objectweb.asm.MethodVisitor; import org.objectweb.asm.MethodVisitor;
import java.util.HashMap; import java.util.HashMap;
import java.util.LinkedHashMap;
import java.util.List; import java.util.List;
public class NewStatementExpression extends AbstractType implements IExpression, IStatement { public class NewStatementExpression extends AbstractType implements IExpression, IStatement {
@ -19,12 +20,12 @@ public class NewStatementExpression extends AbstractType implements IExpression,
} }
@Override @Override
public void codeGen(MethodVisitor mv, HashMap<String, String> localVars) throws Exception { public void codeGen(MethodVisitor mv, LinkedHashMap<String, String> localVars, HashMap<String, HashMap<String, String>> typeContext) throws Exception {
} }
@Override @Override
public void codeGen(MethodVisitor mv) throws Exception { public void codeGen(MethodVisitor mv, HashMap<String, HashMap<String, String>> typeContext, LinkedHashMap<String, String> localVars) throws Exception {
throw new Exception("CodeGen not implemented for NewStatementExpression");
} }
} }