Module dev.civl.mc

Package dev.civl.mc.semantics.IF

Interface LibraryEvaluatorLoader

public interface LibraryEvaluatorLoader

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

Method Summary

Modifier and Type	Method	Description
LibraryEvaluator	getLibraryEvaluator(String name, Evaluator primaryEvaluator, ModelFactory modelFacotry, SymbolicUtility symbolicUtil, SymbolicAnalyzer symbolicAnalyzer)	Obtains the library evaluator of the given name.

Method Details

getLibraryEvaluator

LibraryEvaluator getLibraryEvaluator(String name,
 Evaluator primaryEvaluator,
 ModelFactory modelFacotry,
 SymbolicUtility symbolicUtil,
 SymbolicAnalyzer symbolicAnalyzer)
                              throws LibraryLoaderException

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

Parameters:

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

primaryEvaluator - The CIVL evaluator 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 evaluator of the given name.

Throws:

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