jtl-eclipse-master/ASP.resource.asp/src-gen/ASP/resource/asp/launch/AspLaunchConfigurationDelegate.java
/**
 * <copyright>
 * </copyright>
 *
 * 
 */
package ASP.resource.asp.launch;

/**
 * A class that handles launch configurations.
 */
public class AspLaunchConfigurationDelegate extends org.eclipse.debug.core.model.LaunchConfigurationDelegate {
	
	/**
	 * The URI of the resource that shall be launched.
	 */
	public final static String ATTR_RESOURCE_URI = "uri";
	
	public void launch(org.eclipse.debug.core.ILaunchConfiguration configuration, String mode, org.eclipse.debug.core.ILaunch launch, org.eclipse.core.runtime.IProgressMonitor monitor) throws org.eclipse.core.runtime.CoreException {
		// Set the overrideLaunchConfigurationDelegate option to <code>false</code> to
		// implement this method or disable launching support by setting
		// disableLaunchSupport to <code>true</code>.
		
		new ASP.resource.asp.launch.AspLaunchConfigurationHelper().launch(configuration, mode, launch, monitor);
	}
	
}
