operator []= method

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

Implementation

@override
void operator []=(String key, String value) {
  final keyPtr = key.toNativeUtf8();
  final valuePtr = value.toNativeUtf8();
  try {
    _context._z3.update_param_value(keyPtr.cast(), valuePtr.cast());
  } finally {
    malloc.free(keyPtr);
    malloc.free(valuePtr);
  }
}