clonePopulator method

  1. @mustBeOverridden
FloatingPointValuePopulator<FloatingPointValue> clonePopulator()

Creates a FloatingPointValuePopulator for the same type as this and with the same widths.

This must be overridden in subclasses so that the correct type of FloatingPointValuePopulator is returned for generating equivalent types of FloatingPointValues.

Implementation

@mustBeOverridden
FloatingPointValuePopulator clonePopulator() =>
    FloatingPointValuePopulator(FloatingPointValue.uninitialized(
        explicitJBit: explicitJBit, subNormalAsZero: subNormalAsZero)
      .._exponentWidth = exponentWidth
      .._mantissaWidth = mantissaWidth);