From 2d9b771d1480111b1160683b4f03e2dd28d23611 Mon Sep 17 00:00:00 2001 From: marcsello Date: Wed, 14 Apr 2021 17:43:57 +0200 Subject: [PATCH] Added more getters to plugin repository --- single_ursim_control/plugin_repository.py | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/single_ursim_control/plugin_repository.py b/single_ursim_control/plugin_repository.py index 4ebbb27..2771bb5 100644 --- a/single_ursim_control/plugin_repository.py +++ b/single_ursim_control/plugin_repository.py @@ -60,6 +60,12 @@ class PluginRepository: self._logger.info(f"Loaded plugin: {plugin}") self._logger.debug(f"Plugin {plugin} loaded the following commands: {', '.join(compilers.keys())}") + def get_loaded_plugins(self) -> List[str]: + return list(self._loaded_plugins.keys()) + + def get_loaded_compilers(self) -> List[str]: + return list(self._command_compilers.keys()) + def get_compiler(self, command: str) -> AbstractCommandCompiler: return self._command_compilers[command]