i22006/Compilerbau2024AbsolutNichtHaskell
i22006/Compilerbau2024AbsolutNichtHaskell
2
0
Fork 0
mirror of https://github.com/JonathanFleischmann/CompilerULTIMATE.git synced 2024-10-06 10:31:41 +00:00
Code Issues Packages Projects Releases Wiki Activity

Implemented typeCheck of Binary Record

Browse Source
This commit is contained in:
Ahmad 2024-05-02 11:27:06 +02:00
parent d812208712
commit 2b1b11b448
1 changed files with 18 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
src/main/java/de/maishai/ast/records/Binary.java
View File

@ -10,10 +10,25 @@ import java.util.Map;
public record Binary(Expression left, Operator op, Expression right) implements Expression {
@Override
public Type typeCheck(Map<String, Type> localVars, Map<String, Class> classes) {
Type type = null;
// x = y + z -> y, z : int
if(left.typeCheck(localVars, classes) != Type.INT && right.typeCheck(localVars, classes) != Type.INT) {
throw new RuntimeException("Binary operation on non-integers");
if(left.typeCheck(localVars, classes) == Type.INT && right.typeCheck(localVars, classes) == Type.INT) {
type = Type.INT;
}
return Type.INT;
if(left.typeCheck(localVars, classes) == Type.BOOL && right.typeCheck(localVars, classes) == Type.BOOL) {
type = Type.BOOL;
}
if(left.typeCheck(localVars, classes) == Type.CHAR && right.typeCheck(localVars, classes) == Type.CHAR) {
type = Type.CHAR;
}
if(type != null){
return type;
}else{
throw new RuntimeException("Type mismatch");
}
}
}