dispose method

@override void dispose()

Disposes resources used by this evaluator.

Should be called when the evaluator is no longer needed.

Implementation

@override
void dispose() {
  // Nothing to dispose
}