package edu.udel.cis.vsl.civl.semantics.IF;

import java.io.PrintStream;

import edu.udel.cis.vsl.civl.model.IF.ModelFactory;
import edu.udel.cis.vsl.civl.semantics.Executor;

/**
 * A library executor loader is used to load library executors by name.
 * */
public interface LibraryExecutorLoader {

	/**
	 * Get the library executor with the given name.
	 */
	LibraryExecutor getLibraryExecutor(String name, Executor primaryExecutor,
			PrintStream output, boolean enablePrintf, ModelFactory modelFacotry);

}
