1use std::future::Future;
2use std::rc::Rc;
3use std::task::{Context, Waker};
4
5use oxframe_protocol::Meta;
6
7use crate::flow::{Task, TaskState};
8use crate::runtime::{self, Runtime};
9
10pub struct Executor {
15 rt: Rc<Runtime>,
16 root: Option<Task>,
17 tasks: Vec<Task>,
18 next_frame: u32,
19}
20
21impl Executor {
22 pub fn new(fps: f64, meta: Meta, seed: u64, root: impl Future<Output = ()> + 'static) -> Self {
24 Self {
25 rt: Runtime::new(fps, meta, seed),
26 root: Some(Task {
27 fut: Box::pin(root),
28 time: 0.0,
29 state: Rc::new(TaskState {
30 finished: Default::default(),
31 cancelled: Default::default(),
32 }),
33 }),
34 tasks: Vec::new(),
35 next_frame: 0,
36 }
37 }
38
39 pub fn enter<R>(&self, f: impl FnOnce() -> R) -> R {
42 let _guard = runtime::install(&self.rt);
43 f()
44 }
45
46 pub fn step(&mut self) -> bool {
49 let Some(root) = self.root.as_mut() else {
50 return true;
51 };
52 let _guard = runtime::install(&self.rt);
53 self.rt.frame.set(self.next_frame);
54 let mut cx = Context::from_waker(Waker::noop());
55
56 let root_done = root.poll(&mut cx);
57 self.tasks.retain_mut(|t| !t.poll(&mut cx));
58 loop {
60 let new: Vec<Task> = std::mem::take(&mut *self.rt.spawned.borrow_mut());
61 if new.is_empty() {
62 break;
63 }
64 for mut t in new {
65 if !t.poll(&mut cx) {
66 self.tasks.push(t);
67 }
68 }
69 }
70
71 self.next_frame += 1;
72 if root_done {
73 self.root = None;
74 self.tasks.clear();
75 }
76 root_done
77 }
78
79 pub fn is_finished(&self) -> bool {
81 self.root.is_none()
82 }
83
84 pub fn frames_done(&self) -> u32 {
87 self.next_frame
88 }
89
90 pub fn fps(&self) -> f64 {
92 self.rt.fps
93 }
94
95 pub fn meta(&self) -> Meta {
97 self.rt.meta.borrow().clone()
98 }
99
100 pub fn take_meta_changed(&self) -> bool {
103 self.rt.meta_changed.replace(false)
104 }
105
106 pub fn set_has_previous(&self, has_previous: bool) {
108 self.rt.has_previous.set(has_previous);
109 }
110
111 pub fn transition(&self) -> Option<crate::transition::Recorded> {
113 *self.rt.transition.borrow()
114 }
115}
116
117#[cfg(test)]
118mod tests {
119 use std::cell::RefCell;
120
121 use super::*;
122 use crate::{
123 Signal, all, any, loop_while, next_frame, presets, repeat, sequence, spawn, stagger,
124 wait_for, wait_until,
125 };
126
127 fn run<T>(fps: f64, fut: impl Future<Output = ()> + 'static, f: impl Fn() -> T) -> Vec<T> {
129 let mut ex = Executor::new(fps, Meta::default(), 0, fut);
130 let mut out = Vec::new();
131 for _ in 0..10_000 {
132 let done = ex.step();
133 out.push(f());
134 if done {
135 return out;
136 }
137 }
138 panic!("scene did not finish");
139 }
140
141 #[test]
142 fn tween_takes_exact_frames_and_hits_target() {
143 let s = Signal::new(0.0f64);
144 let s2 = s.clone();
145 let values = run(
146 60.0,
147 async move { s2.to(1.0, 1.0).ease(presets::LINEAR).await },
148 || s.get(),
149 );
150 assert_eq!(values.len(), 61);
152 assert_eq!(values[0], 0.0);
153 assert!((values[30] - 0.5).abs() < 1e-12);
154 assert_eq!(values[60], 1.0);
155 }
156
157 #[test]
158 fn chained_waits_do_not_drift() {
159 let frames = run(
161 24.0,
162 async {
163 for _ in 0..30 {
164 wait_for(0.1).await;
165 }
166 },
167 || (),
168 );
169 assert_eq!(frames.len(), 3 * 24 + 1);
170 }
171
172 #[test]
173 fn all_waits_for_longest_and_continues_from_its_end() {
174 let log = Rc::new(RefCell::new(Vec::new()));
175 let l = log.clone();
176 run(
177 10.0,
178 async move {
179 all((wait_for(0.5), wait_for(1.0), async {})).await;
180 l.borrow_mut().push((crate::frame(), crate::time()));
181 },
182 || (),
183 );
184 assert_eq!(*log.borrow(), vec![(10, 1.0)]);
185 }
186
187 #[test]
188 fn sequence_staggers_starts() {
189 let a = Signal::new(0.0f64);
190 let b = Signal::new(0.0f64);
191 let (a2, b2) = (a.clone(), b.clone());
192 let values = run(
193 10.0,
194 async move {
195 sequence(
196 0.5,
197 [
198 a2.to(1.0, 1.0).ease(presets::LINEAR),
199 b2.to(1.0, 1.0).ease(presets::LINEAR),
200 ],
201 )
202 .await;
203 },
204 || (a.get(), b.get()),
205 );
206 assert_eq!(values.len(), 16);
207 assert!((values[5].0 - 0.5).abs() < 1e-12);
208 assert_eq!(values[5].1, 0.0);
209 assert!((values[10].1 - 0.5).abs() < 1e-12);
210 }
211
212 #[test]
213 fn spawn_runs_in_background_and_join_waits() {
214 let s = Signal::new(0.0f64);
215 let s2 = s.clone();
216 let values = run(
217 10.0,
218 async move {
219 let h = spawn(async move { s2.to(1.0, 0.5).ease(presets::LINEAR).await });
220 next_frame().await;
221 h.await;
222 },
223 || s.get(),
224 );
225 assert!((values[2] - 0.4).abs() < 1e-12);
226 assert_eq!(*values.last().unwrap(), 1.0);
227 }
228
229 #[test]
230 fn wait_until_records_default_and_reads_meta() {
231 let mut ex = Executor::new(10.0, Meta::default(), 0, async {
232 wait_for(0.3).await;
233 wait_until("beat").await;
234 });
235 while !ex.step() {}
236 assert!((ex.meta().markers["beat"] - 0.3).abs() < 1e-12);
237 assert!(ex.take_meta_changed());
238
239 let mut meta = Meta::default();
240 meta.markers.insert("beat".into(), 1.0);
241 let mut ex = Executor::new(10.0, meta, 0, async {
242 wait_for(0.3).await;
243 wait_until("beat").await;
244 });
245 while !ex.step() {}
246 assert_eq!(ex.frames_done(), 11);
247 assert!(!ex.take_meta_changed());
248 }
249
250 #[test]
251 fn random_is_seeded() {
252 let draw = |seed| {
253 let out = Rc::new(RefCell::new(Vec::new()));
254 let o = out.clone();
255 let mut ex = Executor::new(10.0, Meta::default(), seed, async move {
256 for _ in 0..4 {
257 o.borrow_mut().push(crate::random());
258 }
259 });
260 ex.step();
261 out.take()
262 };
263 assert_eq!(draw(1), draw(1));
264 assert_ne!(draw(1), draw(2));
265 assert!(draw(3).iter().all(|v| (0.0..1.0).contains(v)));
266 }
267
268 fn end_of(fps: f64, fut: impl Future<Output = ()> + 'static) -> (u32, f64) {
270 let log = Rc::new(RefCell::new(None));
271 let l = log.clone();
272 run(
273 fps,
274 async move {
275 fut.await;
276 *l.borrow_mut() = Some((crate::frame(), crate::time()));
277 },
278 || (),
279 );
280 log.borrow().expect("logged")
281 }
282
283 #[test]
284 fn all_takes_vecs_arrays_and_iterators() {
285 let durations = [0.5, 1.0, 0.2];
286 assert_eq!(
287 end_of(10.0, async move {
288 all(durations.map(wait_for)).await;
289 })
290 .1,
291 1.0
292 );
293 assert_eq!(
294 end_of(10.0, async move {
295 all(durations.iter().map(|&d| wait_for(d))).await;
296 })
297 .1,
298 1.0
299 );
300 assert_eq!(
301 end_of(10.0, async move {
302 all(vec![wait_for(0.3), wait_for(0.7)]).await;
303 })
304 .1,
305 0.7
306 );
307 let out = Rc::new(RefCell::new(Vec::new()));
309 let o = out.clone();
310 end_of(10.0, async move {
311 *o.borrow_mut() = all((1..=3).map(|i| async move { i * 10 })).await;
312 });
313 assert_eq!(*out.borrow(), vec![10, 20, 30]);
314 assert_eq!(
316 end_of(10.0, async {
317 all(Vec::<crate::flow::WaitFor>::new()).await;
318 })
319 .1,
320 0.0
321 );
322 }
323
324 #[test]
325 fn any_completes_with_the_first_and_continues_from_its_end() {
326 let s = Signal::new(0.0f64);
327 let s2 = s.clone();
328 let first = Rc::new(RefCell::new(None));
329 let f = first.clone();
330 let (frame, time) = end_of(10.0, async move {
331 let i = any((
332 wait_for(2.0),
333 s2.to(1.0, 2.0).ease(presets::LINEAR),
334 wait_for(0.5),
335 ))
336 .await;
337 *f.borrow_mut() = Some(i);
338 });
339 assert_eq!(*first.borrow(), Some(2));
340 assert_eq!((frame, time), (5, 0.5));
341 assert!((s.get() - 0.25).abs() < 1e-12, "{}", s.get());
343 }
344
345 #[test]
346 fn stagger_starts_each_item_later() {
347 let signals: Vec<Signal<f64>> = (0..3).map(|_| Signal::new(0.0)).collect();
348 let watch = signals.clone();
349 let values = run(
350 10.0,
351 async move {
352 stagger(0.2, &signals, |s| s.to(1.0, 1.0).ease(presets::LINEAR)).await;
353 },
354 move || watch.iter().map(Signal::get).collect::<Vec<_>>(),
355 );
356 assert_eq!(values.len(), 15);
358 let at_half = &values[5];
359 assert!((at_half[0] - 0.5).abs() < 1e-12);
360 assert!((at_half[1] - 0.3).abs() < 1e-12);
361 assert!((at_half[2] - 0.1).abs() < 1e-12);
362 }
363
364 #[test]
365 fn repeat_and_loop_while() {
366 assert_eq!(end_of(10.0, repeat(3, || wait_for(0.5))).1, 1.5);
367 let left = Rc::new(std::cell::Cell::new(4));
368 let l = left.clone();
369 let end = end_of(
370 10.0,
371 loop_while(
372 move || {
373 l.set(l.get() - 1);
374 l.get() >= 0
375 },
376 || wait_for(0.25),
377 ),
378 );
379 assert_eq!(end.1, 1.0);
380 assert_eq!(left.get(), -1);
381 }
382}