coko-dsl/de.fraunhofer.aisec.codyze.specificationLanguages.coko.dsl.cli

Package-level declarations

Types

CokoOptionGroup

class CokoOptionGroup : ExecutorOptions

Contains all the options specific to the CokoExecutor.

class CokoSubcommand : ExecutorCommand<CokoExecutor>

Properties

val Path.fileNameString: String

Functions

fun validateSpec(spec: List<Path>): List<Path>