WIP flaky hierarchy

UnitTestBot · Jun 30, 2023 · bba80c1 · bba80c1
1 parent 5c9dbf9
commit bba80c1
Show file tree

Hide file tree

Showing 4 changed files with 120 additions and 25 deletions.
diff --git a/jacodb-type-solver/src/test/kotlin/org/jacodb/typesolver/table/AbstractTypeQuery.kt b/jacodb-type-solver/src/test/kotlin/org/jacodb/typesolver/table/AbstractTypeQuery.kt
@@ -31,32 +31,7 @@ import org.junit.jupiter.api.BeforeEach
 import kotlin.Array
 
 abstract class AbstractTypeQuery {
-    protected val configuration: Configuration = Configuration(ClasspathConfiguration.ALL_JARS)
-    protected val gson: Gson = createGsonBuilder().create()
-    protected val upperBoundNames: Array<String> = arrayOf(
-        "java.lang.Iterable",
-        "java.util.Collection",
-        "java.util.List",
-        "java.util.Set",
-        "java.util.HashSet",
-        "java.util.SortedSet",
-        "java.util.NavigableSet"
-    )
-
-    protected lateinit var classes: List<JcClassOrInterface>
-    protected lateinit var jcClasspath: JcClasspath
-    protected lateinit var hierarchy: HierarchyExtensionImpl
 
-    @BeforeEach
-    fun setupHierarchy() {
-        with(configuration) {
-            val classesWithClasspath = extractClassesTable(classpathConfiguration.toClasspath)
-            classes = classesWithClasspath.classes
-            jcClasspath = classesWithClasspath.classpath
-        }
-
-        hierarchy = runBlocking { jcClasspath.hierarchyExt() }
-    }
 
     protected data class SingleTypeQueryWithUpperBound(
         val upperBound: JvmType,

diff --git a/jacodb-type-solver/src/test/kotlin/org/jacodb/typesolver/table/BoundedTypeQueries.kt b/jacodb-type-solver/src/test/kotlin/org/jacodb/typesolver/table/BoundedTypeQueries.kt
@@ -16,14 +16,48 @@
 
 package org.jacodb.typesolver.table
 
+import com.google.gson.Gson
+import kotlinx.coroutines.runBlocking
 import org.jacodb.api.JcClassOrInterface
+import org.jacodb.api.JcClasspath
 import org.jacodb.api.ext.isAssignable
 import org.jacodb.api.ext.toType
+import org.jacodb.classtable.extractClassesTable
+import org.jacodb.impl.features.HierarchyExtensionImpl
+import org.jacodb.impl.features.hierarchyExt
+import org.jacodb.typesolver.createGsonBuilder
 import org.junit.jupiter.api.Test
+import kotlin.Array
 import kotlin.io.path.Path
 
 // TODO use InMemoryHierarchy feature?
 class BoundedTypeQueries : AbstractTypeQuery() {
+    protected val configuration: Configuration = Configuration(ClasspathConfiguration.ALL_JARS)
+    protected val gson: Gson = createGsonBuilder().create()
+    protected val upperBoundNames: Array<String> = arrayOf(
+        "java.lang.Iterable",
+        "java.util.Collection",
+        "java.util.List",
+        "java.util.Set",
+        "java.util.HashSet",
+        "java.util.SortedSet",
+        "java.util.NavigableSet"
+    )
+
+    protected val classes: List<JcClassOrInterface>
+    protected val jcClasspath: JcClasspath
+    protected val hierarchy: HierarchyExtensionImpl
+
+    init {
+        with(configuration) {
+            val classesWithClasspath = extractClassesTable(classpathConfiguration.toClasspath)
+            classes = classesWithClasspath.classes
+            jcClasspath = classesWithClasspath.classpath
+        }
+
+        hierarchy = runBlocking { jcClasspath.hierarchyExt() }
+    }
+
     @Test
     fun writeArtificialWildcardExtendsNumber() {
         val numberClass = classes.single { it.name == "java.lang.Number" }

diff --git a/jacodb-type-solver/src/test/kotlin/org/jacodb/typesolver/table/TestHierarchy.kt b/jacodb-type-solver/src/test/kotlin/org/jacodb/typesolver/table/TestHierarchy.kt
@@ -0,0 +1,52 @@
+/*
+ *  Copyright 2022 UnitTestBot contributors (utbot.org)
+ * <p>
+ *  Licensed under the Apache License, Version 2.0 (the "License");
+ *  you may not use this file except in compliance with the License.
+ *  You may obtain a copy of the License at
+ * <p>
+ *  http://www.apache.org/licenses/LICENSE-2.0
+ * <p>
+ *  Unless required by applicable law or agreed to in writing, software
+ *  distributed under the License is distributed on an "AS IS" BASIS,
+ *  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ *  See the License for the specific language governing permissions and
+ *  limitations under the License.
+ */
+
+package org.jacodb.typesolver.table
+
+import kotlinx.coroutines.runBlocking
+import org.jacodb.api.JcClasspath
+import org.jacodb.impl.features.HierarchyExtensionImpl
+import org.jacodb.impl.features.hierarchyExt
+import org.jacodb.impl.jacodb
+import org.jacodb.testing.allJars
+import org.junit.jupiter.api.RepeatedTest
+
+class TestHierarchy {
+    @RepeatedTest(20)
+    fun test() {
+        val jcClasspath: JcClasspath
+        val hierarchy: HierarchyExtensionImpl
+
+        runBlocking {
+            val db = jacodb {
+                useProcessJavaRuntime()
+                loadByteCode(allJars)
+            }
+            jcClasspath = db.classpath(allJars)
+
+            hierarchy = jcClasspath.hierarchyExt()
+        }
+
+        val setSubclasses = hierarchy.findSubClassesIncluding("java.util.Set", allHierarchy = true).toSet()
+        val listSubclasses = hierarchy.findSubClassesIncluding("java.util.List", allHierarchy = true).toSet()
+
+        val intersect = setSubclasses.filter { it in listSubclasses }
+
+        println(intersect.size)
+
+        jcClasspath.db.close()
+    }
+}
diff --git a/jacodb-type-solver/src/test/kotlin/org/jacodb/typesolver/table/UnboundedTypeQueries.kt b/jacodb-type-solver/src/test/kotlin/org/jacodb/typesolver/table/UnboundedTypeQueries.kt
@@ -16,12 +16,46 @@
 
 package org.jacodb.typesolver.table
 
+import com.google.gson.Gson
+import kotlinx.coroutines.runBlocking
 import org.jacodb.api.JcClassOrInterface
+import org.jacodb.api.JcClasspath
+import org.jacodb.classtable.extractClassesTable
+import org.jacodb.impl.features.HierarchyExtensionImpl
+import org.jacodb.impl.features.hierarchyExt
+import org.jacodb.typesolver.createGsonBuilder
 import org.junit.jupiter.api.Test
+import kotlin.Array
 import kotlin.io.path.Path
 
 // TODO use InMemoryHierarchy feature?
 class UnboundedTypeQueries : AbstractTypeQuery() {
+    protected val configuration: Configuration = Configuration(ClasspathConfiguration.ALL_JARS)
+    protected val gson: Gson = createGsonBuilder().create()
+    protected val upperBoundNames: Array<String> = arrayOf(
+        "java.lang.Iterable",
+        "java.util.Collection",
+        "java.util.List",
+        "java.util.Set",
+        "java.util.HashSet",
+        "java.util.SortedSet",
+        "java.util.NavigableSet"
+    )
+
+    protected val classes: List<JcClassOrInterface>
+    protected val jcClasspath: JcClasspath
+    protected val hierarchy: HierarchyExtensionImpl
+
+    init {
+        with(configuration) {
+            val classesWithClasspath = extractClassesTable(classpathConfiguration.toClasspath)
+            classes = classesWithClasspath.classes
+            jcClasspath = classesWithClasspath.classpath
+        }
+
+        hierarchy = runBlocking { jcClasspath.hierarchyExt() }
+    }
+
     @Test
     fun writeArtificialUnboundedTypeQueries() {
         for (upperBoundName in upperBoundNames) {