stig-core/com.stigway.metamodels.vista/ElementView

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.

Wraps the real metamodel entity — name, description, ASIL, owner, etc. all live on the wrapped element and are not duplicated here. The view adds only overlay state: how this element is positioned, filtered, decorated, and annotated for this specific diagram.

The same Element may appear in many vistas with different overlay values; the element itself is unchanged.

Diagram-specific annotations

cascadingFault — the analyzer's data-flow pass reported a cascading-fault path that reaches this element. Distinct from "the element is safety-critical" (that's Element.asil, spec-level). null means the data-flow pass didn't compute reachability for this element.
symbolicallyReachable — the Z3-based symbolic execution confirmed that at least one concrete execution can reach this element with the path predicate satisfiable. null means symbolic reachability wasn't computed (Z3 disabled or out of budget). A false here downgrades a cascadingFault = true from "real" to "possible false positive".

Code linkage

Spec-level Elements often have no direct code site (a SYSTEM is an abstraction). When they do (a Component implemented as a specific C++ class), code points to it; null otherwise.

Constructors

ElementView

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