add combination of constraints
This commit is contained in:
parent
98b3ad1517
commit
0cdeee9e0d
@ -47,7 +47,7 @@ public class TestInferWildcardsJavaTx
|
|||||||
Map<TypePlaceholder, RefType> tphMap = visitor.getTphMap();
|
Map<TypePlaceholder, RefType> tphMap = visitor.getTphMap();
|
||||||
System.out.println(tphMap);
|
System.out.println(tphMap);
|
||||||
ConstraintSet generatedConstraints = ConstraintsGenerationUtils.generateConstraints(tphMap);
|
ConstraintSet generatedConstraints = ConstraintsGenerationUtils.generateConstraints(tphMap);
|
||||||
System.out.println(generatedConstraints);
|
// System.out.println(generatedConstraints);
|
||||||
|
|
||||||
|
|
||||||
// Constraints
|
// Constraints
|
||||||
@ -55,6 +55,9 @@ public class TestInferWildcardsJavaTx
|
|||||||
constraints.addAll(generatedConstraints);
|
constraints.addAll(generatedConstraints);
|
||||||
|
|
||||||
System.out.println(constraints);
|
System.out.println(constraints);
|
||||||
|
|
||||||
|
// List<ResultSet> typeInference = javaTXCompiler.typeInference();
|
||||||
|
// System.out.println(typeInference);
|
||||||
}
|
}
|
||||||
|
|
||||||
}
|
}
|
||||||
|
Loading…
Reference in New Issue
Block a user