From 164ac3a34cbac441e82b256c97cb8784ea9d482c Mon Sep 17 00:00:00 2001 From: Nicolas Schodet Date: Mon, 17 Mar 2008 22:53:01 +0100 Subject: * tools/dfagen: - added dfagen. --- tools/dfagen/examples/ex1_cb.c.patch | 41 ++++++++++++++++++++++++++++++++++++ 1 file changed, 41 insertions(+) create mode 100644 tools/dfagen/examples/ex1_cb.c.patch (limited to 'tools/dfagen/examples/ex1_cb.c.patch') diff --git a/tools/dfagen/examples/ex1_cb.c.patch b/tools/dfagen/examples/ex1_cb.c.patch new file mode 100644 index 00000000..bc4cc924 --- /dev/null +++ b/tools/dfagen/examples/ex1_cb.c.patch @@ -0,0 +1,41 @@ +--- ex1_cb_skel.c 2008-01-06 18:00:55.000000000 +0100 ++++ ex1_cb.c 2008-01-06 18:02:10.000000000 +0100 +@@ -7,6 +7,10 @@ + */ + #include "ex1_cb.h" + ++#include ++ ++struct door_t { ex1_state_t fsm; }; ++ + /* + * OPEN =close=> + * => CLOSED +@@ -15,6 +19,7 @@ + ex1_branch_t + ex1__OPEN__close (door_t *user) + { ++ printf ("close the door\n"); + return ex1_next (OPEN, close); + } + +@@ -26,7 +31,18 @@ + ex1_branch_t + ex1__CLOSED__open (door_t *user) + { ++ printf ("open the door\n"); + return ex1_next (CLOSED, open); + } + +- ++int ++main (void) ++{ ++ door_t door; ++ ex1_init (&door); ++ ex1_handle_event (&door, EX1_EVENT_close); ++ ex1_handle_event (&door, EX1_EVENT_open); ++ printf ("now, will crash:\n"); ++ ex1_handle_event (&door, EX1_EVENT_open); ++ return 0; ++} -- cgit v1.2.3