core/dev.gmitch215.drift.contract/Assertion

Assertion

data class Assertion(val kind: AssertionKind, val id: String, val expect: String, val role: Role, val breaks: List<String> = emptyList())(source)

One requirement on an environment. expect is an attribute value or a probe transcript hash; breaks names the reds this assertion tells apart from every green.

Constructors

Assertion

constructor(kind: AssertionKind, id: String, expect: String, role: Role, breaks: List<String> = emptyList())

Types

Companion

object Companion

Properties

breaks

val breaks: List<String>

expect

val expect: String

val id: String

kind

val kind: AssertionKind

role

val role: Role

Functions

check

fun check(capsule: Capsule): Finding

toJson

fun toJson(): JsonObject