DataFlowSegmentEdgeView
data class DataFlowSegmentEdgeView(val id: String, val fromSegmentId: String, val toSegmentId: String, val mergedEdgeIds: List<String> = emptyList(), val sourceInstructionIds: List<String> = emptyList(), val sourceEndpointSymbols: List<String> = emptyList(), val sinkInstructionIds: List<String> = emptyList(), val factIds: List<String> = emptyList(), val evidenceComponentIds: List<String> = emptyList(), val solverExecutionIds: List<String> = emptyList())
Constructors
Link copied to clipboard
constructor(id: String, fromSegmentId: String, toSegmentId: String, mergedEdgeIds: List<String> = emptyList(), sourceInstructionIds: List<String> = emptyList(), sourceEndpointSymbols: List<String> = emptyList(), sinkInstructionIds: List<String> = emptyList(), factIds: List<String> = emptyList(), evidenceComponentIds: List<String> = emptyList(), solverExecutionIds: List<String> = emptyList())
Properties
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Analyzer edge IDs represented by this presentation edge, including id.
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard