| 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
|
| deleted file mode 100644
|
| index 2f0023e229de3f03cbd374ee1740c3d70bb560cf..0000000000000000000000000000000000000000
|
| --- a/client/html/generated/html/dartium/Animation.dart
|
| +++ /dev/null
|
| @@ -1,34 +0,0 @@
|
| -
|
| -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;
|
| - }
|
| -}
|
|
|