dispose method

void dispose()

Releases this tree handle, matching ts_tree_delete.

Copies remain valid because each Dart tree owns an independent public node-handle graph over the retained generated subtree identities.

Implementation

void dispose() {
  if (_disposed) return;
  _includedRanges = const [];
  _comparisonGeneratedTree = null;
  _disposed = true;
}