Package: ReportBugHandler

ReportBugHandler

nameinstructionbranchcomplexitylinemethod
ReportBugHandler()
M: 3 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 1 C: 0
0%
M: 1 C: 0
0%
execute(ExecutionEvent)
M: 18 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 6 C: 0
0%
M: 1 C: 0
0%

Coverage

1: /*
2: * #%~
3: * org.overture.ide.help
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.help.handlers;
23:
24:
25: import java.net.MalformedURLException;
26: import java.net.URL;
27:
28: import org.eclipse.core.commands.AbstractHandler;
29: import org.eclipse.core.commands.ExecutionEvent;
30: import org.eclipse.core.commands.ExecutionException;
31: import org.eclipse.core.commands.IHandler;
32: import org.eclipse.ui.PartInitException;
33: import org.eclipse.ui.PlatformUI;
34:
35: public class ReportBugHandler extends AbstractHandler implements IHandler
36: {
37:
38:         @Override
39:         public Object execute(ExecutionEvent event) throws ExecutionException
40:         {
41:                 try
42:                 {
43:                         PlatformUI.getWorkbench().getBrowserSupport().getExternalBrowser().openURL(new URL("https://github.com/overturetool/overture/issues/new"));
44:                 } catch (PartInitException e)
45:                 {
46:                         e.printStackTrace();
47:                 } catch (MalformedURLException e)
48:                 {
49:                         e.printStackTrace();
50:                 }
51:                 return null;
52:         }
53:
54: }