summaryrefslogtreecommitdiff
path: root/tools/dfagen/dfagen/command.py
diff options
context:
space:
mode:
Diffstat (limited to 'tools/dfagen/dfagen/command.py')
-rw-r--r--tools/dfagen/dfagen/command.py16
1 files changed, 14 insertions, 2 deletions
diff --git a/tools/dfagen/dfagen/command.py b/tools/dfagen/dfagen/command.py
index 8a976023..3325d6c1 100644
--- a/tools/dfagen/dfagen/command.py
+++ b/tools/dfagen/dfagen/command.py
@@ -17,13 +17,25 @@ def run ():
help='read output configuration from FILE', metavar='FILE')
opt.add_option ('-p', '--prefix', dest='prefix',
help='use PREFIX for generated output', metavar='PREFIX')
- # TODO add more error checking.
+ opt.add_option ('-O', '--output-dir', dest='output_dir', default='',
+ help='generate output in DIR', metavar='DIR')
+ opt.add_option ('--dump', action='store_true', default=False,
+ help='dump the read automaton')
(options, args) = opt.parse_args ()
+ if (options.dfa is None
+ or not options.dump and options.output is None
+ or len (args) != 0):
+ opt.error ('bad arguments')
# Read automaton.
f = open (options.dfa, 'r')
a = dfagen.parser.parse ('automaton', f.read ())
f.close ()
+ # Dump automaton.
+ if options.dump:
+ print a
# Read config.
cfg = dfagen.output.UserConfig (options.config)
# Produce output.
- dfagen.output.get_output (options.output).write (options.prefix, a, cfg)
+ if options.output is not None:
+ dfagen.output.get_output (options.output).write (options.prefix, a,
+ cfg, options.output_dir)