| OLD | NEW |
| 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
| 3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
| 4 | 4 |
| 5 part of dart.io; | 5 part of dart.io; |
| 6 | 6 |
| 7 class _HttpUtils { | 7 class _HttpUtils { |
| 8 static String decodeUrlEncodedString(String urlEncoded) { | 8 static String decodeUrlEncodedString(String urlEncoded) { |
| 9 // First check the string for any encoding. | 9 // First check the string for any encoding. |
| 10 int index = 0; | 10 int index = 0; |
| (...skipping 189 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 200 int expectNum(String separator) { | 200 int expectNum(String separator) { |
| 201 int pos; | 201 int pos; |
| 202 if (separator.length > 0) { | 202 if (separator.length > 0) { |
| 203 pos = date.indexOf(separator, index); | 203 pos = date.indexOf(separator, index); |
| 204 } else { | 204 } else { |
| 205 pos = date.length; | 205 pos = date.length; |
| 206 } | 206 } |
| 207 String tmp = date.substring(index, pos); | 207 String tmp = date.substring(index, pos); |
| 208 index = pos + separator.length; | 208 index = pos + separator.length; |
| 209 try { | 209 try { |
| 210 int value = parseInt(tmp); | 210 int value = int.parse(tmp); |
| 211 return value; | 211 return value; |
| 212 } on FormatException catch (e) { | 212 } on FormatException catch (e) { |
| 213 throw new HttpException("Invalid HTTP date $date"); | 213 throw new HttpException("Invalid HTTP date $date"); |
| 214 } | 214 } |
| 215 } | 215 } |
| 216 | 216 |
| 217 void expectEnd() { | 217 void expectEnd() { |
| 218 if (index != date.length) { | 218 if (index != date.length) { |
| 219 throw new HttpException("Invalid HTTP date $date"); | 219 throw new HttpException("Invalid HTTP date $date"); |
| 220 } | 220 } |
| (...skipping 72 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 293 } | 293 } |
| 294 | 294 |
| 295 int getMonth(String month) { | 295 int getMonth(String month) { |
| 296 if (month.length < 3) return -1; | 296 if (month.length < 3) return -1; |
| 297 return monthsLowerCase.indexOf(month.substring(0, 3)); | 297 return monthsLowerCase.indexOf(month.substring(0, 3)); |
| 298 } | 298 } |
| 299 | 299 |
| 300 int toInt(String s) { | 300 int toInt(String s) { |
| 301 int index = 0; | 301 int index = 0; |
| 302 for (; index < s.length && isDigit(s[index]); index++); | 302 for (; index < s.length && isDigit(s[index]); index++); |
| 303 return parseInt(s.substring(0, index)); | 303 return int.parse(s.substring(0, index)); |
| 304 } | 304 } |
| 305 | 305 |
| 306 var tokens = []; | 306 var tokens = []; |
| 307 while (!isEnd()) { | 307 while (!isEnd()) { |
| 308 while (!isEnd() && isDelimiter(date[position])) position++; | 308 while (!isEnd() && isDelimiter(date[position])) position++; |
| 309 int start = position; | 309 int start = position; |
| 310 while (!isEnd() && isNonDelimiter(date[position])) position++; | 310 while (!isEnd() && isNonDelimiter(date[position])) position++; |
| 311 tokens.add(date.substring(start, position).toLowerCase()); | 311 tokens.add(date.substring(start, position).toLowerCase()); |
| 312 while (!isEnd() && isDelimiter(date[position])) position++; | 312 while (!isEnd() && isDelimiter(date[position])) position++; |
| 313 } | 313 } |
| (...skipping 38 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 352 int hour = toInt(timeList[0]); | 352 int hour = toInt(timeList[0]); |
| 353 int minute = toInt(timeList[1]); | 353 int minute = toInt(timeList[1]); |
| 354 int second = toInt(timeList[2]); | 354 int second = toInt(timeList[2]); |
| 355 if (hour > 23) error(); | 355 if (hour > 23) error(); |
| 356 if (minute > 59) error(); | 356 if (minute > 59) error(); |
| 357 if (second > 59) error(); | 357 if (second > 59) error(); |
| 358 | 358 |
| 359 return new Date.utc(year, month, dayOfMonth, hour, minute, second, 0); | 359 return new Date.utc(year, month, dayOfMonth, hour, minute, second, 0); |
| 360 } | 360 } |
| 361 } | 361 } |
| OLD | NEW |