Class AbstractGlobalContext

  • All Implemented Interfaces:
    GlobalContext

    public abstract class AbstractGlobalContext
    extends java.lang.Object
    implements GlobalContext
    Since this context should maintain a link to a single plugin context, and PluginContextImpl is abstract, this context is also abstract.
    Author:
    bfvdonge
    • Constructor Detail

      • AbstractGlobalContext

        public AbstractGlobalContext()
    • Method Detail

      • getPluginManager

        public PluginManager getPluginManager()
        Description copied from interface: GlobalContext
        Returns the plugin manager. The plugin manager can be used to query for plugins which are registered in ProM.
        Specified by:
        getPluginManager in interface GlobalContext
        Returns:
        the plugin manager
      • getConnectionManager

        public ConnectionManager getConnectionManager()
        Description copied from interface: GlobalContext
        Returns the connection manager. The connection manager can be used to query for connections which are registered in ProM.
        Specified by:
        getConnectionManager in interface GlobalContext
        Returns:
        the connection manager
      • getProvidedObjectManager

        public ProvidedObjectManager getProvidedObjectManager()
        Description copied from interface: GlobalContext
        Returns the providedObject manager. The providedObject manager can be used to query for providedObjects which are registered in ProM. The manager should be a ProvidedObjectListener on all PluginInstanceContexts created by createRootInstanceContext.
        Specified by:
        getProvidedObjectManager in interface GlobalContext
        Returns:
        the providedObject manager
      • invokeBinding

        public void invokeBinding​(PluginParameterBinding binding,
                                  java.lang.Object... objects)
        Description copied from interface: GlobalContext
        This method invokes the specified binding in a context which is a child of the main plugin context maintained by this globalContext. No results are provided to the method calling this method and the plugin is executed some time in the future, as decided by the implementing class.
        Specified by:
        invokeBinding in interface GlobalContext
        Parameters:
        binding - The binding that should be invoked by the framework
        objects - The objects to serve as input as accepted by the given binding.
      • invokePlugin

        public void invokePlugin​(PluginDescriptor plugin,
                                 int index,
                                 java.lang.Object... objects)
        Description copied from interface: GlobalContext
        This method invokes the specified plugin in a context which is a child of the main plugin context maintained by this globalContext. No results are provided to the method calling this method and the plugin is executed some time in the future, as decided by the implementing class.
        Specified by:
        invokePlugin in interface GlobalContext
        Parameters:
        plugin - The plugin that should be invoked by the framework
        index - The index of the plugin method that should be invoked.
        objects - The objects to serve as input as accepted by the method at index of the plugin
      • getMainPluginContext

        protected abstract PluginContext getMainPluginContext()
      • getPluginContextType

        public abstract java.lang.Class<? extends PluginContext> getPluginContextType()
        Description copied from interface: GlobalContext
        Returns the specific type of the PluginContext. This type is used to instantiate new contexts in which to invoke plugins.
        Specified by:
        getPluginContextType in interface GlobalContext
        Returns:
        the type of PluginContext provided by this global context