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

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

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

Modified Files:
	StaticElementInfo.java 
Log Message:
omit @<index> postfix in toString(), as it is misleading (not distinguishable from DynamicElementInfos, and quite pointless for statics)

Index: StaticElementInfo.java
===================================================================
RCS file: /cvsroot/javapathfinder/javapathfinder/src/gov/nasa/jpf/jvm/StaticElementInfo.java,v
retrieving revision 1.1.1.1
retrieving revision 1.2
diff -u -d -r1.1.1.1 -r1.2
--- StaticElementInfo.java	26 Apr 2005 19:44:05 -0000	1.1.1.1
+++ StaticElementInfo.java	25 Aug 2005 17:19:49 -0000	1.2
@@ -122,6 +122,10 @@
     return classObjectRef;
   }
 
+  public String toString() {
+    return getClassInfo().getName(); // don't append index (useless and misleading for statics)
+  }
+  
   private void blowup () {
     throw new JPFException("cannot access StaticElementInfo by index");
   }