QuarantineResult

data class QuarantineResult constructor(val conforming: List<QuarantineDecision.Conforming>, val quarantined: List<QuarantineDecision.Quarantined>, val alreadyQuarantined: List<QuarantineDecision.AlreadyQuarantined> = emptyList(), val protected: List<QuarantineDecision.Protected> = emptyList())

What a whole sweep decided, with one decision per proposition it was given.

Constructors

Link copied to clipboard
constructor(conforming: List<QuarantineDecision.Conforming>, quarantined: List<QuarantineDecision.Quarantined>, alreadyQuarantined: List<QuarantineDecision.AlreadyQuarantined> = emptyList(), protected: List<QuarantineDecision.Protected> = emptyList())

Properties

Link copied to clipboard

Every proposition the sweep saw, in one flat list.

Link copied to clipboard

Propositions an earlier sweep had already flagged, left untouched by this one. Empty unless the input contained some.

Link copied to clipboard

Propositions the change doesn't touch.

Link copied to clipboard

Pinned propositions a lossy change would otherwise have caught, left untouched because pinning promises immunity. Empty unless the input contained some.

Link copied to clipboard

Propositions this sweep flagged, as QUARANTINED copies waiting to be persisted.

Link copied to clipboard
val total: Int

How many propositions the sweep looked at.