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) |