toggle menu
codyze
jvm
switch theme
search in API
coko-dsl
/
de.fraunhofer.aisec.codyze.specificationLanguages.coko.dsl.host
/
SpecEvaluator
/
addSpec
add
Spec
fun
addSpec
(
scriptClass
:
KClass
<
*
>
,
scriptInstance
:
Any
)
(
source
)