| Index: client/html/generated/html/dartium/Animation.dart
|
| diff --git a/client/html/generated/html/dartium/Animation.dart b/client/html/generated/html/dartium/Animation.dart
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..2f0023e229de3f03cbd374ee1740c3d70bb560cf
|
| --- /dev/null
|
| +++ b/client/html/generated/html/dartium/Animation.dart
|
| @@ -0,0 +1,34 @@
|
| +
|
| +class _AnimationImpl extends _DOMTypeBase implements Animation {
|
| + _AnimationImpl._wrap(ptr) : super._wrap(ptr);
|
| +
|
| + num get delay() => _wrap(_ptr.delay);
|
| +
|
| + int get direction() => _wrap(_ptr.direction);
|
| +
|
| + num get duration() => _wrap(_ptr.duration);
|
| +
|
| + num get elapsedTime() => _wrap(_ptr.elapsedTime);
|
| +
|
| + void set elapsedTime(num value) { _ptr.elapsedTime = _unwrap(value); }
|
| +
|
| + bool get ended() => _wrap(_ptr.ended);
|
| +
|
| + int get fillMode() => _wrap(_ptr.fillMode);
|
| +
|
| + int get iterationCount() => _wrap(_ptr.iterationCount);
|
| +
|
| + String get name() => _wrap(_ptr.name);
|
| +
|
| + bool get paused() => _wrap(_ptr.paused);
|
| +
|
| + void pause() {
|
| + _ptr.pause();
|
| + return;
|
| + }
|
| +
|
| + void play() {
|
| + _ptr.play();
|
| + return;
|
| + }
|
| +}
|
|
|