class StateManagerShellExt extends Object
State manager shell extension.
Type Params | Return Type | Name and description |
---|---|---|
|
static void |
__init__(ScriptEngine engine) |
|
static def |
clrstate() |
|
static AgentID |
getStatemanager() |
|
static def |
savestate(String filename = null, def agentname = null) |