i22022/NichtHaskell
2
2
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Compare commits

base: i22022:6c015e72d5f7569469e06800895f372633e5ca30
Branches Tags
i22022:master
..
compare: i22022:d2b307f86ffe67135831a5647b0cd9c4f7c212b7
Branches Tags
i22022:master

2 Commits
6c015e72d5 ... d2b307f86f

Author SHA1 Message Date
Krauß, Josefine
d2b307f86f Merge remote-tracking branch 'origin/master' 2024-07-01 11:19:42 +02:00
Krauß, Josefine
5b0dc04bd7 reached in wrong class and missing typecheckcall on parameters iexpression 2024-07-01 11:19:31 +02:00
1 changed files with 4 additions and 1 deletions
Show Stats Expand all files Collapse all files

5
src/main/java/abstractSyntaxTree/StatementExpression/MethodCallStatementExpression.java
View File

@ -57,7 +57,7 @@ public class MethodCallStatementExpression extends AbstractType implements IExpr
receiver.instVarExpression.typeCheck(methodContext, typeContext, localVars); receiver.instVarExpression.typeCheck(methodContext, typeContext, localVars);
currentType = typeContext.get(typeOfSubreceiver).get(mostLeftField); currentType = typeContext.get(typeOfSubreceiver).get(mostLeftField);
} else { } else {
currentType = thisClass; currentType = classToSearchMethodIn;
} }
} else { } else {
currentType = thisClass; currentType = thisClass;
@ -74,6 +74,9 @@ public class MethodCallStatementExpression extends AbstractType implements IExpr
} }
currentType = (String) methodContext.get(currentType).get(methodName).keySet().toArray()[0]; currentType = (String) methodContext.get(currentType).get(methodName).keySet().toArray()[0];
for (IExpression argument : arguments) {
argument.typeCheck(methodContext, typeContext, localVars);
}
TypeCheckResult result = new TypeCheckResult(); TypeCheckResult result = new TypeCheckResult();
result.type = currentType; result.type = currentType;
setTypeCheckResult(result); setTypeCheckResult(result);