Lines Matching defs:tools
40 static private Tools tools;
87 tools = configHandler.getTools();
105 File f = new File(tools.getDirectory(),tools.getIdx()+".idx");
110 if (tools.hasVizTools()){
122 for(Tool tool : tools.getTreeTools()){
166 private Tools tools = new Tools();
170 return tools;
219 tools.setDirectory(getDirectory(attributes));
220 tools.setIdx(getIdx(attributes));
226 tools.addTool(new Tool(tools,
447 for(Tool tool : tools.getTreeTools()) {
450 for(Tool tool : tools.getVizTools()) {