From e6ec1ecd99cfaa152e88f16572f4ef58e52a8e86 Mon Sep 17 00:00:00 2001 From: ccremers Date: Tue, 8 Aug 2006 15:57:27 +0000 Subject: [PATCH] - Added python wrapper around the command-line tool. --- gui/scyther.py | 38 ++++++++++++++++++++++++++++++++++++++ 1 file changed, 38 insertions(+) create mode 100755 gui/scyther.py diff --git a/gui/scyther.py b/gui/scyther.py new file mode 100755 index 0000000..7fcf6d2 --- /dev/null +++ b/gui/scyther.py @@ -0,0 +1,38 @@ +#!/usr/bin/python +# +# Scyther interface +# + +#--------------------------------------------------------------------------- + +""" Import externals """ +import sys + +#--------------------------------------------------------------------------- + +""" Import scyther components """ +import Scyther.Scyther as Scyther + +#--------------------------------------------------------------------------- + +def usage(): + x = Scyther.Scyther() + x.xml = False + x.options = "--help" + x.verify() + return x + +def simpleRun(args): + x = Scyther.Scyther() + x.options = args + x.verify() + return x + +if __name__ == '__main__': + pars = sys.argv[1:] + if len(pars) == 0: + print usage() + else: + print simpleRun(" ".join(pars)) + +