public class ExceptionHandler extends Object
Constructor and Description |
---|
ExceptionHandler()
Constructor without GUI.
|
ExceptionHandler(JFrame parent,
String toolIssuesPage)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
void |
catchException(Exception e)
Method called whenever an exception is caught.
|
static String |
getExceptionType(Exception e)
Returns the exception type.
|
void |
setIgnoreExceptions(boolean ignoreExceptions)
Sets whether exceptions should be ignored.
|
public ExceptionHandler(JFrame parent, String toolIssuesPage)
parent
- the parent frame used to display feedbacktoolIssuesPage
- the tool issues page, e.g.,
http://code.google.com/p/peptide-shaker/issues/listpublic ExceptionHandler()
public void catchException(Exception e)
e
- the exception caughtpublic static String getExceptionType(Exception e)
e
- the exception to get the type fropublic void setIgnoreExceptions(boolean ignoreExceptions)
ignoreExceptions
- if true exceptions will be ignoredCopyright © 2014. All rights reserved.