Added more getters to plugin repository
This commit is contained in:
		@@ -60,6 +60,12 @@ class PluginRepository:
 | 
				
			|||||||
        self._logger.info(f"Loaded plugin: {plugin}")
 | 
					        self._logger.info(f"Loaded plugin: {plugin}")
 | 
				
			||||||
        self._logger.debug(f"Plugin {plugin} loaded the following commands: {', '.join(compilers.keys())}")
 | 
					        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:
 | 
					    def get_compiler(self, command: str) -> AbstractCommandCompiler:
 | 
				
			||||||
        return self._command_compilers[command]
 | 
					        return self._command_compilers[command]
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 
 | 
				
			|||||||
		Reference in New Issue
	
	Block a user