|
NetLogo API version 4.0.1 |
|||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ExtensionManager | |
---|---|
org.nlogo.agent | |
org.nlogo.api | Provides classes associated with the NetLogo Extensions API. |
org.nlogo.workspace |
Uses of ExtensionManager in org.nlogo.agent |
---|
Fields in org.nlogo.agent declared as ExtensionManager | |
---|---|
ExtensionManager |
World.extensionManager
|
Methods in org.nlogo.agent that return ExtensionManager | |
---|---|
ExtensionManager |
World.getExtensionManager()
|
Methods in org.nlogo.agent with parameters of type ExtensionManager | |
---|---|
void |
World.setExtensionManager(ExtensionManager mgr)
|
Uses of ExtensionManager in org.nlogo.api |
---|
Methods in org.nlogo.api with parameters of type ExtensionManager | |
---|---|
ExtensionObject |
ClassManager.readExtensionObject(ExtensionManager ws,
String typeName,
String stringrep)
Return a new NetLogo ExtensionObject instance of the specified typeName, initialized by stringrep |
ExtensionObject |
DefaultClassManager.readExtensionObject(ExtensionManager em,
String typeName,
String value)
|
void |
ClassManager.runOnce(ExtensionManager em)
Initializes the extension. |
void |
DefaultClassManager.runOnce(ExtensionManager em)
Empty implementation. |
Uses of ExtensionManager in org.nlogo.workspace |
---|
Classes in org.nlogo.workspace that implement ExtensionManager | |
---|---|
class |
ExtensionManager
|
|
NetLogo API version 4.0.1 |
|||||||||
PREV NEXT | FRAMES NO FRAMES |