|
From: Michal K. <mic...@gm...> - 2008-09-12 16:33:00
|
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
|