Class ExtensionRegistry


  • public class ExtensionRegistry
    extends java.lang.Object
    an extension point is a class that defines a point where Extension can be added.
    This is typically used together with plugins, however any class may register extensions
    to an extension point.
    • Constructor Detail

      • ExtensionRegistry

        public ExtensionRegistry​(long cPtr,
                                 boolean cMemoryOwn)
      • ExtensionRegistry

        public ExtensionRegistry()
        Constructor
    • Method Detail

      • delete

        public void delete()
      • getExtensionDescriptors

        public SWIGTYPE_p_std__vectorT_rw__core__Extension__Descriptor_t getExtensionDescriptors​(java.lang.String ext_point_id)
        get all descriptors registered for a specific extension point id
        Parameters:
        ext_point_id - [in] identifier of extension point
        Returns:
        list of extension point descriptions
      • getExtensions

        public VectorExtensionPtr getExtensions​(java.lang.String ext_point_id)
        get all extensions of a specific extension point
        Parameters:
        ext_point_id - [in] identifier of extension point
        Returns:
        list of extensions
      • registerExtensions

        public void registerExtensions​(PluginPtr plugin)
        register extensions and extension points of a plugin
        Parameters:
        plugin - [in] the plugin that is to be registered
      • unregisterExtensions

        public void unregisterExtensions​(PluginPtr plugin)
        Unregister extensions and extension points of a plugin.
        Parameters:
        plugin - [in] the plugin that is to be removed.
      • clearExtensions

        public void clearExtensions()
        Unregister all extensions.