de.uka.ilkd.key.smt

Class AccumulatedException

java.lang.Object

java.lang.Throwable

de.uka.ilkd.key.smt.AccumulatedException

All Implemented Interfaces:

Serializable, Iterable<Throwable>

public class AccumulatedException
extends Throwable
implements Iterable<Throwable>

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
private LinkedList<Throwable>	exceptions
private static long	serialVersionUID

Constructor Summary

Constructors

Constructor and Description
AccumulatedException(Iterable<Throwable> exceptions)

Method Summary

Modifier and Type	Method and Description
Iterator<Throwable>	iterator()
void	printStackTrace()
void	printStackTrace(PrintStream s)
void	printStackTrace(PrintWriter writer)
String	toString()

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, setStackTrace

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

exceptions

private final LinkedList<Throwable> exceptions

Constructor Detail

AccumulatedException

AccumulatedException(Iterable<Throwable> exceptions)

Method Detail

printStackTrace

public void printStackTrace()

Overrides:

printStackTrace in class Throwable

printStackTrace

public void printStackTrace(PrintStream s)

Overrides:

printStackTrace in class Throwable

printStackTrace

public void printStackTrace(PrintWriter writer)

Overrides:

printStackTrace in class Throwable

iterator

public Iterator<Throwable> iterator()

Specified by:

iterator in interface Iterable<Throwable>

toString

public String toString()

Overrides:

toString in class Throwable