EvidenceComponent
data class EvidenceComponent(val id: String, val solverExecutionId: String, val leakFactIds: List<String>, val segments: List<EvidenceSegment>, val edges: List<DataFlowSegmentEdge>, val rootSegmentIds: List<String>, val terminalSegmentIds: List<String>, val sourceBoundaries: List<EvidenceSourceBoundary> = emptyList())
Constructors
Link copied to clipboard
constructor(id: String, solverExecutionId: String, leakFactIds: List<String>, segments: List<EvidenceSegment>, edges: List<DataFlowSegmentEdge>, rootSegmentIds: List<String>, terminalSegmentIds: List<String>, sourceBoundaries: List<EvidenceSourceBoundary> = emptyList())