3 import org.ibex.util.*;
4 import org.ibex.io.Fountain;
5 import org.ibex.io.Stream;
6 import java.sql.Timestamp;
13 public class SqliteMailbox extends Mailbox.Default implements MailTree {
15 public MailTree slash(String name, boolean create) { return null; }
16 public String[] children() { return new String[0]; }
17 public void rmdir(String subdir) { throw new RuntimeException("invalid"); }
18 public void rename(String subdir, MailTree newParent, String newName) { throw new RuntimeException("invalid"); }
19 public Mailbox getMailbox() { return this; }
22 private Connection conn;
23 private static final String columns =
24 " messageid_, from_,to_,date_,subject_,headers_,body_,flags_";
25 private static final String[] indexedColumns = new String[] {
38 * from http://www.sqlite.org/autoinc.html
39 * "If a column has the type INTEGER PRIMARY KEY AUTOINCREMENT
40 * then a slightly different ROWID selection algorithm is
41 * used. The ROWID chosen for the new row is one larger than the
42 * largest ROWID that has ever before existed in that same
43 * table. If the table has never before contained any data, then
44 * a ROWID of 1 is used. If the table has previously held a row
45 * with the largest possible ROWID, then new INSERTs are not
46 * allowed and any attempt to insert a new row will fail with an
49 // FIXME: should messageid_ be decared unique?
50 private static final String columns_ =
51 "uid_ INTEGER PRIMARY KEY AUTOINCREMENT, messageid_,from_,to_,date_,subject_,headers_,body_,flags_";
53 private final int uidValidity;
54 private final File file;
55 public int uidValidity() { return uidValidity; }
57 public String toString() { return file.getName(); }
58 public SqliteMailbox(String filename) throws SQLException {
60 this.file = new File(filename);
61 Class.forName("org.sqlite.JDBC");
62 conn = DriverManager.getConnection("jdbc:sqlite:"+filename);
63 conn.prepareStatement("create table if not exists uidvalidity (uidvalidity)").executeUpdate();
64 ResultSet rs = conn.prepareStatement("select uidvalidity from uidvalidity").executeQuery();
66 this.uidValidity = new Random().nextInt();
67 PreparedStatement ps = conn.prepareStatement("insert into uidvalidity (uidvalidity) values (?)");
68 ps.setInt(1, uidValidity);
71 this.uidValidity = rs.getInt(1);
73 conn.prepareStatement("create table if not exists 'mail' ("+columns_+")").executeUpdate();
74 for(String name : indexedColumns)
75 conn.prepareStatement("create index if not exists "+name+"index on mail("+name+");").executeUpdate();
77 catch (SQLException e) { throw new RuntimeException(e); }
78 catch (ClassNotFoundException e) { throw new RuntimeException(e); }
81 private HashMap<Integer,Integer> imapToUid = new HashMap<Integer,Integer>();
82 private HashMap<Integer,Integer> uidToImap = new HashMap<Integer,Integer>();
83 private boolean imapNumberCacheValid = false;
84 public void updateImapNumberCache() throws SQLException {
86 Log.warn(this+"", "rebuilding imapNumberCache...");
89 PreparedStatement q = conn.prepareStatement("select uid_ from mail");
90 ResultSet rs = q.executeQuery();
93 imapToUid.put(num, rs.getInt(1));
94 uidToImap.put(rs.getInt(1), num);
97 imapNumberCacheValid = true;
100 public int queryImapNumberCache(int uid) throws SQLException {
102 if (!imapNumberCacheValid) updateImapNumberCache();
103 Integer ret = uidToImap.get(uid);
104 if (ret == null) return -1;
108 public int queryUidForImapNum(int imapNumber) throws SQLException {
110 if (!imapNumberCacheValid) updateImapNumberCache();
111 Integer ret = imapToUid.get(imapNumber);
112 if (ret == null) return -1;
118 public int maxuid() { return uidNext(); }
119 public int uidNext() {
121 PreparedStatement q = conn.prepareStatement("select max(uid_) from mail");
122 ResultSet rs = q.executeQuery();
123 //if (!rs.next()) return -1;
124 if (!rs.next()) throw new RuntimeException("select max(uid_) returned no rows!");
125 return rs.getInt(1)+1;
126 } catch (Exception e) { throw new RuntimeException(e); }
129 public Mailbox.Iterator iterator() {
130 Log.warn(this, "performance warning: called iterator() on entire mailbox");
131 Log.printStackTrace(this, Log.WARN);
132 return new SqliteJdbcIterator();
134 private String set(int[] set, String arg) {
135 String whereClause = "";
136 boolean needsOr = false;
137 for(int i=0; i<set.length; i+=2) {
138 if (needsOr) whereClause += " or ";
140 whereClause += arg+">=" + set[i];
141 whereClause += " and ";
142 while(i+2 < set.length && set[i+2] == (set[i+1]+1)) i += 2;
143 whereClause += arg+"<=" + set[i+1];
149 private String getWhereClause(Query q) throws UnsupportedQueryException {
152 case Query.NOT: return "not ("+getWhereClause(q.q[0])+")";
153 case Query.AND: op = "and";
154 case Query.OR: op = "or";
157 StringBuffer sb = new StringBuffer();
158 for(int i=0; i<q.q.length; i++) {
159 if (add) sb.append(" " + op);
161 sb.append(getWhereClause(q.q[i]));
165 return sb.toString();
167 case Query.ALL: return "1=1";
168 case Query.UID: return set(q.set, "uid_");
169 case Query.DELETED: return "((flags_ & "+(Mailbox.Flag.DELETED)+")!=0)";
170 case Query.SEEN: return "((flags_ & "+(Mailbox.Flag.SEEN)+")!=0)";
171 case Query.FLAGGED: return "((flags_ & "+(Mailbox.Flag.FLAGGED)+")!=0)";
172 case Query.DRAFT: return "((flags_ & "+(Mailbox.Flag.DRAFT)+")!=0)";
173 case Query.ANSWERED: return "((flags_ & "+(Mailbox.Flag.ANSWERED)+")!=0)";
174 case Query.RECENT: return "((flags_ & "+(Mailbox.Flag.RECENT)+")!=0)";
176 public static final int SENT = 5;
177 public static final int ARRIVAL = 6;
178 public static final int HEADER = 7;
179 public static final int SIZE = 8;
180 public static final int BODY = 9;
181 public static final int FULL = 10;
182 public static final int IMAPNUM = 11;
185 case Query.IMAPNUM: {
187 // translate queries in terms of imap numbers into queries in terms of uids
188 // RELIES ON THE FACT THAT UIDS ARE MONOTONICALLY INCREASING
189 int[] set = new int[q.set==null ? 2 : q.set.length];
190 if (q.set==null) { set[0] = q.min; set[1] = q.max; }
191 else System.arraycopy(q.set, 0, set, 0, q.set.length);
192 for(int i=0; i<set.length; i++) {
193 int uid = queryUidForImapNum(set[i]);
195 Log.info(SqliteMailbox.class, "PROBLEM => resorting to superclass: " + q);
196 throw new UnsupportedQueryException();
200 return getWhereClause(Query.uid(set));
201 } catch (SQLException e) {
203 Log.info(SqliteMailbox.class, "resorting to superclass: " + q);
204 throw new UnsupportedQueryException();
209 Log.info(SqliteMailbox.class, "resorting to superclass: " + q);
210 throw new UnsupportedQueryException();
214 private static class UnsupportedQueryException extends Exception { }
215 public Mailbox.Iterator iterator(Query q) {
217 String whereClause = getWhereClause(q);
218 Log.info(this, "whereClause = " + whereClause);
219 return new SqliteJdbcIterator("where "+whereClause+";");
220 } catch (UnsupportedQueryException _) {
221 return super.iterator(q);
224 public int count(Query q) {
226 String whereClause = getWhereClause(q);
227 Log.info(this, "whereClause = " + whereClause);
229 Log.warn("SQL", "select count(*) from mail where " + whereClause);
230 ResultSet rs = conn.prepareStatement("select count(*) from mail where " + whereClause).executeQuery();
233 } catch (Exception e) { throw new RuntimeException(e); }
234 } catch (UnsupportedQueryException _) {
235 return super.count(q);
238 public void insert(Message m, int flags) {
241 PreparedStatement query = conn.prepareStatement("select headers_,body_,flags_ from 'mail' where messageid_=?");
242 query.setString(1, m.messageid);
243 Log.warn("SQL", "select headers_,body_,flags_ from 'mail' where messageid_="+m.messageid);
244 ResultSet rs2 = query.executeQuery();
246 Message m2 = Message.newMessage(Fountain.Util.concat(Fountain.Util.create(rs2.getString(1)),
247 Fountain.Util.create("\r\n\r\n"),
248 Fountain.Util.create(rs2.getString(2))));
249 StringBuffer s1 = new StringBuffer();
250 m.getBody().getStream().transcribe(s1);
251 StringBuffer s2 = new StringBuffer();
252 m2.getBody().getStream().transcribe(s2);
253 if (!s1.toString().equals(s2.toString())) {
254 Log.error(this.toString(),
255 "attempt to insert two messages with identical messageid ("+m.messageid+") but different bodies:\n"+
256 " (body length="+s1.length()+") "+m.summary()+"\n"+
257 " (body length="+s2.length()+") "+m2.summary()+"\n");
259 Log.warn(this.toString(),
260 "silently dropping duplicate insert() [messageids and bodies match]: " + m.summary());
265 PreparedStatement add =
266 conn.prepareStatement("insert "+/*"or replace "+*/"into 'mail' ("+columns+") values (?,?,?,?,?,?,?,?)");
267 add.setString(1, m.messageid+"");
268 add.setString(2, m.from+"");
269 add.setString(3, m.to+"");
270 add.setString(4, m.date+"");
271 add.setString(5, m.subject+"");
272 add.setString(6, SqliteDB.streamToString(m.headers.getStream()));
273 add.setString(7, SqliteDB.streamToString(m.getBody().getStream()));
274 add.setInt (8, flags);
277 // FIXME: be smarter here?
278 imapNumberCacheValid = false;
279 } catch (Exception e) { throw new RuntimeException(e); }
282 private class SqliteJdbcIterator implements Mailbox.Iterator {
283 // could be more efficient in a ton of ways
284 private ResultSet rs;
285 private int count = 0;
287 private Message m = null;
288 private int uid = -1;
289 private String whereClause;
290 public SqliteJdbcIterator() { this(""); }
291 public SqliteJdbcIterator(String whereClause) {
294 if (whereClause.equals(""))
295 Log.warn(this, "performance warning: empty whereClause");
297 this.whereClause = whereClause;
298 Log.warn("SQL", "select messageid_,uid_,flags_ from 'mail' "+whereClause);
299 PreparedStatement query = conn.prepareStatement("select messageid_,uid_,flags_ from 'mail' "+whereClause);
300 rs = query.executeQuery();
301 } catch (Exception e) { throw new RuntimeException(e); }
303 public Headers head() {
304 if (m != null) return m.headers;
306 PreparedStatement query = conn.prepareStatement("select headers_,flags_ from 'mail' where uid_=?");
307 query.setString(1, rs.getString(2));
308 Log.warn("SQL", "select headers_,flags_ from 'mail' where uid_="+rs.getString(2));
310 ResultSet rs2 = query.executeQuery();
311 if (!rs2.next()) { Log.error("XXX", "should not happen"); return null; }
312 flags = rs2.getInt(2);
313 return new Headers(Fountain.Util.create(rs2.getString(1)));
314 } catch (Exception e) { throw new RuntimeException(e); }
316 public Message cur() {
318 if (m!=null) return m;
319 PreparedStatement query = conn.prepareStatement("select headers_,body_,flags_ from 'mail' where uid_=?");
320 query.setString(1, rs.getString(2));
321 Log.warn("SQL", "select headers_,body_,flags_ from 'mail' where uid_="+rs.getString(2));
323 ResultSet rs2 = query.executeQuery();
324 if (!rs2.next()) { Log.error("XXX", "should not happen"); return null; }
325 m = Message.newMessage(Fountain.Util.concat(Fountain.Util.create(rs2.getString(1)),
326 Fountain.Util.create("\r\n\r\n"),
327 Fountain.Util.create(rs2.getString(2))));
328 flags = rs2.getInt(3);
330 } catch (Exception e) { throw new RuntimeException(e); }
332 public int getFlags() {
333 try { return rs.getInt("flags_"); } catch (Exception e) { throw new RuntimeException(e); }
335 public void setFlags(int flags) {
337 int oldflags = rs.getInt("flags_");
338 if (oldflags==flags) return;
339 Log.info(this, "setflags (old="+oldflags+")" + "update mail set flags_="+(flags)+" where uid_="+uid()+"");
340 if ((flags & Mailbox.Flag.DELETED) != 0) Log.printStackTrace("deletion", Log.WARN);
341 PreparedStatement update = conn.prepareStatement("update mail set flags_=? where uid_=?");
342 update.setInt(1, flags);
343 update.setInt(2, uid());
344 update.executeUpdate();
345 } catch (Exception e) { throw new RuntimeException(e); }
347 public boolean next() {
348 try { m = null; uid = -1; count++;
349 boolean ret = rs.next();
351 } catch (Exception e) { throw new RuntimeException(e); } }
354 try { uid = rs.getInt("uid_"); } catch (Exception e) { throw new RuntimeException(e); }
357 public int imapNumber() {
358 if ("".equals(whereClause)) return count;
359 try { return queryImapNumberCache(uid()); } catch (SQLException s) { throw new RuntimeException(s); }
361 public int nntpNumber() { return uid(); }
362 public void delete() {
364 Log.error("sqlite", "actually deleting message "+uid()+" "+head().get("subject"));
365 Log.printStackTrace("sqlite", Log.ERROR);
367 PreparedStatement update = conn.prepareStatement("delete from mail where uid_=?");
368 update.setInt(1, uid());
369 update.executeUpdate();
371 // FIXME: be smarter here?
372 imapNumberCacheValid = false;
374 } catch (Exception e) { throw new RuntimeException(e); }