Module dev.civl.mc

Package dev.civl.mc.kripke.IF

Interface LibraryEnablerLoader

public interface LibraryEnablerLoader

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

Method Summary

Modifier and Type	Method	Description
LibraryEnabler	getLibraryEnabler(String name, Enabler primaryEnabler, Evaluator evaluator, ModelFactory modelFacotry, SymbolicUtility symbolicUtil, SymbolicAnalyzer symbolicAnalyzer)	Obtains the library executor of the given name.

Method Details

getLibraryEnabler

LibraryEnabler getLibraryEnabler(String name,
 Enabler primaryEnabler,
 Evaluator evaluator,
 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 enabler of that name.

Parameters:

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

primaryEnabler - The CIVL enabler for normal CIVL statements.

evaluator - The CIVL evaluator of the system.

modelFacotry - The model factory to be used in the library enabler.

symbolicUtil - The symbolic utility for manipulations of symbolic expressions.

symbolicAnalyzer - The symbolic analyzer used in the system.

Returns:

The library enabler of the given name.

Throws:

LibraryLoaderException