CompiledRascalLauncherDelegate.java

package org.rascalmpl.eclipse.repl;

import java.util.Map;

import org.eclipse.core.resources.IProject;
import org.eclipse.core.resources.ResourcesPlugin;
import org.eclipse.core.runtime.CoreException;
import org.eclipse.swt.SWT;
import org.eclipse.swt.events.SelectionAdapter;
import org.eclipse.swt.events.SelectionEvent;
import org.eclipse.swt.layout.GridData;
import org.eclipse.swt.layout.GridLayout;
import org.eclipse.swt.widgets.Combo;
import org.eclipse.swt.widgets.Composite;
import org.eclipse.swt.widgets.Label;
import org.eclipse.tm.internal.terminal.provisional.api.ISettingsStore;
import org.eclipse.tm.internal.terminal.provisional.api.ITerminalConnector;
import org.eclipse.tm.internal.terminal.provisional.api.TerminalConnectorExtension;
import org.eclipse.tm.terminal.view.core.TerminalServiceFactory;
import org.eclipse.tm.terminal.view.core.interfaces.ITerminalService;
import org.eclipse.tm.terminal.view.core.interfaces.ITerminalService.Done;
import org.eclipse.tm.terminal.view.core.interfaces.constants.ITerminalsConnectorConstants;
import org.eclipse.tm.terminal.view.ui.interfaces.IConfigurationPanel;
import org.eclipse.tm.terminal.view.ui.interfaces.IConfigurationPanelContainer;
import org.eclipse.tm.terminal.view.ui.internal.SettingsStore;
import org.eclipse.tm.terminal.view.ui.launcher.AbstractLauncherDelegate;
import org.eclipse.tm.terminal.view.ui.panels.AbstractExtendedConfigurationPanel;
import org.rascalmpl.eclipse.Activator;
import org.rascalmpl.eclipse.IRascalResources;

@SuppressWarnings("restriction")
public class CompiledRascalLauncherDelegate extends AbstractLauncherDelegate {
    private static String lastProject;
    private String project;
    
	@Override
	public boolean needsUserConfiguration() {
		return false;
	}

	@Override
	public IConfigurationPanel getPanel(IConfigurationPanelContainer container) {
		return new AbstractExtendedConfigurationPanel(container){

			@Override
			public void setupPanel(Composite parent) {
			    try { 
			        Composite panel = new Composite(parent, SWT.NONE);
			        panel.setLayout(new GridLayout());
			        panel.setLayoutData(new GridData(SWT.FILL, SWT.FILL, true, true));

			        Label projectLabel = new Label(panel, SWT.HORIZONTAL);
			        projectLabel.setText("Project");
			        Combo combo = new Combo(panel, SWT.NONE);
			        GridData comboLayout = new GridData(SWT.FILL, SWT.NONE, true, false);
			        combo.setLayoutData(comboLayout);
			        

			        for (IProject project1 : ResourcesPlugin.getWorkspace().getRoot().getProjects()) {
			            if (project1.isOpen() && project1.hasNature(IRascalResources.ID_RASCAL_NATURE)) {
			            	if(lastProject == null){
			            		project = lastProject = project1.getName();
			            	}
			                combo.add(project1.getName());
			            }
			        }
			        
			        combo.addSelectionListener(new SelectionAdapter() {
			            @Override
			            public void widgetSelected(SelectionEvent e) {
			                project = combo.getText();
			                lastProject = project;
			            }
                    });
			        
			        if (lastProject != null) {
                        combo.setText(lastProject);
                    }
			        
			        setControl(panel);

			    } catch (CoreException e) {
			        Activator.log(e.getMessage(), e);
                }
			    finally {

			    }
			}

			@Override
			protected void saveSettingsForHost(boolean add) {
			}

			@Override
			protected void fillSettingsForHost(String host) {
			}

			@Override
			protected String getHostFromSettings() {
				return null;
			}
		};
	}

	@Override
	public void execute(Map<String, Object> properties, Done done) {
	    properties.put("project", project);
		properties.put(ITerminalsConnectorConstants.PROP_TITLE, computeTitle(properties));
		properties.put(ITerminalsConnectorConstants.PROP_FORCE_NEW, Boolean.TRUE);
		ITerminalService terminal = TerminalServiceFactory.getService();
		
		// If not available, we cannot fulfill this request
		if (terminal != null) {
			terminal.openConsole(properties, done);
		}

	}

	private String computeTitle(Map<String, Object> properties) {
	    return "Compiled Rascal [project: " + properties.get("project") + "]";
    }

    @Override
	public ITerminalConnector createTerminalConnector(Map<String, Object> properties) {
		ITerminalConnector conn = TerminalConnectorExtension.makeTerminalConnector("rascal-eclipse.connector3");
		ISettingsStore store = new SettingsStore();
		String project = (String) properties.get("project");
		store.put("project", project);
		conn.load(store);
		return conn;
	}
}