(String name, Tool tool)
| 27 | } |
| 28 | |
| 29 | public static void addTool(String name, Tool tool) { |
| 30 | if (OSPRuntime.isJS) { // external tools not supported in JavaScript. |
| 31 | return; |
| 32 | } |
| 33 | if (tools.get(name) == null) { |
| 34 | tools.put(name, tool); |
| 35 | OSPLog.fine("Added to toolbox: " + name); //$NON-NLS-1$ |
| 36 | } |
| 37 | } |
| 38 | |
| 39 | public static Tool getTool(String name) { |
| 40 | if (tools.containsKey(name)) { |
no test coverage detected