Exemple #1
0
 private ToolList get_tools(String s) {
   ToolList line_tools = new ToolList();
   String tools = remove_control_character(s);
   for (String tool : parse_tool_line(tools)) {
     line_tools.add(Tool.find_or_create(tool));
   }
   return line_tools;
 }
Exemple #2
0
 public ToolList get_tools() {
   if (tools == null) {
     tools = new ToolList();
     for (Job j : jobs.values()) {
       for (Tool t : j.getTools()) if (!tools.contains(t)) tools.add(t);
     }
     Collections.sort(tools);
   }
   return tools;
 }