Re: [Javapathfinder-user] Class.newInstance() not yet supported

[John P. <joh...@na...>]

Hi John,

new should work just fine.

this is an example of a Javaism that we have not been using in our 
"models" of NASA applications.

The code which models java/lang/Class is in 
/env/jpf/java/lang/Class.java - the 'real' class has native methods, so 
we have to model it.  The methods in java/lang/Class are only minimally 
supported - just enough to support assertions.  (see the comments at the 
top)


supporting newInstance seems like a big deal to me.  I don't know how 
hard it would be to hook that in - Peter or Willem should be able to guess.

If anyone is feeling slightly ambitious, grab the MJI docs and go for it. :)


jp


Atwood, John Wesley wrote:
> JPF users,
> 
> Trying to learn about JPF, I ran the jpf run-tests, and a few of the
> examples.
> Then I ran it on my own program, and get:
> 	Class.newInstance() not yet supported
> 
> Is all dynamic object creation prohibited, and, if so, is that a
> fundamental aspect of JPF?
> 
> Thanks,
> 
> 
> John Atwood
> 
> 
> -------------------------------------------------------
> This SF.Net email is sponsored by: NEC IT Guy Games.
> Get your fingers limbered up and give it your best shot. 4 great events, 4
> opportunities to win big! Highest score wins.NEC IT Guy Games. Play to
> win an NEC 61 plasma display. Visit http://www.necitguy.com/?r 
> _______________________________________________
> Javapathfinder-user mailing list
> Jav...@li...
> https://lists.sourceforge.net/lists/listinfo/javapathfinder-user
> 

-- 
John Penix PhD. john.penix+nasa.gov http://ase.arc.nasa.gov/jpenix/
Robust Software Engineering Group  ph:(650)604-6576 bld:N296 rm:268
Intelligent Systems Division  NASA Ames Research Center  Mt.View CA