Struct FileWork 

pub struct FileWork {
    pub created: u64,
    pub rewritten: u64,
    pub removed: u64,
    pub walked: u64,
}

What putting a tree in place cost the filesystem, counted by the code that did the work (crates/storage/spec/Worktree.lean §8-31).

A wall-clock reading of the same work moves with the machine and its real-time scanner, which waits on every file created; these four numbers do not, so they, and not the clock, are what a regression is judged by. Directories made along the way are not counted: the scanner waits on files.

Fields

created: u64

Files written where no file stood.

rewritten: u64

Files written over because they differed from what the tree should hold.

removed: u64

Entries taken away because the tree should not hold them; a directory counts once, with whatever it held.

walked: u64

Directory entries read.

Trait Implementations

impl Clone for FileWork

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for FileWork

impl Debug for FileWork

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for FileWork

fn default() -> Self

Returns the “default value” for a type.

impl Eq for FileWork

impl PartialEq for FileWork

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for FileWork