org.nlogo.api
Interface ExtensionManager

All Known Implementing Classes:
ExtensionManager
public interface ExtensionManager

ExtensionManager provides some methods that can be used in runOnce

Method Summary
 void initializeHubNet()
          Intializes the HubNetManager, this method should be called if the extension intends to use HubNet.
 ExtensionObject readExtensionObject(String extname, String typeName, String value)
           
 Object readFromString(String src)
           
 Object retrieveObject()
          Returns the stored object.
 void storeObject(Object obj)
          Stores an object for the extension that can be retrieved in runOnce if the extension is loaded again.
 

Method Detail

storeObject

void storeObject(Object obj)
Stores an object for the extension that can be retrieved in runOnce if the extension is loaded again. This is useful if the extension has initialization it needs to perform that should only happen once, even if the extension is loaded multiple times.

Parameters:
obj - the object to be stored

retrieveObject

Object retrieveObject()
Returns the stored object.

Returns:
the stored object

initializeHubNet

void initializeHubNet()
Intializes the HubNetManager, this method should be called if the extension intends to use HubNet.

readExtensionObject

ExtensionObject readExtensionObject(String extname,
                                    String typeName,
                                    String value)

readFromString

Object readFromString(String src)