cpg/de.fraunhofer.aisec.codyze.backends.cpg.coko/CokoCpgBackend/only

only

open override fun only(vararg ops: Op): OnlyNeverEvaluator(source)

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