Add unit tests for hierarchical handlers with guarded transitions

Author: Fernando De la Garza

framec_tests/src/hierarchical_guard.frm

@@ -0,0 +1,37 @@
+#HierarchicalGuard
+    -interface-
+    A
+    B[val:bool]
+
+    -machine-
+    $I
+        |>| entered("I") ^
+        |<| left("I") ^
+        |A| -> $S0 ^
+    
+    $S
+        |>| entered("S") ^
+        |<| left("S") ^
+        |B|[val:bool] 
+            val ? : -> "|B| | val == false" $I :: ^
+
+    $S0 => $S
+        |>| entered("S0") ^
+        |<| left("S0") ^
+        |B|[val:bool]
+            val ? -> "|B| | val == true"  $S1 : :: ^
+
+    $S1 => $S
+        |>| entered("S1") ^
+        |<| left("S1") ^
+        |B|[val:bool]
+            val ? -> "|B| | val == true" $S0 : :: ^
+
+    -actions-
+    entered[msg:&String]
+    left[msg:&String]
+
+    -domain-
+    var entry_log:Log = `vec![]`
+    var exit_log:Log = `vec![]`
+##

framec_tests/src/hierarchical_guard.rs

@@ -0,0 +1,41 @@
+type Log = Vec<String>;
+include!(concat!(env!("OUT_DIR"), "/", "hierarchical_guard.rs"));
+
+impl HierarchicalGuard {
+    pub fn entered(&mut self, state: String) {
+        self.entry_log.push(state);
+    }
+    pub fn left(&mut self, state: String) {
+        self.exit_log.push(state);
+    }
+    pub fn transition_hook(
+        &mut self,
+        _current: HierarchicalGuardState,
+        _next: HierarchicalGuardState,
+    ) {
+    }
+}
+
+#[cfg(test)]
+mod tests {
+    use super::*;
+
+    #[test]
+    fn hierarchical_child_transition_handler_with_guard() {
+        let mut sm = HierarchicalGuard::new();
+        sm.A();
+        sm.B(true);
+        assert_eq!(sm.get_current_state_enum(), HierarchicalGuardState::S1);
+    }
+
+    // Revisit: parent handler for event isn't getting called if child has handler
+    // regardless of wether it results on transition or not
+    #[test]
+    #[ignore]
+    fn hierarchical_parent_transition_handler_with_guard() {
+        let mut sm = HierarchicalGuard::new();
+        sm.A();
+        sm.B(false);
+        assert_eq!(sm.get_current_state_enum(), HierarchicalGuardState::I);
+    }
+}

framec_tests/src/lib.rs

@@ -1,2 +1,3 @@
 mod basic;
 mod hierarchical;
+mod hierarchical_guard;