Re: [Javapathfinder-devel] StringWriter, PrintWriter

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

Hi,

any news?

Michal

Michal Kebrt wrote:
> Hi,
> 
> I have this piece of code (part of JUnit internals) run under JPF:
> 
> public String getTrace() {
>   StringWriter stringWriter= new StringWriter();
>   PrintWriter writer= new PrintWriter(stringWriter);
>   getException().printStackTrace(writer);
>   StringBuffer buffer= stringWriter.getBuffer();
>   return buffer.toString();
> }
> 
> It always returns empty string which a surprise for me because I can't 
> find StringWriter and PrintWriter classes implemented in JPF. Why JPF 
> doesn't throw java.lang.UnsatisfiedLinkError? And is there a chance 
> these classes will be implemented soon?
> 
> Michal