toggle menu
codyze
jvm
switch theme
search in API
coko-dsl
/
de.fraunhofer.aisec.codyze.specificationLanguages.coko.dsl.cli
/
validateSpec
validate
Spec
fun
validateSpec
(
spec
:
List
<
Path
>
)
:
List
<
Path
>
(
source
)