org.estouro.ui.extensionSystem
Class ExtensionManager

java.lang.Object
  extended by org.estouro.ui.extensionSystem.ExtensionManager

public class ExtensionManager
extends java.lang.Object


Constructor Summary
ExtensionManager()
           
 
Method Summary
 void addExtension(Extension e)
           
 void configureExtensions(PluginContext ctx)
           
 void exit(PluginContext ctx)
           
 Extension getExtension(java.lang.Class c)
          Gets the extension
 void initializeExtensions(PluginContext ctx)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ExtensionManager

public ExtensionManager()
Method Detail

addExtension

public void addExtension(Extension e)
                  throws PluginException
Throws:
PluginException

getExtension

public Extension getExtension(java.lang.Class c)
Gets the extension

Parameters:
c - Class of the extension to be retrieved
Returns:

initializeExtensions

public void initializeExtensions(PluginContext ctx)
                          throws PluginException
Throws:
PluginException

configureExtensions

public void configureExtensions(PluginContext ctx)
                         throws PluginException
Throws:
PluginException

exit

public void exit(PluginContext ctx)


Copyright © 2005-2006 Fernando González Cortés. All Rights Reserved.