getData method
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;
}