Coverage

data class Coverage(val inScope: Snapshot, val excluded: List<String>)

The result of applying a Scope: the inScope snapshot that will be checked, and the qualified names (Contract.qualifiedName) excluded from checking (surfaced, never silently lost).

Constructors

Link copied to clipboard
constructor(inScope: Snapshot, excluded: List<String>)

Properties

Link copied to clipboard
Link copied to clipboard