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

  int get width() { return _ptr.width; }

  void set width(int value) { _ptr.width = value; }

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

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

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