diff options
Diffstat (limited to 'org.eclipse.debug.ui/ui/org/eclipse/debug/ui/ILaunchGroup.java')
| -rw-r--r-- | org.eclipse.debug.ui/ui/org/eclipse/debug/ui/ILaunchGroup.java | 102 |
1 files changed, 0 insertions, 102 deletions
diff --git a/org.eclipse.debug.ui/ui/org/eclipse/debug/ui/ILaunchGroup.java b/org.eclipse.debug.ui/ui/org/eclipse/debug/ui/ILaunchGroup.java deleted file mode 100644 index cce5c1034..000000000 --- a/org.eclipse.debug.ui/ui/org/eclipse/debug/ui/ILaunchGroup.java +++ /dev/null @@ -1,102 +0,0 @@ -/******************************************************************************* - * Copyright (c) 2000, 2008 IBM Corporation and others. - * All rights reserved. This program and the accompanying materials - * are made available under the terms of the Eclipse Public License v1.0 - * which accompanies this distribution, and is available at - * http://www.eclipse.org/legal/epl-v10.html - * - * Contributors: - * IBM Corporation - initial API and implementation - *******************************************************************************/ -package org.eclipse.debug.ui; - -import org.eclipse.jface.resource.ImageDescriptor; - -/** - * A launch group identifies a group of launch configurations by a launch - * mode and category. The launch configuration dialog can be opened on - * a launch group, and a launch history is maintained for each group. - * A launch group is defined in plug-in XML via the <code>launchGroups</code> - * extension point. - * <p> - * Following is an example of a launch group contribution: - * <pre> - * <extension point="org.eclipse.debug.ui.launchGroups"> - * <launchGroup - * id="com.example.ExampleLaunchGroupId" - * mode="run" - * label="Run" - * image="icons\run.gif" - * </launchGroup> - * </extension> - * </pre> - * </p> - * <p> - * The debug platform defines constants for the identifiers of the launch groups - * provided by the debug platform: - * <ul> - * <li>IDebugUIConstants.ID_DEBUG_LAUNCH_GROUP</li> - * <li>IDebugUIConstants.ID_RUN_LAUNCH_GROUP</li> - * <li>IDebugUIConstants.ID_PROFILE_LAUNCH_GROUP</li> - * </ul> - * </p> - * @since 3.0 - * @noimplement This interface is not intended to be implemented by clients. - * @noextend This interface is not intended to be extended by clients. - */ -public interface ILaunchGroup { - - /** - * Returns the image for this launch group, or <code>null</code> - * if none. - * - * @return the image for this launch group, or <code>null</code> if none - */ - public ImageDescriptor getImageDescriptor(); - - /** - * Returns the banner image for this launch group, or <code>null</code> if - * none - * - * @return the banner image for this launch group, or <code>null</code> if - * none - */ - public ImageDescriptor getBannerImageDescriptor(); - - /** - * Returns the label for this launch group - * - * @return the label for this launch group - */ - public String getLabel(); - - /** - * Returns the id for this launch group - * - * @return the id for this launch group - */ - public String getIdentifier(); - - /** - * Returns the category for this launch group, possibly <code>null</code> - * - * @return the category for this launch group, possibly <code>null</code> - */ - public String getCategory(); - - /** - * Returns the mode for this launch group - * - * @return the mode for this launch group - */ - public String getMode(); - - /** - * Returns whether this launch group is public - * - * @return boolean - */ - public boolean isPublic(); - -} - |