operator []= method

@override void operator []=(String key, String value)

Implementation

@override
operator []=(String key, String value) {
  final keyPtr = key.toNativeUtf8();
  final valuePtr = value.toNativeUtf8();
  try {
    _libz3.set_param_value(_config, keyPtr.cast(), valuePtr.cast());
  } finally {
    malloc.free(keyPtr);
    malloc.free(valuePtr);
  }
}