Rename Date to DateTime.

sdk/lib/io/http_headers.dart

 // 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;
 
 class _HttpHeaders implements HttpHeaders {
   _HttpHeaders() : _headers = new Map<String, List<String>>();
 
   List<String> operator[](String name) {
@@ skipping 92 matching lines @@
   }
 
   int get port => _port;
 
   void set port(int port) {
     _checkMutable();
     _port = port;
     _updateHostHeader();
   }
 
-  Date get ifModifiedSince {
+  DateTime get ifModifiedSince {
     List<String> values = _headers["if-modified-since"];
     if (values != null) {
       try {
         return _HttpUtils.parseDate(values[0]);
       } on Exception catch (e) {
         return null;
       }
     }
     return null;
   }
 
-  void set ifModifiedSince(Date ifModifiedSince) {
+  void set ifModifiedSince(DateTime ifModifiedSince) {
     _checkMutable();
     // Format "ifModifiedSince" header with date in Greenwich Mean Time (GMT).
     String formatted = _HttpUtils.formatDate(ifModifiedSince.toUtc());
     _set("if-modified-since", formatted);
   }
 
-  Date get date {
+  DateTime get date {
     List<String> values = _headers["date"];
     if (values != null) {
       try {
         return _HttpUtils.parseDate(values[0]);
       } on Exception catch (e) {
         return null;
       }
     }
     return null;
   }
 
-  void set date(Date date) {
+  void set date(DateTime date) {
     _checkMutable();
-    // Format "Date" header with date in Greenwich Mean Time (GMT).
+    // Format "DateTime" header with date in Greenwich Mean Time (GMT).
     String formatted = _HttpUtils.formatDate(date.toUtc());
     _set("date", formatted);
   }
 
-  Date get expires {
+  DateTime get expires {
     List<String> values = _headers["expires"];
     if (values != null) {
       try {
         return _HttpUtils.parseDate(values[0]);
       } on Exception catch (e) {
         return null;
       }
     }
     return null;
   }
 
-  void set expires(Date expires) {
+  void set expires(DateTime expires) {
     _checkMutable();
     // Format "Expires" header with date in Greenwich Mean Time (GMT).
     String formatted = _HttpUtils.formatDate(expires.toUtc());
     _set("expires", formatted);
   }
 
   ContentType get contentType {
     var values = _headers["content-type"];
     if (values != null) {
       return new ContentType.fromString(values[0]);
@@ skipping 18 matching lines @@
       } else {
         throw new HttpException("Unexpected type for header named $name");
       }
     } else if (lowerCaseName == "transfer-encoding") {
       if (value == "chunked") {
         chunkedTransferEncoding = true;
       } else {
         _addValue(lowerCaseName, value);
       }
     } else if (lowerCaseName == "date") {
-      if (value is Date) {
+      if (value is DateTime) {
         date = value;
       } else if (value is String) {
         _set("date", value);
       } else {
         throw new HttpException("Unexpected type for header named $name");
       }
     } else if (lowerCaseName == "expires") {
-      if (value is Date) {
+      if (value is DateTime) {
         expires = value;
       } else if (value is String) {
         _set("expires", value);
       } else {
         throw new HttpException("Unexpected type for header named $name");
       }
     } else if (lowerCaseName == "if-modified-since") {
-      if (value is Date) {
+      if (value is DateTime) {
         ifModifiedSince = value;
       } else if (value is String) {
         _set("if-modified-since", value);
       } else {
         throw new HttpException("Unexpected type for header named $name");
       }
     } else if (lowerCaseName == "host") {
       int pos = value.indexOf(":");
       if (pos == -1) {
         _host = value;
@@ skipping 21 matching lines @@
         _addValue(lowerCaseName, value);
     }
   }
 
   void _addValue(String name, Object value) {
     List<String> values = _headers[name];
     if (values == null) {
       values = new List<String>();
       _headers[name] = values;
     }
-    if (value is Date) {
+    if (value is DateTime) {
       values.add(_HttpUtils.formatDate(value));
     } else {
       values.add(value.toString());
     }
   }
 
   void _set(String name, String value) {
     name = name.toLowerCase();
     List<String> values = new List<String>();
     _headers[name] = values;
@@ skipping 405 matching lines @@
       sb.add("; Path=");
       sb.add(path);
     }
     if (secure) sb.add("; Secure");
     if (httpOnly) sb.add("; HttpOnly");
     return sb.toString();
   }
 
   String name;
   String value;
-  Date expires;
+  DateTime expires;
   int maxAge;
   String domain;
   String path;
   bool httpOnly = false;
   bool secure = false;
 }