RohdModuleInfo class
Information returned by the ROHD extension for a specific module.
Viewers use this to decide which "Go to …" menu items to display and whether to show a status icon indicating that the extension is connected.
Constructors
-
RohdModuleInfo({required bool extensionAvailable, String? module, Map<
RohdSourceFormat, RohdFormatInfo> formats = const {}, String? error, bool? dtdHealthy, bool dtdRegistrationConflict = false, String? dtdStatusMessage, bool fstLoading = false}) -
Creates information returned by the ROHD extension for a module.
const
-
RohdModuleInfo.fromJson(Map<
String, dynamic> json) -
Build from a JSON map (as returned by the extension host or DTD).
factory
Properties
-
availableFormatNames
→ List<
String> -
All format names for which data is available (as lower-case strings).
no setter
- dtdHealthy → bool?
-
Whether the DTD
rohdservice appears healthy for source navigation.final - dtdRegistrationConflict → bool
-
True when the DTD
rohdservice is registered but does not advertise the expected ROHD bridge capability marker.final - dtdStatusMessage → String?
-
Human-readable DTD health detail for UI display.
final
- error → String?
-
A human-readable error message if the query failed, null otherwise.
final
- extensionAvailable → bool
-
Whether the ROHD extension responded to the query.
final
-
formats
→ Map<
RohdSourceFormat, RohdFormatInfo> -
Per-format availability, keyed by RohdSourceFormat.
final
- fstLoading → bool
-
truewhile the extension is still loading an FST file asynchronously.final - hasAnySource → bool
-
True when any source navigation format is available.
no setter
- hasFst → bool
-
Whether a waveform file (FST/VCD) is available and found on disk.
no setter
- hashCode → int
-
The hash code for this object.
no setterinherited
- hasRohd → bool
-
Whether the module has ROHD Dart source available and found on disk.
no setter
- hasSc → bool
-
Whether the module has SystemC output available and found on disk.
no setter
- hasSv → bool
-
Whether the module has SystemVerilog output available and found on disk.
no setter
- module → String?
-
The module definition name that was queried (e.g.
'Counter_L1_').final -
All source-navigable formats (ROHD, SV, SystemC) that are usable for
this module, in display order. Excludes RohdSourceFormat.fst (a
waveform, not a navigable source).
no setter
- runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
Methods
-
noSuchMethod(
Invocation invocation) → dynamic -
Invoked when a nonexistent method or property is accessed.
inherited
-
toJson(
) → Map< String, dynamic> - Serialize to JSON for transmission over DTD or postMessage.
-
toString(
) → String -
A string representation of this object.
inherited
Operators
-
operator ==(
Object other) → bool -
The equality operator.
inherited
Static Methods
-
formatLabel(
RohdSourceFormat fmt) → String - Human-readable label for a format.
Constants
- Sentinel value used when the extension is not available.