Module dev.civl.mc

Package dev.civl.mc.semantics.IF

Interface LibraryExecutorLoader

public interface LibraryExecutorLoader

The library executor loader provides the mechanism for loading the library executor of a certain library.

Method Summary

Modifier and Type	Method	Description
LibraryExecutor	getLibraryExecutor(String name, Executor primaryExecutor, ModelFactory modelFacotry, SymbolicUtility symbolicUtil, SymbolicAnalyzer symbolicAnalyzer)	Obtains the library executor of the given name.

Method Details

getLibraryExecutor

LibraryExecutor getLibraryExecutor(String name,
 Executor primaryExecutor,
 ModelFactory modelFacotry,
 SymbolicUtility symbolicUtil,
 SymbolicAnalyzer symbolicAnalyzer)
                            throws LibraryLoaderException

Obtains the library executor of the given name. Given the same name, it will always return the same instance of the library executor of that name.

Parameters:

name - The name of the library whose executor is to be obtained.

primaryExecutor - The CIVL executor of the system.

modelFacotry - The model factory of the system.

symbolicUtil - The symbolic utility for manipulations of symbolic expressions.

symbolicAnalyzer - The symbolic analyzer used in the system.

Returns:

The library executor of the given name.

Throws:

LibraryLoaderException - If the library executor of the given name cannot be found.