coko-core/de.fraunhofer.aisec.codyze.specificationLanguages.coko.core/CokoBackend/only

only

abstract fun only(vararg ops: Op): Evaluator(source)

Ensures that all calls to the ops have arguments that fit the parameters specified in ops