import java.util.*;
import java.text.*;
+// FIXME: we can omit UIDNEXT!
+// FIXME use directory date/time as UIDNEXT and file date/time as UID; need to 'correct' file date/time after changes
+
/** An exceptionally crude implementation of Mailbox relying on POSIXy filesystem semantics */
public class FileBasedMailbox extends Mailbox.Default {
} catch (IOException e) { throw new MailException.IOException(e); }
}
- private class Iterator implements Mailbox.Default.Iterator {
+ private class Iterator extends Mailbox.Default.Iterator {
int cur = -1;
private String[] names;
private boolean seen = false, deleted = false, draft = false, flagged = false, answered = false, recent = false;