public final class ExceptionTools
extends java.lang.Object
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.
|
@Nullable public static Location getLocation(@Nonnull java.lang.Throwable exc) throws java.net.MalformedURLException
exc
- the Throwable to extract the Location fromjava.net.MalformedURLException
- if the no URL can be parsed from the String stored
inside the given Throwable can not be successfully converted to a URL and thus
no Location can be createdCopyright © 2003-2019 The KeY-Project.