Hi, Vandermi Silva wrote:
> 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<http://en.wikipedia.org/wiki/Java_(software_platform)> > bytecode <http://en.wikipedia.org/wiki/Java_bytecode> programs. JPF was > developed at the NASA <http://en.wikipedia.org/wiki/NASA> Ames Research > Center <http://en.wikipedia.org/wiki/Ames_Research_Center>and open sourced > in 2005. The core of JPF is a Java Virtual > Machine<http://en.wikipedia.org/wiki/Java_Virtual_Machine> that > is also implemented in > Java<http://en.wikipedia.org/wiki/Java_(software_platform)>. > JPF executes normal Java > bytecode<http://en.wikipedia.org/wiki/Java_bytecode> programs > and can store, match and restore program states. Its primary application > has been Model checking <http://en.wikipedia.org/wiki/Model_checking> > of concurrent > programs <http://en.wikipedia.org/wiki/Concurrent_computing>, to find > defects such as data races <http://en.wikipedia.org/wiki/Race_condition> > and deadlocks <http://en.wikipedia.org/wiki/Deadlock> (Wikipedia) Still, I have no idea, what Pathfinder does with XStream. If it simply makes arbitrary calls with random arguments in parallel on XStream, then it *will* definitely fail. Only the marshalling code is reentrynt, but not the configuration part (see FAQ). Also the error message above does not help at all without a stack trace. Nevertheless, if you feed XStream's methods with null, I am quite sure you will get NPEs. Shit it => shit out ;-) - Jörg --------------------------------------------------------------------- To unsubscribe from this list, please visit: http://xircles.codehaus.org/manage_email
