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