org.eclipse.opencert.apm.baseline.diagram/src/org/eclipse/opencert/apm/baseline/baseline/diagram/part/ValidateAction.java - gerrit/opencert/opencert - Git at Google

 /*******************************************************************************
  * Copyright (c) 2016 Fundación Tecnalia Research & Innovation.
  *
  * All rights reserved. This program and the accompanying materials
  * are made available under the terms of the Eclipse Public License v2.0
  * which accompanies this distribution, and is available at
  * https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
  *
  * SPDX-License-Identifier: EPL-2.0
  *
  * Contributors:
  *   Huascar Espinoza - initial API and implementation
  *   Alejandra Ruíz - initial API and implementation
  *   Idoya Del Río - initial API and implementation
  *   Mari Carmen Palacios - initial API and implementation
  *   Angel López - initial API and implementation
  *******************************************************************************/
 /*
  *
  */
 package org.eclipse.opencert.apm.baseline.baseline.diagram.part;

 import java.lang.reflect.InvocationTargetException;
 import java.util.ArrayList;
 import java.util.HashSet;
 import java.util.Iterator;
 import java.util.List;
 import java.util.Set;

 import org.eclipse.core.resources.IFile;
 import org.eclipse.core.runtime.IProgressMonitor;
 import org.eclipse.core.runtime.IStatus;
 import org.eclipse.core.runtime.NullProgressMonitor;
 import org.eclipse.emf.common.util.Diagnostic;
 import org.eclipse.emf.ecore.EObject;
 import org.eclipse.emf.ecore.util.Diagnostician;
 import org.eclipse.emf.transaction.TransactionalEditingDomain;
 import org.eclipse.emf.transaction.util.TransactionUtil;
 import org.eclipse.emf.validation.model.EvaluationMode;
 import org.eclipse.emf.validation.model.IConstraintStatus;
 import org.eclipse.emf.validation.service.IBatchValidator;
 import org.eclipse.emf.validation.service.ModelValidationService;
 import org.eclipse.emf.workspace.util.WorkspaceSynchronizer;
 import org.eclipse.gef.EditPartViewer;
 import org.eclipse.gmf.runtime.diagram.ui.OffscreenEditPartFactory;
 import org.eclipse.gmf.runtime.diagram.ui.editparts.DiagramEditPart;
 import org.eclipse.gmf.runtime.diagram.ui.parts.IDiagramWorkbenchPart;
 import org.eclipse.gmf.runtime.emf.core.util.EMFCoreUtil;
 import org.eclipse.gmf.runtime.notation.View;
 import org.eclipse.jface.action.Action;
 import org.eclipse.jface.operation.IRunnableWithProgress;
 import org.eclipse.ui.IEditorPart;
 import org.eclipse.ui.IWorkbenchPage;
 import org.eclipse.ui.IWorkbenchPart;
 import org.eclipse.ui.PlatformUI;
 import org.eclipse.ui.actions.WorkspaceModifyDelegatingOperation;
 import org.eclipse.opencert.apm.baseline.baseline.diagram.providers.BaselineMarkerNavigationProvider;
 import org.eclipse.opencert.apm.baseline.baseline.diagram.providers.BaselineValidationProvider;

 /**
  * @generated
  */
 public class ValidateAction extends Action {

 	/**
 	 * @generated
 	 */
 	private IWorkbenchPage page;

 	/**
 	 * @generated
 	 */
 	public ValidateAction(IWorkbenchPage page) {
 		setText(Messages.ValidateActionMessage);
 		this.page = page;
 	}

 	/**
 	 * @generated
 	 */
 	public void run() {
 		IWorkbenchPart workbenchPart = page.getActivePart();
 		if (workbenchPart instanceof IDiagramWorkbenchPart) {
 			final IDiagramWorkbenchPart part = (IDiagramWorkbenchPart) workbenchPart;
 			try {
 				new WorkspaceModifyDelegatingOperation(
 						new IRunnableWithProgress() {

 							public void run(IProgressMonitor monitor)
 									throws InterruptedException,
 									InvocationTargetException {
 								runValidation(part.getDiagramEditPart(),
 										part.getDiagram());
 							}
 						}).run(new NullProgressMonitor());
 			} catch (Exception e) {
 				BaselineDiagramEditorPlugin.getInstance().logError(
 						"Validation action failed", e); //$NON-NLS-1$
 			}
 		}
 	}

 	/**
 	 * @generated
 	 */
 	public static void runValidation(View view) {
 		try {
 			if (BaselineDiagramEditorUtil.openDiagram(view.eResource())) {
 				IEditorPart editorPart = PlatformUI.getWorkbench()
 						.getActiveWorkbenchWindow().getActivePage()
 						.getActiveEditor();
 				if (editorPart instanceof IDiagramWorkbenchPart) {
 					runValidation(
 							((IDiagramWorkbenchPart) editorPart)
 									.getDiagramEditPart(),
 							view);
 				} else {
 					runNonUIValidation(view);
 				}
 			}
 		} catch (Exception e) {
 			BaselineDiagramEditorPlugin.getInstance().logError(
 					"Validation action failed", e); //$NON-NLS-1$
 		}
 	}

 	/**
 	 * @generated
 	 */
 	public static void runNonUIValidation(View view) {
 		DiagramEditPart diagramEditPart = OffscreenEditPartFactory
 				.getInstance().createDiagramEditPart(view.getDiagram());
 		runValidation(diagramEditPart, view);
 	}

 	/**
 	 * @generated
 	 */
 	public static void runValidation(DiagramEditPart diagramEditPart, View view) {
 		final DiagramEditPart fpart = diagramEditPart;
 		final View fview = view;
 		TransactionalEditingDomain txDomain = TransactionUtil
 				.getEditingDomain(view);
 		BaselineValidationProvider.runWithConstraints(txDomain, new Runnable() {

 			public void run() {
 				validate(fpart, fview);
 			}
 		});
 	}

 	/**
 	 * @generated
 	 */
 	private static Diagnostic runEMFValidator(View target) {
 		if (target.isSetElement() && target.getElement() != null) {
 			return new Diagnostician() {

 				public String getObjectLabel(EObject eObject) {
 					return EMFCoreUtil.getQualifiedName(eObject, true);
 				}
 			}.validate(target.getElement());
 		}
 		return Diagnostic.OK_INSTANCE;
 	}

 	/**
 	 * @generated
 	 */
 	private static void validate(DiagramEditPart diagramEditPart, View view) {
 		IFile target = view.eResource() != null ? WorkspaceSynchronizer
 				.getFile(view.eResource()) : null;
 		if (target != null) {
 			BaselineMarkerNavigationProvider.deleteMarkers(target);
 		}
 		Diagnostic diagnostic = runEMFValidator(view);
 		createMarkers(target, diagnostic, diagramEditPart);
 		IBatchValidator validator = (IBatchValidator) ModelValidationService
 				.getInstance().newValidator(EvaluationMode.BATCH);
 		validator.setIncludeLiveConstraints(true);
 		if (view.isSetElement() && view.getElement() != null) {
 			IStatus status = validator.validate(view.getElement());
 			createMarkers(target, status, diagramEditPart);
 		}
 	}

 	/**
 	 * @generated
 	 */
 	private static void createMarkers(IFile target, IStatus validationStatus,
 			DiagramEditPart diagramEditPart) {
 		if (validationStatus.isOK()) {
 			return;
 		}
 		final IStatus rootStatus = validationStatus;
 		List allStatuses = new ArrayList();
 		BaselineDiagramEditorUtil.LazyElement2ViewMap element2ViewMap = new BaselineDiagramEditorUtil.LazyElement2ViewMap(
 				diagramEditPart.getDiagramView(), collectTargetElements(
 						rootStatus, new HashSet<EObject>(), allStatuses));
 		for (Iterator it = allStatuses.iterator(); it.hasNext();) {
 			IConstraintStatus nextStatus = (IConstraintStatus) it.next();
 			View view = BaselineDiagramEditorUtil.findView(diagramEditPart,
 					nextStatus.getTarget(), element2ViewMap);
 			addMarker(diagramEditPart.getViewer(), target, view.eResource()
 					.getURIFragment(view), EMFCoreUtil.getQualifiedName(
 					nextStatus.getTarget(), true), nextStatus.getMessage(),
 					nextStatus.getSeverity());
 		}
 	}

 	/**
 	 * @generated
 	 */
 	private static void createMarkers(IFile target,
 			Diagnostic emfValidationStatus, DiagramEditPart diagramEditPart) {
 		if (emfValidationStatus.getSeverity() == Diagnostic.OK) {
 			return;
 		}
 		final Diagnostic rootStatus = emfValidationStatus;
 		List allDiagnostics = new ArrayList();
 		BaselineDiagramEditorUtil.LazyElement2ViewMap element2ViewMap = new BaselineDiagramEditorUtil.LazyElement2ViewMap(
 				diagramEditPart.getDiagramView(), collectTargetElements(
 						rootStatus, new HashSet<EObject>(), allDiagnostics));
 		for (Iterator it = emfValidationStatus.getChildren().iterator(); it
 				.hasNext();) {
 			Diagnostic nextDiagnostic = (Diagnostic) it.next();
 			List data = nextDiagnostic.getData();
 			if (data != null && !data.isEmpty()
 					&& data.get(0) instanceof EObject) {
 				EObject element = (EObject) data.get(0);
 				View view = BaselineDiagramEditorUtil.findView(diagramEditPart,
 						element, element2ViewMap);
 				addMarker(
 						diagramEditPart.getViewer(),
 						target,
 						view.eResource().getURIFragment(view),
 						EMFCoreUtil.getQualifiedName(element, true),
 						nextDiagnostic.getMessage(),
 						diagnosticToStatusSeverity(nextDiagnostic.getSeverity()));
 			}
 		}
 	}

 	/**
 	 * @generated
 	 */
 	private static void addMarker(EditPartViewer viewer, IFile target,
 			String elementId, String location, String message,
 			int statusSeverity) {
 		if (target == null) {
 			return;
 		}
 		BaselineMarkerNavigationProvider.addMarker(target, elementId, location,
 				message, statusSeverity);
 	}

 	/**
 	 * @generated
 	 */
 	private static int diagnosticToStatusSeverity(int diagnosticSeverity) {
 		if (diagnosticSeverity == Diagnostic.OK) {
 			return IStatus.OK;
 		} else if (diagnosticSeverity == Diagnostic.INFO) {
 			return IStatus.INFO;
 		} else if (diagnosticSeverity == Diagnostic.WARNING) {
 			return IStatus.WARNING;
 		} else if (diagnosticSeverity == Diagnostic.ERROR
 				|| diagnosticSeverity == Diagnostic.CANCEL) {
 			return IStatus.ERROR;
 		}
 		return IStatus.INFO;
 	}

 	/**
 	 * @generated
 	 */
 	private static Set<EObject> collectTargetElements(IStatus status,
 			Set<EObject> targetElementCollector, List allConstraintStatuses) {
 		if (status instanceof IConstraintStatus) {
 			targetElementCollector
 					.add(((IConstraintStatus) status).getTarget());
 			allConstraintStatuses.add(status);
 		}
 		if (status.isMultiStatus()) {
 			IStatus[] children = status.getChildren();
 			for (int i = 0; i < children.length; i++) {
 				collectTargetElements(children[i], targetElementCollector,
 						allConstraintStatuses);
 			}
 		}
 		return targetElementCollector;
 	}

 	/**
 	 * @generated
 	 */
 	private static Set<EObject> collectTargetElements(Diagnostic diagnostic,
 			Set<EObject> targetElementCollector, List allDiagnostics) {
 		List data = diagnostic.getData();
 		EObject target = null;
 		if (data != null && !data.isEmpty() && data.get(0) instanceof EObject) {
 			target = (EObject) data.get(0);
 			targetElementCollector.add(target);
 			allDiagnostics.add(diagnostic);
 		}
 		if (diagnostic.getChildren() != null
 				&& !diagnostic.getChildren().isEmpty()) {
 			for (Iterator it = diagnostic.getChildren().iterator(); it
 					.hasNext();) {
 				collectTargetElements((Diagnostic) it.next(),
 						targetElementCollector, allDiagnostics);
 			}
 		}
 		return targetElementCollector;
 	}
 }
	/*******************************************************************************
	* Copyright (c) 2016 Fundación Tecnalia Research & Innovation.
	*
	* All rights reserved. This program and the accompanying materials
	* are made available under the terms of the Eclipse Public License v2.0
	* which accompanies this distribution, and is available at
	* https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
	*
	* SPDX-License-Identifier: EPL-2.0
	*
	* Contributors:
	* Huascar Espinoza - initial API and implementation
	* Alejandra Ruíz - initial API and implementation
	* Idoya Del Río - initial API and implementation
	* Mari Carmen Palacios - initial API and implementation
	* Angel López - initial API and implementation
	*******************************************************************************/
	/*
	*
	*/
	package org.eclipse.opencert.apm.baseline.baseline.diagram.part;

	import java.lang.reflect.InvocationTargetException;
	import java.util.ArrayList;
	import java.util.HashSet;
	import java.util.Iterator;
	import java.util.List;
	import java.util.Set;

	import org.eclipse.core.resources.IFile;
	import org.eclipse.core.runtime.IProgressMonitor;
	import org.eclipse.core.runtime.IStatus;
	import org.eclipse.core.runtime.NullProgressMonitor;
	import org.eclipse.emf.common.util.Diagnostic;
	import org.eclipse.emf.ecore.EObject;
	import org.eclipse.emf.ecore.util.Diagnostician;
	import org.eclipse.emf.transaction.TransactionalEditingDomain;
	import org.eclipse.emf.transaction.util.TransactionUtil;
	import org.eclipse.emf.validation.model.EvaluationMode;
	import org.eclipse.emf.validation.model.IConstraintStatus;
	import org.eclipse.emf.validation.service.IBatchValidator;
	import org.eclipse.emf.validation.service.ModelValidationService;
	import org.eclipse.emf.workspace.util.WorkspaceSynchronizer;
	import org.eclipse.gef.EditPartViewer;
	import org.eclipse.gmf.runtime.diagram.ui.OffscreenEditPartFactory;
	import org.eclipse.gmf.runtime.diagram.ui.editparts.DiagramEditPart;
	import org.eclipse.gmf.runtime.diagram.ui.parts.IDiagramWorkbenchPart;
	import org.eclipse.gmf.runtime.emf.core.util.EMFCoreUtil;
	import org.eclipse.gmf.runtime.notation.View;
	import org.eclipse.jface.action.Action;
	import org.eclipse.jface.operation.IRunnableWithProgress;
	import org.eclipse.ui.IEditorPart;
	import org.eclipse.ui.IWorkbenchPage;
	import org.eclipse.ui.IWorkbenchPart;
	import org.eclipse.ui.PlatformUI;
	import org.eclipse.ui.actions.WorkspaceModifyDelegatingOperation;
	import org.eclipse.opencert.apm.baseline.baseline.diagram.providers.BaselineMarkerNavigationProvider;
	import org.eclipse.opencert.apm.baseline.baseline.diagram.providers.BaselineValidationProvider;

	/**
	* @generated
	*/
	public class ValidateAction extends Action {

	/**
	* @generated
	*/
	private IWorkbenchPage page;

	/**
	* @generated
	*/
	public ValidateAction(IWorkbenchPage page) {
	setText(Messages.ValidateActionMessage);
	this.page = page;
	}

	/**
	* @generated
	*/
	public void run() {
	IWorkbenchPart workbenchPart = page.getActivePart();
	if (workbenchPart instanceof IDiagramWorkbenchPart) {
	final IDiagramWorkbenchPart part = (IDiagramWorkbenchPart) workbenchPart;
	try {
	new WorkspaceModifyDelegatingOperation(
	new IRunnableWithProgress() {

	public void run(IProgressMonitor monitor)
	throws InterruptedException,
	InvocationTargetException {
	runValidation(part.getDiagramEditPart(),
	part.getDiagram());
	}
	}).run(new NullProgressMonitor());
	} catch (Exception e) {
	BaselineDiagramEditorPlugin.getInstance().logError(
	"Validation action failed", e); //$NON-NLS-1$
	}
	}
	}

	/**
	* @generated
	*/
	public static void runValidation(View view) {
	try {
	if (BaselineDiagramEditorUtil.openDiagram(view.eResource())) {
	IEditorPart editorPart = PlatformUI.getWorkbench()
	.getActiveWorkbenchWindow().getActivePage()
	.getActiveEditor();
	if (editorPart instanceof IDiagramWorkbenchPart) {
	runValidation(
	((IDiagramWorkbenchPart) editorPart)
	.getDiagramEditPart(),
	view);
	} else {
	runNonUIValidation(view);
	}
	}
	} catch (Exception e) {
	BaselineDiagramEditorPlugin.getInstance().logError(
	"Validation action failed", e); //$NON-NLS-1$
	}
	}

	/**
	* @generated
	*/
	public static void runNonUIValidation(View view) {
	DiagramEditPart diagramEditPart = OffscreenEditPartFactory
	.getInstance().createDiagramEditPart(view.getDiagram());
	runValidation(diagramEditPart, view);
	}

	/**
	* @generated
	*/
	public static void runValidation(DiagramEditPart diagramEditPart, View view) {
	final DiagramEditPart fpart = diagramEditPart;
	final View fview = view;
	TransactionalEditingDomain txDomain = TransactionUtil
	.getEditingDomain(view);
	BaselineValidationProvider.runWithConstraints(txDomain, new Runnable() {

	public void run() {
	validate(fpart, fview);
	}
	});
	}

	/**
	* @generated
	*/
	private static Diagnostic runEMFValidator(View target) {
	if (target.isSetElement() && target.getElement() != null) {
	return new Diagnostician() {

	public String getObjectLabel(EObject eObject) {
	return EMFCoreUtil.getQualifiedName(eObject, true);
	}
	}.validate(target.getElement());
	}
	return Diagnostic.OK_INSTANCE;
	}

	/**
	* @generated
	*/
	private static void validate(DiagramEditPart diagramEditPart, View view) {
	IFile target = view.eResource() != null ? WorkspaceSynchronizer
	.getFile(view.eResource()) : null;
	if (target != null) {
	BaselineMarkerNavigationProvider.deleteMarkers(target);
	}
	Diagnostic diagnostic = runEMFValidator(view);
	createMarkers(target, diagnostic, diagramEditPart);
	IBatchValidator validator = (IBatchValidator) ModelValidationService
	.getInstance().newValidator(EvaluationMode.BATCH);
	validator.setIncludeLiveConstraints(true);
	if (view.isSetElement() && view.getElement() != null) {
	IStatus status = validator.validate(view.getElement());
	createMarkers(target, status, diagramEditPart);
	}
	}

	/**
	* @generated
	*/
	private static void createMarkers(IFile target, IStatus validationStatus,
	DiagramEditPart diagramEditPart) {
	if (validationStatus.isOK()) {
	return;
	}
	final IStatus rootStatus = validationStatus;
	List allStatuses = new ArrayList();
	BaselineDiagramEditorUtil.LazyElement2ViewMap element2ViewMap = new BaselineDiagramEditorUtil.LazyElement2ViewMap(
	diagramEditPart.getDiagramView(), collectTargetElements(
	rootStatus, new HashSet<EObject>(), allStatuses));
	for (Iterator it = allStatuses.iterator(); it.hasNext();) {
	IConstraintStatus nextStatus = (IConstraintStatus) it.next();
	View view = BaselineDiagramEditorUtil.findView(diagramEditPart,
	nextStatus.getTarget(), element2ViewMap);
	addMarker(diagramEditPart.getViewer(), target, view.eResource()
	.getURIFragment(view), EMFCoreUtil.getQualifiedName(
	nextStatus.getTarget(), true), nextStatus.getMessage(),
	nextStatus.getSeverity());
	}
	}

	/**
	* @generated
	*/
	private static void createMarkers(IFile target,
	Diagnostic emfValidationStatus, DiagramEditPart diagramEditPart) {
	if (emfValidationStatus.getSeverity() == Diagnostic.OK) {
	return;
	}
	final Diagnostic rootStatus = emfValidationStatus;
	List allDiagnostics = new ArrayList();
	BaselineDiagramEditorUtil.LazyElement2ViewMap element2ViewMap = new BaselineDiagramEditorUtil.LazyElement2ViewMap(
	diagramEditPart.getDiagramView(), collectTargetElements(
	rootStatus, new HashSet<EObject>(), allDiagnostics));
	for (Iterator it = emfValidationStatus.getChildren().iterator(); it
	.hasNext();) {
	Diagnostic nextDiagnostic = (Diagnostic) it.next();
	List data = nextDiagnostic.getData();
	if (data != null && !data.isEmpty()
	&& data.get(0) instanceof EObject) {
	EObject element = (EObject) data.get(0);
	View view = BaselineDiagramEditorUtil.findView(diagramEditPart,
	element, element2ViewMap);
	addMarker(
	diagramEditPart.getViewer(),
	target,
	view.eResource().getURIFragment(view),
	EMFCoreUtil.getQualifiedName(element, true),
	nextDiagnostic.getMessage(),
	diagnosticToStatusSeverity(nextDiagnostic.getSeverity()));
	}
	}
	}

	/**
	* @generated
	*/
	private static void addMarker(EditPartViewer viewer, IFile target,
	String elementId, String location, String message,
	int statusSeverity) {
	if (target == null) {
	return;
	}
	BaselineMarkerNavigationProvider.addMarker(target, elementId, location,
	message, statusSeverity);
	}

	/**
	* @generated
	*/
	private static int diagnosticToStatusSeverity(int diagnosticSeverity) {
	if (diagnosticSeverity == Diagnostic.OK) {
	return IStatus.OK;
	} else if (diagnosticSeverity == Diagnostic.INFO) {
	return IStatus.INFO;
	} else if (diagnosticSeverity == Diagnostic.WARNING) {
	return IStatus.WARNING;
	} else if (diagnosticSeverity == Diagnostic.ERROR
	\|\| diagnosticSeverity == Diagnostic.CANCEL) {
	return IStatus.ERROR;
	}
	return IStatus.INFO;
	}

	/**
	* @generated
	*/
	private static Set<EObject> collectTargetElements(IStatus status,
	Set<EObject> targetElementCollector, List allConstraintStatuses) {
	if (status instanceof IConstraintStatus) {
	targetElementCollector
	.add(((IConstraintStatus) status).getTarget());
	allConstraintStatuses.add(status);
	}
	if (status.isMultiStatus()) {
	IStatus[] children = status.getChildren();
	for (int i = 0; i < children.length; i++) {
	collectTargetElements(children[i], targetElementCollector,
	allConstraintStatuses);
	}
	}
	return targetElementCollector;
	}

	/**
	* @generated
	*/
	private static Set<EObject> collectTargetElements(Diagnostic diagnostic,
	Set<EObject> targetElementCollector, List allDiagnostics) {
	List data = diagnostic.getData();
	EObject target = null;
	if (data != null && !data.isEmpty() && data.get(0) instanceof EObject) {
	target = (EObject) data.get(0);
	targetElementCollector.add(target);
	allDiagnostics.add(diagnostic);
	}
	if (diagnostic.getChildren() != null
	&& !diagnostic.getChildren().isEmpty()) {
	for (Iterator it = diagnostic.getChildren().iterator(); it
	.hasNext();) {
	collectTargetElements((Diagnostic) it.next(),
	targetElementCollector, allDiagnostics);
	}
	}
	return targetElementCollector;
	}
	}