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

Merge remote-tracking branch 'origin/master'

Browse Source
This commit is contained in:
StefanZ3 2024-05-31 11:55:58 +02:00
commit d4cc24239d
4 changed files with 51 additions and 24 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/main/java/Input.java
View File

@ -7,7 +7,9 @@ class Example {
class Example2 {
boolean instVarBool;
int m(int n){
if(instVarBool){
boolean localBool;
localBool = true;
if(localBool){
return n;
}
return -1;

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

@ -1,6 +1,12 @@
package abstractSyntaxTree.Expression;
import TypeCheck.AbstractType;
import TypeCheck.TypeCheckResult;
import abstractSyntaxTree.Parameter.ParameterList;
import org.objectweb.asm.MethodVisitor;
import java.util.HashMap;
import java.util.LinkedHashMap;
public class IntConstantExpression extends AbstractType implements IExpression{
public int value;
@ -8,4 +14,14 @@ public class IntConstantExpression extends AbstractType implements IExpression{
public IntConstantExpression(int value) {
this.value = value;
}
@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, LinkedHashMap<String, String> localVars, HashMap<String, HashMap<String, String>> typeContext) throws Exception {
}
}

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

@ -24,7 +24,13 @@ 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 {
return null;
TypeCheckResult result = new TypeCheckResult();
if (localVars.containsKey(identifier)) {
result.type = localVars.get(identifier);
} else {
throw new Exception("TypeCheck Exception: local var does not exist");
}
return result;
}
@Override

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

@ -34,6 +34,8 @@ public class BlockStatement extends AbstractType implements IStatement {
}
for (IStatement statement : statements) {
// todo remove later if there are no null statement any more
if (statement != null) {
TypeCheckResult typeOfCurrentStatement = statement.typeCheck(methodContext, typeContext, localVars);
if (typeOfCurrentStatement.type.contains(",")) {
@ -43,18 +45,18 @@ public class BlockStatement extends AbstractType implements IStatement {
String firstType = substrings[0];
String secondType = substrings[1];
if(!firstType.equals(this.returnType) || !firstType.equals(this.returnType)){
if(!firstType.equals("void")){
if (!firstType.equals(this.returnType) || !firstType.equals(this.returnType)) {
if (!firstType.equals("void")) {
throw new Exception("TypeCeck Exception: if paths return wrong type");
}
if(!secondType.equals("void")){
if (!secondType.equals("void")) {
throw new Exception("TypeCeck Exception: else paths return wrong type");
}
boolean firstIsVoid = firstType.equals("void");
if(!firstIsVoid){
if (!firstIsVoid) {
typeOfCurrentStatement.type = firstType;
}else{
} else {
typeOfCurrentStatement.type = secondType;
}
}
@ -65,6 +67,7 @@ public class BlockStatement extends AbstractType implements IStatement {
throw new Exception("TypeCheck Exception: Block returns the wrong type.");
}
}
}
result.type = this.returnType;
// todo check if the block returns the needed return type in every case
// todo ignore unreachable statements?