From ab8c3aef948e70a75d055174293f28f3146a592e Mon Sep 17 00:00:00 2001 From: Nicolas Schodet Date: Sun, 22 Nov 2009 23:37:53 +0100 Subject: tools/dfagen: add import support, closes #82 --- tools/dfagen/examples/import.dump.ref | 58 +++++++++++++++++++++++++++++++++++ 1 file changed, 58 insertions(+) create mode 100644 tools/dfagen/examples/import.dump.ref (limited to 'tools/dfagen/examples/import.dump.ref') diff --git a/tools/dfagen/examples/import.dump.ref b/tools/dfagen/examples/import.dump.ref new file mode 100644 index 00000000..6cc359de --- /dev/null +++ b/tools/dfagen/examples/import.dump.ref @@ -0,0 +1,58 @@ +Import + Import definitions from other files. + +States: + I1S1 + I1S2 + RS1 + RS2 + I2S1 + I2S2 + I3S1 + I3S2 + +Events: + i1e1 + i1e2 + i2e1 + i2e2 + re1 + re2 + i3e1 + i3e2 + +I1S1: + i1e2 -> I1S2 + +I1S2: + i1e1 -> I1S1 + +RS1: + re2 -> RS2 + i1e2 -> RS2 + i2e2 -> RS2 + i3e2 -> RS2 + +RS2: + re1 -> RS1 + i1e1 -> RS1 + i2e1 -> RS1 + i3e1 -> RS1 + +I2S1: + i2e2 -> I2S2 + +I2S2: + i2e1 -> I2S1 + +I3S1: + i3e2 -> I3S2 + i2e2 -> I3S2 + re2 -> I3S2 + +I3S2: + i3e1 -> I3S1 + i2e1 -> I3S1 + re1 -> I3S1 + + -- cgit v1.2.3