DataFlowSegmentView
data class DataFlowSegmentView(val id: String, val instructionIds: List<String> = emptyList(), val factIds: List<String> = emptyList(), val mergedSegmentIds: List<String> = emptyList(), val evidenceComponentIds: List<String> = emptyList(), val solverExecutionIds: List<String> = emptyList(), val sourceInstructionIds: List<String> = emptyList(), val sourceEndpointSymbols: List<String> = emptyList(), val sinkInstructionIds: List<String> = emptyList())
Constructors
Link copied to clipboard
constructor(id: String, instructionIds: List<String> = emptyList(), factIds: List<String> = emptyList(), mergedSegmentIds: List<String> = emptyList(), evidenceComponentIds: List<String> = emptyList(), solverExecutionIds: List<String> = emptyList(), sourceInstructionIds: List<String> = emptyList(), sourceEndpointSymbols: List<String> = emptyList(), sinkInstructionIds: List<String> = emptyList())
Properties
Link copied to clipboard
Native schema-v6 evidence components represented by this presentation segment.
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Physical configured sinks represented by this sink-local presentation segment.
Link copied to clipboard
Native schema-v6 solver executions represented by this presentation segment.
Link copied to clipboard
Logical configured-source symbols corresponding to sourceInstructionIds.
Link copied to clipboard
Physical configured-source instructions whose facts reach this segment.