operator []= method

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

Manually override a config 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);
  }
}