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