MarkDto

data class MarkDto(val propositionId: String, val reason: String, val strategyName: String)

A leak-free summary of a single collector mark.

Constructors

Link copied to clipboard
constructor(propositionId: String, reason: String, strategyName: String)

Properties

Link copied to clipboard

the marked proposition's id

Link copied to clipboard

the stable machine reason key

Link copied to clipboard

the strategy that produced the mark