forked from JavaTX/JavaCompilerCore
Bei diesem und vorigen Commit wurde der Bug #328
JavaTX/JavaCompilerCore#328 geloest. 1. src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java in der Methode copute wurden die methodSignatureConstraints der bereits zu Beginn aufegloesten einer Oder Constraints in die Methodconstraints der Unifikation geschrieben 2. Elementtyp der linken Seiten der methodSignatureConstraints wurden von RefTypeOrTPHOrWildcardOrGeneric auf TypePlaceholder geaendert, weil dort nur TypePlaceholder geaendert. 3. src/main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/SyntaxTreeGenerator.java in der Methode prepareBlock wurde der Typ des Rückgabewerts des supercalls von Void auf eine Freshtpevar gesetzt. 4. src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java in der unify2-Methode wurde am Ende der Aufruf der Substitution nach Hinzufuegen der Methodconstraints auskommentiert -> hat zu nicht geloesten Constraints gefuehrt. modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: src/test/java/TestComplete.java
This commit is contained in:
parent
58110c474a
commit
71dfe5d9e1
@ -599,11 +599,13 @@ public class TypeUnifyTask extends RecursiveTask<Set<Set<UnifyPair>>> {
|
||||
eqPrimePrimeSet.forEach(x -> x.addAll(methodSignatureConstraint));
|
||||
|
||||
//Substitutionen in methodcontraintsets werdne ausgeführt
|
||||
/* PL auskommentiert 2024-05-02
|
||||
eqPrimePrimeSet = eqPrimePrimeSet.stream().map(
|
||||
x -> { Optional<Set<UnifyPair>> help = rules.subst(x);
|
||||
return help.isPresent() ?
|
||||
help.get():
|
||||
x; }).collect(Collectors.toSet());
|
||||
*/
|
||||
/*
|
||||
* Ende
|
||||
*/
|
||||
|
@ -180,7 +180,7 @@ public class TestComplete {
|
||||
}
|
||||
|
||||
@Test
|
||||
@Ignore()
|
||||
//@Ignore()
|
||||
public void matrixOpTest() throws Exception {
|
||||
var classFiles = generateClassFiles(new ByteArrayClassLoader(), "MatrixOP.jav");
|
||||
var matrixOP = classFiles.get("MatrixOP");
|
||||
|
Loading…
Reference in New Issue
Block a user