Quarantine Result
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.