Re: [Javapathfinder-devel] StringWriter, PrintWriter

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

fixed.
StringWriter and PrintWriter are pure Java, i.e. don't need native peers
The Throwable model class had <2do> stub methods for the  
printStackTraces

-- Peter


On Sep 17, 2008, at 9:14 AM, Michal Kebrt wrote:

> 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