use std::marker::PhantomData;
use std::sync::atomic;
use crate::gen_impl::Generator;
use crate::rt::{Context, ContextStack, Error};
use crate::yield_::raw_yield_now;
pub struct Scope<'scope, 'a, A, T> {
para: &'a mut Option<A>,
ret: &'a mut Option<T>,
scope: PhantomData<&'scope mut &'scope ()>,
}
impl<'scope, 'a, A, T> Scope<'scope, 'a, A, T> {
pub(crate) fn new(para: &'a mut Option<A>, ret: &'a mut Option<T>) -> Self {
Scope {
para,
ret,
scope: PhantomData,
}
}
#[inline]
fn set_ret(&mut self, v: T) {
*self.ret = Some(v);
}
#[inline]
fn raw_yield(&mut self, env: &ContextStack, context: &mut Context, v: T) {
if !context.is_generator() {
panic!("yield from none generator context");
}
self.set_ret(v);
context._ref -= 1;
raw_yield_now(env, context);
if context._ref != 1 {
std::panic::panic_any(Error::Cancel);
}
}
#[inline]
pub fn yield_with(&mut self, v: T) {
let env = ContextStack::current();
let context = env.top();
self.raw_yield(&env, context, v);
}
#[inline]
pub fn get_yield(&mut self) -> Option<A> {
self.para.take()
}
#[inline]
pub unsafe fn yield_unsafe(&mut self, v: T) -> Option<A> {
self.yield_with(v);
atomic::compiler_fence(atomic::Ordering::Acquire);
self.get_yield()
}
pub unsafe fn yield_from_unsafe(&mut self, mut g: Generator<A, T>) -> Option<A> {
let env = ContextStack::current();
let context = env.top();
let mut p = self.get_yield();
while !g.is_done() {
match g.raw_send(p) {
None => return None,
Some(r) => self.raw_yield(&env, context, r),
}
p = self.get_yield();
}
drop(g); p
}
}
impl<'scope, A, T> Scope<'scope, 'static, A, T> {
#[inline]
pub fn yield_(&mut self, v: T) -> Option<A> {
unsafe { self.yield_unsafe(v) }
}
pub fn yield_from(&mut self, g: Generator<A, T>) -> Option<A> {
unsafe { self.yield_from_unsafe(g) }
}
}