sdk/lib/html/dart2js/html_dart2js.dart - Issue 21555003: Exposing native doubles as doubles when they are read-only or method return values.

Unified Diff: sdk/lib/html/dart2js/html_dart2js.dart

Side-by-side diff isn't available for this file because of its large size.

Issue 21555003: Exposing native doubles as doubles when they are read-only or method return values. (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart

Patch Set: Created 7 years, 4 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: sdk/lib/html/dart2js/html_dart2js.dart

diff --git a/sdk/lib/html/dart2js/html_dart2js.dart b/sdk/lib/html/dart2js/html_dart2js.dart

index 74a14e57e8eab8c028eed545cdc5ef2cf70c5e11..cc1deae393c4b5b995f9230320bb7beb9c53daff 100644

--- a/sdk/lib/html/dart2js/html_dart2js.dart

+++ b/sdk/lib/html/dart2js/html_dart2js.dart

@@ -213,7 +213,7 @@ class AnimationEvent extends Event native "WebKitAnimationEvent" {

@DomName('WebKitAnimationEvent.elapsedTime')

@DocsEditable()

- final num elapsedTime;

+ final double elapsedTime;

}

@@ -1137,7 +1137,7 @@ class CanvasRenderingContext2D extends CanvasRenderingContext native "CanvasRend

@SupportedBrowser(SupportedBrowser.CHROME)

@SupportedBrowser(SupportedBrowser.SAFARI)

@Experimental()

- final num backingStorePixelRatio;

+ final double backingStorePixelRatio;

@JSName('webkitImageSmoothingEnabled')

@DomName('CanvasRenderingContext2D.webkitImageSmoothingEnabled')

@@ -1923,31 +1923,31 @@ class Coordinates extends Interceptor native "Coordinates" {

@DomName('Coordinates.accuracy')

@DocsEditable()

- final num accuracy;

+ final double accuracy;

@DomName('Coordinates.altitude')

@DocsEditable()

- final num altitude;

+ final double altitude;

@DomName('Coordinates.altitudeAccuracy')

@DocsEditable()

- final num altitudeAccuracy;

+ final double altitudeAccuracy;

@DomName('Coordinates.heading')

@DocsEditable()

- final num heading;

+ final double heading;

@DomName('Coordinates.latitude')

@DocsEditable()

- final num latitude;

+ final double latitude;

@DomName('Coordinates.longitude')

@DocsEditable()

- final num longitude;

+ final double longitude;

@DomName('Coordinates.speed')

@DocsEditable()

- final num speed;

+ final double speed;

}

@@ -6372,15 +6372,15 @@ class DeviceAcceleration extends Interceptor native "DeviceAcceleration" {

@DomName('DeviceAcceleration.x')

@DocsEditable()

- final num x;

+ final double x;

@DomName('DeviceAcceleration.y')

@DocsEditable()

- final num y;

+ final double y;

@DomName('DeviceAcceleration.z')

@DocsEditable()

- final num z;

+ final double z;

}

@@ -6405,7 +6405,7 @@ class DeviceMotionEvent extends Event native "DeviceMotionEvent" {

@DomName('DeviceMotionEvent.interval')

@DocsEditable()

- final num interval;

+ final double interval;

@DomName('DeviceMotionEvent.rotationRate')

@DocsEditable()

@@ -6438,15 +6438,15 @@ class DeviceOrientationEvent extends Event native "DeviceOrientationEvent" {

@DomName('DeviceOrientationEvent.alpha')

@DocsEditable()

- final num alpha;

+ final double alpha;

@DomName('DeviceOrientationEvent.beta')

@DocsEditable()

- final num beta;

+ final double beta;

@DomName('DeviceOrientationEvent.gamma')

@DocsEditable()

- final num gamma;

+ final double gamma;

@JSName('initDeviceOrientationEvent')

@DomName('DeviceOrientationEvent.initDeviceOrientationEvent')

@@ -6467,15 +6467,15 @@ class DeviceRotationRate extends Interceptor native "DeviceRotationRate" {

@DomName('DeviceRotationRate.alpha')

@DocsEditable()

- final num alpha;

+ final double alpha;

@DomName('DeviceRotationRate.beta')

@DocsEditable()

- final num beta;

+ final double beta;

@DomName('DeviceRotationRate.gamma')

@DocsEditable()

- final num gamma;

+ final double gamma;

}

@@ -14283,7 +14283,7 @@ class MediaController extends EventTarget native "MediaController" {

@DomName('MediaController.duration')

@DocsEditable()

- final num duration;

+ final double duration;

@DomName('MediaController.muted')

@DocsEditable()

@@ -14539,7 +14539,7 @@ class MediaElement extends _HTMLElement native "HTMLMediaElement" {

@DomName('HTMLMediaElement.duration')

@DocsEditable()

- final num duration;

+ final double duration;

@DomName('HTMLMediaElement.ended')

@DocsEditable()

@@ -14553,7 +14553,7 @@ class MediaElement extends _HTMLElement native "HTMLMediaElement" {

@DocsEditable()

// http://www.w3.org/TR/2011/WD-html5-20110113/video.html#dom-media-initialtime

@Experimental()

- final num initialTime;

+ final double initialTime;

@DomName('HTMLMediaElement.loop')

@DocsEditable()

@@ -14612,7 +14612,7 @@ class MediaElement extends _HTMLElement native "HTMLMediaElement" {

@DomName('HTMLMediaElement.startTime')

@DocsEditable()

@Experimental() // non-standard

- final num startTime;

+ final double startTime;

@DomName('HTMLMediaElement.textTracks')

@DocsEditable()

@@ -15913,7 +15913,7 @@ class MidiMessageEvent extends Event native "MIDIMessageEvent" {

@DomName('MIDIMessageEvent.receivedTime')

@DocsEditable()

- final num receivedTime;

+ final double receivedTime;

}

@@ -18244,7 +18244,7 @@ class Performance extends EventTarget native "Performance" {

@DomName('Performance.now')

@DocsEditable()

- num now() native;

+ double now() native;

@JSName('webkitClearResourceTimings')

@DomName('Performance.webkitClearResourceTimings')

@@ -18283,7 +18283,7 @@ class PerformanceEntry extends Interceptor native "PerformanceEntry" {

@DomName('PerformanceEntry.duration')

@DocsEditable()

- final num duration;

+ final double duration;

@DomName('PerformanceEntry.entryType')

@DocsEditable()

@@ -18295,7 +18295,7 @@ class PerformanceEntry extends Interceptor native "PerformanceEntry" {

@DomName('PerformanceEntry.startTime')

@DocsEditable()

- final num startTime;

+ final double startTime;

}

@@ -18372,23 +18372,23 @@ class PerformanceResourceTiming extends PerformanceEntry native "PerformanceReso

@DomName('PerformanceResourceTiming.connectEnd')

@DocsEditable()

- final num connectEnd;

+ final double connectEnd;

@DomName('PerformanceResourceTiming.connectStart')

@DocsEditable()

- final num connectStart;

+ final double connectStart;

@DomName('PerformanceResourceTiming.domainLookupEnd')

@DocsEditable()

- final num domainLookupEnd;

+ final double domainLookupEnd;

@DomName('PerformanceResourceTiming.domainLookupStart')

@DocsEditable()

- final num domainLookupStart;

+ final double domainLookupStart;

@DomName('PerformanceResourceTiming.fetchStart')

@DocsEditable()

- final num fetchStart;

+ final double fetchStart;

@DomName('PerformanceResourceTiming.initiatorType')

@DocsEditable()

@@ -18396,30 +18396,30 @@ class PerformanceResourceTiming extends PerformanceEntry native "PerformanceReso

@DomName('PerformanceResourceTiming.redirectEnd')

@DocsEditable()

- final num redirectEnd;

+ final double redirectEnd;

@DomName('PerformanceResourceTiming.redirectStart')

@DocsEditable()

- final num redirectStart;

+ final double redirectStart;

@DomName('PerformanceResourceTiming.requestStart')

@DocsEditable()

@Experimental() // nonstandard

- final num requestStart;

+ final double requestStart;

@DomName('PerformanceResourceTiming.responseEnd')

@DocsEditable()

@Experimental() // nonstandard

- final num responseEnd;

+ final double responseEnd;

@DomName('PerformanceResourceTiming.responseStart')

@DocsEditable()

@Experimental() // nonstandard

- final num responseStart;

+ final double responseStart;

@DomName('PerformanceResourceTiming.secureConnectionStart')

@DocsEditable()

- final num secureConnectionStart;

+ final double secureConnectionStart;

}

@@ -18781,7 +18781,7 @@ class ProgressElement extends _HTMLElement native "HTMLProgressElement" {

@DomName('HTMLProgressElement.position')

@DocsEditable()

- final num position;

+ final double position;

@DomName('HTMLProgressElement.value')

@DocsEditable()

@@ -20682,7 +20682,7 @@ class SpeechInputResult extends Interceptor native "SpeechInputResult" {

@DomName('SpeechInputResult.confidence')

@DocsEditable()

- final num confidence;

+ final double confidence;

@DomName('SpeechInputResult.utterance')

@DocsEditable()

@@ -20857,7 +20857,7 @@ class SpeechRecognitionAlternative extends Interceptor native "SpeechRecognition

@DomName('SpeechRecognitionAlternative.confidence')

@DocsEditable()

- final num confidence;

+ final double confidence;

@DomName('SpeechRecognitionAlternative.transcript')

@DocsEditable()

@@ -21003,7 +21003,7 @@ class SpeechSynthesisEvent extends Event native "SpeechSynthesisEvent" {

@DomName('SpeechSynthesisEvent.elapsedTime')

@DocsEditable()

- final num elapsedTime;

+ final double elapsedTime;

@DomName('SpeechSynthesisEvent.name')

@DocsEditable()

@@ -22318,7 +22318,7 @@ class TextMetrics extends Interceptor native "TextMetrics" {

@DomName('TextMetrics.width')

@DocsEditable()

- final num width;

+ final double width;

}

@@ -22668,11 +22668,11 @@ class TimeRanges extends Interceptor native "TimeRanges" {

@DomName('TimeRanges.end')

@DocsEditable()

- num end(int index) native;

+ double end(int index) native;

@DomName('TimeRanges.start')

@DocsEditable()

- num start(int index) native;

+ double start(int index) native;

}

@@ -22757,7 +22757,7 @@ class Touch extends Interceptor native "Touch" {

@SupportedBrowser(SupportedBrowser.CHROME)

@SupportedBrowser(SupportedBrowser.SAFARI)

@Experimental()

- final num force;

+ final double force;

@JSName('webkitRadiusX')

@DomName('Touch.webkitRadiusX')

@@ -22781,7 +22781,7 @@ class Touch extends Interceptor native "Touch" {

@SupportedBrowser(SupportedBrowser.CHROME)

@SupportedBrowser(SupportedBrowser.SAFARI)

@Experimental()

- final num rotationAngle;

+ final double rotationAngle;

@DomName('Touch.clientX')

@@ -23040,7 +23040,7 @@ class TransitionEvent extends Event native "TransitionEvent,WebKitTransitionEven

@DomName('TransitionEvent.elapsedTime')

@DocsEditable()

- final num elapsedTime;

+ final double elapsedTime;

@DomName('TransitionEvent.propertyName')

@DocsEditable()

@@ -24295,7 +24295,7 @@ class Window extends EventTarget implements WindowBase, WindowTimers native "Win

@DocsEditable()

// http://www.quirksmode.org/blog/archives/2012/06/devicepixelrati.html

@Experimental() // non-standard

- final num devicePixelRatio;

+ final double devicePixelRatio;

@DomName('Window.event')

@DocsEditable()

@@ -25128,7 +25128,7 @@ class WorkerCrypto extends Interceptor native "WorkerCrypto" {

@Experimental() // untriaged

abstract class WorkerPerformance extends Interceptor {

- num now();

+ double now();

}

@@ -25252,7 +25252,7 @@ class XPathResult extends Interceptor native "XPathResult" {

@DomName('XPathResult.numberValue')

@DocsEditable()

- final num numberValue;

+ final double numberValue;

@DomName('XPathResult.resultType')

@DocsEditable()

@@ -25518,27 +25518,27 @@ class _ClientRect extends Interceptor implements Rect native "ClientRect" {

@DomName('ClientRect.bottom')

@DocsEditable()

- final num bottom;

+ final double bottom;

@DomName('ClientRect.height')

@DocsEditable()

- final num height;

+ final double height;

@DomName('ClientRect.left')

@DocsEditable()

- final num left;

+ final double left;

@DomName('ClientRect.right')

@DocsEditable()

- final num right;

+ final double right;

@DomName('ClientRect.top')

@DocsEditable()

- final num top;

+ final double top;

@DomName('ClientRect.width')

@DocsEditable()

- final num width;

+ final double width;

}

« no previous file with comments | « no previous file | sdk/lib/html/dartium/html_dartium.dart » ('j') | no next file with comments »