diff options
| author |  Chloe Calvarin <ccalvarin@google.com> | 2016-10-05 22:52:55 +0000 |
|---|---|---|
| committer |  Damien Martin-Guillerez <dmarting@google.com> | 2016-10-06 07:41:32 +0000 |
| commit | 860b8d27724f6beeb67e19f102ddca00b143bee6 (patch) | |
| tree | 139421c989295111ac452e159ec084f4a3397937 /src/java_tools | |
| parent | cddad444da9748f26b4326f8e2de13ad7f26239e (diff) | |
EvaluationProgressReceiver absorbs other progress trackers.
Remove DirtyKeyTracker and inflight node tracking as independent
progress tracking bits of code, and instead use an internal-facing
DirtyTrackingProgressReceiver wrapper of the user's
EvaluationProgressReceiver.
--
MOS_MIGRATED_REVID=135291924
Diffstat (limited to 'src/java_tools')
0 files changed, 0 insertions, 0 deletions