toggle menu
jqwik-kotlin
1.8.4
jvm
switch theme
search in API
jqwik-kotlin
/
net.jqwik.kotlin.api
/
SubtypeScope
Subtype
Scope
@
API
(
status
=
API.Status.EXPERIMENTAL
,
since
=
"1.8.4"
)
class
SubtypeScope
<
T
>
Members
Constructors
Subtype
Scope
Link copied to clipboard
constructor
(
)
Types
Custom
Provider
Link copied to clipboard
class
CustomProvider
<
T
>
(
val
targetType
:
KClass
<
Any
>
,
val
arbitraryFactory
:
(
)
->
Arbitrary
<
T
>
)
Properties
custom
Providers
Link copied to clipboard
val
customProviders
:
MutableList
<
SubtypeScope.CustomProvider
<
T
>
>
Functions
get
Provider
For
Link copied to clipboard
fun
getProviderFor
(
targetType
:
KClass
<
*
>
)
:
Arbitrary
<
T
>
?
provide
Link copied to clipboard
inline
fun
<
U
:
T
>
provide
(
noinline
customProvider
:
(
)
->
Arbitrary
<
U
>
)
Registers a custom provider for subtype
U
, instead of default one created by
anyForSubtypeOf
.