public class Toolbox
extends java.lang.Object
Modifier and Type | Field | Description |
---|---|---|
protected static int |
allowRMI |
|
protected static java.rmi.registry.Registry |
registry |
|
protected static java.util.Map<java.lang.String,Tool> |
tools |
Modifier | Constructor | Description |
---|---|---|
protected |
Toolbox() |
Modifier and Type | Method | Description |
---|---|---|
static boolean |
addRMITool(java.lang.String name,
Tool tool) |
|
static void |
addTool(java.lang.String name,
Tool tool) |
|
static Tool |
getTool(java.lang.String name) |
protected static java.util.Map<java.lang.String,Tool> tools
protected static java.rmi.registry.Registry registry
protected static int allowRMI