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

Compare commits

base: i22022:5fa6664850abb734c7fb4b64fc6e9dacea902a99
Branches Tags
i22022:master
..
compare: i22022:d6fb82580830654e3ee5fbc848bbd50df40ce86c
Branches Tags
i22022:master

No commits in common. "5fa6664850abb734c7fb4b64fc6e9dacea902a99" and "d6fb82580830654e3ee5fbc848bbd50df40ce86c" have entirely different histories.
5fa6664850 ... d6fb825808

8 changed files with 44 additions and 56 deletions
Show Stats Expand all files Collapse all files

10
src/main/java/abstractSyntaxTree/Class/FieldDecl.java
View File

@ -27,15 +27,7 @@ public class FieldDecl extends AbstractType implements Node {
TypeCheckResult result = new TypeCheckResult();
List<String> typesList= new ArrayList<>();
for (HashMap<String, String> innerMap : typeContext.values()) {
for (String value : innerMap.values()) {
typesList.add(value);
}
}
TypeCheckHelper.typeExists(this.type, typesList);
TypeCheckHelper.typeExists(this.type, typeContext.keySet().stream().toList());
result.type = this.type;
setTypeCheckResult(result);

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

@ -24,12 +24,12 @@ public class BinaryExpression extends AbstractType implements IExpression{
}
@Override
public TypeCheckResult typeCheck(HashMap<String, HashMap<String, HashMap<String, ParameterList>>> methodContext, HashMap<String, HashMap<String, String>> typeContext, HashMap<String, String> localVars) throws Exception {
public TypeCheckResult typeCheck() throws Exception {
TypeCheckHelper helper = new TypeCheckHelper();
TypeCheckResult result = new TypeCheckResult();
TypeCheckResult leftType = left.typeCheck(methodContext, typeContext, localVars);
TypeCheckResult rightType = right.typeCheck(methodContext, typeContext, localVars);
TypeCheckResult leftType = left.typeCheck();
TypeCheckResult rightType = right.typeCheck();
switch (operator) {
@ -66,6 +66,12 @@ public class BinaryExpression extends AbstractType implements IExpression{
return result;
}
@Override
public TypeCheckResult typeCheck(HashMap<String, HashMap<String, HashMap<String, ParameterList>>> methodContext, HashMap<String, HashMap<String, String>> typeContext, HashMap<String, String> localVars) throws Exception {
return null;
}
@Override
public void codeGen(MethodVisitor mv, HashMap<String, HashMap<String, String>> typeContext, LinkedHashMap<String, String> localVars) throws Exception {
// Label for the jump instruction

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

@ -26,11 +26,8 @@ public class InstVarExpression implements IExpression{
@Override
public TypeCheckResult typeCheck(HashMap<String, HashMap<String, HashMap<String, ParameterList>>> methodContext, HashMap<String, HashMap<String, String>> typeContext, HashMap<String, String> localVars) throws Exception {
//todo ///////////////////
String varType = typeContext.get(classRef.name).get(fieldName);
TypeCheckResult result = new TypeCheckResult();
result.type = varType;
return result;
//todo
return null;
}
@Override

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

@ -6,10 +6,6 @@ import org.objectweb.asm.*;
import java.util.HashMap;
import java.util.LinkedHashMap;
import abstractSyntaxTree.Parameter.ParameterList;
import org.objectweb.asm.MethodVisitor;
import java.util.HashMap;
public class LocalVarIdentifier implements IExpression{
@ -23,7 +19,7 @@ public class LocalVarIdentifier implements IExpression{
}
@Override
public TypeCheckResult typeCheck(HashMap<String, HashMap<String, HashMap<String, ParameterList>>> methodContext, HashMap<String, HashMap<String, String>> typeContext, HashMap<String, String> localVars) throws Exception {
public TypeCheckResult typeCheck() throws Exception {
return null;
}

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

@ -19,7 +19,7 @@ public class UnaryExpression extends AbstractType implements IExpression{
this.operand = operand;
}
@Override
public TypeCheckResult typeCheck(HashMap<String, HashMap<String, HashMap<String, ParameterList>>> methodContext, HashMap<String, HashMap<String, String>> typeContext, HashMap<String, String> localVars) throws Exception {
public TypeCheckResult typeCheck() throws Exception {
TypeCheckResult result = new TypeCheckResult();
TypeCheckResult operandTypeCheckResult = operand.typeCheck();

4
src/main/java/abstractSyntaxTree/Program.java
View File

@ -36,9 +36,7 @@ public class Program implements Node {
// build type context
HashMap<String, String> classVars = new HashMap<>();
for (FieldDecl fieldDecl: oneClass.fieldDecls){
if(fieldDecl.type == "boolean")
fieldDecl.type = "bool";
classVars.put(fieldDecl.identifier, fieldDecl.type);
classVars.put(fieldDecl.type, fieldDecl.identifier);
}
typeContext.put(oneClass.name, classVars);

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

@ -7,7 +7,6 @@ import abstractSyntaxTree.Parameter.ParameterList;
import org.objectweb.asm.*;
import java.util.HashMap;
import java.util.List;
public class ReturnStatement extends AbstractType implements IStatement{
IExpression expression;
@ -23,7 +22,7 @@ public class ReturnStatement extends AbstractType implements IStatement{
if (expression == null) {
result.type = "void";
} else {
TypeCheckResult typedExpression = expression.typeCheck(methodContext, typeContext, localVars);
TypeCheckResult typedExpression = expression.typeCheck();
result.type = typedExpression.type;
}
@ -40,7 +39,7 @@ public class ReturnStatement extends AbstractType implements IStatement{
expression.codeGen(mv);
//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(??).type;
if (type.equals("int") || type.equals("bool") || type.equals("char")) {
mv.visitInsn(Opcodes.IRETURN);

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

@ -38,26 +38,18 @@ public class AssignStatementExpression extends AbstractType implements IExpressi
String identifier = localVarIdentifier.getIdentifier();
leftType.type = localVars.get(identifier);
}else{
leftType = left.typeCheck(methodContext, typeContext, localVars);
//leftType = left.typeCheck();
}
TypeCheckResult rightType = right.typeCheck(methodContext, typeContext, localVars);
String upperbound = helper.upperBound(leftType.type, rightType.type);
if (Objects.equals(upperbound, leftType.type)) {
result.type = leftType.type;
}
setTypeCheckResult(result);
// TypeCheckResult rightType = right.typeCheck();
//
// String upperbound = helper.upperBound(leftType.type, rightType.type);
// if (Objects.equals(upperbound, leftType.type)) {
// result.type = leftType.type;
// }
// setTypeCheckResult(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 {
return null;
}
@ -84,7 +76,7 @@ public class AssignStatementExpression extends AbstractType implements IExpressi
}
counter++;
}
if (index == -1){
throw new Exception("Variable " + varName + " not found");
}
@ -99,21 +91,29 @@ public class AssignStatementExpression extends AbstractType implements IExpressi
mv.visitVarInsn(Opcodes.ASTORE, index);
break;
}
} else if (left instanceof InstVarExpression){
instVar = (InstVarExpression) left;
// Load "this" onto the stack
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);
//
// // 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);
// }
String fieldType = typeContext.get(instVar.classRef.name).get(instVar.fieldName);
String fieldDescriptor;
switch (fieldType) {
case "int":
fieldDescriptor = "I";
break;
case "boolean":
fieldDescriptor = "Z";
break;
default:
//TODO: We need the fully qualified name of the class here in field type
fieldDescriptor = "L" + fieldType + ";";
break;
}
mv.visitFieldInsn(Opcodes.PUTFIELD, instVar.classRef.name, instVar.fieldName, fieldDescriptor);
}
}
}