Interface ExtensionManager


  • public interface ExtensionManager
    Manages extensions.
    • Method Detail

      • loadExtension

        void loadExtension​(Extension extension)
        Loads the given extension.
        Parameters:
        extension - the extension to load
      • loadExtension

        @NonNull Extension loadExtension​(Path path)
                                  throws IOException
        Loads the extension at the given path.
        Parameters:
        path - the path to the extension
        Returns:
        the extension
        Throws:
        IOException - if the extension could not be loaded