pmv with no args prints help message

instead of crashing.
Also revise TesterOptions, ViewerOptions to print pmt not pmt.py etc.
regenerate notes/pmt.txt, pmv.txt with pmt etc not pmt.py etc.

Author: jon-jacky

notes/pmt.txt

@@ -1,4 +1,4 @@
-Usage: pmt.py [options] models  
+Usage: pmt [options] models  
 
 models is a list of one or more module names (with no .py suffix).
 Each module named in models must contain a model, that is: a model

notes/pmv.txt

@@ -1,4 +1,4 @@
-Usage: pmv.py [options] models  
+Usage: pmv [options] models  
 
 PyModel Viewer.  A single program that invokes pma, pmg, and Graphviz
 dot to to perform analysis, generate dot commands, and generate a file

pymodel/TesterOptions.py

@@ -4,7 +4,7 @@
 
 from optparse import OptionParser
 
-usage = """pmt.py [options] models  
+usage = """pmt [options] models  
 
 models is a list of one or more module names (with no .py suffix).
 Each module named in models must contain a model, that is: a model

pymodel/ViewerOptions.py

@@ -4,7 +4,7 @@
 
 from optparse import OptionParser
 
-usage = """pmv.py [options] models  
+usage = """pmv [options] models  
 
 PyModel Viewer.  A single program that invokes pma, pmg, and Graphviz
 dot to to perform analysis, generate dot commands, and generate a file

pymodel/pmv.py

@@ -34,14 +34,18 @@ def command(cmd):
 
 def main():
     (options, args) = ViewerOptions.parse_args()
-    basename = options.__dict__['output'] if options.__dict__['output'] else '%sFSM' % args[0]
-    pma = 'pma ' + make_opts(pma_keys, options) + ' ' + ' '.join(args)
-    command(pma)
-    pmg = 'pmg ' + make_opts(pmg_keys, options) + ' %s' % basename
-    command(pmg)
-    dot = 'dot -T%(type)s -o %(name)s.%(type)s %(name)s.dot' % \
-        {'type': options.__dict__['fileType'], 'name': basename}
-    command(dot)
+    if not args:
+        ViewerOptions.print_help()
+        exit()
+    else:
+        basename = options.__dict__['output'] if options.__dict__['output'] else '%sFSM' % args[0]
+        pma = 'pma ' + make_opts(pma_keys, options) + ' ' + ' '.join(args)
+        command(pma)
+        pmg = 'pmg ' + make_opts(pmg_keys, options) + ' %s' % basename
+        command(pmg)
+        dot = 'dot -T%(type)s -o %(name)s.%(type)s %(name)s.dot' % \
+            {'type': options.__dict__['fileType'], 'name': basename}
+        command(dot)
 
 if __name__ == ' __main__':
     main()