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

Update the typeCheck of TypedBlock

Browse Source
This commit is contained in:
ahmad 2024-05-12 14:55:03 +02:00
parent 3b1161e97a
commit 2322d161e6
1 changed files with 9 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/main/java/de/maishai/typedast/typedclass/TypedBlock.java
View File

@ -98,18 +98,24 @@ public class TypedBlock implements TypedNode {
} }
} }
this.typeCheck(clas); this.typeCheck(clas);
System.out.println("TypedBlock: " + this.toString());
} }
@Override @Override
public Type typeCheck(TypedClass clas) { public Type typeCheck(TypedClass clas) {
Type chekType = null;
for (TypedStatement stmt : stmts) { for (TypedStatement stmt : stmts) {
stmt.typeCheck(clas); stmt.typeCheck(clas);
if(stmt instanceof TypedReturn returnStmt) {
chekType = returnStmt.getType();
}
} }
//TODO: Type von Return zurückgeben if(chekType == null) {
type = Type.VOID; chekType = Type.VOID;
}
type = chekType;
return type; return type;
} }