omena-incremental 0.2.0

Salsa-style incremental invalidation primitives for Omena
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

//! Incremental frame invalidation adapter for cascade diagnostic footprints.
//!
//! The public entry point bridges edited module IDs into the conservative
//! recheck-selection contract owned by `omena-cascade`.

use omena_cascade::{
    DiagnosticFrameFootprintV0, ModuleFootprintV0, RecheckSelectionV0, compute_edit_footprint,
    select_recheck_set,
};

pub fn select_frame_aware_recheck_set(
    frames: &[DiagnosticFrameFootprintV0],
    edited_module_ids: Vec<String>,
) -> RecheckSelectionV0 {
    let footprint: ModuleFootprintV0 = compute_edit_footprint(edited_module_ids);
    select_recheck_set(frames, &footprint)
}