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

[Atwood, J. W. <joh...@hp...>]

Jp,

I don't quite follow "new should work just fine".  Do you mean "should,
with add'l development", or "should...must be a bug"?

I read in the source, that newInstance is "required by some braindead
IDE's..."; but the line that generates this seems fairly innocuous to
me:
	String url =3D "blah";

I'll look in the papers for more background....

John
-----Original Message-----
From: John Penix [mailto:joh...@na...]=20
Sent: Tuesday, May 03, 2005 3:07 PM
To: Atwood, John Wesley
Cc: jav...@li...
Subject: Re: [Javapathfinder-user] Class.newInstance() not yet supported

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

--
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