/**
* Copyright (c) 2012-2016 Marsha Chechik, Alessio Di Sandro, Michalis Famelis,
* Rick Salay.
* 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:
* Alessio Di Sandro - Implementation.
*/
package edu.toronto.cs.se.mmint.mid.diagram.context;
import java.util.List;
import org.eclipse.core.commands.ExecutionException;
import org.eclipse.core.resources.IFile;
import org.eclipse.core.runtime.IAdaptable;
import org.eclipse.core.runtime.IProgressMonitor;
import org.eclipse.emf.transaction.TransactionalEditingDomain;
import org.eclipse.emf.transaction.util.TransactionUtil;
import org.eclipse.gef.GraphicalEditPart;
import org.eclipse.gmf.runtime.common.core.command.CommandResult;
import org.eclipse.gmf.runtime.emf.commands.core.command.AbstractTransactionalCommand;
import org.eclipse.gmf.runtime.notation.View;
import org.eclipse.swt.events.SelectionEvent;
import edu.toronto.cs.se.mmint.mid.Model;
import edu.toronto.cs.se.mmint.mid.diagram.library.MIDContextMenuListener;
import edu.toronto.cs.se.mmint.mid.diagram.library.MIDDiagramUtils;
import edu.toronto.cs.se.mmint.mid.diagram.part.ValidateAction;
public class MIDContextCheckConstraintListener extends MIDContextMenuListener {
private Model model;
private GraphicalEditPart editPart;
public MIDContextCheckConstraintListener(String menuLabel, Model model, GraphicalEditPart editPart) {
super(menuLabel);
this.model = model;
this.editPart = editPart;
}
@Override
public void widgetSelected(SelectionEvent e) {
AbstractTransactionalCommand command = new MIDContextCheckConstraintCommand(
TransactionUtil.getEditingDomain(model),
menuLabel,
MIDDiagramUtils.getActiveInstanceMIDFiles()
);
runListenerCommand(command);
}
protected class MIDContextCheckConstraintCommand extends AbstractTransactionalCommand {
public MIDContextCheckConstraintCommand(TransactionalEditingDomain domain, String label, List<IFile> affectedFiles) {
super(domain, label, affectedFiles);
}
@Override
protected CommandResult doExecuteWithResult(IProgressMonitor monitor, IAdaptable info) throws ExecutionException {
ValidateAction.runValidation((View) editPart.getModel());
return CommandResult.newOKCommandResult();
}
}
}