make test functions static

This commit is contained in:
Till Schnell 2021-04-10 10:42:28 +02:00
parent c627f9de60
commit 78e3b76dc3

View File

@ -32,20 +32,20 @@ public class TestInferWildcardsJavaTx
return new JavaTXCompiler(files1); return new JavaTXCompiler(files1);
} }
private Map<TypePlaceholder, RefType> generateTph (JavaTXCompiler javaTXCompiler) { private static Map<TypePlaceholder, RefType> generateTph (JavaTXCompiler javaTXCompiler) {
System.out.println("\nReplacements:"); System.out.println("\nReplacements:");
return TypePlaceholderReplaceUtils.generateTypePlaceholder(javaTXCompiler); return TypePlaceholderReplaceUtils.generateTypePlaceholder(javaTXCompiler);
} }
private ConstraintSet<Pair> getGeneratedConstraints (Map<TypePlaceholder, RefType> tphMap) { private static ConstraintSet<Pair> getGeneratedConstraints (Map<TypePlaceholder, RefType> tphMap) {
System.out.println("\nGenerated TPH:"); System.out.println("\nGenerated TPH:");
System.out.println(tphMap); System.out.println(tphMap);
return ConstraintsGenerationUtils.generateConstraints(tphMap); return ConstraintsGenerationUtils.generateConstraints(tphMap);
} }
private ConstraintSet<Pair> combineConstraints (JavaTXCompiler javaTXCompiler, private static ConstraintSet<Pair> combineConstraints (JavaTXCompiler javaTXCompiler,
ConstraintSet<Pair> generatedConstraints) ConstraintSet<Pair> generatedConstraints)
throws ClassNotFoundException, IOException { throws ClassNotFoundException, IOException {
System.out.println("\nGenerated Constraints:"); System.out.println("\nGenerated Constraints:");