PluginManagementConfigurationBuilder

A builder class for creating a PluginConfig object.

This class provides methods for registering and retrieving plugins for the configuration. A plugin is an object that implements either the KlarityMiddleware or the FunctionProvider interface and provides methods for modifying or enhancing the translation process. The class uses a mutable list of KlarityMiddleware objects and a mutable set of FunctionProvider objects as its internal data structures. The list stores the middlewares that are registered by the class. The set stores the function providers that are registered by the class. The class also adds some default functions to the set using the DefaultFunctions object.