KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > de > uka > ipd > coverage > plugin > launcher > CoverageTabGroup


1 /*
2  * Created on 08.10.2004
3  *
4  * written by Matthias Kempka
5  */

6 package de.uka.ipd.coverage.plugin.launcher;
7
8 import org.eclipse.debug.core.ILaunchConfigurationWorkingCopy;
9 import org.eclipse.debug.ui.*;
10 import org.eclipse.jdt.debug.ui.launchConfigurations.JavaArgumentsTab;
11 import org.eclipse.jdt.debug.ui.launchConfigurations.JavaClasspathTab;
12 import org.eclipse.jdt.debug.ui.launchConfigurations.JavaJRETab;
13
14 /**
15  * Created on 08.10.2004
16  * @author Matthias Kempka
17  */

18 public class CoverageTabGroup extends AbstractLaunchConfigurationTabGroup {
19
20     public void createTabs(ILaunchConfigurationDialog dialog, String JavaDoc mode) {
21         ILaunchConfigurationTab[] tabs= new ILaunchConfigurationTab[] {
22 // new JUnitMainTab(),
23
new JavaArgumentsTab(),
24                 new JavaClasspathTab(),
25                 new JavaJRETab(),
26 // new SourceLookupTab(),
27
new EnvironmentTab(),
28                 new CommonTab()
29             };
30             setTabs(tabs);
31     }
32
33     /**
34      * @see ILaunchConfigurationTabGroup#setDefaults(ILaunchConfigurationWorkingCopy)
35      */

36     public void setDefaults(ILaunchConfigurationWorkingCopy config) {
37         super.setDefaults(config);
38     }
39
40 }
41
Popular Tags