Index: client/html/src/SVGElementWrappingImplementation.dart |
diff --git a/client/html/src/SVGElementWrappingImplementation.dart b/client/html/src/SVGElementWrappingImplementation.dart |
index 090a723ba5082d396a84c8994c7ee5da4510a0fd..6d973fcca72f232391d32d65c202de255451d6c5 100644 |
--- a/client/html/src/SVGElementWrappingImplementation.dart |
+++ b/client/html/src/SVGElementWrappingImplementation.dart |
@@ -1,4 +1,4 @@ |
-// Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file |
+// 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. |
@@ -27,7 +27,10 @@ class SVGElementWrappingImplementation extends ElementWrappingImplementation imp |
String get id() { return _ptr.id; } |
- void set id(String value) { _ptr.id = value; } |
+ void set id(String value) { |
+ assert(!_inMeasurementFrame || !_inDocument); |
+ _ptr.id = value; |
+ } |
SVGSVGElement get ownerSVGElement() { return LevelDom.wrapSVGSVGElement(_ptr.ownerSVGElement); } |
@@ -35,7 +38,10 @@ class SVGElementWrappingImplementation extends ElementWrappingImplementation imp |
String get xmlbase() { return _ptr.xmlbase; } |
- void set xmlbase(String value) { _ptr.xmlbase = value; } |
+ void set xmlbase(String value) { |
+ assert(!_inMeasurementFrame || !_inDocument); |
+ _ptr.xmlbase = value; |
+ } |
ElementList get elements() { |
if (_elements == null) { |
@@ -46,6 +52,7 @@ class SVGElementWrappingImplementation extends ElementWrappingImplementation imp |
// TODO: The type of value should be Collection<Element>. See http://b/5392897 |
void set elements(value) { |
+ assert(!_inMeasurementFrame || !_inDocument); |
final elements = this.elements; |
elements.clear(); |
elements.addAll(value); |
@@ -64,6 +71,7 @@ class SVGElementWrappingImplementation extends ElementWrappingImplementation imp |
} |
void set innerHTML(String svg) { |
+ assert(!_inMeasurementFrame || !_inDocument); |
var container = new Element.tag("div"); |
// Wrap the SVG string in <svg> so that SVGElements are created, rather than |
// HTMLElements. |