// 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 DataListElementWrappingImplementation extends ElementWrappingImplementation implements DataListElement {
  DataListElementWrappingImplementation._wrap(ptr) : super._wrap(ptr) {}

  ElementList get options() { return LevelDom.wrapElementList(_ptr.options); }

  String get typeName() { return "DataListElement"; }
}
