Index: pkg/dev_compiler/tool/input_sdk/lib/io/http_date.dart |
diff --git a/pkg/dev_compiler/tool/input_sdk/lib/io/http_date.dart b/pkg/dev_compiler/tool/input_sdk/lib/io/http_date.dart |
deleted file mode 100644 |
index 7f6961374004917e6510e2782e43afb82f3f60c9..0000000000000000000000000000000000000000 |
--- a/pkg/dev_compiler/tool/input_sdk/lib/io/http_date.dart |
+++ /dev/null |
@@ -1,315 +0,0 @@ |
-// Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file |
-// for details. All rights reserved. Use of this source code is governed by a |
-// BSD-style license that can be found in the LICENSE file. |
- |
-part of dart.io; |
- |
-/** |
- * Utility functions for working with dates with HTTP specific date |
- * formats. |
- */ |
-class HttpDate { |
- // From RFC-2616 section "3.3.1 Full Date", |
- // http://tools.ietf.org/html/rfc2616#section-3.3.1 |
- // |
- // HTTP-date = rfc1123-date | rfc850-date | asctime-date |
- // rfc1123-date = wkday "," SP date1 SP time SP "GMT" |
- // rfc850-date = weekday "," SP date2 SP time SP "GMT" |
- // asctime-date = wkday SP date3 SP time SP 4DIGIT |
- // date1 = 2DIGIT SP month SP 4DIGIT |
- // ; day month year (e.g., 02 Jun 1982) |
- // date2 = 2DIGIT "-" month "-" 2DIGIT |
- // ; day-month-year (e.g., 02-Jun-82) |
- // date3 = month SP ( 2DIGIT | ( SP 1DIGIT )) |
- // ; month day (e.g., Jun 2) |
- // time = 2DIGIT ":" 2DIGIT ":" 2DIGIT |
- // ; 00:00:00 - 23:59:59 |
- // wkday = "Mon" | "Tue" | "Wed" |
- // | "Thu" | "Fri" | "Sat" | "Sun" |
- // weekday = "Monday" | "Tuesday" | "Wednesday" |
- // | "Thursday" | "Friday" | "Saturday" | "Sunday" |
- // month = "Jan" | "Feb" | "Mar" | "Apr" |
- // | "May" | "Jun" | "Jul" | "Aug" |
- // | "Sep" | "Oct" | "Nov" | "Dec" |
- |
- /** |
- * Format a date according to |
- * [RFC-1123](http://tools.ietf.org/html/rfc1123 "RFC-1123"), |
- * e.g. `Thu, 1 Jan 1970 00:00:00 GMT`. |
- */ |
- static String format(DateTime date) { |
- const List wkday = const ["Mon", "Tue", "Wed", "Thu", "Fri", "Sat", "Sun"]; |
- const List month = const ["Jan", "Feb", "Mar", "Apr", "May", "Jun", |
- "Jul", "Aug", "Sep", "Oct", "Nov", "Dec"]; |
- |
- DateTime d = date.toUtc(); |
- StringBuffer sb = new StringBuffer() |
- ..write(wkday[d.weekday - 1]) |
- ..write(", ") |
- ..write(d.day <= 9 ? "0" : "") |
- ..write(d.day.toString()) |
- ..write(" ") |
- ..write(month[d.month - 1]) |
- ..write(" ") |
- ..write(d.year.toString()) |
- ..write(d.hour <= 9 ? " 0" : " ") |
- ..write(d.hour.toString()) |
- ..write(d.minute <= 9 ? ":0" : ":") |
- ..write(d.minute.toString()) |
- ..write(d.second <= 9 ? ":0" : ":") |
- ..write(d.second.toString()) |
- ..write(" GMT"); |
- return sb.toString(); |
- } |
- |
- /** |
- * Parse a date string in either of the formats |
- * [RFC-1123](http://tools.ietf.org/html/rfc1123 "RFC-1123"), |
- * [RFC-850](http://tools.ietf.org/html/rfc850 "RFC-850") or |
- * ANSI C's asctime() format. These formats are listed here. |
- * |
- * Thu, 1 Jan 1970 00:00:00 GMT |
- * Thursday, 1-Jan-1970 00:00:00 GMT |
- * Thu Jan 1 00:00:00 1970 |
- * |
- * For more information see [RFC-2616 section |
- * 3.1.1](http://tools.ietf.org/html/rfc2616#section-3.3.1 |
- * "RFC-2616 section 3.1.1"). |
- */ |
- static DateTime parse(String date) { |
- final int SP = 32; |
- const List wkdays = const ["Mon", "Tue", "Wed", "Thu", "Fri", "Sat", "Sun"]; |
- const List weekdays = const ["Monday", "Tuesday", "Wednesday", "Thursday", |
- "Friday", "Saturday", "Sunday"]; |
- const List months = const ["Jan", "Feb", "Mar", "Apr", "May", "Jun", |
- "Jul", "Aug", "Sep", "Oct", "Nov", "Dec"]; |
- const List wkdaysLowerCase = |
- const ["mon", "tue", "wed", "thu", "fri", "sat", "sun"]; |
- const List weekdaysLowerCase = const ["monday", "tuesday", "wednesday", |
- "thursday", "friday", "saturday", |
- "sunday"]; |
- const List monthsLowerCase = const ["jan", "feb", "mar", "apr", "may", |
- "jun", "jul", "aug", "sep", "oct", |
- "nov", "dec"]; |
- |
- final int formatRfc1123 = 0; |
- final int formatRfc850 = 1; |
- final int formatAsctime = 2; |
- |
- int index = 0; |
- String tmp; |
- int format; |
- |
- void expect(String s) { |
- if (date.length - index < s.length) { |
- throw new HttpException("Invalid HTTP date $date"); |
- } |
- String tmp = date.substring(index, index + s.length); |
- if (tmp != s) { |
- throw new HttpException("Invalid HTTP date $date"); |
- } |
- index += s.length; |
- } |
- |
- int expectWeekday() { |
- int weekday; |
- // The formatting of the weekday signals the format of the date string. |
- int pos = date.indexOf(",", index); |
- if (pos == -1) { |
- int pos = date.indexOf(" ", index); |
- if (pos == -1) throw new HttpException("Invalid HTTP date $date"); |
- tmp = date.substring(index, pos); |
- index = pos + 1; |
- weekday = wkdays.indexOf(tmp); |
- if (weekday != -1) { |
- format = formatAsctime; |
- return weekday; |
- } |
- } else { |
- tmp = date.substring(index, pos); |
- index = pos + 1; |
- weekday = wkdays.indexOf(tmp); |
- if (weekday != -1) { |
- format = formatRfc1123; |
- return weekday; |
- } |
- weekday = weekdays.indexOf(tmp); |
- if (weekday != -1) { |
- format = formatRfc850; |
- return weekday; |
- } |
- } |
- throw new HttpException("Invalid HTTP date $date"); |
- } |
- |
- int expectMonth(String separator) { |
- int pos = date.indexOf(separator, index); |
- if (pos - index != 3) throw new HttpException("Invalid HTTP date $date"); |
- tmp = date.substring(index, pos); |
- index = pos + 1; |
- int month = months.indexOf(tmp); |
- if (month != -1) return month; |
- throw new HttpException("Invalid HTTP date $date"); |
- } |
- |
- int expectNum(String separator) { |
- int pos; |
- if (separator.length > 0) { |
- pos = date.indexOf(separator, index); |
- } else { |
- pos = date.length; |
- } |
- String tmp = date.substring(index, pos); |
- index = pos + separator.length; |
- try { |
- int value = int.parse(tmp); |
- return value; |
- } on FormatException catch (e) { |
- throw new HttpException("Invalid HTTP date $date"); |
- } |
- } |
- |
- void expectEnd() { |
- if (index != date.length) { |
- throw new HttpException("Invalid HTTP date $date"); |
- } |
- } |
- |
- int weekday = expectWeekday(); |
- int day; |
- int month; |
- int year; |
- int hours; |
- int minutes; |
- int seconds; |
- if (format == formatAsctime) { |
- month = expectMonth(" "); |
- if (date.codeUnitAt(index) == SP) index++; |
- day = expectNum(" "); |
- hours = expectNum(":"); |
- minutes = expectNum(":"); |
- seconds = expectNum(" "); |
- year = expectNum(""); |
- } else { |
- expect(" "); |
- day = expectNum(format == formatRfc1123 ? " " : "-"); |
- month = expectMonth(format == formatRfc1123 ? " " : "-"); |
- year = expectNum(" "); |
- hours = expectNum(":"); |
- minutes = expectNum(":"); |
- seconds = expectNum(" "); |
- expect("GMT"); |
- } |
- expectEnd(); |
- return new DateTime.utc(year, month + 1, day, hours, minutes, seconds, 0); |
- } |
- |
- // Parse a cookie date string. |
- static DateTime _parseCookieDate(String date) { |
- const List monthsLowerCase = const ["jan", "feb", "mar", "apr", "may", |
- "jun", "jul", "aug", "sep", "oct", |
- "nov", "dec"]; |
- |
- int position = 0; |
- |
- void error() { |
- throw new HttpException("Invalid cookie date $date"); |
- } |
- |
- bool isEnd() => position == date.length; |
- |
- bool isDelimiter(String s) { |
- int char = s.codeUnitAt(0); |
- if (char == 0x09) return true; |
- if (char >= 0x20 && char <= 0x2F) return true; |
- if (char >= 0x3B && char <= 0x40) return true; |
- if (char >= 0x5B && char <= 0x60) return true; |
- if (char >= 0x7B && char <= 0x7E) return true; |
- return false; |
- } |
- |
- bool isNonDelimiter(String s) { |
- int char = s.codeUnitAt(0); |
- if (char >= 0x00 && char <= 0x08) return true; |
- if (char >= 0x0A && char <= 0x1F) return true; |
- if (char >= 0x30 && char <= 0x39) return true; // Digit |
- if (char == 0x3A) return true; // ':' |
- if (char >= 0x41 && char <= 0x5A) return true; // Alpha |
- if (char >= 0x61 && char <= 0x7A) return true; // Alpha |
- if (char >= 0x7F && char <= 0xFF) return true; // Alpha |
- return false; |
- } |
- |
- bool isDigit(String s) { |
- int char = s.codeUnitAt(0); |
- if (char > 0x2F && char < 0x3A) return true; |
- return false; |
- } |
- |
- int getMonth(String month) { |
- if (month.length < 3) return -1; |
- return monthsLowerCase.indexOf(month.substring(0, 3)); |
- } |
- |
- int toInt(String s) { |
- int index = 0; |
- for (; index < s.length && isDigit(s[index]); index++); |
- return int.parse(s.substring(0, index)); |
- } |
- |
- var tokens = []; |
- while (!isEnd()) { |
- while (!isEnd() && isDelimiter(date[position])) position++; |
- int start = position; |
- while (!isEnd() && isNonDelimiter(date[position])) position++; |
- tokens.add(date.substring(start, position).toLowerCase()); |
- while (!isEnd() && isDelimiter(date[position])) position++; |
- } |
- |
- String timeStr; |
- String dayOfMonthStr; |
- String monthStr; |
- String yearStr; |
- |
- for (var token in tokens) { |
- if (token.length < 1) continue; |
- if (timeStr == null && token.length >= 5 && isDigit(token[0]) && |
- (token[1] == ":" || (isDigit(token[1]) && token[2] == ":"))) { |
- timeStr = token; |
- } else if (dayOfMonthStr == null && isDigit(token[0])) { |
- dayOfMonthStr = token; |
- } else if (monthStr == null && getMonth(token) >= 0) { |
- monthStr = token; |
- } else if (yearStr == null && token.length >= 2 && |
- isDigit(token[0]) && isDigit(token[1])) { |
- yearStr = token; |
- } |
- } |
- |
- if (timeStr == null || dayOfMonthStr == null || |
- monthStr == null || yearStr == null) { |
- error(); |
- } |
- |
- int year = toInt(yearStr); |
- if (year >= 70 && year <= 99) year += 1900; |
- else if (year >= 0 && year <= 69) year += 2000; |
- if (year < 1601) error(); |
- |
- int dayOfMonth = toInt(dayOfMonthStr); |
- if (dayOfMonth < 1 || dayOfMonth > 31) error(); |
- |
- int month = getMonth(monthStr) + 1; |
- |
- var timeList = timeStr.split(":"); |
- if (timeList.length != 3) error(); |
- int hour = toInt(timeList[0]); |
- int minute = toInt(timeList[1]); |
- int second = toInt(timeList[2]); |
- if (hour > 23) error(); |
- if (minute > 59) error(); |
- if (second > 59) error(); |
- |
- return new DateTime.utc(year, month, dayOfMonth, hour, minute, second, 0); |
- } |
-} |