Uses of Interface
dev.civl.mc.semantics.IF.LibraryExecutorLoader

Packages that use LibraryExecutorLoader

Package	Description
dev.civl.mc.semantics.IF	Module semantics implements the semantics of CIVL-C.

Uses of LibraryExecutorLoader in dev.civl.mc.semantics.IF

Methods in dev.civl.mc.semantics.IF that return LibraryExecutorLoader

Modifier and Type	Method	Description
static LibraryExecutorLoader	Semantics.newLibraryExecutorLoader(LibraryEvaluatorLoader libEvaluatorLoader, CIVLConfiguration civlConfig)	Creates a new instance of library executor loader.

Methods in dev.civl.mc.semantics.IF with parameters of type LibraryExecutorLoader

Modifier and Type	Method	Description
static Evaluator	Semantics.newErrorSideEffectFreeEvaluator(ModelFactory modelFactory, StateFactory stateFactory, LibraryEvaluatorLoader loader, LibraryExecutorLoader loaderExec, SymbolicUtility symbolicUtil, SymbolicAnalyzer symbolicAnalyzer, MemoryUnitFactory memUnitFactory, CIVLErrorLogger errLogger, CIVLConfiguration config)	Creates a new instance of ErrorSideEffectFreeEvaluator.
static Evaluator	Semantics.newEvaluator(ModelFactory modelFactory, StateFactory stateFactory, LibraryEvaluatorLoader loader, LibraryExecutorLoader loaderExec, SymbolicUtility symbolicUtil, SymbolicAnalyzer symbolicAnalyzer, MemoryUnitFactory memUnitFactory, CIVLErrorLogger errLogger, CIVLConfiguration config)	Creates a new instance of CIVL evaluator.
static Executor	Semantics.newExecutor(ModelFactory modelFactory, StateFactory stateFactory, LibraryExecutorLoader loader, Evaluator evaluator, SymbolicAnalyzer symbolicAnalyzer, CIVLErrorLogger errLogger, CIVLConfiguration civlConfig)	Creates a new instance of CIVL executor.