Vandermi Silva <vandermisilva@...> writes:
>
>
> Hello, I am using XStream to store data in an XML file and when
I check the code with the Java Pathfinder I get the
following error"java.lang.NullPointerException Calling 'trim
() Lja ...". The error occurs whenever an instance of XStream is
called.To make sure that the error was not in my implementation, I
tested with the example tutorials available on the website of XStream.
> Is this a bug?
>
>
> Java Pathfinder (JPF) is a system to verify
executable Java bytecode programs. JPF was developed at the NASA Ames
Research Centerand open sourced in 2005. The core of JPF is a Java Virtual
Machine that is also implemented in Java. JPF executes normal Java
bytecode programs and can store, match and restore program states. Its
primary application has been Model checking of concurrent programs, to find
defects such as data races and deadlocks (Wikipedia)
> -- Regards.Vandermi SilvaGroupshttp://www.ufam-automation.net/Mobile:
559281252248 TIMMobile: 559292547005 VIVO
>
Hi Vandermi,
I am also getting the same error given as below
gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty
java.lang.NullPointerException: Calling 'trim()Ljava/lang/String;' on null
object
at
sun.misc.FloatingDecimal.readJavaFormatString(sun/misc/FloatingDecimal.java:
5)
at java.lang.Float.parseFloat(java/lang/Float.java:1)
at
com.thoughtworks.xstream.core.JVM.getMajorJavaVersion(com/thoughtworks/xstre
am/core/JVM.java:94)
at com.thoughtworks.xstream.core.JVM.<clinit>
(com/thoughtworks/xstream/core/JVM.java:47)
at com.thoughtworks.xstream.XStream.<init>
(com/thoughtworks/xstream/XStream.java:313)
at com.thoughtworks.xstream.XStream.<init>
(com/thoughtworks/xstream/XStream.java:381)
at com.thoughtworks.xstream.XStream.<init>
(com/thoughtworks/xstream/XStream.java:336)
at
package2.AspectClass.ajc$before$package2_AspectClass$1$60326017(package2/Asp
ectClass.aj:17)
at package2.AvlTree.main(package2/AvlTree.java:297)
have you resolved this issue.
Thanks
Faisal Anwer
---------------------------------------------------------------------
To unsubscribe from this list, please visit:
http://xircles.codehaus.org/manage_email
