Added test

Author: Damtev

utbot-framework/src/test/kotlin/org/utbot/examples/AbstractTestCaseGeneratorTest.kt

@@ -2826,3 +2826,13 @@ inline fun <reified T> withFeaturePath(featurePath: String, block: () -> T): T {
         UtSettings.enableFeatureProcess = prevEnableFeatureProcess
     }
 }
+
+inline fun <reified T> withUsingReflectionForMaximizingCoverage(maximizeCoverage: Boolean, block: () -> T): T {
+    val prev = UtSettings.maximizeCoverageUsingReflection
+    UtSettings.maximizeCoverageUsingReflection = maximizeCoverage
+    try {
+        return block()
+    } finally {
+        UtSettings.maximizeCoverageUsingReflection = prev
+    }
+}

utbot-framework/src/test/kotlin/org/utbot/examples/stdlib/DateExampleTest.kt

@@ -0,0 +1,65 @@
+package org.utbot.examples.stdlib
+
+import org.junit.jupiter.api.Tag
+import org.junit.jupiter.api.Test
+import org.utbot.examples.AbstractTestCaseGeneratorTest
+import org.utbot.examples.eq
+import org.utbot.examples.isException
+import org.utbot.examples.withUsingReflectionForMaximizingCoverage
+import java.util.Date
+
+class DateExampleTest : AbstractTestCaseGeneratorTest(testClass = DateExample::class) {
+    @Suppress("SpellCheckingInspection")
+    @Tag("slow")
+    @Test
+    fun testGetTimeWithNpeChecksForNonPublicFields() {
+        withUsingReflectionForMaximizingCoverage(maximizeCoverage = true) {
+            checkWithException(
+                DateExample::getTime,
+                eq(5),
+                *commonMatchers,
+                { date: Date?, r: Result<Boolean> ->
+                    val cdate = date!!.getDeclaredFieldValue("cdate")
+                    val calendarDate = cdate!!.getDeclaredFieldValue("date")
+
+                    calendarDate == null && r.isException<NullPointerException>()
+                },
+                { date: Date?, r: Result<Boolean> ->
+                    val cdate = date!!.getDeclaredFieldValue("cdate")
+                    val calendarDate = cdate!!.getDeclaredFieldValue("date")
+
+                    val gcal = date.getDeclaredFieldValue("gcal")
+
+                    val normalized = calendarDate!!.getDeclaredFieldValue("normalized") as Boolean
+                    val gregorianYear = calendarDate.getDeclaredFieldValue("gregorianYear") as Int
+
+                    gcal == null && !normalized && gregorianYear >= 1582 && r.isException<NullPointerException>()
+                }
+            )
+        }
+    }
+
+    @Test
+    fun testGetTimeWithoutReflection() {
+        withUsingReflectionForMaximizingCoverage(maximizeCoverage = false) {
+            checkWithException(
+                DateExample::getTime,
+                eq(3),
+                *commonMatchers
+            )
+        }
+    }
+
+    private val commonMatchers = arrayOf(
+        { date: Date?, r: Result<Boolean> -> date == null && r.isException<NullPointerException>() },
+        { date: Date?, r: Result<Boolean> -> date != null && date.time == 100L && r.getOrThrow() },
+        { date: Date?, r: Result<Boolean> -> date != null && date.time != 100L && !r.getOrThrow() }
+    )
+
+    private fun Any.getDeclaredFieldValue(fieldName: String): Any? {
+        val declaredField = javaClass.getDeclaredField(fieldName)
+        declaredField.isAccessible = true
+
+        return declaredField.get(this)
+    }
+}

utbot-sample/src/main/java/org/utbot/examples/stdlib/DateExample.java

@@ -0,0 +1,9 @@
+package org.utbot.examples.stdlib;
+
+import java.util.Date;
+
+public class DateExample {
+    public boolean getTime(Date date) {
+        return date.getTime() == 100;
+    }
+}