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

update the typeCheck of TypedReturn

Browse Source
This commit is contained in:
ahmad 2024-05-11 13:54:30 +02:00
parent e49691ff29
commit 31d57c8ba9
1 changed files with 8 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
src/main/java/de/maishai/typedast/typedclass/TypedReturn.java
View File

@ -28,18 +28,14 @@ public class TypedReturn implements TypedStatement {
@Override @Override
public Type typeCheck(Map<String, Type> localVar, TypedClass clas) { public Type typeCheck(Map<String, Type> localVar, TypedClass clas) {
//TODO: not localvar if(clas.isCurrentMethodPresent()){
for(var typedMethod : clas.getTypedMethods()) { if(clas.getCurrentMethod().getReturnType().getKind() != this.type.getKind()){
if(localVar.containsKey(typedMethod.getName())) { StringBuilder exp = new StringBuilder();
if(typedMethod.getReturnType().getKind() != this.type.getKind()) { exp.append("\nMismatched return type: ");
//TODO: exception auslagern exp.append("\nExpected: ").append(clas.getCurrentMethod().getReturnType().getKind());
StringBuilder exp = new StringBuilder(); exp.append("\nActual: ").append(this.type.getKind());
exp.append("\nMismatched return type: "); exp.append("\nMethod name: ").append(clas.getCurrentMethod().getName());
exp.append("\nExpected: ").append(typedMethod.getReturnType().getKind()); throw new RuntimeException(exp.toString());
exp.append("\nActual: ").append(this.type.getKind());
exp.append("\nMethod name: ").append(typedMethod.getName());
throw new RuntimeException(exp.toString());
}
} }
} }
return type; return type;