Context constructor

Context(
  1. Config _originalConfig
)

Implementation

Context(this._originalConfig)
    : _context = _libz3.mk_context_rc(_originalConfig._config) {
  _finalizer.attach(this, _context);
  _instances[_context] = WeakReference(this);
  _libz3.set_error_handler(_context, Pointer.fromFunction(_errorHandler));
}