getData method

Map<String, num> getData()

Implementation

Map<String, num> getData() {
  final result = <String, num>{};
  final size = _c._z3.stats_size(_stats);
  for (var i = 0; i < size; i++) {
    final key = _c._z3.stats_get_key(_stats, i).cast<Utf8>().toDartString();
    if (_c._z3.stats_is_uint(_stats, i)) {
      result[key] = _c._z3.stats_get_uint_value(
        _stats,
        i,
      );
    } else if (_c._z3.stats_is_double(_stats, i)) {
      result[key] = _c._z3.stats_get_double_value(
        _stats,
        i,
      );
    } else {
      throw AssertionError('Unknown stat type at index $i');
    }
  }
  return result;
}