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

Added the implementationf of typeCheck in typedAssignment

Browse Source
This commit is contained in:
Ahmad 2024-05-08 10:51:58 +02:00
parent b61af71076
commit 201d6e03b9
1 changed files with 7 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
src/main/java/de/maishai/typedast/typedclass/TypedAssignment.java
View File

@ -13,7 +13,6 @@ import java.util.Map;
@Data
public class TypedAssignment implements TypedStatement {
private TypedId loc;
private AssignSign assignSign;
private TypedExpression value;
@Override
@ -21,15 +20,14 @@ public class TypedAssignment implements TypedStatement {
if (!localVar.containsKey(loc.getName())) {
throw new RuntimeException("Variable not declared");
}
//ASSIGN : '=';ADD_ASSIGN : '+='; SUB_ASSIGN : '-='; MUL_ASSIGN : '*=';
if (assignSign == AssignSign.ASSIGN || assignSign == AssignSign.ADD_ASSIGN ||
assignSign == AssignSign.SUB_ASSIGN || assignSign == AssignSign.MUL_ASSIGN) {
if (localVar.get(loc.getName()) != Type.INT || value.typeCheck(localVar, classes) != Type.INT) {
throw new RuntimeException("Type mismatch");
}
}
return localVar.get(loc.getName());
Type typeLeft = localVar.get(loc.getName());
Type typeRight = value.typeCheck(localVar, classes);
if (typeLeft.equals(typeRight) ) {
return typeLeft;
}
throw new RuntimeException("type of left not equals with type right");
}
@Override