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)