OLD | NEW |
| (Empty) |
1 // Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file | |
2 // for details. All rights reserved. Use of this source code is governed by a | |
3 // BSD-style license that can be found in the LICENSE file. | |
4 | |
5 // WARNING: Do not edit - generated code. | |
6 | |
7 class ProgressElementWrappingImplementation extends ElementWrappingImplementatio
n implements ProgressElement { | |
8 ProgressElementWrappingImplementation._wrap(ptr) : super._wrap(ptr) {} | |
9 | |
10 FormElement get form() { return LevelDom.wrapFormElement(_ptr.form); } | |
11 | |
12 ElementList get labels() { return LevelDom.wrapElementList(_ptr.labels); } | |
13 | |
14 num get max() { return _ptr.max; } | |
15 | |
16 void set max(num value) { _ptr.max = value; } | |
17 | |
18 num get position() { return _ptr.position; } | |
19 | |
20 num get value() { return _ptr.value; } | |
21 | |
22 void set value(num value) { _ptr.value = value; } | |
23 } | |
OLD | NEW |