Index: tool/input_sdk/private/interceptors.dart |
diff --git a/tool/input_sdk/private/interceptors.dart b/tool/input_sdk/private/interceptors.dart |
index 8fb76920fadbb7c55d59839c157bae57336da2e3..307726b8dcf8ed240860b03ef337a3e7c32e1ca4 100644 |
--- a/tool/input_sdk/private/interceptors.dart |
+++ b/tool/input_sdk/private/interceptors.dart |
@@ -102,3 +102,13 @@ class UnknownJavaScriptObject extends JavaScriptObject { |
String toString() => JS('String', 'String(#)', this); |
} |
+ |
+// Obsolete in dart dev compiler. Added only so that the same version of |
+// dart:html can be used in dart2js an dev compiler. |
+// Warning: calls to these methods need to be removed before custom elements |
+// and cross-frame dom objects behave correctly in ddc. |
+// See https://github.com/dart-lang/dev_compiler/issues/517 |
+findInterceptorConstructorForType(Type type) { } |
+findConstructorForNativeSubclassType(Type type, String name) { } |
+getNativeInterceptor(object) {} |
+setDispatchProperty(object, value) {} |