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

Package-level declarations

Types

class CallAssertion(val op: Op, val location: CallLocation? = null) : CallConditionComponent

data class CallLocation(val direction: Direction, val scope: Scope)

CallLocationBuilder

class CallLocationBuilder

interface CokoBackend : Backend

@Target(allowedTargets = [AnnotationTarget.FUNCTION, AnnotationTarget.CLASS, AnnotationTarget.PROPERTY, AnnotationTarget.TYPEALIAS, AnnotationTarget.TYPE])

annotation class CokoMarker

typealias CokoRule = KFunction<Evaluator>

enum Direction : Enum<Direction>

EvaluationContext

data class EvaluationContext(val rule: CokoRule, val parameterMap: Map<KParameter, Any>)

The context used during rule evaluation.

fun interface Evaluator

interface Finding

The result of a rule evaluation.

class ListBuilder

enum Scope : Enum<Scope>

WheneverEvaluator

abstract class WheneverEvaluator(premise: ConditionComponent) : Evaluator

An evaluator that describes what should happen around the code that the premise represents.

Functions

fun Severity.toResultLevel(): Level