enki-anu 0.2.5

BorrowEngine, task recording, and pipeline synthesis for the Enki runtime
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28

pub mod contract;
pub mod spatial;
pub mod temporal;
pub mod violation;

pub use contract::ContractMatcher;
pub use spatial::SpatialBorrowChecker;
pub use temporal::FrameBorrowLedger;
pub use violation::BorrowViolation;

use crate::nam_args_api::NamDispatchMap;

pub struct BorrowEngine;

impl BorrowEngine {
    pub fn validate_dispatch(
        map: &NamDispatchMap,
        ledger: &mut FrameBorrowLedger,
    ) -> Result<(), BorrowViolation> {
        ContractMatcher::verify(map)?;

        SpatialBorrowChecker::verify(map)?;

        ledger.record_dispatch(map)?;

        Ok(())
    }
}