private static void Dispose(ref SelectSlinqContext <U, UC, T, C> context, out Option <U> next)
{
next = new Option <U>();
context.bd.Release();
context.chained.dispose(ref context.chained.context, out context.chained.current);
context.selected.dispose(ref context.selected.context, out context.selected.current);
}
private static void Remove(ref SelectSlinqContext <U, UC, T, C> context, out Option <U> next)
{
context.bd.DetectBacktrack();
context.needsMove = false;
context.selected.remove(ref context.selected.context, out context.selected.current);
Skip(ref context, out next);
}
private static void Skip(ref SelectSlinqContext <U, UC, T, C> context, out Option <U> next)
{
context.bd.DetectBacktrack();
if (context.needsMove)
{
context.selected.skip(ref context.selected.context, out context.selected.current);
}
else
{
context.needsMove = true;
}
if (!context.selected.current.isSome && context.chained.current.isSome)
{
context.chained.skip(ref context.chained.context, out context.chained.current);
while (context.chained.current.isSome)
{
context.selected = context.selector(context.chained.current.value);
if (context.selected.current.isSome)
{
break;
}
else
{
context.chained.skip(ref context.chained.context, out context.chained.current);
}
}
}
next = context.selected.current;
if (!next.isSome)
{
context.bd.Release();
}
}