[Javapathfinder-devel] /javapathfinder/src/gov/nasa/jpf/tools StateSpaceDot.java,1.6,1.7

[John P. <joh...@us...>]

Update of /cvsroot/javapathfinder//javapathfinder/src/gov/nasa/jpf/tools
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv16432/src/gov/nasa/jpf/tools

Modified Files:
	StateSpaceDot.java 
Log Message:
* a few prints to let you know what is happening

Index: StateSpaceDot.java
===================================================================
RCS file: /cvsroot/javapathfinder//javapathfinder/src/gov/nasa/jpf/tools/StateSpaceDot.java,v
retrieving revision 1.6
retrieving revision 1.7
diff -u -d -r1.6 -r1.7
--- StateSpaceDot.java	12 Aug 2005 22:12:51 -0000	1.6
+++ StateSpaceDot.java	6 Sep 2005 21:29:46 -0000	1.7
@@ -511,7 +511,12 @@
   
   public static void main(String [] args) {
     StateSpaceDot listener = new StateSpaceDot();
+
+    System.out.println("JPF State Space dot Graph Generator");
     listener.filterArgs(args);
+
+    System.out.println("...graph output to " + GRAPH_FILENAME + "...");
+
     if (helpRequested==true) {
     	return;
     }
@@ -522,6 +527,7 @@
     JPF jpf = new JPF(conf);
     jpf.addSearchListener(listener);
 
+    System.out.println("...running JPF...");
     jpf.run();
   }
 }