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.