syndicate-rs/src/skeleton.rs

// use std::collections::BTreeMap;
// use std::collections::BTreeSet;
// use super::bag::BTreeBag;
// use preserves::value::AValue;

// pub enum Event {
//     Removed,
//     Message,
//     Added,
// }

// type Path = Vec<usize>;
// type Paths = Vec<Path>;
// type Captures = Vec<AValue>;

// trait HandleEvent {
//     fn handle_event<'a>(self, captures: &Captures);
// }

// pub enum Skeleton {
//     Blank,
//     Guarded(Guard, Vec<Skeleton>)
// }

// pub struct AnalysisResults {
//     skeleton: Skeleton,
//     const_paths: Paths,
//     const_vals: Vec<AValue>,
//     capture_paths: Paths,
//     assertion: AValue,
// }

// pub struct Index {
//     all_assertions: BTreeBag<AValue>,
// }

// impl Index {
//     pub fn new() -> Self {
//         Index{ all_assertions: BTreeBag::new() }
//     }

//     // pub fn add_handler(analysis_results: AnalysisResults, 
// }

// struct Node {
//     continuation: Continuation,
//     edges: BTreeMap<Selector, BTreeMap<Guard, Node>>,
// }

// struct Continuation {
//     cached_assertions: BTreeSet<AValue>,
//     leaf_map: BTreeMap<Paths, BTreeMap<Vec<AValue>, Leaf>>,
// }

// struct Selector {
//     pop_count: usize,
//     index: usize,
// }

// enum Guard {
//     Rec(AValue, usize),
//     Seq(usize),
// }

// struct Leaf { // aka Topic
//     cached_assertions: BTreeSet<AValue>,
//     handler_map: BTreeMap<Paths, Handler>,
// }

// struct Handler {
//     cached_captures: BTreeBag<Captures>,
//     callbacks: BTreeSet<Box<dyn HandleEvent>>,
// }