org.jutil.java.throwable
Class StackTrace

java.lang.Object
  |
  +--org.jutil.java.throwable.StackTrace

public class StackTrace

extends java.lang.Object

Utility methods to deal with the stack trace of throwables. This is nominally only available as output on an OutputStream, and we want more.

Version:

$Revision: 1.6 $

Author:

Jan Dockx, Marko van Dooren

Field Summary

static java.lang.String

CVS_REVISION

Constructor Summary

StackTrace()

Method Summary

static java.util.List

asList(java.lang.Throwable t) pre t != null; // The result is not null. // The result does not contain null references. post (\result != null) && (\forall Object o;\result.contains(o); o != null) && (\forall Object o;\result.contains(o); o instanceof String);

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

CVS_REVISION

public static final java.lang.String CVS_REVISION

Constructor Detail

StackTrace

public StackTrace()

Method Detail

asList

public static java.util.List asList(java.lang.Throwable t)

pre t != null;

// The result is not null.
// The result does not contain null references.
post (\result != null) &&
(\forall Object o;\result.contains(o); o != null) &&
(\forall Object o;\result.contains(o); o instanceof String);