mirror of
https://github.com/BurntSushi/ripgrep.git
synced 2025-05-19 01:30:21 -07:00
parent
3bfa125b2e
commit
6cd9479634
@ -3,6 +3,7 @@ use std::ffi::OsStr;
|
|||||||
use std::fmt;
|
use std::fmt;
|
||||||
use std::fs::{self, FileType, Metadata};
|
use std::fs::{self, FileType, Metadata};
|
||||||
use std::io;
|
use std::io;
|
||||||
|
use std::iter::FusedIterator;
|
||||||
use std::path::{Path, PathBuf};
|
use std::path::{Path, PathBuf};
|
||||||
use std::sync::atomic::{AtomicBool, AtomicUsize, Ordering};
|
use std::sync::atomic::{AtomicBool, AtomicUsize, Ordering};
|
||||||
use std::sync::{Arc, Mutex};
|
use std::sync::{Arc, Mutex};
|
||||||
@ -1040,6 +1041,8 @@ impl Iterator for Walk {
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
impl FusedIterator for Walk {}
|
||||||
|
|
||||||
/// WalkEventIter transforms a WalkDir iterator into an iterator that more
|
/// WalkEventIter transforms a WalkDir iterator into an iterator that more
|
||||||
/// accurately describes the directory tree. Namely, it emits events that are
|
/// accurately describes the directory tree. Namely, it emits events that are
|
||||||
/// one of three types: directory, file or "exit." An "exit" event means that
|
/// one of three types: directory, file or "exit." An "exit" event means that
|
||||||
|
Loading…
x
Reference in New Issue
Block a user