void (@NotNull FilePartNode node, @NotNull Collection<? super VirtualFilePointer> result) { node.addAllPointersTo(result); for (FilePartNode child : node.children) { dumpPointersRecursivelyTo(child, result); } }