}
public static class MailboxWrapper implements Server {
- private final MailboxTree root;
+ private final MailTree root;
private Mailbox current;
private int ptr = 0;
private boolean post;
- public MailboxWrapper(MailboxTree root) { this(root, false); }
- public MailboxWrapper(MailboxTree root, boolean post) { this.root = root; this.post = post; }
+ public MailboxWrapper(MailTree root) { this(root, false); }
+ public MailboxWrapper(MailTree root, boolean post) { this.root = root; this.post = post; }
public boolean postok() { return post; }
public void post(Message m) throws IOException { current.post(m); }
public Group group(String s) {
} catch (Exception e) { return null; }
}
public Group[] list() { return list(root, ""); }
- private Group[] list(MailboxTree who, String prefix) {
+ private Group[] list(MailTree who, String prefix) {
Vec v = new Vec();
if (who == null) who = root;
String[] s = who.children();
}
private void setgroup(String s) {
- MailboxTree ncurrent = root;
+ MailTree ncurrent = root;
for(StringTokenizer st = new StringTokenizer(s, ".");
ncurrent != null && st.hasMoreTokens();
ncurrent = ncurrent.slash(st.nextToken(), false));
if (ncurrent!=null) current=ncurrent.getMailbox();
}
private Group getgroup(String s) {
- MailboxTree box = root;
+ MailTree box = root;
for(StringTokenizer st = new StringTokenizer(s, ".");
box!=null && st.hasMoreTokens();
box = box.slash(st.nextToken(), false));