destroyProxy method

  1. @override
void destroyProxy(
  1. int proxyId
)
override

Destroy a proxy. It is up to the client to remove any pairs.

Implementation

@override
void destroyProxy(int proxyId) {
  _moveBuffer.remove(proxyId);
  _tree.destroyProxy(proxyId);
}