Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(617)

Unified Diff: lib/html/dartium/html_dartium.dart

Issue 10291006: Rename getTEMPNAME to get (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart
Patch Set: Created 8 years, 8 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
Download patch
Index: lib/html/dartium/html_dartium.dart
diff --git a/lib/html/dartium/html_dartium.dart b/lib/html/dartium/html_dartium.dart
index c627fb526d3fcd8a5f9152303c4de273302b1d2a..4f088994a86b2169704536f64acc548033cd23a8 100644
--- a/lib/html/dartium/html_dartium.dart
+++ b/lib/html/dartium/html_dartium.dart
@@ -22647,9 +22647,9 @@ class _WorkerFactoryProvider {
class _XMLHttpRequestFactoryProvider {
factory XMLHttpRequest() => _wrap(new dom.XMLHttpRequest());
- factory XMLHttpRequest.getTEMPNAME(String url,
+ factory XMLHttpRequest.get(String url,
onSuccess(XMLHttpRequest request)) =>
- _XMLHttpRequestUtils.getTEMPNAME(url, onSuccess);
+ _XMLHttpRequestUtils.get(url, onSuccess);
}
// 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
@@ -40472,7 +40472,7 @@ interface WorkerNavigator {
interface XMLHttpRequest extends EventTarget default _XMLHttpRequestFactoryProvider {
// TODO(rnystrom): This name should just be "get" which is valid in Dart, but
// not correctly implemented yet. (b/4970173)
- XMLHttpRequest.getTEMPNAME(String url, onSuccess(XMLHttpRequest request));
+ XMLHttpRequest.get(String url, onSuccess(XMLHttpRequest request));
XMLHttpRequest();
@@ -41448,9 +41448,9 @@ class _Collections {
class _XMLHttpRequestUtils {
- // Helper for factory XMLHttpRequest.getTEMPNAME
- static XMLHttpRequest getTEMPNAME(String url,
- onSuccess(XMLHttpRequest request)) {
+ // Helper for factory XMLHttpRequest.get
+ static XMLHttpRequest get(String url,
+ onSuccess(XMLHttpRequest request)) {
final request = new XMLHttpRequest();
request.open('GET', url, true);

Powered by Google App Engine
This is Rietveld 408576698