Struct Finalize 

pub struct Finalize<'a, 'd> { /* private fields */ }

Post-quiescence access to driver resource finalization.

File-table mutation is deliberately absent: descriptors remain affine fields of their owner and are reclaimed only after that owner is dropped.

use dope_core::driver::lifecycle::Finalize;

fn cannot_reopen_file_authority(finish: &mut Finalize<'_, '_>) {
    let _ = finish.files();
}

Implementations

impl<'a, 'd> Finalize<'a, 'd>

pub fn retire_route<const ID: u8>(&mut self, route: &Route<'d, ID>)

pub fn stage_route<const ID: u8>(&mut self, route: &StorageRoute<'d, ID>)

Stages a quiesced storage route for a later application installation.

use dope_core::driver::lifecycle::{Finalize, routing::Route};

fn stage_application<'a, 'd>(
    finish: &mut Finalize<'a, 'd>,
    route: &Route<'d, 7>,
) {
    finish.stage_route(route);
}

use dope_core::driver::lifecycle::{Finalize, routing::StorageRoute};

fn retire_storage<'a, 'd>(
    finish: &mut Finalize<'a, 'd>,
    route: &StorageRoute<'d, 7>,
) {
    finish.retire_route(route);
}