de.uka.ilkd.key.util

Class ExceptionTools

java.lang.Object

de.uka.ilkd.key.util.ExceptionTools

public final class ExceptionTools
extends java.lang.Object

Various utility methods related to exceptions.

Since:

2.4.0

Author:

bruns

Constructor Summary

Constructors

Constructor and Description
ExceptionTools()

Method Summary

Modifier and Type	Method and Description
static Location	getLocation(java.lang.Throwable exc) Tries to resolve the location (i.e., file name, line, and column) from a parsing exception.

Methods inherited from class java.lang.Object

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

Constructor Detail

ExceptionTools

public ExceptionTools()

Method Detail

getLocation

public static Location getLocation(java.lang.Throwable exc)

Tries to resolve the location (i.e., file name, line, and column) from a parsing exception. Result may be null.