plugins/org.polarsys.chess.checkers/src/org/polarsys/chess/checkers/core/checkerManager/Checker.java

/*******************************************************************************
 * Copyright (C) 2020 Fondazione Bruno Kessler.
 * 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
 * http://www.eclipse.org/legal/epl-v20.html
 ******************************************************************************/
package org.polarsys.chess.checkers.core.checkerManager;

import java.util.ArrayList;
import java.util.List;
import java.util.Set;

import org.apache.log4j.Logger;
import org.eclipse.core.resources.IFile;
import org.eclipse.core.runtime.IProgressMonitor;
import org.eclipse.core.runtime.IStatus;
import org.eclipse.core.runtime.Status;
import org.eclipse.core.runtime.jobs.Job;
import org.eclipse.emf.workspace.util.WorkspaceSynchronizer;
import org.polarsys.chess.contracts.profile.chesscontract.util.EntityUtil;

public abstract class Checker {

	private static final Logger logger = Logger.getLogger(Checker.class);

//	private static String pluginID = "org.polarsys.chess.checkers";

	public final String unifiedName;
	protected final Set<String> checkerTags;
	protected final int registerPriority;
	private ArrayList<Exception> errors = new ArrayList<Exception>();

	protected Checker(String unifiedName, Set<String> checkerTags) {
		this(unifiedName, checkerTags, 0);
	}

	public Checker(String unifiedName, Set<String> checkerTags, int registerPriority) {

		this.unifiedName = unifiedName;
		this.checkerTags = checkerTags;
		this.registerPriority = registerPriority;

		CheckerManager checkerManager = org.polarsys.chess.checkers.Activator.getCheckerManager();
		logger.debug("register " + unifiedName);
		checkerManager.getCheckersContainter().register(this);
	}

	public abstract List<CheckerMessage> check(IProgressMonitor monitor) throws Exception;

	public abstract void init() throws Exception;

	public void asyncCheck(boolean isFirstChecker) throws Exception {
		
		CheckerManager checkerManager = org.polarsys.chess.checkers.Activator.getCheckerManager();
		
		org.eclipse.uml2.uml.Package pack = EntityUtil.getInstance().getCurrentSystemView();
		if(pack==null){
			IFile file = EntityUtil.getInstance().getCurrentIFile();
			System.out.println("file: "+file);
			EntityUtil.getInstance().openCurrentModelIntoEditor(file);			
		}
		
		IFile iFile = WorkspaceSynchronizer.getFile(EntityUtil.getInstance().getCurrentSystemView().eResource());
		init();

		logger.debug("running checker: "+unifiedName);
		Job job = new Job("Checker Manager: " + unifiedName) {
			@Override
			protected IStatus run(IProgressMonitor monitor) {
				try {
					errors = new ArrayList<Exception>();
					List<CheckerMessage> messages = check(monitor);
					if (messages != null) {
//						checkerManager.deleteMarkers(iFile, unifiedName);							
						checkerManager.deleteProjectMarkers(iFile.getProject(), unifiedName);
						checkerManager.addMessages(unifiedName, messages);
					}
				} catch (Exception e) {
					e.printStackTrace();
					logger.error("Checker '"+unifiedName+"' exception: "+e.getMessage());
					return Status.CANCEL_STATUS;
				}
				if (monitor.isCanceled()) {
					logger.warn("checker '" + unifiedName + "' isCanceled");
					return Status.CANCEL_STATUS;
				}
				// use this to open a Shell in the UI thread
				return Status.OK_STATUS;
			}
		};
		
		job.setUser(isFirstChecker);
		job.schedule();
	}
	
//	/**
//	 * Recursively returns all the files in the given container
//	 * @param container the IContainer
//	 * @return
//	 */
//	private List<IFile> getProjectFiles(IContainer container) {
//		final List<IFile> files = new ArrayList<IFile>();
//		try {
//			for (IResource member : container.members()) {
//				if (member instanceof IContainer) {
//					files.addAll(getProjectFiles((IContainer) member));
//				} else if (member instanceof IFile) {
//					files.add((IFile) member);
//				}
//			}
//		} catch (Exception e) {
//			e.printStackTrace();
//		}
//		return files;
//	}

	/*
	 * private void syncWithUI(Shell shell) { Display.getDefault().asyncExec(new
	 * Runnable() { public void run() { MessageDialog.openInformation(shell,
	 * "message", "completed!"); } }); }
	 */

	public boolean belongsTo(Set<String> checkersTags) {
		for (String tag : checkersTags) {
			if (checkerTags.contains(tag))
				return true;
		}
		return false;
	}

	public String getUnifiedName() {
		return unifiedName;
	}

	public Set<String> getCheckerTags() {
		return checkerTags;
	}

	public void addError(Exception e){
		errors.add(e);
	}
}