JavaTX/JavaCompilerCore
2
0
Fork 3
Code Issues 99 Pull Requests Actions Packages Projects Releases Wiki Activity

Fix lookup
Some checks failed
Build and Test with Maven / Build-and-test-with-Maven (push) Failing after 6m20s
Details

Browse Source
This commit is contained in:
Daniel Holle 2024-12-12 14:21:23 +01:00
parent 1ace099d72
commit 4318856fa8
1 changed files with 17 additions and 20 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPE.java
View File

@ -103,18 +103,18 @@ public class TYPE {
var subPatternList = recordPattern.getSubPattern(); var subPatternList = recordPattern.getSubPattern();
var resolver = new GenericsResolverSameName(); var resolver = new GenericsResolverSameName();
var refType = (RefType) recordPattern.getType();
var allClasses = blockInformation.getAvailableClasses();
var typename = refType.getName().getClassName();
ClassOrInterface allClass = allClasses.stream().filter(c -> c.getClassName().getClassName().equals(typename)).findFirst().orElseThrow();
int counter = 0; int counter = 0;
for (Pattern el : subPatternList){ for (Pattern el : subPatternList){
if (el instanceof RecordPattern){ if (el instanceof RecordPattern){
constraintSet.addAll(addRecursiveParameterConstraints((RecordPattern) el, blockInformation)); constraintSet.addAll(addRecursiveParameterConstraints((RecordPattern) el, blockInformation));
} else if (recordPattern.getType() instanceof RefType refType){ } else {
var allClasses = blockInformation.getAvailableClasses();
var typename = refType.getName().getClassName();
for (ClassOrInterface allClass : allClasses) {
var className = allClass.getClassName().getClassName();
if(className.equals(typename)){
FormalParameter param = (FormalParameter) allClass.getConstructors().getFirst().getParameterList().getParameterAt(counter); FormalParameter param = (FormalParameter) allClass.getConstructors().getFirst().getParameterList().getParameterAt(counter);
FieldAssumption assumption = new FieldAssumption(param.getName(), allClass, param.getType(), blockInformation.getCurrentTypeScope()); FieldAssumption assumption = new FieldAssumption(param.getName(), allClass, param.getType(), blockInformation.getCurrentTypeScope());
@ -129,9 +129,6 @@ public class TYPE {
PairOperator.EQUALSDOT)); PairOperator.EQUALSDOT));
} }
} }
}
}
counter++; counter++;
} }