|
f@0
|
1 /*
|
|
f@0
|
2 CCmI Editor - A Collaborative Cross-Modal Diagram Editing Tool
|
|
f@0
|
3
|
|
f@0
|
4 Copyright (C) 2011 Queen Mary University of London (http://ccmi.eecs.qmul.ac.uk/)
|
|
f@0
|
5
|
|
f@0
|
6 This program is free software: you can redistribute it and/or modify
|
|
f@0
|
7 it under the terms of the GNU General Public License as published by
|
|
f@0
|
8 the Free Software Foundation, either version 3 of the License, or
|
|
f@0
|
9 (at your option) any later version.
|
|
f@0
|
10
|
|
f@0
|
11 This program is distributed in the hope that it will be useful,
|
|
f@0
|
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
f@0
|
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
f@0
|
14 GNU General Public License for more details.
|
|
f@0
|
15
|
|
f@0
|
16 You should have received a copy of the GNU General Public License
|
|
f@0
|
17 along with this program. If not, see <http://www.gnu.org/licenses/>.
|
|
f@0
|
18 */
|
|
f@0
|
19
|
|
f@0
|
20 package uk.ac.qmul.eecs.ccmi.utils;
|
|
f@0
|
21
|
|
f@0
|
22 import java.io.IOException;
|
|
f@0
|
23 import java.io.PrintWriter;
|
|
f@0
|
24 import java.io.StringWriter;
|
|
f@0
|
25 import java.io.Writer;
|
|
f@0
|
26 import java.lang.Thread.UncaughtExceptionHandler;
|
|
f@0
|
27 import java.util.logging.FileHandler;
|
|
f@0
|
28 import java.util.logging.Level;
|
|
f@0
|
29 import java.util.logging.Logger;
|
|
f@0
|
30
|
|
f@0
|
31 /**
|
|
f@0
|
32 * The UncaughtExceptionHandler for the CCmI Editor. It logs the occurred exception stack trace
|
|
f@0
|
33 * on a file (errorN.log, where N is an integer number automatically assigned to avoid
|
|
f@0
|
34 * collision with other files of the same type) which is created in the same directory where
|
|
f@0
|
35 * the program is run. The exception stack trace will be in the format defined by the {@code XMLFormatter} class
|
|
f@0
|
36 * of the java.utli.logging package.
|
|
f@0
|
37 *
|
|
f@0
|
38 * @see java.util.logging.XMLFormatter
|
|
f@0
|
39 */
|
|
f@0
|
40 public class CCmIUncaughtExceptionHandler implements UncaughtExceptionHandler {
|
|
f@0
|
41
|
|
f@0
|
42 @Override
|
|
f@0
|
43 public void uncaughtException(Thread thread, Throwable throwable) {
|
|
f@0
|
44 try{
|
|
f@0
|
45 Logger logger = Logger.getLogger("uncaught_exception");
|
|
f@0
|
46 logger.setLevel(Level.SEVERE);
|
|
f@0
|
47 FileHandler fileHandler = null;
|
|
f@0
|
48 try {
|
|
f@0
|
49 fileHandler = new FileHandler("error%u.log",true);
|
|
f@0
|
50 } catch (IOException e) {
|
|
f@0
|
51 System.err.println(throwable.toString());
|
|
f@0
|
52 System.err.println();
|
|
f@0
|
53 System.err.println("Could not use error log file");
|
|
f@0
|
54 e.printStackTrace();
|
|
f@0
|
55 return;
|
|
f@0
|
56 }
|
|
f@0
|
57 fileHandler.setLevel(Level.SEVERE);
|
|
f@0
|
58 logger.addHandler(fileHandler);
|
|
f@0
|
59 StringBuilder builder = new StringBuilder(throwable.toString());
|
|
f@0
|
60 builder.append('\n');
|
|
f@0
|
61 final Writer result = new StringWriter();
|
|
f@0
|
62 final PrintWriter printWriter = new PrintWriter(result);
|
|
f@0
|
63 throwable.printStackTrace(printWriter);
|
|
f@0
|
64 builder.append(result.toString());
|
|
f@0
|
65 logger.severe(builder.toString());
|
|
f@0
|
66 fileHandler.close();
|
|
f@0
|
67 throwable.printStackTrace();
|
|
f@0
|
68 }catch(Exception exception){
|
|
f@0
|
69 exception.printStackTrace();
|
|
f@0
|
70 System.exit(-1);
|
|
f@0
|
71 }
|
|
f@0
|
72 }
|
|
f@0
|
73 }
|
