[Javapathfinder-devel] javapathfinder/src/gov/nasa/jpf Path.java,1.2,1.3 Error.java,1.1.1.1,1.2

[pcm <pcm...@us...>]

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

Modified Files:
	Path.java Error.java 
Log Message:
trying a bit harder in case we don't have sources. It now prints out at least what sources are missing. Note that there is still the vm.report.show_missing_lines, which goes beyond that by printing executed insns (too many options, <sigh>)

Index: Path.java
===================================================================
RCS file: /cvsroot/javapathfinder/javapathfinder/src/gov/nasa/jpf/Path.java,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -d -r1.2 -r1.3
--- Path.java	9 Jun 2005 16:29:23 -0000	1.2
+++ Path.java	9 Jun 2005 19:54:54 -0000	1.3
@@ -110,7 +110,7 @@
     Object entry;
 
     for (int index = 0; index < length; index++) {
-      pw.print("Step #");
+      pw.print("Transition #");
       pw.print(index);
       
       if ((entry = list.get(index)) != null) {

Index: Error.java
===================================================================
RCS file: /cvsroot/javapathfinder/javapathfinder/src/gov/nasa/jpf/Error.java,v
retrieving revision 1.1.1.1
retrieving revision 1.2
diff -u -d -r1.1.1.1 -r1.2
--- Error.java	26 Apr 2005 19:43:55 -0000	1.1.1.1
+++ Error.java	9 Jun 2005 19:54:54 -0000	1.2
@@ -58,9 +58,9 @@
     property.printOn( ps);
     ps.println();
     
-    ps.print("----------------------------------- path to error (");
+    ps.print("----------------------------------- path to error (length: ");
     ps.print(path.length());
-    ps.println(" steps):");
+    ps.println(')');
     path.printOn(ps);
     ps.println("------------------------------------ end error path");