(Outline[] rawOutline, String indent, Vector<OutlineItem> v)
| 265 | worker.add(new Worker.Task() { |
| 266 | OutlineItem[] outline = null; |
| 267 | protected void flattenOutline(Outline[] rawOutline, String indent, Vector<OutlineItem> v) { |
| 268 | for (Outline node : rawOutline) { |
| 269 | if (node.title != null) { |
| 270 | Location loc = doc.resolveLink(node); |
| 271 | String title = indent + node.title; |
| 272 | v.add(new OutlineItem(title, node.uri, loc)); |
| 273 | } |
| 274 | if (node.down != null) |
| 275 | flattenOutline(node.down, indent + " ", v); |
| 276 | } |
| 277 | } |
| 278 | public void work() { |
| 279 | Outline[] rawOutline = doc.loadOutline(); |
| 280 | if (rawOutline != null) { |
no test coverage detected