changeset 52037 | 3ae7c43ad8aa |
child 52038 | 92e23ba257d1 |
52036:7c105b953ca4 | 52037:3ae7c43ad8aa |
---|---|
1 //! Progress-bar related things |
|
2 |
|
3 /// A generic determinate progress bar trait |
|
4 pub trait Progress: Send + Sync + 'static { |
|
5 /// Set the current position and optionally the total |
|
6 fn update(&self, pos: u64, total: Option<u64>); |
|
7 /// Increment the current position and optionally the total |
|
8 fn increment(&self, step: u64, total: Option<u64>); |
|
9 /// Declare that progress is over and the progress bar should be deleted |
|
10 fn complete(self); |
|
11 } |