File: ParseHttpDate.cs

package info (click to toggle)
mono 6.8.0.105%2Bdfsg-3.3
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 1,284,512 kB
  • sloc: cs: 11,172,132; xml: 2,850,069; ansic: 671,653; cpp: 122,091; perl: 59,366; javascript: 30,841; asm: 22,168; makefile: 20,093; sh: 15,020; python: 4,827; pascal: 925; sql: 859; sed: 16; php: 1
file content (224 lines) | stat: -rw-r--r-- 7,845 bytes parent folder | download | duplicates (6)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
using System;
using System.Globalization;


namespace System.Web.Util
{
    internal static class HttpDate
    {
        static readonly int[] s_tensDigit = new int[10] { 0, 10, 20, 30, 40, 50, 60, 70, 80, 90 };
        
        /*++
        
            Converts a 2 character string to integer
        
            Arguments:
                s   String to convert
        
            Returns:
                numeric equivalent, 0 on failure.
        --*/
        static int atoi2(string s, int startIndex)
        {
            try {
                int tens = s[0 + startIndex] - '0';
                int ones = s[1 + startIndex] - '0';
            
                return s_tensDigit[tens] + ones;
            } 
            catch {
                throw new FormatException(SR.GetString(SR.Atio2BadString, s, startIndex));
            }
        }
        
        static readonly string[] s_days = new string [7] {
            "Sun", "Mon", "Tue", "Wed", "Thu", "Fri", "Sat"
        };
        
        static readonly string[] s_months = new string[12] {
            "Jan", "Feb", "Mar", "Apr",
            "May", "Jun", "Jul", "Aug",
            "Sep", "Oct", "Nov", "Dec"
        };
        
        // Custom table for make_month() for mapping "Apr" to 4
        static readonly sbyte[] s_monthIndexTable = new sbyte[64] {
           -1, (sbyte)'A',          2, 12, -1, -1,         -1,  8, // A to G
           -1,         -1,         -1, -1,  7, -1, (sbyte)'N', -1, // H to O
            9,         -1, (sbyte)'R', -1, 10, -1,         11, -1, // P to W
           -1,          5,         -1, -1, -1, -1,         -1, -1, // X to Z
           -1, (sbyte)'A',          2, 12, -1, -1,         -1,  8, // a to g
           -1,         -1,         -1, -1,  7, -1, (sbyte)'N', -1, // h to o
            9,         -1, (sbyte)'R', -1, 10, -1,         11, -1, // p to w
           -1,          5,         -1, -1, -1, -1,         -1, -1  // x to z
        };
        
        static int make_month(string s, int startIndex)
        {
            int i;
            sbyte monthIndex;
            string monthString;
        
            //
            // use the third character as the index
            //
        
            i = ((int) s[2 + startIndex] - 0x40) & 0x3F;
            monthIndex = s_monthIndexTable[i];
        
            if ( monthIndex >= 13 ) {
            
                //
                // ok, we need to look at the second character
                //
            
                if ( monthIndex == (sbyte) 'N' ) {
            
                    //
                    // we got an N which we need to resolve further
                    //
            
                    //
                    // if s[1] is 'u' then Jun, if 'a' then Jan
                    //


                    if ( s_monthIndexTable[(s[1 + startIndex]-0x40) & 0x3f] == (sbyte) 'A' ) {
                        monthIndex = 1;
                    } else {
                        monthIndex = 6;
                    }
            
                } else if ( monthIndex == (sbyte) 'R' ) {
            
                    //
                    // if s[1] is 'a' then Microsoft, if 'p' then April
                    //
            
                    if ( s_monthIndexTable[(s[1 + startIndex]-0x40) & 0x3f] == (sbyte) 'A' ) {
                        monthIndex = 3;
                    } else {
                        monthIndex = 4;
                    }
                } else {
                    throw new FormatException(SR.GetString(SR.MakeMonthBadString, s, startIndex));
                }
            }

        
            monthString = s_months[monthIndex-1];
        
            if ( (s[0 + startIndex] == monthString[0]) &&
                 (s[1 + startIndex] == monthString[1]) &&
                 (s[2 + startIndex] == monthString[2]) ) {
        
                return(monthIndex);
        
            } else if ( ((Char.ToUpper(s[0 + startIndex], CultureInfo.InvariantCulture)) == monthString[0]) &&
                        ((Char.ToLower(s[1 + startIndex], CultureInfo.InvariantCulture)) == monthString[1]) &&
                        ((Char.ToLower(s[2 + startIndex], CultureInfo.InvariantCulture)) == monthString[2]) ) {
        
                return monthIndex;
            }

            throw new FormatException(SR.GetString(SR.MakeMonthBadString, s, startIndex));

        } // make_month
        
        /*++
        
          Converts a string representation of a GMT time (three different
          varieties) to an NT representation of a file time.
        
          We handle the following variations:
        
            Sun, 06 Nov 1994 08:49:37 GMT   (RFC 822 updated by RFC 1123)
            Sunday, 06-Nov-94 08:49:37 GMT  (RFC 850)
            Sun Nov 06 08:49:37 1994        (ANSI C's asctime() format
        
          Arguments:
            time                String representation of time field
        
          Returns:
            TRUE on success and FALSE on failure.
        
          History:
        
            Johnl       24-Jan-1995     Modified from WWW library
        
        --*/
        static internal DateTime UtcParse(string time)
        {
            int         i;
            int         year, month, day, hour, minute, second;
        
            if (time == null) {
                throw new ArgumentNullException("time");
            }
        
            if ((i = time.IndexOf(',')) != -1) {
        
                //
                // Thursday, 10-Jun-93 01:29:59 GMT
                // or: Thu, 10 Jan 1993 01:29:59 GMT */
                //
        
                int length = time.Length - i;
                while (--length > 0 && time[++i] == ' ') ;

                if (time[i+2] == '-' ) {      /* First format */
        
                    if (length < 18) {
                        throw new FormatException(SR.GetString(SR.UtilParseDateTimeBad, time));
                    }
        
                    day = atoi2(time, i);
                    month = make_month(time, i + 3);
                    year = atoi2(time, i + 7);
                    if ( year < 50 ) {
                        year += 2000;
                    } else {
                        year += 1900;
                    }

                    hour = atoi2(time, i + 10);
                    minute = atoi2(time, i + 13);
                    second = atoi2(time, i +16);
        
                } else {                         /* Second format */
        
                    if (length < 20) {
                        throw new FormatException(SR.GetString(SR.UtilParseDateTimeBad, time));
                    }
        
                    day = atoi2(time, i);
                    month = make_month(time, i + 3);
                    year = atoi2(time, i + 7) * 100 + atoi2(time, i + 9);
                    hour = atoi2(time, i + 12);
                    minute = atoi2(time, i + 15);
                    second = atoi2(time, i + 18);
                }
            } else {    /* Try the other format:  Wed Jun 09 01:29:59 1993 GMT */
        
                i = -1;
                int length = time.Length + 1;
                while (--length > 0 && time[++i] == ' ');
        
                if (length < 24) {
                    throw new FormatException(SR.GetString(SR.UtilParseDateTimeBad, time));
                }

                day = atoi2(time, i + 8);
                month = make_month(time, i + 4);
                year = atoi2(time, i + 20) * 100 + atoi2(time, i + 22);
                hour = atoi2(time, i + 11);
                minute = atoi2(time, i + 14);
                second = atoi2(time, i + 17);
            }
        
            return new DateTime(year, month, day, hour, minute, second, DateTimeKind.Utc);
        }
    }
}