[Javapathfinder-devel] Extending JPF class

[Michal K. <mic...@gm...>]

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