removeFile method

void removeFile(
  1. String path
)

Removes a file from the aggregation.

Implementation

void removeFile(String path) {
  _fileResults.remove(path);
  _functionMetrics.removeWhere((key, _) => key.startsWith('$path::'));
}