stig-core/com.stigway.metamodels.vista

Package-level declarations

Types

data class CodeConstructView(val construct: CodeConstruct, val ownerElementId: String? = null, val parentConstructId: String? = null, val visible: Boolean = true, val name: String? = null, val iconKey: String? = null, val hotspots: List<Hotspot> = emptyList(), val position: Position? = null, val asilOverride: ASIL? = null, val propagatedAsil: ASIL? = null, val cascadingFault: Boolean? = null, val symbolicallyReachable: Boolean? = null, val metrics: CodeMetrics? = null, val description: String? = null, val isDiagramSourceEndpoint: Boolean = false, val isDiagramSinkEndpoint: Boolean = false, val sourceUrl: String? = null, val sourceLineText: String? = null, val segmentIds: 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(), val segmentInstructionOrdinals: Map<String, Int> = emptyMap(), val instructionLabels: List<String> = emptyList(), val instructionBlocks: List<InstructionTooltipBlock> = emptyList(), val endpointSymbol: String? = null, val endpointDemangled: String? = null)

The view of a single CodeConstruct inside a Vista.

CodeMetrics

data class CodeMetrics(val cognitiveComplexity: Int, val lines: Int, val statements: Int, val branches: Int, val parameters: Int, val variables: Int, val compositeScore: Double, val recommendedTests: Int)

Per-function quantitative measurements collected from clang-tidy plus a small custom complexity pass.

DataFlowPruningReport

data class DataFlowPruningReport(val selectedSourceInstructionIds: List<String> = emptyList(), val selectedSinkInstructionIds: List<String> = emptyList(), val sourceSegmentIds: List<String> = emptyList(), val sinkSegmentIds: List<String> = emptyList(), val keptSegmentIds: List<String> = emptyList(), val prunedSegmentIds: List<String> = emptyList(), val prunedSinkInstructionIds: List<String> = emptyList(), val prunedSinkSegmentIds: List<String> = emptyList())

Diagnostic sidecar produced by segment-level data-flow pruning. The diagram graph keeps only keptSegmentIds; the other fields explain what was cut.

DataFlowSegmentDagView

data class DataFlowSegmentDagView(val sinkId: String, val sinkCalleeDemangled: String = "", val segments: List<DataFlowSegmentView> = emptyList(), val edges: List<DataFlowSegmentEdgeView> = emptyList(), val isPresentationCompacted: Boolean = false, val retainsAnalyzerEvidenceIds: Boolean = true, val representedSegmentCount: Long = segments.size.toLong(), val representedEdgeCount: Long = edges.size.toLong())

Analyzer data-flow DAG for one configured sink, represented at the segment level. Segment edges are the analyzer facts; instruction IDs are membership metadata used by renderers for tooltips and context.

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())

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())

Edge

data class Edge(val sourceId: String, val targetId: String, val kind: EdgeKind = EdgeKind.DATA_FLOW, val label: String? = null, val waypoints: List<Waypoint> = emptyList(), val cascadingFault: Boolean? = null, val symbolicallyReachable: Boolean? = null, val segmentIds: List<String> = emptyList(), val segmentEdgeIds: 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(), val endpointEdgeProvenance: List<EndpointEdgeProvenance> = emptyList(), val icfgKind: IcfgEdgeKind? = null)

A directed edge between two views in a Vista.

EdgeKind

enum EdgeKind : Enum<EdgeKind>

ElementView

data class ElementView(val element: Element, val code: CodeLocation? = null, val visible: Boolean = true, val name: String? = null, val iconKey: String? = null, val hotspots: List<Hotspot> = emptyList(), val position: Position? = null, val cascadingFault: Boolean? = null, val symbolicallyReachable: Boolean? = null, val description: String? = null)

The view of a single Element inside a Vista.

EndpointEdgeProvenance

data class EndpointEdgeProvenance(val sourceId: String, val targetId: String)

Hotspot

data class Hotspot(val iconKey: String, val actionKey: String, val tooltip: String? = null)

A clickable icon overlaid on a node — a "hotspot" — used by the cytoscape exporter via cytoscape-node-html-label to give each node multiple distinct click targets (e.g. "jump to source" top-right, "show failures" bottom-right, "expand callees" bottom-left).

InstructionTooltipBlock

data class InstructionTooltipBlock(val id: String, val label: String, val sourceLineText: String? = null, val sourceFile: String? = null, val sourceLine: Int? = null, val sourceColumn: Int? = null, val sourceUrl: String? = null, val functionName: String? = null, val segmentIds: List<String> = emptyList())

InterfacePointView

data class InterfacePointView(val interfacePoint: InterfacePoint, val code: CodeLocation? = null, val visible: Boolean = true, val name: String? = null, val iconKey: String? = null, val hotspots: List<Hotspot> = emptyList(), val position: Position? = null, val cascadingFault: Boolean? = null, val symbolicallyReachable: Boolean? = null, val description: String? = null)

The view of a single InterfacePoint inside a Vista.

Position

data class Position(val x: Double, val y: Double, val width: Double, val height: Double)

Rendered position of a node in a vista — top-left corner plus dimensions, all in the diagram's coordinate space (whatever the layout engine produces; for ELK this is "pixels").

Vista

data class Vista(val elementViews: List<ElementView> = emptyList(), val interfacePointViews: List<InterfacePointView> = emptyList(), val codeConstructViews: List<CodeConstructView> = emptyList(), val edges: List<Edge> = emptyList(), val dataFlowSegmentDags: List<DataFlowSegmentDagView> = emptyList(), val dataFlowPruningReports: List<DataFlowPruningReport> = emptyList())

A vista — the view of a model along a particular axis of interest, ready to be rendered as a diagram.

Waypoint

data class Waypoint(val x: Double, val y: Double)

A single bend point on a routed edge. Edges in a vista carry a list of waypoints between their endpoints; the renderer joins them with straight segments (or smooths them into a spline).