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
Link copied to clipboard
val id: String
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
Generated with STIG