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

  bool get open() { return _ptr.open; }

  void set open(bool value) { _ptr.open = value; }

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