i21017/JavaCompilerCore
1
0
Fork 1
forked from JavaTX/JavaCompilerCore
Code Pull Requests Activity

Compare commits

base: i21017:a6ca31d509a4fc01de08428cde167091da7ed9d9
Branches Tags
i21017:unif23NoOptParallel_Lehmann i21017:performanceTestNoOptimizations i21017:performanceTestNoOptimizationsTest i21017:performanceTestThreadCounter i21017:performanceTestUnifyResultModelParallel i21017:performanceTestUnifyTaskModel i21017:performanceTestLogging i21017:performanceTestVarianceZero i21017:matrixTest JavaTX:KPS2025 JavaTX:master JavaTX:LSP-Interface JavaTX:targetBytecode JavaTX:patternMatching JavaTX:issue363 JavaTX:patternMatchingTmp JavaTX:tryCatch JavaTX:sealedInterfacesFix JavaTX:newConstraints JavaTX:aspGen JavaTX:bigRefactoring JavaTX:unif23NoOptParallel JavaTX:unif23NoOptParallel_Lehmann JavaTX:fixPlugin JavaTX:parseSignature JavaTX:unif23Full JavaTX:unif23 JavaTX:gradle JavaTX:astRecordRefactoring JavaTX:refactorToAPIs JavaTX:bigCleanup JavaTX:typeErasure JavaTX:inferWildcards JavaTX:bytecodeGenericsSecond JavaTX:generateTestConstraints JavaTX:refactoringUnify JavaTX:bigRefactoringUnifyComment JavaTX:bytecodeGenerics JavaTX:refactoringConstraintSet JavaTX:refactoring2020 JavaTX:addPackages JavaTX:simplifyRes JavaTX:classloader JavaTX:bytecode2 JavaTX:unify-test JavaTX:bcGenerics JavaTX:plugin JavaTX:unify-PartialOrderSet JavaTX:sat JavaTX:unifyOptimierung JavaTX:UnifyDependentSubstitutions JavaTX:strucTypesNew JavaTX:UnifyAllSolutions JavaTX:strucTypesTemp JavaTX:parser JavaTX:strucTypesVollmer JavaTX:ohneMaven JavaTX:antlr2 JavaTX:martin JavaTX:antlr JavaTX:strucTypes_dev_PL JavaTX:strucTypes_dev2 JavaTX:refactoring JavaTX:strucTypes JavaTX:bcel JavaTX:intellij JavaTX:bytecode JavaTX:unify JavaTX:unifyStable JavaTX:unifyDev JavaTX:classfile
...
compare: i21017:f43d1f4f4f61cfe194fc577f0c06247ff4e8c3b9
Branches Tags
i21017:performanceTestNoOptimizations i21017:performanceTestNoOptimizationsTest i21017:unif23NoOptParallel_Lehmann i21017:performanceTestThreadCounter i21017:performanceTestUnifyResultModelParallel i21017:performanceTestUnifyTaskModel i21017:performanceTestLogging i21017:performanceTestVarianceZero i21017:matrixTest JavaTX:KPS2025 JavaTX:master JavaTX:LSP-Interface JavaTX:targetBytecode JavaTX:patternMatching JavaTX:issue363 JavaTX:patternMatchingTmp JavaTX:tryCatch JavaTX:sealedInterfacesFix JavaTX:newConstraints JavaTX:aspGen JavaTX:bigRefactoring JavaTX:unif23NoOptParallel JavaTX:unif23NoOptParallel_Lehmann JavaTX:fixPlugin JavaTX:parseSignature JavaTX:unif23Full JavaTX:unif23 JavaTX:gradle JavaTX:astRecordRefactoring JavaTX:refactorToAPIs JavaTX:bigCleanup JavaTX:typeErasure JavaTX:inferWildcards JavaTX:bytecodeGenericsSecond JavaTX:generateTestConstraints JavaTX:refactoringUnify JavaTX:bigRefactoringUnifyComment JavaTX:bytecodeGenerics JavaTX:refactoringConstraintSet JavaTX:refactoring2020 JavaTX:addPackages JavaTX:simplifyRes JavaTX:classloader JavaTX:bytecode2 JavaTX:unify-test JavaTX:bcGenerics JavaTX:plugin JavaTX:unify-PartialOrderSet JavaTX:sat JavaTX:unifyOptimierung JavaTX:UnifyDependentSubstitutions JavaTX:strucTypesNew JavaTX:UnifyAllSolutions JavaTX:strucTypesTemp JavaTX:parser JavaTX:strucTypesVollmer JavaTX:ohneMaven JavaTX:antlr2 JavaTX:martin JavaTX:antlr JavaTX:strucTypes_dev_PL JavaTX:strucTypes_dev2 JavaTX:refactoring JavaTX:strucTypes JavaTX:bcel JavaTX:intellij JavaTX:bytecode JavaTX:unify JavaTX:unifyStable JavaTX:unifyDev JavaTX:classfile

2 Commits
a6ca31d509 ... f43d1f4f4f

Author SHA1 Message Date
i21017
f43d1f4f4f Merge pull request 'Update src/test/java/typeinference/UnifyTest.java' (#1) from stan-patch-Finite-Closure into unif23NoOptParallel_Lehmann 
Reviewed-on: #1
 2024-02-04 12:03:32 +00:00
Andreas Stadelmeier
2a44773403 Update src/test/java/typeinference/UnifyTest.java 
Die "Smaller" Relationen waren in falscher Richtung.
Außerdem müssen TypeParams bei List und AbstractList angefügt werden
 2024-02-01 12:06:10 +00:00
1 changed files with 11 additions and 11 deletions
Expand all files Collapse all files

22
src/test/java/typeinference/UnifyTest.java
View File

@@ -63,25 +63,25 @@ public class UnifyTest {
Set<UnifyPair> constraints = new HashSet<>(); Set<UnifyPair> constraints = new HashSet<>();
type1 = new ReferenceType("Object"); type1 = new ReferenceType("Object");
type2 = new ReferenceType("String"); type2 = new ReferenceType("String");
constraints.add(new UnifyPair(type1, type2, PairOperator.SMALLER)); constraints.add(new UnifyPair(type2, type1, PairOperator.SMALLER));
type1 = new ReferenceType("Number"); type1 = new ReferenceType("Number");
type2 = new ReferenceType("Integer"); type2 = new ReferenceType("Integer");
constraints.add(new UnifyPair(type1, type2, PairOperator.SMALLER)); constraints.add(new UnifyPair(type2, type1, PairOperator.SMALLER));
type1 = new ReferenceType("Object"); type1 = new ReferenceType("Object");
type2 = new ReferenceType("Number"); type2 = new ReferenceType("Number");
constraints.add(new UnifyPair(type1, type2, PairOperator.SMALLER)); constraints.add(new UnifyPair(type2, type1, PairOperator.SMALLER));
/* type1 = new ReferenceType("AbstractList", new TypeParams(new PlaceholderType("X"))); /* type1 = new ReferenceType("AbstractList", new TypeParams(new PlaceholderType("X")));
type2 = new ReferenceType("List", new TypeParams(new PlaceholderType("X"))); type2 = new ReferenceType("List", new TypeParams(new PlaceholderType("X")));
constraints.add(new UnifyPair(type1, type2, PairOperator.SMALLER)); constraints.add(new UnifyPair(type1, type2, PairOperator.SMALLER));
type1 = new ReferenceType("Object"); type1 = new ReferenceType("Object");
type2 = new ReferenceType("AbstractList", new TypeParams(new PlaceholderType("X"))); type2 = new ReferenceType("AbstractList", new TypeParams(new PlaceholderType("X")));
constraints.add(new UnifyPair(type1, type2, PairOperator.SMALLER));*/ constraints.add(new UnifyPair(type1, type2, PairOperator.SMALLER));*/
type1 = new ReferenceType("AbstractList"); type1 = new ReferenceType("AbstractList", new PlaceholderType("X"));
type2 = new ReferenceType("List"); type2 = new ReferenceType("List", new PlaceholderType("X"));
constraints.add(new UnifyPair(type1, type2, PairOperator.SMALLER)); constraints.add(new UnifyPair(type2, type1, PairOperator.SMALLER));
type1 = new ReferenceType("Object"); type1 = new ReferenceType("Object");
type2 = new ReferenceType("AbstractList"); type2 = new ReferenceType("AbstractList", new PlaceholderType("X"));
constraints.add(new UnifyPair(type1, type2, PairOperator.SMALLER)); constraints.add(new UnifyPair(type2, type1, PairOperator.SMALLER));
IFiniteClosure finiteClosure = new FiniteClosure(constraints, new NullWriter()); IFiniteClosure finiteClosure = new FiniteClosure(constraints, new NullWriter());
@@ -106,11 +106,11 @@ public class UnifyTest {
Set<UnifyPair> constraints = new HashSet<>(); Set<UnifyPair> constraints = new HashSet<>();
type1 = new ReferenceType("Object"); type1 = new ReferenceType("Object");
type2 = new ReferenceType("List"); type2 = new ReferenceType("List", new PlaceholderType("X"));
constraints.add(new UnifyPair(type1, type2, PairOperator.SMALLER)); constraints.add(new UnifyPair(type2, type1, PairOperator.SMALLER));
type1 = new ReferenceType("Object"); type1 = new ReferenceType("Object");
type2 = new ReferenceType("Integer"); type2 = new ReferenceType("Integer");
constraints.add(new UnifyPair(type1, type2, PairOperator.SMALLER)); constraints.add(new UnifyPair(type2, type1, PairOperator.SMALLER));
IFiniteClosure finiteClosure = new FiniteClosure(constraints, new NullWriter()); IFiniteClosure finiteClosure = new FiniteClosure(constraints, new NullWriter());