~ubuntu-branches/ubuntu/saucy/geary/saucy-updates

 * INTERNALDATE's format is

 *

 * dd-Mon-yyyy hh:mm:ss +hhmm

 *

 * Note that Mon is the standard ''English'' three-letter abbreviation.

 *

    // see get_en_us_mon() for explanation

    private const string[] EN_US_MON = {

        "Jan", "Feb", "Mar", "Apr", "May", "Jun", "Jul", "Aug", "Sep", "Oct", "Nov", "Dec"

    };

    

    private const string[] EN_US_MON_DOWN = {

        "jan", "feb", "mar", "apr", "may", "jun", "jul", "aug", "sep", "oct", "nov", "dec"

    };

    

    public string? original { get; private set; default = null; }

    private InternalDate(string original, DateTime datetime) {

        this.original = original;

        value = datetime;

        as_time_t = Time.datetime_to_time_t(datetime);

        as_time_t = Time.datetime_to_time_t(datetime);

    }

    

    public static InternalDate decode(string internaldate) throws ImapError {

        if (String.is_empty(internaldate))

            throw new ImapError.PARSE_ERROR("Invalid INTERNALDATE: empty string");

        

        if (internaldate.length > 64)

            throw new ImapError.PARSE_ERROR("Invalid INTERNALDATE: too long (%d)", internaldate.length);

        

        // Alas, GMime.utils_header_decode_date() is too forgiving for our needs, so do it manually

        int day, year, hour, min, sec;

        char mon[4];

        char tz[6];

        int count = internaldate.scanf("%d-%3s-%d %d:%d:%d %5s", out day, mon, out year, out hour,

            out min, out sec, tz);

        if (count != 7)

            throw new ImapError.PARSE_ERROR("Invalid INTERNALDATE \"%s\": too few fields (%d)", internaldate, count);

        

        // check numerical ranges; this does not verify this is an actual date, DateTime will do

        // that (and round upward, which has to be accepted)

        if (!Numeric.int_in_range_inclusive(day, 1, 31)

            || !Numeric.int_in_range_inclusive(hour, 0, 23)

            || !Numeric.int_in_range_inclusive(min, 0, 59)

            || !Numeric.int_in_range_inclusive(sec, 0, 59)

            || year < 1970) {

            throw new ImapError.PARSE_ERROR("Invalid INTERNALDATE \"%s\": bad numerical range", internaldate);

        }

        

        // check month (this catches localization problems)

        int month = -1;

        string mon_down = ((string) mon).down();

        for (int ctr = 0; ctr < EN_US_MON_DOWN.length; ctr++) {

            if (mon_down == EN_US_MON_DOWN[ctr]) {

                month = ctr;

                

                break;

            }

        }

        

        if (month < 0)

            throw new ImapError.PARSE_ERROR("Invalid INTERNALDATE \"%s\": bad month", internaldate);

        

        // TODO: verify timezone

        

        // assemble into DateTime, which validates the time as well (this is why we want to keep

        // original around, for other reasons) ... month is 1-based in DateTime

        DateTime datetime = new DateTime(new TimeZone((string) tz), year, month + 1, day, hour, min,

            sec);

        

        return new InternalDate(internaldate, datetime);

        return original ?? value.format("%d-%%s-%Y %H:%M:%S %z").printf(get_en_us_mon());

     * Returns the {@link InternalDate}'s string representation for a SEARCH command.

     * @see SearchCommand

        return value.format("%d-%%s-%Y").printf(get_en_us_mon());

    }

    

    /**

     * Because IMAP's INTERNALDATE strings are ''never'' localized (as best as I can gather), so

     * need to use en_US appreviated month names, as that's the only value in INTERNALDATE that is

     * in a language and not a numeric value.

     */

    private string get_en_us_mon() {

        // month is 1-based inside of DateTime

        int mon = (value.get_month() - 1).clamp(0, EN_US_MON.length - 1);

        

        return EN_US_MON[mon];