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; |
- } |
-} |