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

Updated the TypeCheck of TypedAssignement

Browse Source
This commit is contained in:
ahmad 2024-05-11 11:45:47 +02:00
parent cdbb3ae55f
commit 34a20668b6
1 changed files with 11 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -23,6 +23,7 @@ public class TypedAssignment implements TypedStatement {
public TypedAssignment(Map<String, Type> localVar, TypedClass clas, Assignment untyped) {
convertToTypedAssignment(localVar, clas, untyped);
}
public void convertToTypedAssignment(Map<String, Type> localVar, TypedClass clas, Assignment untyped) {
varName = untyped.location().id();
value = getKindOfExpression(localVar, clas, untyped.value());
@ -30,13 +31,20 @@ public class TypedAssignment implements TypedStatement {
@Override
public Type typeCheck(Map<String, Type> localVar, TypedClass clas) {
Type typeLeft = null;
if (!localVar.containsKey(varName)) {
throw new RuntimeException("Variable not declared");
if(clas.isThereField(varName)){
typeLeft = clas.getFieldType(varName);
}else {
throw new RuntimeException("Variable not declared");
}
} else {
typeLeft = localVar.get(varName);
}
Type typeLeft = localVar.get(varName);
Type typeRight = value.typeCheck(localVar, clas);
if (typeLeft.equals(typeRight) ) {
if (typeLeft.equals(typeRight)) {
type = typeLeft;
return typeLeft;
}