Re: [Javapathfinder-devel] Extending JPF class

[Peter C. M. <Pet...@na...>]

Since this object would only be processed by your own listeners/native  
peers, why don't you pass it directly between them (e.g. by using a  
static field)?

-- Peter


On Sep 10, 2008, at 4:53 AM, Michal Kebrt wrote:

> Hi,
>
> will it be possible to extend JPF class so that it allows to pass a  
> custom
> Object in it? I mean one getter and setter, for example Object  
> getTag() and void
> setTag(Object o).
>
> I would like to access this object from my peer like:
> MyObject o = (MyObject) env.getJPF().getTag();
>
> You may have already read something about running JUnit under JPF  
> and collecting
> output from JUnit listener in javapathfinder-user list. If I could  
> pass a custom
> object to JPF object it would very easy to forward information from  
> listener's
> peer outside into that object.
>
> Michal