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
val id: String
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.

Generated with STIG