public class Message extends JSReflection {
+ // FIXME: case-insensitive header hashmap
+ public int rfc822size() { return -1; } // FIXME
+ public int numLines() { return -1; } // FIXME
+ public int messageNum = -1;
+
public final String allHeaders; // pristine headers
public final Hashtable headers; // hash of headers (not including resent's and traces)
public final String body; // entire body
w.flush();
}
+
+ public boolean deleted = false;
+ public boolean seen = false;
+ public boolean flagged = false;
+ public boolean draft = false;
+ public boolean answered = false;
+ public boolean recent = false;
+ public int uid = 0;
+
/*
public static class StoredMessage extends Message {
public int uid;