DataFlowPruningReport
data class DataFlowPruningReport(val selectedSourceInstructionIds: List<String> = emptyList(), val selectedSinkInstructionIds: List<String> = emptyList(), val sourceSegmentIds: List<String> = emptyList(), val sinkSegmentIds: List<String> = emptyList(), val keptSegmentIds: List<String> = emptyList(), val prunedSegmentIds: List<String> = emptyList(), val prunedSinkInstructionIds: List<String> = emptyList(), val prunedSinkSegmentIds: List<String> = emptyList())
Diagnostic sidecar produced by segment-level data-flow pruning. The diagram graph keeps only keptSegmentIds; the other fields explain what was cut.
Constructors
Link copied to clipboard
constructor(selectedSourceInstructionIds: List<String> = emptyList(), selectedSinkInstructionIds: List<String> = emptyList(), sourceSegmentIds: List<String> = emptyList(), sinkSegmentIds: List<String> = emptyList(), keptSegmentIds: List<String> = emptyList(), prunedSegmentIds: List<String> = emptyList(), prunedSinkInstructionIds: List<String> = emptyList(), prunedSinkSegmentIds: List<String> = emptyList())