Package: VdmPpCorePlugin

VdmPpCorePlugin

nameinstructionbranchcomplexitylinemethod
VdmPpCorePlugin()
M: 8 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 3 C: 0
0%
M: 1 C: 0
0%
getDefault()
M: 2 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 1 C: 0
0%
M: 1 C: 0
0%
log(Exception)
M: 21 C: 0
0%
M: 2 C: 0
0%
M: 2 C: 0
0%
M: 6 C: 0
0%
M: 1 C: 0
0%
start(BundleContext)
M: 6 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 3 C: 0
0%
M: 1 C: 0
0%
stop(BundleContext)
M: 6 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 3 C: 0
0%
M: 1 C: 0
0%

Coverage

1: /*
2: * #%~
3: * org.overture.ide.vdmpp.core
4: * %%
5: * Copyright (C) 2008 - 2014 Overture
6: * %%
7: * This program is free software: you can redistribute it and/or modify
8: * it under the terms of the GNU General Public License as
9: * published by the Free Software Foundation, either version 3 of the
10: * License, or (at your option) any later version.
11: *
12: * This program is distributed in the hope that it will be useful,
13: * but WITHOUT ANY WARRANTY; without even the implied warranty of
14: * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15: * GNU General Public License for more details.
16: *
17: * You should have received a copy of the GNU General Public
18: * License along with this program. If not, see
19: * <http://www.gnu.org/licenses/gpl-3.0.html>.
20: * #~%
21: */
22: package org.overture.ide.vdmpp.core;
23:
24: import org.eclipse.core.runtime.IStatus;
25: import org.eclipse.core.runtime.ListenerList;
26: import org.eclipse.core.runtime.Plugin;
27: import org.eclipse.core.runtime.Status;
28: import org.osgi.framework.BundleContext;
29:
30:
31: public class VdmPpCorePlugin extends Plugin
32: {
33:         // The plug-in ID
34:         public static final String PLUGIN_ID = IVdmPpCoreConstants.PLUGIN_ID;//"org.overture.core";
35:
36:         public static final boolean DEBUG = true;
37:         
38:         
39:         // The shared instance
40:         private static VdmPpCorePlugin plugin;
41:         
42:         /**
43:          * The constructor
44:          */
45:         public VdmPpCorePlugin() {
46:         }
47:
48:         /*
49:          * (non-Javadoc)
50:          * @see org.eclipse.core.runtime.Plugins#start(org.osgi.framework.BundleContext)
51:          */
52:         @Override
53:         public void start(BundleContext context) throws Exception {
54:                 super.start(context);
55:                 plugin = this;
56:         }
57:
58:         /*
59:          * (non-Javadoc)
60:          * @see org.eclipse.core.runtime.Plugin#stop(org.osgi.framework.BundleContext)
61:          */
62:         @Override
63:         public void stop(BundleContext context) throws Exception {
64:                 plugin = null;
65:                 super.stop(context);
66:         }
67:
68:         /**
69:          * Returns the shared instance
70:          *
71:          * @return the shared instance
72:          */
73:         public static VdmPpCorePlugin getDefault() {
74:                 return plugin;
75:         }
76:
77:         public static void log(Exception ex) {
78:                 if (DEBUG){
79:                         ex.printStackTrace();
80:                 }
81:                 String message = ex.getMessage();
82:•                if (message == null){                
83:                         message = "(no message)"; //$NON-NLS-1$
84:                 }
85:                 getDefault().getLog().log(new Status(IStatus.ERROR, PLUGIN_ID, 0, message, ex));
86:         }
87:         
88:         @SuppressWarnings("unused")
89:         private final ListenerList shutdownListeners = new ListenerList();
90:
91:         
92: }