2018-03-31 15:11:35 -07:00
|
|
|
import inspect
|
|
|
|
import random
|
|
|
|
import warnings
|
|
|
|
|
|
|
|
from tqdm import tqdm as ProgressDisplay
|
2018-12-24 12:37:51 -08:00
|
|
|
import numpy as np
|
2015-03-22 16:15:29 -06:00
|
|
|
|
2018-12-24 12:37:51 -08:00
|
|
|
from manimlib.animation.animation import Animation
|
|
|
|
from manimlib.animation.creation import Write
|
|
|
|
from manimlib.animation.transform import MoveToTarget, ApplyMethod
|
|
|
|
from manimlib.camera.camera import Camera
|
|
|
|
from manimlib.constants import *
|
|
|
|
from manimlib.container.container import Container
|
|
|
|
from manimlib.continual_animation.continual_animation import ContinualAnimation
|
|
|
|
from manimlib.mobject.mobject import Mobject
|
|
|
|
from manimlib.mobject.svg.tex_mobject import TextMobject
|
2019-01-24 21:47:40 -08:00
|
|
|
from manimlib.scene.scene_file_writer import SceneFileWriter
|
2018-12-24 12:37:51 -08:00
|
|
|
from manimlib.utils.iterables import list_update
|
2018-04-06 13:58:59 -07:00
|
|
|
|
2018-12-27 09:41:41 -08:00
|
|
|
|
2018-01-29 13:34:06 -08:00
|
|
|
class Scene(Container):
|
2016-02-27 16:32:53 -08:00
|
|
|
CONFIG = {
|
2018-04-06 13:58:59 -07:00
|
|
|
"camera_class": Camera,
|
|
|
|
"camera_config": {},
|
2019-01-24 21:47:40 -08:00
|
|
|
"file_writer_config": {},
|
2018-04-06 13:58:59 -07:00
|
|
|
"skip_animations": False,
|
|
|
|
"always_continually_update": False,
|
|
|
|
"random_seed": 0,
|
|
|
|
"start_at_animation_number": None,
|
|
|
|
"end_at_animation_number": None,
|
2019-01-16 11:10:43 -08:00
|
|
|
"leave_progress_bars": False,
|
2015-09-28 16:25:18 -07:00
|
|
|
}
|
2018-04-06 13:58:59 -07:00
|
|
|
|
2015-09-28 16:25:18 -07:00
|
|
|
def __init__(self, **kwargs):
|
2018-04-06 13:58:59 -07:00
|
|
|
Container.__init__(self, **kwargs)
|
2017-02-02 15:36:24 -08:00
|
|
|
self.camera = self.camera_class(**self.camera_config)
|
2019-01-24 21:47:40 -08:00
|
|
|
self.file_writer = SceneFileWriter(
|
|
|
|
self, **self.file_writer_config,
|
|
|
|
)
|
|
|
|
|
2015-10-29 13:45:28 -07:00
|
|
|
self.mobjects = []
|
2017-08-24 11:43:38 -07:00
|
|
|
self.continual_animations = []
|
2019-01-24 22:24:01 -08:00
|
|
|
# TODO, remove need for foreground mobjects
|
2017-05-09 12:25:28 -07:00
|
|
|
self.foreground_mobjects = []
|
2016-07-28 11:16:07 -07:00
|
|
|
self.num_plays = 0
|
2019-01-10 17:06:22 -08:00
|
|
|
self.time = 0
|
2018-02-20 22:59:38 -08:00
|
|
|
self.original_skipping_status = self.skip_animations
|
2017-12-06 15:17:59 -08:00
|
|
|
if self.random_seed is not None:
|
|
|
|
random.seed(self.random_seed)
|
|
|
|
np.random.seed(self.random_seed)
|
2015-10-29 13:45:28 -07:00
|
|
|
|
2016-08-10 10:26:07 -07:00
|
|
|
self.setup()
|
2018-02-19 17:24:17 -08:00
|
|
|
try:
|
2019-01-24 21:47:40 -08:00
|
|
|
self.construct()
|
2018-02-19 17:24:17 -08:00
|
|
|
except EndSceneEarlyException:
|
2019-01-24 21:47:40 -08:00
|
|
|
pass
|
2019-01-04 12:47:48 -08:00
|
|
|
self.tear_down()
|
2019-01-24 21:47:40 -08:00
|
|
|
self.file_writer.finish()
|
2019-01-16 11:10:43 -08:00
|
|
|
self.print_end_message()
|
2019-01-10 17:06:22 -08:00
|
|
|
|
2016-08-10 10:26:07 -07:00
|
|
|
def setup(self):
|
2017-04-21 17:40:49 -07:00
|
|
|
"""
|
|
|
|
This is meant to be implement by any scenes which
|
2018-02-26 19:07:57 -08:00
|
|
|
are comonly subclassed, and have some common setup
|
2017-04-21 17:40:49 -07:00
|
|
|
involved before the construct method is called.
|
|
|
|
"""
|
|
|
|
pass
|
2016-08-10 10:26:07 -07:00
|
|
|
|
2019-01-04 12:47:48 -08:00
|
|
|
def tear_down(self):
|
|
|
|
pass
|
|
|
|
|
2015-06-10 22:00:35 -07:00
|
|
|
def construct(self):
|
2018-04-06 13:58:59 -07:00
|
|
|
pass # To be implemented in subclasses
|
2015-03-22 16:15:29 -06:00
|
|
|
|
|
|
|
def __str__(self):
|
2019-01-10 17:06:22 -08:00
|
|
|
return self.__class__.__name__
|
2015-04-03 16:41:25 -07:00
|
|
|
|
2019-01-16 11:10:43 -08:00
|
|
|
def print_end_message(self):
|
|
|
|
print("Played {} animations".format(self.num_plays))
|
|
|
|
|
2017-10-20 16:29:30 -07:00
|
|
|
def set_variables_as_attrs(self, *objects, **newly_named_objects):
|
2017-05-10 17:22:26 -07:00
|
|
|
"""
|
2017-10-20 16:29:30 -07:00
|
|
|
This method is slightly hacky, making it a little easier
|
|
|
|
for certain methods (typically subroutines of construct)
|
|
|
|
to share local variables.
|
2017-05-10 17:22:26 -07:00
|
|
|
"""
|
|
|
|
caller_locals = inspect.currentframe().f_back.f_locals
|
2018-08-09 17:56:05 -07:00
|
|
|
for key, value in list(caller_locals.items()):
|
2017-10-24 13:41:28 -07:00
|
|
|
for o in objects:
|
|
|
|
if value is o:
|
|
|
|
setattr(self, key, value)
|
2018-08-09 17:56:05 -07:00
|
|
|
for key, value in list(newly_named_objects.items()):
|
2017-10-20 16:29:30 -07:00
|
|
|
setattr(self, key, value)
|
2017-05-10 17:22:26 -07:00
|
|
|
return self
|
|
|
|
|
2017-10-20 16:29:30 -07:00
|
|
|
def get_attrs(self, *keys):
|
|
|
|
return [getattr(self, key) for key in keys]
|
|
|
|
|
2018-04-06 13:58:59 -07:00
|
|
|
# Only these methods should touch the camera
|
2016-02-27 16:29:11 -08:00
|
|
|
def set_camera(self, camera):
|
|
|
|
self.camera = camera
|
|
|
|
|
2015-10-29 13:45:28 -07:00
|
|
|
def get_frame(self):
|
2017-09-26 17:41:45 -07:00
|
|
|
return np.array(self.camera.get_pixel_array())
|
|
|
|
|
|
|
|
def get_image(self):
|
2016-02-23 22:29:32 -08:00
|
|
|
return self.camera.get_image()
|
2015-10-29 13:45:28 -07:00
|
|
|
|
2017-09-26 17:41:45 -07:00
|
|
|
def set_camera_pixel_array(self, pixel_array):
|
|
|
|
self.camera.set_pixel_array(pixel_array)
|
2016-11-24 10:38:52 -08:00
|
|
|
|
2016-11-11 11:18:41 -08:00
|
|
|
def set_camera_background(self, background):
|
2016-11-23 17:50:25 -08:00
|
|
|
self.camera.set_background(background)
|
2016-11-11 11:18:41 -08:00
|
|
|
|
|
|
|
def reset_camera(self):
|
|
|
|
self.camera.reset()
|
|
|
|
|
|
|
|
def capture_mobjects_in_camera(self, mobjects, **kwargs):
|
|
|
|
self.camera.capture_mobjects(mobjects, **kwargs)
|
|
|
|
|
2018-01-17 21:32:50 -08:00
|
|
|
def update_frame(
|
2018-04-06 13:58:59 -07:00
|
|
|
self,
|
|
|
|
mobjects=None,
|
|
|
|
background=None,
|
|
|
|
include_submobjects=True,
|
2019-01-24 21:47:40 -08:00
|
|
|
ignore_skipping=True,
|
2018-04-06 13:58:59 -07:00
|
|
|
**kwargs):
|
2019-01-24 21:47:40 -08:00
|
|
|
if self.skip_animations and not ignore_skipping:
|
2018-02-19 17:24:17 -08:00
|
|
|
return
|
2016-03-08 23:13:41 -08:00
|
|
|
if mobjects is None:
|
2017-09-11 06:52:15 -07:00
|
|
|
mobjects = list_update(
|
|
|
|
self.mobjects,
|
2018-01-17 21:32:50 -08:00
|
|
|
self.foreground_mobjects,
|
2017-09-11 06:52:15 -07:00
|
|
|
)
|
2016-03-07 19:07:00 -08:00
|
|
|
if background is not None:
|
2017-09-26 17:41:45 -07:00
|
|
|
self.set_camera_pixel_array(background)
|
2016-03-07 19:07:00 -08:00
|
|
|
else:
|
2016-11-11 11:18:41 -08:00
|
|
|
self.reset_camera()
|
2017-08-24 11:43:38 -07:00
|
|
|
|
2018-01-17 21:32:50 -08:00
|
|
|
kwargs["include_submobjects"] = include_submobjects
|
2016-11-11 11:18:41 -08:00
|
|
|
self.capture_mobjects_in_camera(mobjects, **kwargs)
|
2016-03-17 23:53:59 -07:00
|
|
|
|
|
|
|
def freeze_background(self):
|
|
|
|
self.update_frame()
|
|
|
|
self.set_camera(Camera(self.get_frame()))
|
|
|
|
self.clear()
|
2016-03-07 19:07:00 -08:00
|
|
|
###
|
|
|
|
|
2018-08-12 12:17:32 -07:00
|
|
|
def continual_update(self, dt):
|
2019-01-29 14:40:44 -08:00
|
|
|
for mobject in self.mobjects:
|
2018-08-12 12:17:32 -07:00
|
|
|
mobject.update(dt)
|
2017-08-24 11:43:38 -07:00
|
|
|
for continual_animation in self.continual_animations:
|
2017-08-31 23:20:16 -07:00
|
|
|
continual_animation.update(dt)
|
2017-08-24 11:43:38 -07:00
|
|
|
|
|
|
|
def wind_down(self, *continual_animations, **kwargs):
|
2017-08-24 12:38:37 -07:00
|
|
|
wind_down_time = kwargs.get("wind_down_time", 1)
|
2017-08-24 11:43:38 -07:00
|
|
|
for continual_animation in continual_animations:
|
2017-08-24 12:38:37 -07:00
|
|
|
continual_animation.begin_wind_down(wind_down_time)
|
2018-01-15 19:15:05 -08:00
|
|
|
self.wait(wind_down_time)
|
2018-04-06 13:58:59 -07:00
|
|
|
# TODO, this is not done with the remove method so as to
|
|
|
|
# keep the relevant mobjects. Better way?
|
2018-08-09 17:56:05 -07:00
|
|
|
self.continual_animations = [ca for ca in self.continual_animations if ca in continual_animations]
|
2017-08-24 19:05:04 -07:00
|
|
|
|
|
|
|
def should_continually_update(self):
|
2018-08-12 12:17:32 -07:00
|
|
|
if self.always_continually_update:
|
|
|
|
return True
|
|
|
|
if len(self.continual_animations) > 0:
|
|
|
|
return True
|
|
|
|
any_time_based_update = any([
|
|
|
|
len(m.get_time_based_updaters()) > 0
|
2018-11-04 16:18:14 -08:00
|
|
|
for m in self.get_mobject_family_members()
|
2018-08-12 12:17:32 -07:00
|
|
|
])
|
|
|
|
if any_time_based_update:
|
|
|
|
return True
|
|
|
|
return False
|
2017-08-24 19:05:04 -07:00
|
|
|
|
|
|
|
###
|
2017-08-24 11:43:38 -07:00
|
|
|
|
2019-01-10 17:06:22 -08:00
|
|
|
def get_time(self):
|
|
|
|
return self.time
|
|
|
|
|
|
|
|
def increment_time(self, d_time):
|
|
|
|
self.time += d_time
|
|
|
|
|
|
|
|
###
|
|
|
|
|
2017-02-09 21:09:51 -08:00
|
|
|
def get_top_level_mobjects(self):
|
|
|
|
# Return only those which are not in the family
|
|
|
|
# of another mobject from the scene
|
|
|
|
mobjects = self.get_mobjects()
|
2018-08-21 19:15:16 -07:00
|
|
|
families = [m.get_family() for m in mobjects]
|
2018-04-06 13:58:59 -07:00
|
|
|
|
2017-02-09 21:09:51 -08:00
|
|
|
def is_top_level(mobject):
|
|
|
|
num_families = sum([
|
2017-10-05 21:03:30 -05:00
|
|
|
(mobject in family)
|
2017-02-09 21:09:51 -08:00
|
|
|
for family in families
|
|
|
|
])
|
|
|
|
return num_families == 1
|
2018-08-09 17:56:05 -07:00
|
|
|
return list(filter(is_top_level, mobjects))
|
2017-10-05 21:03:30 -05:00
|
|
|
|
2018-08-13 14:13:30 -07:00
|
|
|
def get_mobject_family_members(self):
|
|
|
|
return self.camera.extract_mobject_family_members(self.mobjects)
|
|
|
|
|
2017-08-24 11:43:38 -07:00
|
|
|
def separate_mobjects_and_continual_animations(self, mobjects_or_continual_animations):
|
|
|
|
mobjects = []
|
|
|
|
continual_animations = []
|
|
|
|
for item in mobjects_or_continual_animations:
|
|
|
|
if isinstance(item, Mobject):
|
|
|
|
mobjects.append(item)
|
|
|
|
elif isinstance(item, ContinualAnimation):
|
|
|
|
mobjects.append(item.mobject)
|
|
|
|
continual_animations.append(item)
|
|
|
|
else:
|
|
|
|
raise Exception("""
|
2017-10-05 21:03:30 -05:00
|
|
|
Adding/Removing something which is
|
2017-08-24 11:43:38 -07:00
|
|
|
not a Mobject or a ContinualAnimation
|
|
|
|
""")
|
|
|
|
return mobjects, continual_animations
|
|
|
|
|
|
|
|
def add(self, *mobjects_or_continual_animations):
|
2015-03-26 22:49:22 -06:00
|
|
|
"""
|
|
|
|
Mobjects will be displayed, from background to foreground,
|
|
|
|
in the order with which they are entered.
|
|
|
|
"""
|
2017-08-24 11:43:38 -07:00
|
|
|
mobjects, continual_animations = self.separate_mobjects_and_continual_animations(
|
|
|
|
mobjects_or_continual_animations
|
|
|
|
)
|
2018-08-12 12:17:32 -07:00
|
|
|
mobjects += self.foreground_mobjects
|
2018-04-06 13:58:59 -07:00
|
|
|
self.restructure_mobjects(to_remove=mobjects)
|
2018-01-18 10:21:28 -08:00
|
|
|
self.mobjects += mobjects
|
|
|
|
self.continual_animations += continual_animations
|
2015-06-09 11:26:12 -07:00
|
|
|
return self
|
2015-03-22 16:15:29 -06:00
|
|
|
|
2015-11-02 19:09:55 -08:00
|
|
|
def add_mobjects_among(self, values):
|
2015-10-09 19:53:38 -07:00
|
|
|
"""
|
|
|
|
So a scene can just add all mobjects it's defined up to that point
|
2015-11-02 19:09:55 -08:00
|
|
|
by calling add_mobjects_among(locals().values())
|
2015-10-09 19:53:38 -07:00
|
|
|
"""
|
2018-08-09 17:56:05 -07:00
|
|
|
mobjects = [x for x in values if isinstance(x, Mobject)]
|
2015-11-02 19:09:55 -08:00
|
|
|
self.add(*mobjects)
|
2015-11-02 13:03:01 -08:00
|
|
|
return self
|
2015-10-09 19:53:38 -07:00
|
|
|
|
2017-08-24 11:43:38 -07:00
|
|
|
def remove(self, *mobjects_or_continual_animations):
|
|
|
|
mobjects, continual_animations = self.separate_mobjects_and_continual_animations(
|
|
|
|
mobjects_or_continual_animations
|
|
|
|
)
|
2018-01-18 16:23:31 -08:00
|
|
|
|
2018-01-17 21:32:50 -08:00
|
|
|
to_remove = self.camera.extract_mobject_family_members(mobjects)
|
2018-01-18 16:23:31 -08:00
|
|
|
for list_name in "mobjects", "foreground_mobjects":
|
|
|
|
self.restructure_mobjects(mobjects, list_name, False)
|
2018-01-17 21:32:50 -08:00
|
|
|
|
2018-12-27 09:41:41 -08:00
|
|
|
self.continual_animations = [
|
|
|
|
ca for ca in self.continual_animations if ca not in
|
|
|
|
continual_animations and ca.mobject not in to_remove]
|
2017-03-25 12:17:56 -07:00
|
|
|
return self
|
|
|
|
|
2018-01-18 16:23:31 -08:00
|
|
|
def restructure_mobjects(
|
2018-04-06 13:58:59 -07:00
|
|
|
self, to_remove,
|
|
|
|
mobject_list_name="mobjects",
|
|
|
|
extract_families=True
|
|
|
|
):
|
2018-01-17 21:32:50 -08:00
|
|
|
"""
|
|
|
|
In cases where the scene contains a group, e.g. Group(m1, m2, m3), but one
|
|
|
|
of its submobjects is removed, e.g. scene.remove(m1), the list of mobjects
|
2018-01-17 22:01:20 -08:00
|
|
|
will be editing to contain other submobjects, but not m1, e.g. it will now
|
2018-01-17 21:32:50 -08:00
|
|
|
insert m2 and m3 to where the group once was.
|
|
|
|
"""
|
2018-01-18 16:23:31 -08:00
|
|
|
if extract_families:
|
|
|
|
to_remove = self.camera.extract_mobject_family_members(to_remove)
|
|
|
|
_list = getattr(self, mobject_list_name)
|
|
|
|
new_list = self.get_restructured_mobject_list(_list, to_remove)
|
|
|
|
setattr(self, mobject_list_name, new_list)
|
|
|
|
return self
|
|
|
|
|
|
|
|
def get_restructured_mobject_list(self, mobjects, to_remove):
|
2018-01-17 22:01:20 -08:00
|
|
|
new_mobjects = []
|
2018-04-06 13:58:59 -07:00
|
|
|
|
2018-01-17 22:01:20 -08:00
|
|
|
def add_safe_mobjects_from_list(list_to_examine, set_to_remove):
|
|
|
|
for mob in list_to_examine:
|
|
|
|
if mob in set_to_remove:
|
|
|
|
continue
|
2018-08-21 19:15:16 -07:00
|
|
|
intersect = set_to_remove.intersection(mob.get_family())
|
2018-01-17 22:01:20 -08:00
|
|
|
if intersect:
|
|
|
|
add_safe_mobjects_from_list(mob.submobjects, intersect)
|
|
|
|
else:
|
|
|
|
new_mobjects.append(mob)
|
|
|
|
add_safe_mobjects_from_list(mobjects, set(to_remove))
|
|
|
|
return new_mobjects
|
2015-06-09 11:26:12 -07:00
|
|
|
|
2017-05-09 12:25:28 -07:00
|
|
|
def add_foreground_mobjects(self, *mobjects):
|
|
|
|
self.foreground_mobjects = list_update(
|
2017-10-05 21:03:30 -05:00
|
|
|
self.foreground_mobjects,
|
2017-05-09 12:25:28 -07:00
|
|
|
mobjects
|
|
|
|
)
|
|
|
|
self.add(*mobjects)
|
|
|
|
return self
|
|
|
|
|
|
|
|
def add_foreground_mobject(self, mobject):
|
|
|
|
return self.add_foreground_mobjects(mobject)
|
|
|
|
|
2018-01-18 16:23:31 -08:00
|
|
|
def remove_foreground_mobjects(self, *to_remove):
|
|
|
|
self.restructure_mobjects(to_remove, "foreground_mobjects")
|
2017-05-09 12:25:28 -07:00
|
|
|
return self
|
|
|
|
|
|
|
|
def remove_foreground_mobject(self, mobject):
|
|
|
|
return self.remove_foreground_mobjects(mobject)
|
|
|
|
|
2016-08-02 12:26:15 -07:00
|
|
|
def bring_to_front(self, *mobjects):
|
|
|
|
self.add(*mobjects)
|
2015-10-12 19:39:46 -07:00
|
|
|
return self
|
|
|
|
|
2016-08-02 12:26:15 -07:00
|
|
|
def bring_to_back(self, *mobjects):
|
|
|
|
self.remove(*mobjects)
|
2018-01-17 21:32:50 -08:00
|
|
|
self.mobjects = list(mobjects) + self.mobjects
|
2015-10-12 19:39:46 -07:00
|
|
|
return self
|
|
|
|
|
2015-06-10 22:00:35 -07:00
|
|
|
def clear(self):
|
2015-10-29 13:45:28 -07:00
|
|
|
self.mobjects = []
|
2017-08-24 11:43:38 -07:00
|
|
|
self.foreground_mobjects = []
|
|
|
|
self.continual_animation = []
|
2015-06-10 22:00:35 -07:00
|
|
|
return self
|
2015-03-30 17:51:26 -07:00
|
|
|
|
2016-07-18 11:50:26 -07:00
|
|
|
def get_mobjects(self):
|
|
|
|
return list(self.mobjects)
|
|
|
|
|
|
|
|
def get_mobject_copies(self):
|
|
|
|
return [m.copy() for m in self.mobjects]
|
|
|
|
|
2018-01-17 21:32:50 -08:00
|
|
|
def get_moving_mobjects(self, *animations):
|
2018-08-12 12:17:32 -07:00
|
|
|
# Go through mobjects from start to end, and
|
|
|
|
# as soon as there's one that needs updating of
|
|
|
|
# some kind per frame, return the list from that
|
|
|
|
# point forward.
|
|
|
|
animation_mobjects = [anim.mobject for anim in animations]
|
|
|
|
ca_mobjects = [ca.mobject for ca in self.continual_animations]
|
2018-08-23 14:46:22 -07:00
|
|
|
mobjects = self.get_mobject_family_members()
|
2018-08-12 12:17:32 -07:00
|
|
|
for i, mob in enumerate(mobjects):
|
|
|
|
update_possibilities = [
|
|
|
|
mob in animation_mobjects,
|
|
|
|
mob in ca_mobjects,
|
|
|
|
len(mob.get_updaters()) > 0,
|
|
|
|
mob in self.foreground_mobjects
|
|
|
|
]
|
|
|
|
for possibility in update_possibilities:
|
|
|
|
if possibility:
|
|
|
|
return mobjects[i:]
|
|
|
|
return []
|
2015-03-22 16:15:29 -06:00
|
|
|
|
2019-01-15 12:19:09 -08:00
|
|
|
def get_time_progression(self, run_time, n_iterations=None, override_skip_animations=False):
|
|
|
|
if self.skip_animations and not override_skip_animations:
|
2018-02-19 17:24:17 -08:00
|
|
|
times = [run_time]
|
|
|
|
else:
|
2019-01-25 10:13:17 -08:00
|
|
|
step = 1 / self.camera.frame_rate
|
2018-02-20 17:50:39 -08:00
|
|
|
times = np.arange(0, run_time, step)
|
2019-01-14 13:26:58 -08:00
|
|
|
time_progression = ProgressDisplay(
|
2019-01-15 12:19:09 -08:00
|
|
|
times, total=n_iterations,
|
2019-01-16 11:10:43 -08:00
|
|
|
leave=self.leave_progress_bars,
|
2019-01-14 13:26:58 -08:00
|
|
|
)
|
2017-08-24 11:43:38 -07:00
|
|
|
return time_progression
|
|
|
|
|
2019-01-16 11:10:43 -08:00
|
|
|
def get_run_time(self, animations):
|
|
|
|
return np.max([animation.run_time for animation in animations])
|
|
|
|
|
2017-08-24 11:43:38 -07:00
|
|
|
def get_animation_time_progression(self, animations):
|
2019-01-16 11:10:43 -08:00
|
|
|
run_time = self.get_run_time(animations)
|
2017-08-24 11:43:38 -07:00
|
|
|
time_progression = self.get_time_progression(run_time)
|
2016-02-27 18:50:33 -08:00
|
|
|
time_progression.set_description("".join([
|
2019-01-15 12:19:09 -08:00
|
|
|
"Animation {}: ".format(self.num_plays),
|
2016-02-27 18:50:33 -08:00
|
|
|
str(animations[0]),
|
|
|
|
(", etc." if len(animations) > 1 else ""),
|
|
|
|
]))
|
2016-02-27 12:44:52 -08:00
|
|
|
return time_progression
|
|
|
|
|
2019-02-08 12:51:21 -08:00
|
|
|
def compile_play_args_to_animation_list(self, *args, **kwargs):
|
2016-07-28 11:16:07 -07:00
|
|
|
"""
|
2018-01-20 11:19:12 -08:00
|
|
|
Each arg can either be an animation, or a mobject method
|
|
|
|
followed by that methods arguments (and potentially follow
|
|
|
|
by a dict of kwargs for that method).
|
2017-10-05 21:03:30 -05:00
|
|
|
This animation list is built by going through the args list,
|
|
|
|
and each animation is simply added, but when a mobject method
|
|
|
|
s hit, a MoveToTarget animation is built using the args that
|
|
|
|
follow up until either another animation is hit, another method
|
2016-07-28 11:16:07 -07:00
|
|
|
is hit, or the args list runs out.
|
|
|
|
"""
|
|
|
|
animations = []
|
2016-09-06 14:17:39 -07:00
|
|
|
state = {
|
2018-04-06 13:58:59 -07:00
|
|
|
"curr_method": None,
|
|
|
|
"last_method": None,
|
|
|
|
"method_args": [],
|
2016-07-28 11:16:07 -07:00
|
|
|
}
|
2018-04-06 13:58:59 -07:00
|
|
|
|
2016-09-06 14:17:39 -07:00
|
|
|
def compile_method(state):
|
|
|
|
if state["curr_method"] is None:
|
2016-07-28 11:16:07 -07:00
|
|
|
return
|
2018-06-02 08:59:26 -04:00
|
|
|
mobject = state["curr_method"].__self__
|
|
|
|
if state["last_method"] and state["last_method"].__self__ is mobject:
|
2016-09-06 14:17:39 -07:00
|
|
|
animations.pop()
|
2018-04-06 13:58:59 -07:00
|
|
|
# method should already have target then.
|
2016-09-06 14:17:39 -07:00
|
|
|
else:
|
2018-02-26 19:07:57 -08:00
|
|
|
mobject.generate_target()
|
2018-01-20 11:19:12 -08:00
|
|
|
#
|
2018-01-20 11:45:47 -08:00
|
|
|
if len(state["method_args"]) > 0 and isinstance(state["method_args"][-1], dict):
|
2018-01-20 11:19:12 -08:00
|
|
|
method_kwargs = state["method_args"].pop()
|
|
|
|
else:
|
|
|
|
method_kwargs = {}
|
2018-06-02 08:59:26 -04:00
|
|
|
state["curr_method"].__func__(
|
2018-04-06 13:58:59 -07:00
|
|
|
mobject.target,
|
2018-01-20 11:19:12 -08:00
|
|
|
*state["method_args"],
|
|
|
|
**method_kwargs
|
2016-09-06 14:17:39 -07:00
|
|
|
)
|
|
|
|
animations.append(MoveToTarget(mobject))
|
|
|
|
state["last_method"] = state["curr_method"]
|
|
|
|
state["curr_method"] = None
|
|
|
|
state["method_args"] = []
|
2016-09-06 16:48:04 -07:00
|
|
|
|
2016-07-28 11:16:07 -07:00
|
|
|
for arg in args:
|
|
|
|
if isinstance(arg, Animation):
|
2016-09-06 14:17:39 -07:00
|
|
|
compile_method(state)
|
2016-07-28 11:16:07 -07:00
|
|
|
animations.append(arg)
|
|
|
|
elif inspect.ismethod(arg):
|
2016-09-06 14:17:39 -07:00
|
|
|
compile_method(state)
|
|
|
|
state["curr_method"] = arg
|
|
|
|
elif state["curr_method"] is not None:
|
|
|
|
state["method_args"].append(arg)
|
2016-09-07 22:04:24 -07:00
|
|
|
elif isinstance(arg, Mobject):
|
|
|
|
raise Exception("""
|
2017-10-05 21:03:30 -05:00
|
|
|
I think you may have invoked a method
|
2016-09-07 22:04:24 -07:00
|
|
|
you meant to pass in as a Scene.play argument
|
|
|
|
""")
|
2016-07-28 11:16:07 -07:00
|
|
|
else:
|
|
|
|
raise Exception("Invalid play arguments")
|
2016-09-06 14:17:39 -07:00
|
|
|
compile_method(state)
|
2019-02-08 12:51:21 -08:00
|
|
|
|
|
|
|
for animation in animations:
|
|
|
|
# This is where kwargs to play like run_time and rate_func
|
|
|
|
# get applied to all animations
|
|
|
|
animation.update_config(**kwargs)
|
|
|
|
|
2016-07-28 11:16:07 -07:00
|
|
|
return animations
|
2016-02-27 18:50:33 -08:00
|
|
|
|
2019-01-24 22:24:01 -08:00
|
|
|
def update_skipping_status(self):
|
2018-02-10 22:45:46 -08:00
|
|
|
if self.start_at_animation_number:
|
|
|
|
if self.num_plays == self.start_at_animation_number:
|
2018-02-20 22:59:38 -08:00
|
|
|
self.skip_animations = False
|
2018-02-10 22:45:46 -08:00
|
|
|
if self.end_at_animation_number:
|
|
|
|
if self.num_plays >= self.end_at_animation_number:
|
2018-02-10 22:34:39 -08:00
|
|
|
self.skip_animations = True
|
2018-02-19 17:24:17 -08:00
|
|
|
raise EndSceneEarlyException()
|
2016-08-25 17:15:48 -07:00
|
|
|
|
2019-01-24 22:24:01 -08:00
|
|
|
def handle_play_like_call(func):
|
|
|
|
def wrapper(self, *args, **kwargs):
|
|
|
|
self.update_skipping_status()
|
|
|
|
allow_write = not self.skip_animations
|
|
|
|
self.file_writer.begin_animation(allow_write)
|
|
|
|
func(self, *args, **kwargs)
|
|
|
|
self.file_writer.end_animation(allow_write)
|
|
|
|
self.num_plays += 1
|
|
|
|
return wrapper
|
|
|
|
|
2019-02-08 12:51:21 -08:00
|
|
|
def begin_animations(self, animations):
|
2019-02-08 11:00:04 -08:00
|
|
|
curr_mobjects = self.get_mobject_family_members()
|
2018-02-19 16:50:58 -08:00
|
|
|
for animation in animations:
|
2019-02-11 20:53:20 -08:00
|
|
|
# Begin animation
|
|
|
|
animation.begin()
|
2018-08-12 12:17:32 -07:00
|
|
|
# Anything animated that's not already in the
|
|
|
|
# scene gets added to the scene
|
2019-02-08 11:00:04 -08:00
|
|
|
mob = animation.mobject
|
|
|
|
if mob not in curr_mobjects:
|
|
|
|
self.add(mob)
|
|
|
|
curr_mobjects += mob.get_family()
|
|
|
|
|
2019-02-08 12:51:21 -08:00
|
|
|
def progress_through_animations(self, animations):
|
2018-02-19 17:24:17 -08:00
|
|
|
# Paint all non-moving objects onto the screen, so they don't
|
|
|
|
# have to be rendered every frame
|
2019-02-08 12:51:21 -08:00
|
|
|
moving_mobjects = self.get_moving_mobjects(*animations)
|
2018-04-06 13:58:59 -07:00
|
|
|
self.update_frame(excluded_mobjects=moving_mobjects)
|
2016-03-07 19:07:00 -08:00
|
|
|
static_image = self.get_frame()
|
2019-02-08 12:51:21 -08:00
|
|
|
last_t = 0
|
2017-08-24 11:43:38 -07:00
|
|
|
for t in self.get_animation_time_progression(animations):
|
2019-02-08 12:51:21 -08:00
|
|
|
dt = t - last_t
|
|
|
|
last_t = t
|
2015-04-03 16:41:25 -07:00
|
|
|
for animation in animations:
|
2019-02-08 12:32:24 -08:00
|
|
|
animation.update_mobjects(dt)
|
2019-02-08 12:51:21 -08:00
|
|
|
alpha = t / animation.run_time
|
|
|
|
animation.interpolate(alpha)
|
2019-01-25 10:13:17 -08:00
|
|
|
self.continual_update(dt)
|
2016-02-27 18:50:33 -08:00
|
|
|
self.update_frame(moving_mobjects, static_image)
|
2016-09-06 16:48:04 -07:00
|
|
|
self.add_frames(self.get_frame())
|
2019-02-08 11:00:04 -08:00
|
|
|
|
2019-02-08 12:51:21 -08:00
|
|
|
def finish_animations(self, animations):
|
2019-02-08 11:00:04 -08:00
|
|
|
for animation in animations:
|
|
|
|
animation.finish()
|
2019-02-08 11:57:27 -08:00
|
|
|
animation.clean_up_from_scene(self)
|
2019-02-08 12:51:21 -08:00
|
|
|
self.mobjects_from_last_animation = [
|
|
|
|
anim.mobject for anim in animations
|
|
|
|
]
|
2018-02-19 17:24:17 -08:00
|
|
|
if self.skip_animations:
|
2019-01-16 11:10:43 -08:00
|
|
|
self.continual_update(self.get_run_time(animations))
|
2018-02-19 17:24:17 -08:00
|
|
|
else:
|
|
|
|
self.continual_update(0)
|
2018-11-01 11:23:34 +03:00
|
|
|
|
2019-02-08 12:51:21 -08:00
|
|
|
@handle_play_like_call
|
|
|
|
def play(self, *args, **kwargs):
|
|
|
|
if len(args) == 0:
|
|
|
|
warnings.warn("Called Scene.play with no animations")
|
|
|
|
return
|
|
|
|
animations = self.compile_play_args_to_animation_list(
|
|
|
|
*args, **kwargs
|
|
|
|
)
|
2019-02-08 15:26:30 -08:00
|
|
|
self.begin_animations(animations)
|
2019-02-08 12:51:21 -08:00
|
|
|
self.progress_through_animations(animations)
|
|
|
|
self.finish_animations(animations)
|
2016-07-19 11:07:26 -07:00
|
|
|
|
2018-11-01 11:23:34 +03:00
|
|
|
def idle_stream(self):
|
2019-01-24 21:47:40 -08:00
|
|
|
self.file_writer.idle_stream()
|
2018-11-01 11:23:34 +03:00
|
|
|
|
2016-07-19 11:07:26 -07:00
|
|
|
def clean_up_animations(self, *animations):
|
2015-04-03 16:41:25 -07:00
|
|
|
for animation in animations:
|
2019-02-08 11:00:04 -08:00
|
|
|
animation.clean_up_from_scene(self)
|
2015-06-09 11:26:12 -07:00
|
|
|
return self
|
2015-03-22 16:15:29 -06:00
|
|
|
|
2016-07-19 11:07:26 -07:00
|
|
|
def get_mobjects_from_last_animation(self):
|
|
|
|
if hasattr(self, "mobjects_from_last_animation"):
|
|
|
|
return self.mobjects_from_last_animation
|
|
|
|
return []
|
|
|
|
|
2019-01-15 12:19:09 -08:00
|
|
|
def get_wait_time_progression(self, duration, stop_condition):
|
|
|
|
if stop_condition is not None:
|
|
|
|
time_progression = self.get_time_progression(
|
|
|
|
duration,
|
|
|
|
n_iterations=-1, # So it doesn't show % progress
|
|
|
|
override_skip_animations=True
|
|
|
|
|
|
|
|
)
|
|
|
|
time_progression.set_description(
|
|
|
|
"Waiting for {}".format(stop_condition.__name__)
|
|
|
|
)
|
|
|
|
else:
|
|
|
|
time_progression = self.get_time_progression(duration)
|
|
|
|
time_progression.set_description(
|
|
|
|
"Waiting {}".format(self.num_plays)
|
|
|
|
)
|
|
|
|
return time_progression
|
|
|
|
|
2019-01-10 17:06:22 -08:00
|
|
|
@handle_play_like_call
|
2019-01-14 13:26:58 -08:00
|
|
|
def wait(self, duration=DEFAULT_WAIT_TIME, stop_condition=None):
|
2019-01-25 10:13:17 -08:00
|
|
|
dt = 1 / self.camera.frame_rate
|
2019-02-03 12:13:24 -08:00
|
|
|
self.continual_update(dt=0) # Any problems with this?
|
2017-08-24 19:05:04 -07:00
|
|
|
if self.should_continually_update():
|
2019-01-15 12:19:09 -08:00
|
|
|
time_progression = self.get_wait_time_progression(duration, stop_condition)
|
2019-01-14 13:26:58 -08:00
|
|
|
for t in time_progression:
|
2019-01-25 10:13:17 -08:00
|
|
|
self.continual_update(dt)
|
2017-08-24 19:05:04 -07:00
|
|
|
self.update_frame()
|
|
|
|
self.add_frames(self.get_frame())
|
2019-01-14 13:26:58 -08:00
|
|
|
if stop_condition and stop_condition():
|
2019-01-16 11:10:43 -08:00
|
|
|
time_progression.close()
|
2019-01-14 13:26:58 -08:00
|
|
|
break
|
2018-02-20 17:50:39 -08:00
|
|
|
elif self.skip_animations:
|
2018-04-06 13:58:59 -07:00
|
|
|
# Do nothing
|
2018-02-20 17:50:39 -08:00
|
|
|
return self
|
|
|
|
else:
|
2017-08-24 11:43:38 -07:00
|
|
|
self.update_frame()
|
2019-01-25 10:13:17 -08:00
|
|
|
n_frames = int(duration / dt)
|
2018-08-12 12:17:32 -07:00
|
|
|
frame = self.get_frame()
|
|
|
|
self.add_frames(*[frame] * n_frames)
|
2015-06-09 11:26:12 -07:00
|
|
|
return self
|
2015-03-22 16:15:29 -06:00
|
|
|
|
2019-01-14 13:26:58 -08:00
|
|
|
def wait_until(self, stop_condition, max_time=60):
|
|
|
|
self.wait(max_time, stop_condition=stop_condition)
|
2018-01-29 21:29:36 -08:00
|
|
|
|
2017-03-20 14:37:51 -07:00
|
|
|
def force_skipping(self):
|
|
|
|
self.original_skipping_status = self.skip_animations
|
|
|
|
self.skip_animations = True
|
|
|
|
return self
|
|
|
|
|
|
|
|
def revert_to_original_skipping_status(self):
|
|
|
|
if hasattr(self, "original_skipping_status"):
|
|
|
|
self.skip_animations = self.original_skipping_status
|
|
|
|
return self
|
|
|
|
|
2016-09-06 16:48:04 -07:00
|
|
|
def add_frames(self, *frames):
|
2019-01-25 10:13:17 -08:00
|
|
|
dt = 1 / self.camera.frame_rate
|
|
|
|
self.increment_time(len(frames) * dt)
|
2018-02-20 22:59:38 -08:00
|
|
|
if self.skip_animations:
|
|
|
|
return
|
2019-01-24 21:47:40 -08:00
|
|
|
for frame in frames:
|
|
|
|
self.file_writer.write_frame(frame)
|
2016-01-30 14:44:45 -08:00
|
|
|
|
2019-01-29 23:52:56 -08:00
|
|
|
def add_sound(self, sound_file, time_offset=0, gain=None, **kwargs):
|
2019-01-24 22:24:01 -08:00
|
|
|
time = self.get_time() + time_offset
|
2019-01-29 23:52:56 -08:00
|
|
|
self.file_writer.add_sound(sound_file, time, gain, **kwargs)
|
2019-01-24 22:24:01 -08:00
|
|
|
|
2015-06-09 11:26:12 -07:00
|
|
|
def show_frame(self):
|
2019-01-24 21:47:40 -08:00
|
|
|
self.update_frame(ignore_skipping=True)
|
2017-09-26 17:41:45 -07:00
|
|
|
self.get_image().show()
|
2015-04-03 16:41:25 -07:00
|
|
|
|
2019-01-12 14:43:44 -08:00
|
|
|
# TODO, this doesn't belong in Scene, but should be
|
2019-01-16 11:10:43 -08:00
|
|
|
# part of some more specialized subclass optimized
|
2019-01-12 14:43:44 -08:00
|
|
|
# for livestreaming
|
2018-11-02 20:48:38 +03:00
|
|
|
def tex(self, latex):
|
|
|
|
eq = TextMobject(latex)
|
2018-11-03 21:05:20 +03:00
|
|
|
anims = []
|
|
|
|
anims.append(Write(eq))
|
|
|
|
for mobject in self.mobjects:
|
2018-12-27 09:41:41 -08:00
|
|
|
anims.append(ApplyMethod(mobject.shift, 2 * UP))
|
2018-11-03 21:05:20 +03:00
|
|
|
self.play(*anims)
|
2018-11-02 20:48:38 +03:00
|
|
|
|
2018-04-06 13:58:59 -07:00
|
|
|
|
2018-02-19 17:24:17 -08:00
|
|
|
class EndSceneEarlyException(Exception):
|
|
|
|
pass
|