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

Add the list of TypedLocalVariable to TypedMethod and implemented the typeCheck

Browse Source
This commit is contained in:
ahmad 2024-05-12 15:46:14 +02:00
parent 092cbb5af9
commit ede0b38987
1 changed files with 6 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
src/main/java/de/maishai/typedast/typedclass/TypedMethod.java
View File

@ -20,8 +20,8 @@ public class TypedMethod implements TypedNode {
private String name; private String name;
private Type returnType; private Type returnType;
private List<TypedParameter> typedParameters = new ArrayList<>(); private List<TypedParameter> typedParameters = new ArrayList<>();
private TypedBlock typedBlock;
private List<TypedLocalVariable> localVariables = new ArrayList<>(); private List<TypedLocalVariable> localVariables = new ArrayList<>();
private TypedBlock typedBlock;
public TypedMethod(TypedClass clas, Method unTypedMethod) { public TypedMethod(TypedClass clas, Method unTypedMethod) {
convertToTypedMethod(clas, unTypedMethod); convertToTypedMethod(clas, unTypedMethod);
@ -40,12 +40,11 @@ public class TypedMethod implements TypedNode {
throw new RuntimeException("Method " + name + " already exists"); throw new RuntimeException("Method " + name + " already exists");
}, () -> { }, () -> {
}); });
//localVar.put(name, returnType);
} }
public void convertToTypedBlock(TypedClass clas, Method unTypedMethod) { public void convertToTypedBlock(TypedClass clas, Method unTypedMethod) {
typedBlock = new TypedBlock(clas, unTypedMethod.block()); typedBlock = new TypedBlock(clas, unTypedMethod.block());
typeCheck(clas);
} }
public boolean isLocalVariablePresent(String localVarName) { public boolean isLocalVariablePresent(String localVarName) {
@ -67,13 +66,11 @@ public class TypedMethod implements TypedNode {
@Override @Override
public Type typeCheck(TypedClass clas) { public Type typeCheck(TypedClass clas) {
/* if (localVar.containsKey(name)) { if(returnType != Type.VOID){
throw new RuntimeException("Method " + name + " already exists"); if(typedBlock.typeCheck(clas) != returnType){
throw new RuntimeException("Method " + name + " must return " + returnType);
}
} }
localVar.put(name, returnType);
for (TypedParameter typedParameter : typedParameters) {
typedParameter.typeCheck( clas);
}*/
return returnType; return returnType;
} }