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

Done TODOs for TypedWhile

Browse Source
This commit is contained in:
ahmad 2024-05-10 08:31:23 +02:00
parent 9b12c843bc
commit e9e4f8ccd3
2 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -69,7 +69,7 @@ public class TypedBlock implements TypedNode {
}
if (stmt instanceof While whileStmt) {
TypedWhile typedWhile = new TypedWhile(localVar, clas, whileStmt);
//TODO: check the type
typedWhile.typeCheck(localVar, clas);
stmts.add(typedWhile);
continue;
}

2
src/main/java/de/maishai/typedast/typedclass/TypedWhile.java
View File

@ -13,6 +13,7 @@ import static de.maishai.typedast.Util.TypedExpressionUtil.getKindOfExpression;
public class TypedWhile implements TypedStatement {
private TypedExpression cond;
private TypedBlock typedBlock;
private Type type;
public TypedWhile(Map<String, Type> localVar, TypedClass clas, While unTypedWhile) {
convertToTypedWhile(localVar, clas, unTypedWhile);
@ -28,6 +29,7 @@ public class TypedWhile implements TypedStatement {
throw new RuntimeException("While condition must be a boolean");
}
typedBlock.typeCheck(localVar, clas);
this.type = Type.VOID;
return Type.BOOL;
}