toggle menu
codyze
jvm
switch theme
search in API
coko-dsl
/
de.fraunhofer.aisec.codyze.specificationLanguages.coko.dsl.host
/
SpecEvaluator
/
evaluate
evaluate
fun
evaluate
(
)
:
Map
<
CokoRule
,
List
<
Finding
>
>
(
source
)