VdmAddLibraryWizard.java

/*
 * #%~
 * org.overture.ide.ui
 * %%
 * Copyright (C) 2008 - 2014 Overture
 * %%
 * This program is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as
 * published by the Free Software Foundation, either version 3 of the
 * License, or (at your option) any later version.
 * 
 * This program is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 * 
 * You should have received a copy of the GNU General Public
 * License along with this program.  If not, see
 * <http://www.gnu.org/licenses/gpl-3.0.html>.
 * #~%
 */
package org.overture.ide.ui.wizard;

import org.eclipse.core.resources.IFolder;
import org.eclipse.core.resources.IProject;
import org.eclipse.core.runtime.CoreException;
import org.eclipse.jface.dialogs.MessageDialog;
import org.eclipse.jface.viewers.IStructuredSelection;
import org.eclipse.jface.wizard.Wizard;
import org.eclipse.ui.IWorkbench;
import org.eclipse.ui.IWorkbenchWizard;
import org.overture.ast.lex.Dialect;
import org.overture.ide.core.resources.IVdmProject;
import org.overture.ide.ui.VdmUIPlugin;
import org.overture.ide.ui.wizard.pages.LibraryIncludePage;
import org.overture.ide.ui.wizard.pages.LibraryUtil;

public class VdmAddLibraryWizard extends Wizard implements IWorkbenchWizard
{
	private static final String WIZARD_NAME = "Add Library Wizard";
	private IVdmProject project = null;
	private LibraryIncludePage _pageTwo;

	public VdmAddLibraryWizard() {
		setWindowTitle(WIZARD_NAME);
	}

	@Override
	public boolean performFinish()
	{
		try
		{
			LibraryUtil.createSelectedLibraries(project,_pageTwo.getLibrarySelection());
		} catch (CoreException e)
		{
			if (VdmUIPlugin.DEBUG)
			{
				e.printStackTrace();
			}
			return false;
		}
		return true;
	}

	public void init(IWorkbench workbench, IStructuredSelection selection)
	{
		if(selection.getFirstElement() instanceof IProject ){
			IProject project = (IProject) selection.getFirstElement();
			this.project = (IVdmProject) project.getAdapter(IVdmProject.class);
		}
		if (selection.getFirstElement() instanceof IVdmProject)
		{					
			this.project = (IVdmProject) selection.getFirstElement();
		}else if(selection.getFirstElement() instanceof IFolder)
		{
			IProject project = ((IFolder)selection.getFirstElement()).getProject();
			this.project = (IVdmProject) project.getAdapter(IVdmProject.class);
			
			if(this.project == null)
			{
				MessageDialog.openError(getShell(), "Project type error", "Project is not a VDM project");
			}
		}

	}

	@Override
	public void addPages()
	{
		_pageTwo = new LibraryIncludePage("Add Library",isOoDialect(),project);
		
		addPage(_pageTwo);
	}
	
	private boolean isOoDialect()
	{
		if(project!= null)
		{
			return project.getDialect() == Dialect.VDM_PP || project.getDialect() == Dialect.VDM_RT;
		}
		return false;
	}



}