- String label = bitDisplay == null ? BitVectorFormatter.formatAsString(null)
- : BitVectorFormatter.formatAsString(bitDisplay.getDisplayedValue());
+ String label;
+ if (bitDisplay == null)
+ label = BitVectorFormatter.formatAsString(null);
+ else
+ {
+ BitVector toDisplay = bitDisplay.getDisplayedValue();
+ label = toDisplay != null && toDisplay.isHighImpedance() ? "-"
+ : BitVectorFormatter.formatAsString(bitDisplay.getDisplayedValue());
+ }