Trying a fix for #557

jqwik-team · Mar 12, 2024 · e4409d4 · e4409d4
1 parent a4c462d
commit e4409d4
Show file tree

Hide file tree

Showing 3 changed files with 17 additions and 1 deletion.
diff --git a/kotlin/src/main/kotlin/net/jqwik/kotlin/internal/KotlinReflectionSupport.kt b/kotlin/src/main/kotlin/net/jqwik/kotlin/internal/KotlinReflectionSupport.kt
@@ -15,6 +15,9 @@ fun Class<*>.isKotlinClass(): Boolean = declaredAnnotations.any { it.annotationC
 
 val Parameter.kotlinParameter: KParameter?
     get() {
+        if (!this.declaringExecutable.declaringClass.isKotlinClass()) {
+            return null
+        }
         if (isSuspendFunctionContinuationParameter()) {
             return null
         }

diff --git a/kotlin/src/main/kotlin/net/jqwik/kotlin/internal/SuspendedPropertyMethodsHook.kt b/kotlin/src/main/kotlin/net/jqwik/kotlin/internal/SuspendedPropertyMethodsHook.kt
@@ -38,7 +38,10 @@ class SuspendedPropertyMethodsHook : ResolveParameterHook, InvokePropertyMethodH
     }
 
     private fun AnnotatedElement.isSuspendFunction() =
-        this is Method && this.kotlinFunction?.isSuspend ?: false
+        this is Method
+            // Added because of https://github.com/jqwik-team/jqwik/issues/557
+            && this.declaringClass.isKotlinClass()
+            && this.kotlinFunction?.isSuspend ?: false
 
     override fun resolve(
         parameterContext: ParameterResolutionContext,

diff --git a/kotlin/src/test/java/net/jqwik/kotlin/java/JavaProperty.java b/kotlin/src/test/java/net/jqwik/kotlin/java/JavaProperty.java
@@ -0,0 +1,10 @@
+package net.jqwik.kotlin.java;
+
+import net.jqwik.api.*;
+
+class JavaProperty {
+
+	@Property
+	void aProperty(@ForAll int anInt) {
+	}
+}