toggle menu
codyze
jvm
switch theme
search in API
coko-core
/
de.fraunhofer.aisec.codyze.specificationLanguages.coko.core
/
Evaluator
/
evaluate
evaluate
abstract
fun
evaluate
(
context
:
EvaluationContext
)
:
Collection
<
Finding
>
(
source
)