[−][src]Trait polyhorn_ui::animation::AnimationHandle
Trait that should be implemented by animation handles that are returned by the animator trait's start function. This handle can be used to wait for an animation to complete (because it is a future) or cancel a pending animation by dropping it.
Note: the handle itself doesn't necessarily have to implement Drop
, it
might have a field that holds an internal representation that implements
Drop
. For example, on iOS the AnimationHandle
has a field that holds a
reference counted PLYAnimationHandle
that is written in Objective-C. Once
the reference count drops to zero and the Objective-C object is released, it
will automatically remove the animation from its view.