hub / github.com/GraphiteEditor/Graphite / retire

Method retire

document/graph-storage/src/session.rs:301–314 · view source on GitHub ↗

Promote hot ops with timestamp `≤ up_to` into retired deltas, re-applied with fresh retirement timestamps so LWW arms bump field timestamps to `T_retire`. Today: one retired delta per hot op. Coarsening is a future step.

(&mut self, up_to: TimeStamp)

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 5

verify_history_detects_rev_mismatchFunction · 0.45

history_is_causal_and_deterministicFunction · 0.45

all_referenced_resource_hashes_survives_undoFunction · 0.45

no_op_commit_preserves_redo_stackFunction · 0.45

embed_resource_sources_preserves_unretired_hot_opsFunction · 0.45

Calls 5

drainMethod · 0.80

commit_opsMethod · 0.80

lenMethod · 0.45

pushMethod · 0.45

into_iterMethod · 0.45

Tested by 5

verify_history_detects_rev_mismatchFunction · 0.36

history_is_causal_and_deterministicFunction · 0.36

all_referenced_resource_hashes_survives_undoFunction · 0.36

no_op_commit_preserves_redo_stackFunction · 0.36

embed_resource_sources_preserves_unretired_hot_opsFunction · 0.36