plugins/org.eclipse.epsilon.executors/src/org/eclipse/epsilon/executors/evl/SimpleEvlExecutor.java

/*********************************************************************
* Copyright (c) 2019 The University of York.
*
* This program and the accompanying materials are made
* available under the terms of the Eclipse Public License 2.0
* which is available at https://www.eclipse.org/legal/epl-2.0/
*
* SPDX-License-Identifier: EPL-2.0
**********************************************************************/
package org.eclipse.epsilon.executors.evl;

import java.io.File;
import java.io.PrintWriter;
import java.util.ArrayList;
import java.util.Collection;
import java.util.Comparator;
import java.util.List;
import java.util.Map;
import java.util.Optional;
import java.util.Set;

import org.eclipse.epsilon.common.parse.problem.ParseProblem;
import org.eclipse.epsilon.eol.exceptions.EolRuntimeException;
import org.eclipse.epsilon.eol.models.IModel;
import org.eclipse.epsilon.eol.types.IToolNativeTypeDelegate;
import org.eclipse.epsilon.erl.execute.RuleProfiler;
import org.eclipse.epsilon.evl.EvlModule;
import org.eclipse.epsilon.evl.IEvlFixer;
import org.eclipse.epsilon.evl.IEvlModule;
import org.eclipse.epsilon.evl.concurrent.EvlModuleParallelElements;
import org.eclipse.epsilon.evl.dom.Constraint;
import org.eclipse.epsilon.evl.dom.ConstraintContext;
import org.eclipse.epsilon.evl.execute.CommandLineFixer;
import org.eclipse.epsilon.evl.execute.UnsatisfiedConstraint;
import org.eclipse.epsilon.executors.ExecutorHelper;
import org.slf4j.Logger;
import org.slf4j.LoggerFactory;

/**
 * The EVL executor
 * @author Horacio Hoyos Rodriguez
 */
public class SimpleEvlExecutor implements EvlExecutor {

	private static final Logger logger = LoggerFactory.getLogger(SimpleEvlExecutor.class);
	private final IEvlModule module;
	private ExecutorHelper helper;
	
	public SimpleEvlExecutor(IEvlModule mdl) {
		logger.info("Creating the EvlExecutor");
		module = mdl;
		helper = new ExecutorHelper(module);
	}
	
	public SimpleEvlExecutor() {
		this(false, 0, null);
    }
	
	public SimpleEvlExecutor(IEvlFixer evlFixer) {
		this(false, 0, evlFixer);
    }
	
	public SimpleEvlExecutor(boolean useParallel) {
		this(useParallel, 1, new CommandLineFixer());
    }
    
	public SimpleEvlExecutor(boolean useParallel, int parallelism, IEvlFixer evlFixer) {
		this(useParallel ? new EvlModuleParallelElements(parallelism) : new EvlModule());
		module.setUnsatisfiedConstraintFixer(evlFixer);
    }
    
	@Override
	public Collection<UnsatisfiedConstraint> execute() throws EolRuntimeException {
		return module.execute();
	}
	
	@Override
	public List<Constraint> getConstraints() {
		return module.getConstraints();
	}
	
	@Override
	public List<ConstraintContext> getConstraintContexts() {
		return module.getConstraintContexts();
	}

	@Override
	public ConstraintContext getConstraintContext(String name) {
		return module.getConstraintContext(name);
	}
	
	@Override
	public Set<UnsatisfiedConstraint> getUnsatisfiedConstraints() {
		return module.getContext().getUnsatisfiedConstraints();
	}

	public boolean parse(File file) throws Exception {
		return helper.parse(file);
	}

	public boolean parse(String code) throws Exception {
		return helper.parse(code);
	}

	public List<ParseProblem> getParseProblems() {
		return helper.getParseProblems();
	}

	public void addModels(Collection<IModel> models) {
		helper.addModels(models);
	}

	public void addParamters(Map<String, ?> parameters) {
		helper.addParamters(parameters);
	}

	public void addNativeTypeDelegates(Collection<IToolNativeTypeDelegate> nativeDelegates) {
		helper.addNativeTypeDelegates(nativeDelegates);
	}

	public Optional<RuleProfiler> getRuleProfiler() {
		return helper.getRuleProfiler();
	}

	public void disposeModelRepository() {
		helper.disposeModelRepository();
	}

	public void clearModelRepository() {
		helper.clearModelRepository();
	}

	public void dispose() {
		helper.dispose();
	}

	public void preProcess() {
		helper.preProcess();
	}

	public void postProcess() {
		helper.postProcess();
	}

	@Override
	public void logUnsatisfied(Collection<UnsatisfiedConstraint> unsatisfiedConstraints) {
		int numUnsatisfied = unsatisfiedConstraints.size();
    	if (numUnsatisfied > 0) {
    		// Separate critiques from constraints
    		List<UnsatisfiedConstraint> consraints = new ArrayList<>();
    		List<UnsatisfiedConstraint> critiques = new ArrayList<>();
    		unsatisfiedConstraints.stream()
    				.forEach(uc -> {
    					if (uc.getConstraint().isCritique()) {
    						critiques.add(uc);
    					} else {
    						consraints.add(uc);}
    					}
    				);
			logger.warn(String.format("There %s %s unsatisfied Constraint(s).",
					numUnsatisfied > 1 ? "were" : "was",
					numUnsatisfied));
			for (UnsatisfiedConstraint uc : unsatisfiedConstraints) {
				if (uc.getConstraint().isCritique()) {
					logger.warn(uc.getMessage());
				}
				else {
					logger.error(uc.getMessage());
				}
			}
		}
		else {
			logger.info("All constraints have been satisfied.");
		}
	}
	
	@Override
	public void printUnsatisfied(Collection<UnsatisfiedConstraint> unsatisfiedConstraints) {
		printUnsatisfied(unsatisfiedConstraints, new PrintWriter(System.out, true));	
	}

	@Override
	public void printUnsatisfied(Collection<UnsatisfiedConstraint> unsatisfiedConstraints, PrintWriter writer) {
		int numUnsatisfied = unsatisfiedConstraints.size();
    	if (numUnsatisfied > 0) {
    		// Separate critiques from constraints
    		List<UnsatisfiedConstraint> consraints = new ArrayList<>();
    		List<UnsatisfiedConstraint> critiques = new ArrayList<>();
    		unsatisfiedConstraints.stream()
    				.forEach(uc -> {
    					if (uc.getConstraint().isCritique()) {
    						critiques.add(uc);
    					} else {
    						consraints.add(uc);
    					}
    				});
    		Optional<String> maxWidth = unsatisfiedConstraints.stream()
    				.map(uc -> uc.getConstraint().getName())
    				.max(Comparator.comparingInt(String::length));
    		int tabDivision = maxWidth.orElse("        ").length();
			String msg = "Unsatisfied Contraints";
			String division = new String(new char[msg.length()]).replace("\0", "=");
			writer.println();
			writer.println(division);
			writer.println(msg);
			writer.println(division);
			for (UnsatisfiedConstraint uc : consraints) {
				writer.format("\u16D6 %-"+tabDivision+"s %s%n", uc.getConstraint().getName(), uc.getMessage());
			}
			writer.println(division);
			msg = "Unsatisfied Critiques";
			division = new String(new char[msg.length()]).replace("\0", "=");
			writer.println();
			writer.println(division);
			writer.println(msg);
			writer.println(division);
			for (UnsatisfiedConstraint uc : consraints) {
				writer.format("\u16B9 %-"+tabDivision+"s %s%n", uc.getConstraint().getName(), uc.getMessage());
			}
		}
		else {
			String msg = "All constraints have been satisfied";
			String division = new String(new char[msg.length()]).replace("\0", "=");
			writer.println();
			writer.println(division);
			writer.println(msg);
			writer.println(division);
		}
	}

}