plugins/org.eclipse.epsilon.executors/src/org/eclipse/epsilon/executors/evl/IEvlExecutor.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.util.Collection;

import org.eclipse.epsilon.evl.IEvlModule;
import org.eclipse.epsilon.evl.execute.UnsatisfiedConstraint;
import org.eclipse.epsilon.executors.IEpsilonLanguageExecutor;

/**
 * The IEvlExecutor API provides additional methods to get the validation results (a collection
 * of {@link UnsatisfiedConstraint}s) and to print the validation results.
 *
 */
public interface IEvlExecutor extends IEpsilonLanguageExecutor {

	@Override
	Collection<UnsatisfiedConstraint> getResult();
	
    /**
     * Gets the unsatisfied constraints.
     *
     * @return the unsatisfied constraints
     */
    default Collection<UnsatisfiedConstraint> getUnsatisfiedConstraints() {
    	return (Collection<UnsatisfiedConstraint>) getResult();
    }
    
    @Override
    IEvlModule getModule();
    
    /**
     * Prints the validation results.
     */
    void printResult();
}