optimized assume intrinsics

vorpal-research · May 2, 2024 · 0808673 · 0808673
1 parent 84ae761
commit 0808673
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 1 deletion.
diff --git a/pom.xml b/pom.xml
@@ -5,7 +5,7 @@
 
     <groupId>org.vorpal.research</groupId>
     <artifactId>kex-intrinsics</artifactId>
-    <version>0.1.1</version>
+    <version>0.1.2</version>
     <packaging>jar</packaging>
 
     <name>org.vorpal.research kex-intrinsics</name>

diff --git a/src/main/kotlin/org/vorpal/research/kex/intrinsics/AssertIntrinsics.kt b/src/main/kotlin/org/vorpal/research/kex/intrinsics/AssertIntrinsics.kt
@@ -72,6 +72,21 @@ object AssertIntrinsics {
     @JvmStatic
     inline fun kexAssert(id: String, condition: Boolean) {}
 
+    /**
+     * Assumes that the given object @param is null
+     * */
+    @JvmStatic
+    fun <T> kexAssertNull(value: T?): T {
+        return value ?: throw NullPointerException()
+    }
+
+    /**
+     * Assumes that the given object @param is null
+     * */
+    @JvmStatic
+    fun <T> kexAssertNotNull(value: T?): T {
+        return value ?: throw NullPointerException()
+    }
 
     /**
      * Checks if the call cite is unreachable