[Javapathfinder-devel] javapathfinder/src/gov/nasa/jpf/util SourceRef.java,1.1.1.1,1.2

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

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

Modified Files:
	SourceRef.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: SourceRef.java
===================================================================
RCS file: /cvsroot/javapathfinder/javapathfinder/src/gov/nasa/jpf/util/SourceRef.java,v
retrieving revision 1.1.1.1
retrieving revision 1.2
diff -u -d -r1.1.1.1 -r1.2
--- SourceRef.java	26 Apr 2005 19:44:24 -0000	1.1.1.1
+++ SourceRef.java	9 Jun 2005 19:54:54 -0000	1.2
@@ -91,6 +91,10 @@
     return true;
   }
 
+  public String getFileName () {
+    return fileName;
+  }
+    
   public void set (SourceRef sr) {
     fileName = sr.fileName;
     line = sr.line;