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

update typeCheck of TypedFieldVarAccess

Browse Source
This commit is contained in:
ahmad 2024-05-15 17:59:16 +02:00
parent aaa8a27ff9
commit 7979aece64
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/main/java/de/maishai/typedast/typedclass/TypedFieldVarAccess.java
View File

@ -52,6 +52,9 @@ public class TypedFieldVarAccess implements TypedExpression {
} else if(typedProgram.getCurrentClass().isThereField(name)){ } else if(typedProgram.getCurrentClass().isThereField(name)){
type = typedProgram.getCurrentClass().getFieldType(name); type = typedProgram.getCurrentClass().getFieldType(name);
return type; return type;
} else if(recursiveOwnerChain instanceof TypedFieldVarAccess typedFieldVarAccess){
type = typedProgram.getCurrentClass().getFieldType(typedFieldVarAccess.getName());
return type;
} }
else { else {
throw new RuntimeException("Variable " + name + " not declared in constructor"); throw new RuntimeException("Variable " + name + " not declared in constructor");
@ -67,6 +70,9 @@ public class TypedFieldVarAccess implements TypedExpression {
} else if(typedProgram.getCurrentClass().isThereField(name)){ } else if(typedProgram.getCurrentClass().isThereField(name)){
type = typedProgram.getCurrentClass().getFieldType(name); type = typedProgram.getCurrentClass().getFieldType(name);
return type; return type;
} else if(recursiveOwnerChain instanceof TypedFieldVarAccess typedFieldVarAccess){
type = typedProgram.getCurrentClass().getFieldType(typedFieldVarAccess.getName());
return type;
} }
else { else {
throw new RuntimeException("Variable " + name + " not declared in method"); throw new RuntimeException("Variable " + name + " not declared in method");