Index: client/html/generated/src/wrapping/_MapElementWrappingImplementation.dart |
diff --git a/client/html/generated/src/wrapping/_MapElementWrappingImplementation.dart b/client/html/generated/src/wrapping/_MapElementWrappingImplementation.dart |
deleted file mode 100644 |
index 4391c04d8829afe66153ef3c246bd86003c1046c..0000000000000000000000000000000000000000 |
--- a/client/html/generated/src/wrapping/_MapElementWrappingImplementation.dart |
+++ /dev/null |
@@ -1,15 +0,0 @@ |
-// Copyright (c) 2011, 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. |
- |
-// WARNING: Do not edit - generated code. |
- |
-class MapElementWrappingImplementation extends ElementWrappingImplementation implements MapElement { |
- MapElementWrappingImplementation._wrap(ptr) : super._wrap(ptr) {} |
- |
- ElementList get areas() { return LevelDom.wrapElementList(_ptr.areas); } |
- |
- String get name() { return _ptr.name; } |
- |
- void set name(String value) { _ptr.name = value; } |
-} |