add maxuid() method to Mailbox.java

darcs-hash:20080301055754-5007d-0a41303188c61d3824098c3097d0554f2d34f149.gz

diff --git a/src/org/ibex/mail/Mailbox.java b/src/org/ibex/mail/Mailbox.java
index 402e316..5c72270 100644 (file)
--- a/src/org/ibex/mail/Mailbox.java
+++ b/src/org/ibex/mail/Mailbox.java
@@ -41,6 +41,12 @@ public abstract class Mailbox extends JS.Obj implements Target {
     private int randomUidValidity = new Random().nextInt();
     public  int uidValidity()  { return randomUidValidity; }
 
+    public int maxuid() {
+        int ret = -1;
+        for(Mailbox.Iterator it = iterator(); it.next(); ) ret = Math.max(ret, it.uid());
+        return ret;
+    }
+
     /** default, inefficient implementation of Mailbox; only requires a few methods to be implemented */
     public static abstract class Default extends Mailbox {
         public Mailbox.Iterator iterator(Query q) { return new Mailbox.Iterator.QueryIterator(q, this); }