summaryrefslogtreecommitdiff
path: root/tools/dfagen/dfagen/output
diff options
context:
space:
mode:
authorNicolas Schodet2010-03-15 23:20:25 +0100
committerNicolas Schodet2010-03-15 23:20:25 +0100
commitc40ac55789ef7da23bc7baaf77e47944de0faccb (patch)
treeb4f9475b2b2a77903f278365b7a1268feba2cc0b /tools/dfagen/dfagen/output
parent77c575aa1fae9599e9e59fb1efad650960bfb675 (diff)
tools/dfagen: limit output using origin, refs #102
Diffstat (limited to 'tools/dfagen/dfagen/output')
-rw-r--r--tools/dfagen/dfagen/output/c.py4
-rw-r--r--tools/dfagen/dfagen/output/dot.py6
2 files changed, 6 insertions, 4 deletions
diff --git a/tools/dfagen/dfagen/output/c.py b/tools/dfagen/dfagen/output/c.py
index 5a44d0e3..2d45720e 100644
--- a/tools/dfagen/dfagen/output/c.py
+++ b/tools/dfagen/dfagen/output/c.py
@@ -258,7 +258,9 @@ class Writer:
for (t, f) in templates.iteritems ():
self.write_template (t, f.replace ('%', self.data.prefix))
-def write (prefix, automaton, user, outputdir):
+def write (prefix, automaton, user, outputdir, origin):
+ if origin is not None:
+ raise NotImplementedError ("--origin is not implemented for C output")
templatedir = os.path.splitext (__file__)[0]
if 'template-dir' in user:
templatedir = os.path.join (os.path.split (user.file)[0],
diff --git a/tools/dfagen/dfagen/output/dot.py b/tools/dfagen/dfagen/output/dot.py
index ce9c4db8..46b2289c 100644
--- a/tools/dfagen/dfagen/output/dot.py
+++ b/tools/dfagen/dfagen/output/dot.py
@@ -1,13 +1,13 @@
import os.path
-def write (prefix, automaton, user, outputdir):
+def write (prefix, automaton, user, outputdir, origin):
output = prefix + '.dot'
o = open (os.path.join (outputdir, output), 'w')
o.write ('digraph %s {' % prefix)
- for s in automaton.iter_states ():
+ for s in automaton.iter_states (origin):
o.write (' %s\n' % s.name)
for tr in s.iter_transitions ():
- for br in tr.iter_branches ():
+ for br in tr.iter_branches (origin):
o.write (' %(state)s -> %(to)s [ label = "%(event)s" ];\n'
% dict (
state = s.name,