|
@@ -15,9 +15,17 @@
|
|
//! whose keys can be converted to u64 on FFI boundaries.
|
|
//! whose keys can be converted to u64 on FFI boundaries.
|
|
//!
|
|
//!
|
|
//! When new nodes are created through `render`, they won't know which real node they correspond to. During diffing, we
|
|
//! When new nodes are created through `render`, they won't know which real node they correspond to. During diffing, we
|
|
-//! always make sure to copy over the ID. If we don't do this properly, the realdomnode will be populated incorrectly and
|
|
|
|
|
|
+//! always make sure to copy over the ID. If we don't do this properly, the ElementId will be populated incorrectly and
|
|
//! brick the user's page.
|
|
//! brick the user's page.
|
|
//!
|
|
//!
|
|
|
|
+//! ### Fragment Support
|
|
|
|
+//!
|
|
|
|
+//! Fragments (nodes without a parent) are supported through a combination of "replace with" and anchor vnodes. Fragments
|
|
|
|
+//! can be particularly challenging when they are empty, so the placeholder node lets us "reserve" a spot for the empty
|
|
|
|
+//! fragment to be replaced with when it is no longer empty. This is guaranteed by logic in the NodeFactory - it is
|
|
|
|
+//! impossible to craft a fragment with 0 elements - they must always have at least a single placeholder element. This is
|
|
|
|
+//! slightly inefficient, but represents a such an uncommon use case that it is not worth optimizing.
|
|
|
|
+//!
|
|
//! ## Subtree Memoization
|
|
//! ## Subtree Memoization
|
|
//! -----------------------
|
|
//! -----------------------
|
|
//! We also employ "subtree memoization" which saves us from having to check trees which take no dynamic content. We can
|
|
//! We also employ "subtree memoization" which saves us from having to check trees which take no dynamic content. We can
|
|
@@ -34,13 +42,21 @@
|
|
//! For all components, we employ some basic heuristics to speed up allocations and pre-size bump arenas. The heuristics are
|
|
//! For all components, we employ some basic heuristics to speed up allocations and pre-size bump arenas. The heuristics are
|
|
//! currently very rough, but will get better as time goes on. For FFI, we recommend using a bloom filter to cache strings.
|
|
//! currently very rough, but will get better as time goes on. For FFI, we recommend using a bloom filter to cache strings.
|
|
//!
|
|
//!
|
|
|
|
+//!
|
|
//! ## Garbage Collection
|
|
//! ## Garbage Collection
|
|
//! ---------------------
|
|
//! ---------------------
|
|
-//! We roughly place the role of garbage collection onto the reconciler. Dioxus needs to manage the lifecycle of components
|
|
|
|
-//! but will not spend any time cleaning up old elements. It's the Reconciler's duty to understand which elements need to
|
|
|
|
-//! be cleaned up *after* the diffing is completed. The reconciler should schedule this garbage collection as the absolute
|
|
|
|
-//! lowest priority task, after all edits have been applied.
|
|
|
|
|
|
+//! Dioxus uses a passive garbage collection system to clean up old nodes once the work has been completed. This garabge
|
|
|
|
+//! collection is done internally once the main diffing work is complete. After the "garbage" is collected, Dioxus will then
|
|
|
|
+//! start to re-use old keys for new nodes. This results in a passive memory management system that is very efficient.
|
|
|
|
+//!
|
|
|
|
+//! The IDs used by the key/map are just an index into a vec. This means that Dioxus will drive the key allocation strategy
|
|
|
|
+//! so the client only needs to maintain a simple list of nodes. By default, Dioxus will not manually clean up old nodes
|
|
|
|
+//! for the client. As new nodes are created, old nodes will be over-written.
|
|
//!
|
|
//!
|
|
|
|
+//! HEADS-UP:
|
|
|
|
+//! For now, deferred garabge collection is disabled. The code-paths are almost wired up, but it's quite complex to
|
|
|
|
+//! get working safely and efficiently. For now, garabge is collected immediately during diffing. This adds extra
|
|
|
|
+//! overhead, but is faster to implement in the short term.
|
|
//!
|
|
//!
|
|
//! Further Reading and Thoughts
|
|
//! Further Reading and Thoughts
|
|
//! ----------------------------
|
|
//! ----------------------------
|
|
@@ -48,63 +64,69 @@
|
|
//! More info on how to improve this diffing algorithm:
|
|
//! More info on how to improve this diffing algorithm:
|
|
//! - https://hacks.mozilla.org/2019/03/fast-bump-allocated-virtual-doms-with-rust-and-wasm/
|
|
//! - https://hacks.mozilla.org/2019/03/fast-bump-allocated-virtual-doms-with-rust-and-wasm/
|
|
|
|
|
|
-use crate::{arena::SharedArena, innerlude::*, tasks::TaskQueue};
|
|
|
|
-use fxhash::FxHashSet;
|
|
|
|
|
|
+use crate::{arena::SharedResources, innerlude::*};
|
|
|
|
+use futures_util::Future;
|
|
|
|
+use fxhash::{FxBuildHasher, FxHashMap, FxHashSet};
|
|
use smallvec::{smallvec, SmallVec};
|
|
use smallvec::{smallvec, SmallVec};
|
|
|
|
|
|
-use std::any::Any;
|
|
|
|
|
|
+use std::{any::Any, cell::Cell, cmp::Ordering, marker::PhantomData, pin::Pin};
|
|
|
|
+use DomEdit::*;
|
|
|
|
|
|
-/// The accompanying "real dom" exposes an imperative API for controlling the UI layout
|
|
|
|
-///
|
|
|
|
-/// Instead of having handles directly over nodes, Dioxus uses simple u64s as node IDs.
|
|
|
|
-/// The expectation is that the underlying renderer will mainain their Nodes in something like slotmap or an ECS memory
|
|
|
|
-/// where indexing is very fast. For reference, the slotmap in the WebSys renderer takes about 3ns to randomly access any
|
|
|
|
-/// node.
|
|
|
|
-///
|
|
|
|
-/// The "RealDom" abstracts over the... real dom. The RealDom trait assumes that the renderer maintains a stack of real
|
|
|
|
-/// nodes as the diffing algorithm descenes through the tree. This means that whatever is on top of the stack will receive
|
|
|
|
-/// any modifications that follow. This technique enables the diffing algorithm to avoid directly handling or storing any
|
|
|
|
-/// target-specific Node type as well as easily serializing the edits to be sent over a network or IPC connection.
|
|
|
|
-pub trait RealDom<'a> {
|
|
|
|
- fn request_available_node(&mut self) -> RealDomNode;
|
|
|
|
- fn raw_node_as_any(&self) -> &mut dyn Any;
|
|
|
|
-}
|
|
|
|
|
|
+pub struct DiffMachine<'r, 'bump> {
|
|
|
|
+ pub vdom: &'bump SharedResources,
|
|
|
|
+
|
|
|
|
+ pub edits: Mutations<'bump>,
|
|
|
|
+
|
|
|
|
+ pub scope_stack: SmallVec<[ScopeId; 5]>,
|
|
|
|
|
|
-pub struct DiffMachine<'real, 'bump, Dom: RealDom<'bump>> {
|
|
|
|
- pub dom: &'real mut Dom,
|
|
|
|
- pub edits: DomEditor<'real, 'bump>,
|
|
|
|
- pub components: &'bump SharedArena,
|
|
|
|
- pub task_queue: &'bump TaskQueue,
|
|
|
|
- pub cur_idxs: SmallVec<[ScopeId; 5]>,
|
|
|
|
pub diffed: FxHashSet<ScopeId>,
|
|
pub diffed: FxHashSet<ScopeId>,
|
|
- pub event_queue: EventQueue,
|
|
|
|
- pub seen_nodes: FxHashSet<ScopeId>,
|
|
|
|
|
|
+
|
|
|
|
+ // will be used later for garbage collection
|
|
|
|
+ // we check every seen node and then schedule its eventual deletion
|
|
|
|
+ pub seen_scopes: FxHashSet<ScopeId>,
|
|
|
|
+
|
|
|
|
+ _r: PhantomData<&'r ()>,
|
|
}
|
|
}
|
|
|
|
|
|
-impl<'real, 'bump, Dom> DiffMachine<'real, 'bump, Dom>
|
|
|
|
-where
|
|
|
|
- Dom: RealDom<'bump>,
|
|
|
|
-{
|
|
|
|
- pub fn new(
|
|
|
|
- edits: &'real mut Vec<DomEdit<'bump>>,
|
|
|
|
- dom: &'real mut Dom,
|
|
|
|
- components: &'bump SharedArena,
|
|
|
|
- cur_idx: ScopeId,
|
|
|
|
- event_queue: EventQueue,
|
|
|
|
- task_queue: &'bump TaskQueue,
|
|
|
|
|
|
+impl<'r, 'bump> DiffMachine<'r, 'bump> {
|
|
|
|
+ pub(crate) fn new(
|
|
|
|
+ edits: Mutations<'bump>,
|
|
|
|
+ cur_scope: ScopeId,
|
|
|
|
+ shared: &'bump SharedResources,
|
|
) -> Self {
|
|
) -> Self {
|
|
Self {
|
|
Self {
|
|
- edits: DomEditor::new(edits),
|
|
|
|
- components,
|
|
|
|
- dom,
|
|
|
|
- cur_idxs: smallvec![cur_idx],
|
|
|
|
- event_queue,
|
|
|
|
- task_queue,
|
|
|
|
|
|
+ edits,
|
|
|
|
+ scope_stack: smallvec![cur_scope],
|
|
|
|
+ vdom: shared,
|
|
diffed: FxHashSet::default(),
|
|
diffed: FxHashSet::default(),
|
|
- seen_nodes: FxHashSet::default(),
|
|
|
|
|
|
+ seen_scopes: FxHashSet::default(),
|
|
|
|
+ _r: PhantomData,
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
|
|
|
|
+ /// Allows the creation of a diff machine without the concept of scopes or a virtualdom
|
|
|
|
+ /// this is mostly useful for testing
|
|
|
|
+ ///
|
|
|
|
+ /// This will PANIC if any component elements are passed in.
|
|
|
|
+ pub fn new_headless(shared: &'bump SharedResources) -> Self {
|
|
|
|
+ Self {
|
|
|
|
+ edits: Mutations { edits: Vec::new() },
|
|
|
|
+ scope_stack: smallvec![ScopeId(0)],
|
|
|
|
+ vdom: shared,
|
|
|
|
+ diffed: FxHashSet::default(),
|
|
|
|
+ seen_scopes: FxHashSet::default(),
|
|
|
|
+ _r: PhantomData,
|
|
|
|
+ }
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ //
|
|
|
|
+ pub fn diff_scope(&mut self, id: ScopeId) -> Result<()> {
|
|
|
|
+ let component = self.get_scope_mut(&id).ok_or_else(|| Error::NotMounted)?;
|
|
|
|
+ let (old, new) = (component.frames.wip_head(), component.frames.fin_head());
|
|
|
|
+ self.diff_node(old, new);
|
|
|
|
+ Ok(())
|
|
|
|
+ }
|
|
|
|
+
|
|
// Diff the `old` node with the `new` node. Emits instructions to modify a
|
|
// Diff the `old` node with the `new` node. Emits instructions to modify a
|
|
// physical DOM node that reflects `old` into something that reflects `new`.
|
|
// physical DOM node that reflects `old` into something that reflects `new`.
|
|
//
|
|
//
|
|
@@ -117,93 +139,152 @@ where
|
|
// The rsx and html macros strongly discourage dynamic lists not encapsulated by a "Fragment".
|
|
// The rsx and html macros strongly discourage dynamic lists not encapsulated by a "Fragment".
|
|
// So the sane (and fast!) cases are where the virtual structure stays the same and is easily diffable.
|
|
// So the sane (and fast!) cases are where the virtual structure stays the same and is easily diffable.
|
|
(VNodeKind::Text(old), VNodeKind::Text(new)) => {
|
|
(VNodeKind::Text(old), VNodeKind::Text(new)) => {
|
|
- let root = old_node.dom_id.get();
|
|
|
|
|
|
+ let root = old_node.direct_id();
|
|
|
|
+
|
|
if old.text != new.text {
|
|
if old.text != new.text {
|
|
- self.edits.push(root);
|
|
|
|
- log::debug!("Text has changed {}, {}", old.text, new.text);
|
|
|
|
- self.edits.set_text(new.text);
|
|
|
|
- self.edits.pop();
|
|
|
|
|
|
+ self.edit_push_root(root);
|
|
|
|
+ self.edit_set_text(new.text);
|
|
|
|
+ self.edit_pop();
|
|
}
|
|
}
|
|
|
|
|
|
- new_node.dom_id.set(root);
|
|
|
|
|
|
+ new.dom_id.set(Some(root));
|
|
}
|
|
}
|
|
|
|
|
|
(VNodeKind::Element(old), VNodeKind::Element(new)) => {
|
|
(VNodeKind::Element(old), VNodeKind::Element(new)) => {
|
|
|
|
+ let root = old_node.direct_id();
|
|
|
|
+
|
|
// If the element type is completely different, the element needs to be re-rendered completely
|
|
// If the element type is completely different, the element needs to be re-rendered completely
|
|
// This is an optimization React makes due to how users structure their code
|
|
// This is an optimization React makes due to how users structure their code
|
|
//
|
|
//
|
|
- // In Dioxus, this is less likely to occur unless through a fragment
|
|
|
|
- let root = old_node.dom_id.get();
|
|
|
|
|
|
+ // This case is rather rare (typically only in non-keyed lists)
|
|
if new.tag_name != old.tag_name || new.namespace != old.namespace {
|
|
if new.tag_name != old.tag_name || new.namespace != old.namespace {
|
|
- self.edits.push(root);
|
|
|
|
- let meta = self.create(new_node);
|
|
|
|
- self.edits.replace_with(meta.added_to_stack);
|
|
|
|
- self.edits.pop();
|
|
|
|
|
|
+ self.replace_node_with_node(root, old_node, new_node);
|
|
return;
|
|
return;
|
|
}
|
|
}
|
|
|
|
|
|
- new_node.dom_id.set(root);
|
|
|
|
|
|
+ new.dom_id.set(Some(root));
|
|
|
|
+
|
|
|
|
+ // Don't push the root if we don't have to
|
|
|
|
+ let mut has_comitted = false;
|
|
|
|
+ let mut please_commit = |edits: &mut Vec<DomEdit>| {
|
|
|
|
+ if !has_comitted {
|
|
|
|
+ has_comitted = true;
|
|
|
|
+ edits.push(PushRoot { id: root.as_u64() });
|
|
|
|
+ }
|
|
|
|
+ };
|
|
|
|
+
|
|
|
|
+ // Diff Attributes
|
|
|
|
+ //
|
|
|
|
+ // It's extraordinarily rare to have the number/order of attributes change
|
|
|
|
+ // In these cases, we just completely erase the old set and make a new set
|
|
|
|
+ //
|
|
|
|
+ // TODO: take a more efficient path than this
|
|
|
|
+ if old.attributes.len() == new.attributes.len() {
|
|
|
|
+ for (old_attr, new_attr) in old.attributes.iter().zip(new.attributes.iter()) {
|
|
|
|
+ if old_attr.value != new_attr.value {
|
|
|
|
+ please_commit(&mut self.edits.edits);
|
|
|
|
+ self.edit_set_attribute(new_attr);
|
|
|
|
+ }
|
|
|
|
+ }
|
|
|
|
+ } else {
|
|
|
|
+ // TODO: provide some sort of report on how "good" the diffing was
|
|
|
|
+ please_commit(&mut self.edits.edits);
|
|
|
|
+ for attribute in old.attributes {
|
|
|
|
+ self.edit_remove_attribute(attribute);
|
|
|
|
+ }
|
|
|
|
+ for attribute in new.attributes {
|
|
|
|
+ self.edit_set_attribute(attribute)
|
|
|
|
+ }
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ // Diff listeners
|
|
|
|
+ //
|
|
|
|
+ // It's extraordinarily rare to have the number/order of listeners change
|
|
|
|
+ // In the cases where the listeners change, we completely wipe the data attributes and add new ones
|
|
|
|
+ //
|
|
|
|
+ // We also need to make sure that all listeners are properly attached to the parent scope (fix_listener)
|
|
|
|
+ //
|
|
|
|
+ // TODO: take a more efficient path than this
|
|
|
|
+ let cur_scope: ScopeId = self.scope_stack.last().unwrap().clone();
|
|
|
|
+ if old.listeners.len() == new.listeners.len() {
|
|
|
|
+ for (old_l, new_l) in old.listeners.iter().zip(new.listeners.iter()) {
|
|
|
|
+ if old_l.event != new_l.event {
|
|
|
|
+ please_commit(&mut self.edits.edits);
|
|
|
|
+ self.edit_remove_event_listener(old_l.event);
|
|
|
|
+ self.edit_new_event_listener(new_l, cur_scope);
|
|
|
|
+ }
|
|
|
|
+ new_l.mounted_node.set(old_l.mounted_node.get());
|
|
|
|
+ self.fix_listener(new_l);
|
|
|
|
+ }
|
|
|
|
+ } else {
|
|
|
|
+ please_commit(&mut self.edits.edits);
|
|
|
|
+ for listener in old.listeners {
|
|
|
|
+ self.edit_remove_event_listener(listener.event);
|
|
|
|
+ }
|
|
|
|
+ for listener in new.listeners {
|
|
|
|
+ listener.mounted_node.set(Some(root));
|
|
|
|
+ self.edit_new_event_listener(listener, cur_scope);
|
|
|
|
+
|
|
|
|
+ // Make sure the listener gets attached to the scope list
|
|
|
|
+ self.fix_listener(listener);
|
|
|
|
+ }
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ if has_comitted {
|
|
|
|
+ self.edit_pop();
|
|
|
|
+ }
|
|
|
|
|
|
- // push it just in case
|
|
|
|
- // TODO: remove this - it clogs up things and is inefficient
|
|
|
|
- self.edits.push(root);
|
|
|
|
- self.diff_listeners(old.listeners, new.listeners);
|
|
|
|
- self.diff_attr(old.attributes, new.attributes, new.namespace);
|
|
|
|
self.diff_children(old.children, new.children);
|
|
self.diff_children(old.children, new.children);
|
|
- self.edits.pop();
|
|
|
|
}
|
|
}
|
|
|
|
|
|
(VNodeKind::Component(old), VNodeKind::Component(new)) => {
|
|
(VNodeKind::Component(old), VNodeKind::Component(new)) => {
|
|
- log::warn!("diffing components? {:#?}", new.user_fc);
|
|
|
|
|
|
+ let scope_addr = old.ass_scope.get().unwrap();
|
|
|
|
+
|
|
|
|
+ // Make sure we're dealing with the same component (by function pointer)
|
|
if old.user_fc == new.user_fc {
|
|
if old.user_fc == new.user_fc {
|
|
- // Make sure we're dealing with the same component (by function pointer)
|
|
|
|
- self.cur_idxs.push(old.ass_scope.get().unwrap());
|
|
|
|
|
|
+ //
|
|
|
|
+ self.scope_stack.push(scope_addr);
|
|
|
|
|
|
// Make sure the new component vnode is referencing the right scope id
|
|
// Make sure the new component vnode is referencing the right scope id
|
|
- let scope_id = old.ass_scope.get();
|
|
|
|
- new.ass_scope.set(scope_id);
|
|
|
|
|
|
+ new.ass_scope.set(Some(scope_addr));
|
|
|
|
|
|
// make sure the component's caller function is up to date
|
|
// make sure the component's caller function is up to date
|
|
- let scope = self.components.get_mut(scope_id.unwrap()).unwrap();
|
|
|
|
-
|
|
|
|
- scope.caller = new.caller.clone();
|
|
|
|
|
|
+ let scope = self.get_scope_mut(&scope_addr).unwrap();
|
|
|
|
|
|
- // ack - this doesn't work on its own!
|
|
|
|
- scope.update_children(new.children);
|
|
|
|
|
|
+ scope
|
|
|
|
+ .update_scope_dependencies(new.caller.clone(), ScopeChildren(new.children));
|
|
|
|
|
|
// React doesn't automatically memoize, but we do.
|
|
// React doesn't automatically memoize, but we do.
|
|
- let should_render = match old.comparator {
|
|
|
|
- Some(comparator) => comparator(new),
|
|
|
|
- None => true,
|
|
|
|
- };
|
|
|
|
-
|
|
|
|
- if should_render {
|
|
|
|
- scope.run_scope().unwrap();
|
|
|
|
- self.diff_node(scope.old_frame(), scope.next_frame());
|
|
|
|
- } else {
|
|
|
|
- //
|
|
|
|
|
|
+ let compare = old.comparator.unwrap();
|
|
|
|
+
|
|
|
|
+ match compare(new) {
|
|
|
|
+ true => {
|
|
|
|
+ // the props are the same...
|
|
|
|
+ }
|
|
|
|
+ false => {
|
|
|
|
+ // the props are different...
|
|
|
|
+ scope.run_scope().unwrap();
|
|
|
|
+ self.diff_node(scope.frames.wip_head(), scope.frames.fin_head());
|
|
|
|
+ }
|
|
}
|
|
}
|
|
- self.cur_idxs.pop();
|
|
|
|
|
|
|
|
- self.seen_nodes.insert(scope_id.unwrap());
|
|
|
|
|
|
+ self.scope_stack.pop();
|
|
|
|
+
|
|
|
|
+ self.seen_scopes.insert(scope_addr);
|
|
} else {
|
|
} else {
|
|
- // this seems to be a fairy common code path that we could
|
|
|
|
- let mut old_iter = RealChildIterator::new(old_node, &self.components);
|
|
|
|
|
|
+ let mut old_iter = RealChildIterator::new(old_node, &self.vdom);
|
|
let first = old_iter
|
|
let first = old_iter
|
|
.next()
|
|
.next()
|
|
.expect("Components should generate a placeholder root");
|
|
.expect("Components should generate a placeholder root");
|
|
|
|
|
|
// remove any leftovers
|
|
// remove any leftovers
|
|
for to_remove in old_iter {
|
|
for to_remove in old_iter {
|
|
- self.edits.push(to_remove);
|
|
|
|
- self.edits.remove();
|
|
|
|
|
|
+ self.edit_push_root(to_remove.direct_id());
|
|
|
|
+ self.edit_remove();
|
|
}
|
|
}
|
|
|
|
|
|
// seems like we could combine this into a single instruction....
|
|
// seems like we could combine this into a single instruction....
|
|
- self.edits.push(first);
|
|
|
|
- let meta = self.create(new_node);
|
|
|
|
- self.edits.replace_with(meta.added_to_stack);
|
|
|
|
- self.edits.pop();
|
|
|
|
|
|
+ self.replace_node_with_node(first.direct_id(), old_node, new_node);
|
|
|
|
|
|
// Wipe the old one and plant the new one
|
|
// Wipe the old one and plant the new one
|
|
let old_scope = old.ass_scope.get().unwrap();
|
|
let old_scope = old.ass_scope.get().unwrap();
|
|
@@ -219,88 +300,48 @@ where
|
|
return;
|
|
return;
|
|
}
|
|
}
|
|
|
|
|
|
- // Diff using the approach where we're looking for added or removed nodes.
|
|
|
|
- if old.children.len() != new.children.len() {}
|
|
|
|
-
|
|
|
|
- // Diff where we think the elements are the same
|
|
|
|
- if old.children.len() == new.children.len() {}
|
|
|
|
-
|
|
|
|
self.diff_children(old.children, new.children);
|
|
self.diff_children(old.children, new.children);
|
|
}
|
|
}
|
|
|
|
|
|
|
|
+ (VNodeKind::Anchor(old), VNodeKind::Anchor(new)) => {
|
|
|
|
+ new.dom_id.set(old.dom_id.get());
|
|
|
|
+ }
|
|
|
|
+
|
|
// The strategy here is to pick the first possible node from the previous set and use that as our replace with root
|
|
// The strategy here is to pick the first possible node from the previous set and use that as our replace with root
|
|
|
|
+ //
|
|
// We also walk the "real node" list to make sure all latent roots are claened up
|
|
// We also walk the "real node" list to make sure all latent roots are claened up
|
|
// This covers the case any time a fragment or component shows up with pretty much anything else
|
|
// This covers the case any time a fragment or component shows up with pretty much anything else
|
|
|
|
+ //
|
|
|
|
+ // This likely isn't the fastest way to go about replacing one node with a virtual node, but the "insane" cases
|
|
|
|
+ // are pretty rare. IE replacing a list (component or fragment) with a single node.
|
|
(
|
|
(
|
|
VNodeKind::Component(_)
|
|
VNodeKind::Component(_)
|
|
| VNodeKind::Fragment(_)
|
|
| VNodeKind::Fragment(_)
|
|
| VNodeKind::Text(_)
|
|
| VNodeKind::Text(_)
|
|
- | VNodeKind::Element(_),
|
|
|
|
|
|
+ | VNodeKind::Element(_)
|
|
|
|
+ | VNodeKind::Anchor(_),
|
|
VNodeKind::Component(_)
|
|
VNodeKind::Component(_)
|
|
| VNodeKind::Fragment(_)
|
|
| VNodeKind::Fragment(_)
|
|
| VNodeKind::Text(_)
|
|
| VNodeKind::Text(_)
|
|
- | VNodeKind::Element(_),
|
|
|
|
|
|
+ | VNodeKind::Element(_)
|
|
|
|
+ | VNodeKind::Anchor(_),
|
|
) => {
|
|
) => {
|
|
- // Choose the node to use as the placeholder for replacewith
|
|
|
|
- let back_node = match old_node.kind {
|
|
|
|
- // We special case these two types to avoid allocating the small-vecs
|
|
|
|
- VNodeKind::Element(_) | VNodeKind::Text(_) => old_node.dom_id.get(),
|
|
|
|
-
|
|
|
|
- _ => {
|
|
|
|
- let mut old_iter = RealChildIterator::new(old_node, &self.components);
|
|
|
|
-
|
|
|
|
- let back_node = old_iter
|
|
|
|
- .next()
|
|
|
|
- .expect("Empty fragments should generate a placeholder.");
|
|
|
|
-
|
|
|
|
- // remove any leftovers
|
|
|
|
- for to_remove in old_iter {
|
|
|
|
- self.edits.push(to_remove);
|
|
|
|
- self.edits.remove();
|
|
|
|
- }
|
|
|
|
-
|
|
|
|
- back_node
|
|
|
|
- }
|
|
|
|
- };
|
|
|
|
-
|
|
|
|
- // replace the placeholder or first node with the nodes generated from the "new"
|
|
|
|
- self.edits.push(back_node);
|
|
|
|
- let meta = self.create(new_node);
|
|
|
|
- self.edits.replace_with(meta.added_to_stack);
|
|
|
|
-
|
|
|
|
- // todo use the is_static metadata to update this subtree
|
|
|
|
|
|
+ self.replace_and_create_many_with_many([old_node], [new_node]);
|
|
}
|
|
}
|
|
|
|
|
|
// TODO
|
|
// TODO
|
|
- (VNodeKind::Suspended { node }, new) => todo!(),
|
|
|
|
- (old, VNodeKind::Suspended { .. }) => {
|
|
|
|
- // a node that was once real is now suspended
|
|
|
|
|
|
+ (VNodeKind::Suspended(old), new) => {
|
|
//
|
|
//
|
|
|
|
+ self.replace_and_create_many_with_many([old_node], [new_node]);
|
|
|
|
+ }
|
|
|
|
+ // a node that was once real is now suspended
|
|
|
|
+ (old, VNodeKind::Suspended(_)) => {
|
|
|
|
+ //
|
|
|
|
+ self.replace_and_create_many_with_many([old_node], [new_node]);
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|
|
-}
|
|
|
|
-
|
|
|
|
-// When we create new nodes, we need to propagate some information back up the call chain.
|
|
|
|
-// This gives the caller some information on how to handle things like insertins, appending, and subtree discarding.
|
|
|
|
-pub struct CreateMeta {
|
|
|
|
- pub is_static: bool,
|
|
|
|
- pub added_to_stack: u32,
|
|
|
|
-}
|
|
|
|
-
|
|
|
|
-impl CreateMeta {
|
|
|
|
- fn new(is_static: bool, added_to_tack: u32) -> Self {
|
|
|
|
- Self {
|
|
|
|
- is_static,
|
|
|
|
- added_to_stack: added_to_tack,
|
|
|
|
- }
|
|
|
|
- }
|
|
|
|
-}
|
|
|
|
|
|
|
|
-impl<'real, 'bump, Dom> DiffMachine<'real, 'bump, Dom>
|
|
|
|
-where
|
|
|
|
- Dom: RealDom<'bump>,
|
|
|
|
-{
|
|
|
|
// Emit instructions to create the given virtual node.
|
|
// Emit instructions to create the given virtual node.
|
|
//
|
|
//
|
|
// The change list stack may have any shape upon entering this function:
|
|
// The change list stack may have any shape upon entering this function:
|
|
@@ -310,15 +351,22 @@ where
|
|
// When this function returns, the new node is on top of the change list stack:
|
|
// When this function returns, the new node is on top of the change list stack:
|
|
//
|
|
//
|
|
// [... node]
|
|
// [... node]
|
|
- pub fn create(&mut self, node: &'bump VNode<'bump>) -> CreateMeta {
|
|
|
|
- log::warn!("Creating node! ... {:#?}", node);
|
|
|
|
|
|
+ pub fn create_vnode(&mut self, node: &'bump VNode<'bump>) -> CreateMeta {
|
|
match &node.kind {
|
|
match &node.kind {
|
|
VNodeKind::Text(text) => {
|
|
VNodeKind::Text(text) => {
|
|
- let real_id = self.dom.request_available_node();
|
|
|
|
- self.edits.create_text_node(text.text, real_id);
|
|
|
|
- node.dom_id.set(real_id);
|
|
|
|
|
|
+ let real_id = self.vdom.reserve_node();
|
|
|
|
+ self.edit_create_text_node(text.text, real_id);
|
|
|
|
+ text.dom_id.set(Some(real_id));
|
|
CreateMeta::new(text.is_static, 1)
|
|
CreateMeta::new(text.is_static, 1)
|
|
}
|
|
}
|
|
|
|
+
|
|
|
|
+ VNodeKind::Anchor(anchor) => {
|
|
|
|
+ let real_id = self.vdom.reserve_node();
|
|
|
|
+ self.edit_create_placeholder(real_id);
|
|
|
|
+ anchor.dom_id.set(Some(real_id));
|
|
|
|
+ CreateMeta::new(false, 1)
|
|
|
|
+ }
|
|
|
|
+
|
|
VNodeKind::Element(el) => {
|
|
VNodeKind::Element(el) => {
|
|
// we have the potential to completely eliminate working on this node in the future(!)
|
|
// we have the potential to completely eliminate working on this node in the future(!)
|
|
//
|
|
//
|
|
@@ -336,22 +384,19 @@ where
|
|
static_attrs: _,
|
|
static_attrs: _,
|
|
static_children: _,
|
|
static_children: _,
|
|
static_listeners: _,
|
|
static_listeners: _,
|
|
|
|
+ dom_id,
|
|
} = el;
|
|
} = el;
|
|
|
|
|
|
- let real_id = self.dom.request_available_node();
|
|
|
|
- if let Some(namespace) = namespace {
|
|
|
|
- self.edits
|
|
|
|
- .create_element(tag_name, Some(namespace), real_id)
|
|
|
|
- } else {
|
|
|
|
- self.edits.create_element(tag_name, None, real_id)
|
|
|
|
- };
|
|
|
|
- node.dom_id.set(real_id);
|
|
|
|
|
|
+ let real_id = self.vdom.reserve_node();
|
|
|
|
+ self.edit_create_element(tag_name, *namespace, real_id);
|
|
|
|
+ dom_id.set(Some(real_id));
|
|
|
|
|
|
- listeners.iter().enumerate().for_each(|(idx, listener)| {
|
|
|
|
- log::info!("setting listener id to {:#?}", real_id);
|
|
|
|
- listener.mounted_node.set(real_id);
|
|
|
|
- self.edits
|
|
|
|
- .new_event_listener(listener.event, listener.scope, idx, real_id);
|
|
|
|
|
|
+ let cur_scope = self.current_scope().unwrap();
|
|
|
|
+
|
|
|
|
+ listeners.iter().for_each(|listener| {
|
|
|
|
+ self.fix_listener(listener);
|
|
|
|
+ listener.mounted_node.set(Some(real_id));
|
|
|
|
+ self.edit_new_event_listener(listener, cur_scope.clone());
|
|
|
|
|
|
// if the node has an event listener, then it must be visited ?
|
|
// if the node has an event listener, then it must be visited ?
|
|
is_static = false;
|
|
is_static = false;
|
|
@@ -359,8 +404,7 @@ where
|
|
|
|
|
|
for attr in *attributes {
|
|
for attr in *attributes {
|
|
is_static = is_static && attr.is_static;
|
|
is_static = is_static && attr.is_static;
|
|
- self.edits
|
|
|
|
- .set_attribute(&attr.name, &attr.value, *namespace);
|
|
|
|
|
|
+ self.edit_set_attribute(attr);
|
|
}
|
|
}
|
|
|
|
|
|
// Fast path: if there is a single text child, it is faster to
|
|
// Fast path: if there is a single text child, it is faster to
|
|
@@ -375,85 +419,88 @@ where
|
|
// TODO move over
|
|
// TODO move over
|
|
// if children.len() == 1 {
|
|
// if children.len() == 1 {
|
|
// if let VNodeKind::Text(text) = &children[0].kind {
|
|
// if let VNodeKind::Text(text) = &children[0].kind {
|
|
- // self.edits.set_text(text.text);
|
|
|
|
|
|
+ // self.set_text(text.text);
|
|
// return CreateMeta::new(is_static, 1);
|
|
// return CreateMeta::new(is_static, 1);
|
|
// }
|
|
// }
|
|
// }
|
|
// }
|
|
|
|
|
|
for child in *children {
|
|
for child in *children {
|
|
- let child_meta = self.create(child);
|
|
|
|
|
|
+ let child_meta = self.create_vnode(child);
|
|
is_static = is_static && child_meta.is_static;
|
|
is_static = is_static && child_meta.is_static;
|
|
|
|
|
|
// append whatever children were generated by this call
|
|
// append whatever children were generated by this call
|
|
- self.edits.append_children(child_meta.added_to_stack);
|
|
|
|
|
|
+ self.edit_append_children(child_meta.added_to_stack);
|
|
}
|
|
}
|
|
|
|
|
|
- // if is_static {
|
|
|
|
- // log::debug!("created a static node {:#?}", node);
|
|
|
|
- // } else {
|
|
|
|
- // log::debug!("created a dynamic node {:#?}", node);
|
|
|
|
- // }
|
|
|
|
-
|
|
|
|
- // el_is_static.set(is_static);
|
|
|
|
CreateMeta::new(is_static, 1)
|
|
CreateMeta::new(is_static, 1)
|
|
}
|
|
}
|
|
|
|
|
|
VNodeKind::Component(vcomponent) => {
|
|
VNodeKind::Component(vcomponent) => {
|
|
- log::debug!("Mounting a new component");
|
|
|
|
let caller = vcomponent.caller.clone();
|
|
let caller = vcomponent.caller.clone();
|
|
|
|
|
|
- let parent_idx = self.cur_idxs.last().unwrap().clone();
|
|
|
|
|
|
+ let parent_idx = self.scope_stack.last().unwrap().clone();
|
|
|
|
|
|
// Insert a new scope into our component list
|
|
// Insert a new scope into our component list
|
|
- let new_idx = self
|
|
|
|
- .components
|
|
|
|
- .with(|components| {
|
|
|
|
- components.insert_with_key(|new_idx| {
|
|
|
|
- let parent_scope = self.components.get(parent_idx).unwrap();
|
|
|
|
- let height = parent_scope.height + 1;
|
|
|
|
- Scope::new(
|
|
|
|
- caller,
|
|
|
|
- new_idx,
|
|
|
|
- Some(parent_idx),
|
|
|
|
- height,
|
|
|
|
- self.event_queue.new_channel(height, new_idx),
|
|
|
|
- self.components.clone(),
|
|
|
|
- vcomponent.children,
|
|
|
|
- self.task_queue.new_submitter(),
|
|
|
|
- )
|
|
|
|
- })
|
|
|
|
- })
|
|
|
|
- .unwrap();
|
|
|
|
-
|
|
|
|
- // This code is supposed to insert the new idx into the parent's descendent list, but it doesn't really work.
|
|
|
|
- // This is mostly used for cleanup - to remove old scopes when components are destroyed.
|
|
|
|
- // TODO
|
|
|
|
- //
|
|
|
|
- // self.components
|
|
|
|
- // .try_get_mut(idx)
|
|
|
|
- // .unwrap()
|
|
|
|
- // .descendents
|
|
|
|
- // .borrow_mut()
|
|
|
|
- // .insert(idx);
|
|
|
|
-
|
|
|
|
- // TODO: abstract this unsafe into the arena abstraction
|
|
|
|
- let inner: &'bump mut _ = unsafe { &mut *self.components.components.get() };
|
|
|
|
- let new_component = inner.get_mut(new_idx).unwrap();
|
|
|
|
|
|
+ let new_idx = self.vdom.insert_scope_with_key(|new_idx| {
|
|
|
|
+ let parent_scope = self.get_scope(&parent_idx).unwrap();
|
|
|
|
+ let height = parent_scope.height + 1;
|
|
|
|
+ Scope::new(
|
|
|
|
+ caller,
|
|
|
|
+ new_idx,
|
|
|
|
+ Some(parent_idx),
|
|
|
|
+ height,
|
|
|
|
+ ScopeChildren(vcomponent.children),
|
|
|
|
+ self.vdom.clone(),
|
|
|
|
+ )
|
|
|
|
+ });
|
|
|
|
|
|
// Actually initialize the caller's slot with the right address
|
|
// Actually initialize the caller's slot with the right address
|
|
vcomponent.ass_scope.set(Some(new_idx));
|
|
vcomponent.ass_scope.set(Some(new_idx));
|
|
|
|
|
|
|
|
+ if !vcomponent.can_memoize {
|
|
|
|
+ let cur_scope = self.get_scope_mut(&parent_idx).unwrap();
|
|
|
|
+ let extended = *vcomponent as *const VComponent;
|
|
|
|
+ let extended: *const VComponent<'static> =
|
|
|
|
+ unsafe { std::mem::transmute(extended) };
|
|
|
|
+ cur_scope.borrowed_props.borrow_mut().push(extended);
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ // TODO:
|
|
|
|
+ // add noderefs to current noderef list Noderefs
|
|
|
|
+ // add effects to current effect list Effects
|
|
|
|
+
|
|
|
|
+ let new_component = self.get_scope_mut(&new_idx).unwrap();
|
|
|
|
+
|
|
// Run the scope for one iteration to initialize it
|
|
// Run the scope for one iteration to initialize it
|
|
- new_component.run_scope().unwrap();
|
|
|
|
|
|
+ match new_component.run_scope() {
|
|
|
|
+ Ok(_) => {
|
|
|
|
+ // all good, new nodes exist
|
|
|
|
+ }
|
|
|
|
+ Err(err) => {
|
|
|
|
+ // failed to run. this is the first time the component ran, and it failed
|
|
|
|
+ // we manually set its head node to an empty fragment
|
|
|
|
+ panic!("failing components not yet implemented");
|
|
|
|
+ }
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ // Take the node that was just generated from running the component
|
|
|
|
+ let nextnode = new_component.frames.fin_head();
|
|
|
|
|
|
- // TODO: we need to delete (IE relcaim this node, otherwise the arena will grow infinitely)
|
|
|
|
- let nextnode = new_component.next_frame();
|
|
|
|
- self.cur_idxs.push(new_idx);
|
|
|
|
- let meta = self.create(nextnode);
|
|
|
|
- self.cur_idxs.pop();
|
|
|
|
|
|
+ // Push the new scope onto the stack
|
|
|
|
+ self.scope_stack.push(new_idx);
|
|
|
|
|
|
- // Finally, insert this node as a seen node.
|
|
|
|
- self.seen_nodes.insert(new_idx);
|
|
|
|
|
|
+ // Run the creation algorithm with this scope on the stack
|
|
|
|
+ let meta = self.create_vnode(nextnode);
|
|
|
|
+
|
|
|
|
+ // pop the scope off the stack
|
|
|
|
+ self.scope_stack.pop();
|
|
|
|
+
|
|
|
|
+ if meta.added_to_stack == 0 {
|
|
|
|
+ panic!("Components should *always* generate nodes - even if they fail");
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ // Finally, insert this scope as a seen node.
|
|
|
|
+ self.seen_scopes.insert(new_idx);
|
|
|
|
|
|
CreateMeta::new(vcomponent.is_static, meta.added_to_stack)
|
|
CreateMeta::new(vcomponent.is_static, meta.added_to_stack)
|
|
}
|
|
}
|
|
@@ -461,33 +508,34 @@ where
|
|
// Fragments are the only nodes that can contain dynamic content (IE through curlies or iterators).
|
|
// Fragments are the only nodes that can contain dynamic content (IE through curlies or iterators).
|
|
// We can never ignore their contents, so the prescence of a fragment indicates that we need always diff them.
|
|
// We can never ignore their contents, so the prescence of a fragment indicates that we need always diff them.
|
|
// Fragments will just put all their nodes onto the stack after creation
|
|
// Fragments will just put all their nodes onto the stack after creation
|
|
- VNodeKind::Fragment(frag) => {
|
|
|
|
- let mut nodes_added = 0;
|
|
|
|
- for child in frag.children.iter().rev() {
|
|
|
|
- // different types of nodes will generate different amounts on the stack
|
|
|
|
- // nested fragments will spew a ton of nodes onto the stack
|
|
|
|
- // TODO: make sure that our order (.rev) makes sense in a nested situation
|
|
|
|
- let new_meta = self.create(child);
|
|
|
|
- nodes_added += new_meta.added_to_stack;
|
|
|
|
- }
|
|
|
|
- log::info!("This fragment added {} nodes to the stack", nodes_added);
|
|
|
|
-
|
|
|
|
- // Never ignore
|
|
|
|
- CreateMeta::new(false, nodes_added)
|
|
|
|
- }
|
|
|
|
|
|
+ VNodeKind::Fragment(frag) => self.create_children(frag.children),
|
|
|
|
|
|
- VNodeKind::Suspended { node: real_node } => {
|
|
|
|
- let id = self.dom.request_available_node();
|
|
|
|
- self.edits.create_placeholder(id);
|
|
|
|
- node.dom_id.set(id);
|
|
|
|
- real_node.set(id);
|
|
|
|
|
|
+ VNodeKind::Suspended(VSuspended { node: real_node }) => {
|
|
|
|
+ let id = self.vdom.reserve_node();
|
|
|
|
+ self.edit_create_placeholder(id);
|
|
|
|
+ real_node.set(Some(id));
|
|
CreateMeta::new(false, 1)
|
|
CreateMeta::new(false, 1)
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|
|
-}
|
|
|
|
|
|
|
|
-impl<'a, 'bump, Dom: RealDom<'bump>> DiffMachine<'a, 'bump, Dom> {
|
|
|
|
|
|
+ fn create_children(&mut self, children: &'bump [VNode<'bump>]) -> CreateMeta {
|
|
|
|
+ let mut is_static = true;
|
|
|
|
+ let mut added_to_stack = 0;
|
|
|
|
+
|
|
|
|
+ // add them backwards
|
|
|
|
+ for child in children.iter().rev() {
|
|
|
|
+ let child_meta = self.create_vnode(child);
|
|
|
|
+ is_static = is_static && child_meta.is_static;
|
|
|
|
+ added_to_stack += child_meta.added_to_stack;
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ CreateMeta {
|
|
|
|
+ is_static,
|
|
|
|
+ added_to_stack,
|
|
|
|
+ }
|
|
|
|
+ }
|
|
|
|
+
|
|
/// Destroy a scope and all of its descendents.
|
|
/// Destroy a scope and all of its descendents.
|
|
///
|
|
///
|
|
/// Calling this will run the destuctors on all hooks in the tree.
|
|
/// Calling this will run the destuctors on all hooks in the tree.
|
|
@@ -499,8 +547,8 @@ impl<'a, 'bump, Dom: RealDom<'bump>> DiffMachine<'a, 'bump, Dom> {
|
|
// explore the scope tree breadth first
|
|
// explore the scope tree breadth first
|
|
while let Some(scope_id) = scopes_to_explore.pop() {
|
|
while let Some(scope_id) = scopes_to_explore.pop() {
|
|
// If we're planning on deleting this node, then we don't need to both rendering it
|
|
// If we're planning on deleting this node, then we don't need to both rendering it
|
|
- self.seen_nodes.insert(scope_id);
|
|
|
|
- let scope = self.components.get(scope_id).unwrap();
|
|
|
|
|
|
+ self.seen_scopes.insert(scope_id);
|
|
|
|
+ let scope = self.get_scope(&scope_id).unwrap();
|
|
for child in scope.descendents.borrow().iter() {
|
|
for child in scope.descendents.borrow().iter() {
|
|
// Add this node to be explored
|
|
// Add this node to be explored
|
|
scopes_to_explore.push(child.clone());
|
|
scopes_to_explore.push(child.clone());
|
|
@@ -513,118 +561,13 @@ impl<'a, 'bump, Dom: RealDom<'bump>> DiffMachine<'a, 'bump, Dom> {
|
|
// Delete all scopes that we found as part of this subtree
|
|
// Delete all scopes that we found as part of this subtree
|
|
for node in nodes_to_delete {
|
|
for node in nodes_to_delete {
|
|
log::debug!("Removing scope {:#?}", node);
|
|
log::debug!("Removing scope {:#?}", node);
|
|
- let _scope = self.components.try_remove(node).unwrap();
|
|
|
|
|
|
+ let _scope = self.vdom.try_remove(node).unwrap();
|
|
// do anything we need to do to delete the scope
|
|
// do anything we need to do to delete the scope
|
|
// I think we need to run the destructors on the hooks
|
|
// I think we need to run the destructors on the hooks
|
|
// TODO
|
|
// TODO
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
|
|
- // Diff event listeners between `old` and `new`.
|
|
|
|
- //
|
|
|
|
- // The listeners' node must be on top of the change list stack:
|
|
|
|
- //
|
|
|
|
- // [... node]
|
|
|
|
- //
|
|
|
|
- // The change list stack is left unchanged.
|
|
|
|
- fn diff_listeners(&mut self, old: &[Listener<'_>], new: &[Listener<'_>]) {
|
|
|
|
- if !old.is_empty() || !new.is_empty() {
|
|
|
|
- // self.edits.commit_traversal();
|
|
|
|
- }
|
|
|
|
- // TODO
|
|
|
|
- // what does "diffing listeners" even mean?
|
|
|
|
-
|
|
|
|
- 'outer1: for (_l_idx, new_l) in new.iter().enumerate() {
|
|
|
|
- // go through each new listener
|
|
|
|
- // find its corresponding partner in the old list
|
|
|
|
- // if any characteristics changed, remove and then re-add
|
|
|
|
-
|
|
|
|
- // if nothing changed, then just move on
|
|
|
|
- let _event_type = new_l.event;
|
|
|
|
-
|
|
|
|
- for old_l in old {
|
|
|
|
- if new_l.event == old_l.event {
|
|
|
|
- new_l.mounted_node.set(old_l.mounted_node.get());
|
|
|
|
- // if new_l.id != old_l.id {
|
|
|
|
- // self.edits.remove_event_listener(event_type);
|
|
|
|
- // // TODO! we need to mess with events and assign them by RealDomNode
|
|
|
|
- // // self.edits
|
|
|
|
- // // .update_event_listener(event_type, new_l.scope, new_l.id)
|
|
|
|
- // }
|
|
|
|
-
|
|
|
|
- continue 'outer1;
|
|
|
|
- }
|
|
|
|
- }
|
|
|
|
-
|
|
|
|
- // self.edits
|
|
|
|
- // .new_event_listener(event_type, new_l.scope, new_l.id);
|
|
|
|
- }
|
|
|
|
-
|
|
|
|
- // 'outer2: for old_l in old {
|
|
|
|
- // for new_l in new {
|
|
|
|
- // if new_l.event == old_l.event {
|
|
|
|
- // continue 'outer2;
|
|
|
|
- // }
|
|
|
|
- // }
|
|
|
|
- // self.edits.remove_event_listener(old_l.event);
|
|
|
|
- // }
|
|
|
|
- }
|
|
|
|
-
|
|
|
|
- // Diff a node's attributes.
|
|
|
|
- //
|
|
|
|
- // The attributes' node must be on top of the change list stack:
|
|
|
|
- //
|
|
|
|
- // [... node]
|
|
|
|
- //
|
|
|
|
- // The change list stack is left unchanged.
|
|
|
|
- fn diff_attr(
|
|
|
|
- &mut self,
|
|
|
|
- old: &'bump [Attribute<'bump>],
|
|
|
|
- new: &'bump [Attribute<'bump>],
|
|
|
|
- namespace: Option<&'static str>,
|
|
|
|
- ) {
|
|
|
|
- // Do O(n^2) passes to add/update and remove attributes, since
|
|
|
|
- // there are almost always very few attributes.
|
|
|
|
- //
|
|
|
|
- // The "fast" path is when the list of attributes name is identical and in the same order
|
|
|
|
- // With the Rsx and Html macros, this will almost always be the case
|
|
|
|
- 'outer: for new_attr in new {
|
|
|
|
- if new_attr.is_volatile {
|
|
|
|
- // self.edits.commit_traversal();
|
|
|
|
- self.edits
|
|
|
|
- .set_attribute(new_attr.name, new_attr.value, namespace);
|
|
|
|
- } else {
|
|
|
|
- for old_attr in old {
|
|
|
|
- if old_attr.name == new_attr.name {
|
|
|
|
- if old_attr.value != new_attr.value {
|
|
|
|
- // self.edits.commit_traversal();
|
|
|
|
- self.edits
|
|
|
|
- .set_attribute(new_attr.name, new_attr.value, namespace);
|
|
|
|
- }
|
|
|
|
- continue 'outer;
|
|
|
|
- } else {
|
|
|
|
- // names are different, a varying order of attributes has arrived
|
|
|
|
- }
|
|
|
|
- }
|
|
|
|
-
|
|
|
|
- // self.edits.commit_traversal();
|
|
|
|
- self.edits
|
|
|
|
- .set_attribute(new_attr.name, new_attr.value, namespace);
|
|
|
|
- }
|
|
|
|
- }
|
|
|
|
-
|
|
|
|
- 'outer2: for old_attr in old {
|
|
|
|
- for new_attr in new {
|
|
|
|
- if old_attr.name == new_attr.name {
|
|
|
|
- continue 'outer2;
|
|
|
|
- }
|
|
|
|
- }
|
|
|
|
-
|
|
|
|
- // self.edits.commit_traversal();
|
|
|
|
- self.edits.remove_attribute(old_attr.name);
|
|
|
|
- }
|
|
|
|
- }
|
|
|
|
-
|
|
|
|
// Diff the given set of old and new children.
|
|
// Diff the given set of old and new children.
|
|
//
|
|
//
|
|
// The parent must be on top of the change list stack when this function is
|
|
// The parent must be on top of the change list stack when this function is
|
|
@@ -633,65 +576,80 @@ impl<'a, 'bump, Dom: RealDom<'bump>> DiffMachine<'a, 'bump, Dom> {
|
|
// [... parent]
|
|
// [... parent]
|
|
//
|
|
//
|
|
// the change list stack is in the same state when this function returns.
|
|
// the change list stack is in the same state when this function returns.
|
|
|
|
+ //
|
|
|
|
+ // If old no anchors are provided, then it's assumed that we can freely append to the parent.
|
|
|
|
+ //
|
|
|
|
+ // Remember, non-empty lists does not mean that there are real elements, just that there are virtual elements.
|
|
fn diff_children(&mut self, old: &'bump [VNode<'bump>], new: &'bump [VNode<'bump>]) {
|
|
fn diff_children(&mut self, old: &'bump [VNode<'bump>], new: &'bump [VNode<'bump>]) {
|
|
- if new.is_empty() {
|
|
|
|
- if !old.is_empty() {
|
|
|
|
- // self.edits.commit_traversal();
|
|
|
|
- self.remove_all_children(old);
|
|
|
|
- }
|
|
|
|
- return;
|
|
|
|
- }
|
|
|
|
|
|
+ const IS_EMPTY: bool = true;
|
|
|
|
+ const IS_NOT_EMPTY: bool = false;
|
|
|
|
|
|
- if new.len() == 1 {
|
|
|
|
- match (&old.first(), &new[0]) {
|
|
|
|
- // (Some(VNodeKind::Text(old_vtext)), VNodeKind::Text(new_vtext))
|
|
|
|
- // if old_vtext.text == new_vtext.text =>
|
|
|
|
- // {
|
|
|
|
- // // Don't take this fast path...
|
|
|
|
- // }
|
|
|
|
|
|
+ match (old.is_empty(), new.is_empty()) {
|
|
|
|
+ (IS_EMPTY, IS_EMPTY) => {}
|
|
|
|
|
|
- // (_, VNodeKind::Text(text)) => {
|
|
|
|
- // // self.edits.commit_traversal();
|
|
|
|
- // log::debug!("using optimized text set");
|
|
|
|
- // self.edits.set_text(text.text);
|
|
|
|
- // return;
|
|
|
|
- // }
|
|
|
|
-
|
|
|
|
- // todo: any more optimizations
|
|
|
|
- (_, _) => {}
|
|
|
|
|
|
+ // Completely adding new nodes, removing any placeholder if it exists
|
|
|
|
+ (IS_EMPTY, IS_NOT_EMPTY) => {
|
|
|
|
+ let meta = self.create_children(new);
|
|
|
|
+ self.edit_append_children(meta.added_to_stack);
|
|
}
|
|
}
|
|
- }
|
|
|
|
|
|
|
|
- if old.is_empty() {
|
|
|
|
- if !new.is_empty() {
|
|
|
|
- // self.edits.commit_traversal();
|
|
|
|
- self.create_and_append_children(new);
|
|
|
|
|
|
+ // Completely removing old nodes and putting an anchor in its place
|
|
|
|
+ // no anchor (old has nodes) and the new is empty
|
|
|
|
+ // remove all the old nodes
|
|
|
|
+ (IS_NOT_EMPTY, IS_EMPTY) => {
|
|
|
|
+ for node in old {
|
|
|
|
+ self.remove_vnode(node);
|
|
|
|
+ }
|
|
}
|
|
}
|
|
- return;
|
|
|
|
- }
|
|
|
|
|
|
|
|
- let new_is_keyed = new[0].key.is_some();
|
|
|
|
- let old_is_keyed = old[0].key.is_some();
|
|
|
|
|
|
+ (IS_NOT_EMPTY, IS_NOT_EMPTY) => {
|
|
|
|
+ let first_old = &old[0];
|
|
|
|
+ let first_new = &new[0];
|
|
|
|
|
|
- debug_assert!(
|
|
|
|
- new.iter().all(|n| n.key.is_some() == new_is_keyed),
|
|
|
|
- "all siblings must be keyed or all siblings must be non-keyed"
|
|
|
|
- );
|
|
|
|
- debug_assert!(
|
|
|
|
- old.iter().all(|o| o.key.is_some() == old_is_keyed),
|
|
|
|
- "all siblings must be keyed or all siblings must be non-keyed"
|
|
|
|
- );
|
|
|
|
|
|
+ match (&first_old.kind, &first_new.kind) {
|
|
|
|
+ // Anchors can only appear in empty fragments
|
|
|
|
+ (VNodeKind::Anchor(old_anchor), VNodeKind::Anchor(new_anchor)) => {
|
|
|
|
+ old_anchor.dom_id.set(new_anchor.dom_id.get());
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ // Replace the anchor with whatever new nodes are coming down the pipe
|
|
|
|
+ (VNodeKind::Anchor(anchor), _) => {
|
|
|
|
+ self.edit_push_root(anchor.dom_id.get().unwrap());
|
|
|
|
+ let mut added = 0;
|
|
|
|
+ for el in new {
|
|
|
|
+ let meta = self.create_vnode(el);
|
|
|
|
+ added += meta.added_to_stack;
|
|
|
|
+ }
|
|
|
|
+ self.edit_replace_with(1, added);
|
|
|
|
+ }
|
|
|
|
|
|
- if new_is_keyed && old_is_keyed {
|
|
|
|
- log::warn!("using the wrong approach");
|
|
|
|
- self.diff_non_keyed_children(old, new);
|
|
|
|
- // todo!("Not yet implemented a migration away from temporaries");
|
|
|
|
- // let t = self.edits.next_temporary();
|
|
|
|
- // self.diff_keyed_children(old, new);
|
|
|
|
- // self.edits.set_next_temporary(t);
|
|
|
|
- } else {
|
|
|
|
- // log::debug!("diffing non keyed children");
|
|
|
|
- self.diff_non_keyed_children(old, new);
|
|
|
|
|
|
+ // Replace whatever nodes are sitting there with the anchor
|
|
|
|
+ (_, VNodeKind::Anchor(anchor)) => {
|
|
|
|
+ self.replace_and_create_many_with_many(old, [first_new]);
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ // Use the complex diff algorithm to diff the nodes
|
|
|
|
+ _ => {
|
|
|
|
+ let new_is_keyed = new[0].key.is_some();
|
|
|
|
+ let old_is_keyed = old[0].key.is_some();
|
|
|
|
+
|
|
|
|
+ debug_assert!(
|
|
|
|
+ new.iter().all(|n| n.key.is_some() == new_is_keyed),
|
|
|
|
+ "all siblings must be keyed or all siblings must be non-keyed"
|
|
|
|
+ );
|
|
|
|
+ debug_assert!(
|
|
|
|
+ old.iter().all(|o| o.key.is_some() == old_is_keyed),
|
|
|
|
+ "all siblings must be keyed or all siblings must be non-keyed"
|
|
|
|
+ );
|
|
|
|
+
|
|
|
|
+ if new_is_keyed && old_is_keyed {
|
|
|
|
+ self.diff_keyed_children(old, new);
|
|
|
|
+ } else {
|
|
|
|
+ self.diff_non_keyed_children(old, new);
|
|
|
|
+ }
|
|
|
|
+ }
|
|
|
|
+ }
|
|
|
|
+ }
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
|
|
@@ -710,14 +668,8 @@ impl<'a, 'bump, Dom: RealDom<'bump>> DiffMachine<'a, 'bump, Dom> {
|
|
//
|
|
//
|
|
// https://github.com/infernojs/inferno/blob/36fd96/packages/inferno/src/DOM/patching.ts#L530-L739
|
|
// https://github.com/infernojs/inferno/blob/36fd96/packages/inferno/src/DOM/patching.ts#L530-L739
|
|
//
|
|
//
|
|
- // When entering this function, the parent must be on top of the change list
|
|
|
|
- // stack:
|
|
|
|
- //
|
|
|
|
- // [... parent]
|
|
|
|
- //
|
|
|
|
- // Upon exiting, the change list stack is in the same state.
|
|
|
|
- fn diff_keyed_children(&self, old: &'bump [VNode<'bump>], new: &'bump [VNode<'bump>]) {
|
|
|
|
- // todo!();
|
|
|
|
|
|
+ // The stack is empty upon entry.
|
|
|
|
+ fn diff_keyed_children(&mut self, old: &'bump [VNode<'bump>], new: &'bump [VNode<'bump>]) {
|
|
if cfg!(debug_assertions) {
|
|
if cfg!(debug_assertions) {
|
|
let mut keys = fxhash::FxHashSet::default();
|
|
let mut keys = fxhash::FxHashSet::default();
|
|
let mut assert_unique_keys = |children: &'bump [VNode<'bump>]| {
|
|
let mut assert_unique_keys = |children: &'bump [VNode<'bump>]| {
|
|
@@ -745,16 +697,13 @@ impl<'a, 'bump, Dom: RealDom<'bump>> DiffMachine<'a, 'bump, Dom> {
|
|
//
|
|
//
|
|
// `shared_prefix_count` is the count of how many nodes at the start of
|
|
// `shared_prefix_count` is the count of how many nodes at the start of
|
|
// `new` and `old` share the same keys.
|
|
// `new` and `old` share the same keys.
|
|
|
|
+ //
|
|
|
|
+ // TODO: just inline this
|
|
let shared_prefix_count = match self.diff_keyed_prefix(old, new) {
|
|
let shared_prefix_count = match self.diff_keyed_prefix(old, new) {
|
|
KeyedPrefixResult::Finished => return,
|
|
KeyedPrefixResult::Finished => return,
|
|
KeyedPrefixResult::MoreWorkToDo(count) => count,
|
|
KeyedPrefixResult::MoreWorkToDo(count) => count,
|
|
};
|
|
};
|
|
|
|
|
|
- match self.diff_keyed_prefix(old, new) {
|
|
|
|
- KeyedPrefixResult::Finished => return,
|
|
|
|
- KeyedPrefixResult::MoreWorkToDo(count) => count,
|
|
|
|
- };
|
|
|
|
-
|
|
|
|
// Next, we find out how many of the nodes at the end of the children have
|
|
// Next, we find out how many of the nodes at the end of the children have
|
|
// the same key. We do _not_ diff them yet, since we want to emit the change
|
|
// the same key. We do _not_ diff them yet, since we want to emit the change
|
|
// list instructions such that they can be applied in a single pass over the
|
|
// list instructions such that they can be applied in a single pass over the
|
|
@@ -795,71 +744,45 @@ impl<'a, 'bump, Dom: RealDom<'bump>> DiffMachine<'a, 'bump, Dom> {
|
|
// Diff the prefix of children in `new` and `old` that share the same keys in
|
|
// Diff the prefix of children in `new` and `old` that share the same keys in
|
|
// the same order.
|
|
// the same order.
|
|
//
|
|
//
|
|
- // Upon entry of this function, the change list stack must be:
|
|
|
|
- //
|
|
|
|
- // [... parent]
|
|
|
|
- //
|
|
|
|
- // Upon exit, the change list stack is the same.
|
|
|
|
|
|
+ // The stack is empty upon entry.
|
|
fn diff_keyed_prefix(
|
|
fn diff_keyed_prefix(
|
|
- &self,
|
|
|
|
- _old: &'bump [VNode<'bump>],
|
|
|
|
- _new: &'bump [VNode<'bump>],
|
|
|
|
|
|
+ &mut self,
|
|
|
|
+ old: &'bump [VNode<'bump>],
|
|
|
|
+ new: &'bump [VNode<'bump>],
|
|
) -> KeyedPrefixResult {
|
|
) -> KeyedPrefixResult {
|
|
- todo!()
|
|
|
|
- // self.edits.go_down();
|
|
|
|
- // let mut shared_prefix_count = 0;
|
|
|
|
-
|
|
|
|
- // for (i, (old, new)) in old.iter().zip(new.iter()).enumerate() {
|
|
|
|
- // if old.key() != new.key() {
|
|
|
|
- // break;
|
|
|
|
- // }
|
|
|
|
-
|
|
|
|
- // self.edits.go_to_sibling(i);
|
|
|
|
|
|
+ let mut shared_prefix_count = 0;
|
|
|
|
|
|
- // self.diff_node(old, new);
|
|
|
|
|
|
+ for (old, new) in old.iter().zip(new.iter()) {
|
|
|
|
+ // abort early if we finally run into nodes with different keys
|
|
|
|
+ if old.key() != new.key() {
|
|
|
|
+ break;
|
|
|
|
+ }
|
|
|
|
+ self.diff_node(old, new);
|
|
|
|
+ shared_prefix_count += 1;
|
|
|
|
+ }
|
|
|
|
|
|
- // shared_prefix_count += 1;
|
|
|
|
- // }
|
|
|
|
|
|
+ // If that was all of the old children, then create and append the remaining
|
|
|
|
+ // new children and we're finished.
|
|
|
|
+ if shared_prefix_count == old.len() {
|
|
|
|
+ // Load the last element
|
|
|
|
+ let last_node = self.find_last_element(new.last().unwrap()).direct_id();
|
|
|
|
+ self.edit_push_root(last_node);
|
|
|
|
|
|
- // // If that was all of the old children, then create and append the remaining
|
|
|
|
- // // new children and we're finished.
|
|
|
|
- // if shared_prefix_count == old.len() {
|
|
|
|
- // self.edits.go_up();
|
|
|
|
- // // self.edits.commit_traversal();
|
|
|
|
- // self.create_and_append_children(&new[shared_prefix_count..]);
|
|
|
|
- // return KeyedPrefixResult::Finished;
|
|
|
|
- // }
|
|
|
|
|
|
+ // Create the new children and insert them after
|
|
|
|
+ let meta = self.create_children(&new[shared_prefix_count..]);
|
|
|
|
+ self.edit_insert_after(meta.added_to_stack);
|
|
|
|
|
|
- // // And if that was all of the new children, then remove all of the remaining
|
|
|
|
- // // old children and we're finished.
|
|
|
|
- // if shared_prefix_count == new.len() {
|
|
|
|
- // self.edits.go_to_sibling(shared_prefix_count);
|
|
|
|
- // // self.edits.commit_traversal();
|
|
|
|
- // self.remove_self_and_next_siblings(&old[shared_prefix_count..]);
|
|
|
|
- // return KeyedPrefixResult::Finished;
|
|
|
|
- // }
|
|
|
|
-
|
|
|
|
- // self.edits.go_up();
|
|
|
|
- // KeyedPrefixResult::MoreWorkToDo(shared_prefix_count)
|
|
|
|
- }
|
|
|
|
|
|
+ return KeyedPrefixResult::Finished;
|
|
|
|
+ }
|
|
|
|
|
|
- // Remove all of a node's children.
|
|
|
|
- //
|
|
|
|
- // The change list stack must have this shape upon entry to this function:
|
|
|
|
- //
|
|
|
|
- // [... parent]
|
|
|
|
- //
|
|
|
|
- // When this function returns, the change list stack is in the same state.
|
|
|
|
- pub fn remove_all_children(&mut self, old: &'bump [VNode<'bump>]) {
|
|
|
|
- // debug_assert!(self.edits.traversal_is_committed());
|
|
|
|
- log::debug!("REMOVING CHILDREN");
|
|
|
|
- for _child in old {
|
|
|
|
- // registry.remove_subtree(child);
|
|
|
|
|
|
+ // And if that was all of the new children, then remove all of the remaining
|
|
|
|
+ // old children and we're finished.
|
|
|
|
+ if shared_prefix_count == new.len() {
|
|
|
|
+ self.remove_children(&old[shared_prefix_count..]);
|
|
|
|
+ return KeyedPrefixResult::Finished;
|
|
}
|
|
}
|
|
- // Fast way to remove all children: set the node's textContent to an empty
|
|
|
|
- // string.
|
|
|
|
- todo!()
|
|
|
|
- // self.edits.set_inner_text("");
|
|
|
|
|
|
+
|
|
|
|
+ KeyedPrefixResult::MoreWorkToDo(shared_prefix_count)
|
|
}
|
|
}
|
|
|
|
|
|
// Create the given children and append them to the parent node.
|
|
// Create the given children and append them to the parent node.
|
|
@@ -871,8 +794,8 @@ impl<'a, 'bump, Dom: RealDom<'bump>> DiffMachine<'a, 'bump, Dom> {
|
|
// When this function returns, the change list stack is in the same state.
|
|
// When this function returns, the change list stack is in the same state.
|
|
pub fn create_and_append_children(&mut self, new: &'bump [VNode<'bump>]) {
|
|
pub fn create_and_append_children(&mut self, new: &'bump [VNode<'bump>]) {
|
|
for child in new {
|
|
for child in new {
|
|
- let meta = self.create(child);
|
|
|
|
- self.edits.append_children(meta.added_to_stack);
|
|
|
|
|
|
+ let meta = self.create_vnode(child);
|
|
|
|
+ self.edit_append_children(meta.added_to_stack);
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
|
|
@@ -884,23 +807,22 @@ impl<'a, 'bump, Dom: RealDom<'bump>> DiffMachine<'a, 'bump, Dom> {
|
|
// this subsequence will remain in place, minimizing the number of DOM moves we
|
|
// this subsequence will remain in place, minimizing the number of DOM moves we
|
|
// will have to do.
|
|
// will have to do.
|
|
//
|
|
//
|
|
- // Upon entry to this function, the change list stack must be:
|
|
|
|
|
|
+ // Upon entry to this function, the change list stack must be empty.
|
|
//
|
|
//
|
|
- // [... parent]
|
|
|
|
|
|
+ // This function will load the appropriate nodes onto the stack and do diffing in place.
|
|
//
|
|
//
|
|
// Upon exit from this function, it will be restored to that same state.
|
|
// Upon exit from this function, it will be restored to that same state.
|
|
fn diff_keyed_middle(
|
|
fn diff_keyed_middle(
|
|
- &self,
|
|
|
|
- _old: &[VNode<'bump>],
|
|
|
|
- _new: &[VNode<'bump>],
|
|
|
|
- _shared_prefix_count: usize,
|
|
|
|
- _shared_suffix_count: usize,
|
|
|
|
- _old_shared_suffix_start: usize,
|
|
|
|
|
|
+ &mut self,
|
|
|
|
+ old: &'bump [VNode<'bump>],
|
|
|
|
+ mut new: &'bump [VNode<'bump>],
|
|
|
|
+ shared_prefix_count: usize,
|
|
|
|
+ shared_suffix_count: usize,
|
|
|
|
+ old_shared_suffix_start: usize,
|
|
) {
|
|
) {
|
|
- todo!()
|
|
|
|
- // // Should have already diffed the shared-key prefixes and suffixes.
|
|
|
|
- // debug_assert_ne!(new.first().map(|n| n.key()), old.first().map(|o| o.key()));
|
|
|
|
- // debug_assert_ne!(new.last().map(|n| n.key()), old.last().map(|o| o.key()));
|
|
|
|
|
|
+ // Should have already diffed the shared-key prefixes and suffixes.
|
|
|
|
+ debug_assert_ne!(new.first().map(|n| n.key()), old.first().map(|o| o.key()));
|
|
|
|
+ debug_assert_ne!(new.last().map(|n| n.key()), old.last().map(|o| o.key()));
|
|
|
|
|
|
// // The algorithm below relies upon using `u32::MAX` as a sentinel
|
|
// // The algorithm below relies upon using `u32::MAX` as a sentinel
|
|
// // value, so if we have that many new nodes, it won't work. This
|
|
// // value, so if we have that many new nodes, it won't work. This
|
|
@@ -909,205 +831,203 @@ impl<'a, 'bump, Dom: RealDom<'bump>> DiffMachine<'a, 'bump, Dom> {
|
|
// // in memory.
|
|
// // in memory.
|
|
// debug_assert!(new.len() < u32::MAX as usize);
|
|
// debug_assert!(new.len() < u32::MAX as usize);
|
|
|
|
|
|
- // // Map from each `old` node's key to its index within `old`.
|
|
|
|
- // let mut old_key_to_old_index = FxHashMap::default();
|
|
|
|
- // old_key_to_old_index.reserve(old.len());
|
|
|
|
- // old_key_to_old_index.extend(old.iter().enumerate().map(|(i, o)| (o.key(), i)));
|
|
|
|
-
|
|
|
|
- // // The set of shared keys between `new` and `old`.
|
|
|
|
- // let mut shared_keys = FxHashSet::default();
|
|
|
|
- // // Map from each index in `new` to the index of the node in `old` that
|
|
|
|
- // // has the same key.
|
|
|
|
- // let mut new_index_to_old_index = Vec::with_capacity(new.len());
|
|
|
|
- // new_index_to_old_index.extend(new.iter().map(|n| {
|
|
|
|
- // let key = n.key();
|
|
|
|
- // if let Some(&i) = old_key_to_old_index.get(&key) {
|
|
|
|
- // shared_keys.insert(key);
|
|
|
|
- // i
|
|
|
|
- // } else {
|
|
|
|
- // u32::MAX as usize
|
|
|
|
- // }
|
|
|
|
- // }));
|
|
|
|
-
|
|
|
|
- // // If none of the old keys are reused by the new children, then we
|
|
|
|
- // // remove all the remaining old children and create the new children
|
|
|
|
- // // afresh.
|
|
|
|
- // if shared_suffix_count == 0 && shared_keys.is_empty() {
|
|
|
|
- // if shared_prefix_count == 0 {
|
|
|
|
- // // self.edits.commit_traversal();
|
|
|
|
- // self.remove_all_children(old);
|
|
|
|
- // } else {
|
|
|
|
- // self.edits.go_down_to_child(shared_prefix_count);
|
|
|
|
- // // self.edits.commit_traversal();
|
|
|
|
- // self.remove_self_and_next_siblings(&old[shared_prefix_count..]);
|
|
|
|
- // }
|
|
|
|
-
|
|
|
|
- // self.create_and_append_children(new);
|
|
|
|
-
|
|
|
|
- // return;
|
|
|
|
- // }
|
|
|
|
|
|
+ // Map from each `old` node's key to its index within `old`.
|
|
|
|
+ // IE if the keys were A B C, then we would have (A, 1) (B, 2) (C, 3).
|
|
|
|
+ let mut old_key_to_old_index = old
|
|
|
|
+ .iter()
|
|
|
|
+ .enumerate()
|
|
|
|
+ .map(|(i, o)| (o.key().unwrap(), i))
|
|
|
|
+ .collect::<FxHashMap<_, _>>();
|
|
|
|
+
|
|
|
|
+ // The set of shared keys between `new` and `old`.
|
|
|
|
+ let mut shared_keys = FxHashSet::default();
|
|
|
|
+ // let mut to_remove = FxHashSet::default();
|
|
|
|
+ let mut to_add = FxHashSet::default();
|
|
|
|
+
|
|
|
|
+ // Map from each index in `new` to the index of the node in `old` that
|
|
|
|
+ // has the same key.
|
|
|
|
+ let mut new_index_to_old_index = new
|
|
|
|
+ .iter()
|
|
|
|
+ .map(|n| {
|
|
|
|
+ let key = n.key().unwrap();
|
|
|
|
+ match old_key_to_old_index.get(&key) {
|
|
|
|
+ Some(&index) => {
|
|
|
|
+ shared_keys.insert(key);
|
|
|
|
+ index
|
|
|
|
+ }
|
|
|
|
+ None => {
|
|
|
|
+ //
|
|
|
|
+ to_add.insert(key);
|
|
|
|
+ u32::MAX as usize
|
|
|
|
+ }
|
|
|
|
+ }
|
|
|
|
+ })
|
|
|
|
+ .collect::<Vec<_>>();
|
|
|
|
|
|
- // // Save each of the old children whose keys are reused in the new
|
|
|
|
- // // children.
|
|
|
|
- // let mut old_index_to_temp = vec![u32::MAX; old.len()];
|
|
|
|
- // let mut start = 0;
|
|
|
|
- // loop {
|
|
|
|
- // let end = (start..old.len())
|
|
|
|
- // .find(|&i| {
|
|
|
|
- // let key = old[i].key();
|
|
|
|
- // !shared_keys.contains(&key)
|
|
|
|
- // })
|
|
|
|
- // .unwrap_or(old.len());
|
|
|
|
-
|
|
|
|
- // if end - start > 0 {
|
|
|
|
- // // self.edits.commit_traversal();
|
|
|
|
- // let mut t = self.edits.save_children_to_temporaries(
|
|
|
|
- // shared_prefix_count + start,
|
|
|
|
- // shared_prefix_count + end,
|
|
|
|
- // );
|
|
|
|
- // for i in start..end {
|
|
|
|
- // old_index_to_temp[i] = t;
|
|
|
|
- // t += 1;
|
|
|
|
- // }
|
|
|
|
- // }
|
|
|
|
|
|
+ dbg!(&shared_keys);
|
|
|
|
+ dbg!(&to_add);
|
|
|
|
|
|
- // debug_assert!(end <= old.len());
|
|
|
|
- // if end == old.len() {
|
|
|
|
- // break;
|
|
|
|
- // } else {
|
|
|
|
- // start = end + 1;
|
|
|
|
- // }
|
|
|
|
- // }
|
|
|
|
|
|
+ // If none of the old keys are reused by the new children, then we
|
|
|
|
+ // remove all the remaining old children and create the new children
|
|
|
|
+ // afresh.
|
|
|
|
+ if shared_suffix_count == 0 && shared_keys.is_empty() {
|
|
|
|
+ self.replace_and_create_many_with_many(old, new);
|
|
|
|
+ return;
|
|
|
|
+ }
|
|
|
|
|
|
// // Remove any old children whose keys were not reused in the new
|
|
// // Remove any old children whose keys were not reused in the new
|
|
// // children. Remove from the end first so that we don't mess up indices.
|
|
// // children. Remove from the end first so that we don't mess up indices.
|
|
- // let mut removed_count = 0;
|
|
|
|
- // for (i, old_child) in old.iter().enumerate().rev() {
|
|
|
|
|
|
+ // for old_child in old.iter().rev() {
|
|
// if !shared_keys.contains(&old_child.key()) {
|
|
// if !shared_keys.contains(&old_child.key()) {
|
|
- // // registry.remove_subtree(old_child);
|
|
|
|
- // // todo
|
|
|
|
- // // self.edits.commit_traversal();
|
|
|
|
- // self.edits.remove_child(i + shared_prefix_count);
|
|
|
|
- // removed_count += 1;
|
|
|
|
|
|
+ // self.remove_child(old_child);
|
|
// }
|
|
// }
|
|
// }
|
|
// }
|
|
|
|
|
|
|
|
+ // let old_keyds = old.iter().map(|f| f.key()).collect::<Vec<_>>();
|
|
|
|
+ // let new_keyds = new.iter().map(|f| f.key()).collect::<Vec<_>>();
|
|
|
|
+ // dbg!(old_keyds);
|
|
|
|
+ // dbg!(new_keyds);
|
|
|
|
+
|
|
// // If there aren't any more new children, then we are done!
|
|
// // If there aren't any more new children, then we are done!
|
|
// if new.is_empty() {
|
|
// if new.is_empty() {
|
|
// return;
|
|
// return;
|
|
// }
|
|
// }
|
|
|
|
|
|
- // // The longest increasing subsequence within `new_index_to_old_index`. This
|
|
|
|
- // // is the longest sequence on DOM nodes in `old` that are relatively ordered
|
|
|
|
- // // correctly within `new`. We will leave these nodes in place in the DOM,
|
|
|
|
- // // and only move nodes that are not part of the LIS. This results in the
|
|
|
|
- // // maximum number of DOM nodes left in place, AKA the minimum number of DOM
|
|
|
|
- // // nodes moved.
|
|
|
|
- // let mut new_index_is_in_lis = FxHashSet::default();
|
|
|
|
- // new_index_is_in_lis.reserve(new_index_to_old_index.len());
|
|
|
|
- // let mut predecessors = vec![0; new_index_to_old_index.len()];
|
|
|
|
- // let mut starts = vec![0; new_index_to_old_index.len()];
|
|
|
|
- // longest_increasing_subsequence::lis_with(
|
|
|
|
- // &new_index_to_old_index,
|
|
|
|
- // &mut new_index_is_in_lis,
|
|
|
|
- // |a, b| a < b,
|
|
|
|
- // &mut predecessors,
|
|
|
|
- // &mut starts,
|
|
|
|
- // );
|
|
|
|
-
|
|
|
|
- // // Now we will iterate from the end of the new children back to the
|
|
|
|
- // // beginning, diffing old children we are reusing and if they aren't in the
|
|
|
|
- // // LIS moving them to their new destination, or creating new children. Note
|
|
|
|
- // // that iterating in reverse order lets us use `Node.prototype.insertBefore`
|
|
|
|
- // // to move/insert children.
|
|
|
|
- // //
|
|
|
|
- // // But first, we ensure that we have a child on the change list stack that
|
|
|
|
- // // we can `insertBefore`. We handle this once before looping over `new`
|
|
|
|
- // // children, so that we don't have to keep checking on every loop iteration.
|
|
|
|
- // if shared_suffix_count > 0 {
|
|
|
|
- // // There is a shared suffix after these middle children. We will be
|
|
|
|
- // // inserting before that shared suffix, so add the first child of that
|
|
|
|
- // // shared suffix to the change list stack.
|
|
|
|
- // //
|
|
|
|
- // // [... parent]
|
|
|
|
- // self.edits
|
|
|
|
- // .go_down_to_child(old_shared_suffix_start - removed_count);
|
|
|
|
- // // [... parent first_child_of_shared_suffix]
|
|
|
|
- // } else {
|
|
|
|
- // // There is no shared suffix coming after these middle children.
|
|
|
|
- // // Therefore we have to process the last child in `new` and move it to
|
|
|
|
- // // the end of the parent's children if it isn't already there.
|
|
|
|
- // let last_index = new.len() - 1;
|
|
|
|
- // // uhhhh why an unwrap?
|
|
|
|
- // let last = new.last().unwrap();
|
|
|
|
- // // let last = new.last().unwrap_throw();
|
|
|
|
- // new = &new[..new.len() - 1];
|
|
|
|
- // if shared_keys.contains(&last.key()) {
|
|
|
|
- // let old_index = new_index_to_old_index[last_index];
|
|
|
|
- // let temp = old_index_to_temp[old_index];
|
|
|
|
- // // [... parent]
|
|
|
|
- // self.edits.go_down_to_temp_child(temp);
|
|
|
|
- // // [... parent last]
|
|
|
|
- // self.diff_node(&old[old_index], last);
|
|
|
|
-
|
|
|
|
- // if new_index_is_in_lis.contains(&last_index) {
|
|
|
|
- // // Don't move it, since it is already where it needs to be.
|
|
|
|
- // } else {
|
|
|
|
- // // self.edits.commit_traversal();
|
|
|
|
- // // [... parent last]
|
|
|
|
- // self.edits.append_child();
|
|
|
|
- // // [... parent]
|
|
|
|
- // self.edits.go_down_to_temp_child(temp);
|
|
|
|
- // // [... parent last]
|
|
|
|
- // }
|
|
|
|
- // } else {
|
|
|
|
- // // self.edits.commit_traversal();
|
|
|
|
- // // [... parent]
|
|
|
|
- // self.create(last);
|
|
|
|
-
|
|
|
|
- // // [... parent last]
|
|
|
|
- // self.edits.append_child();
|
|
|
|
- // // [... parent]
|
|
|
|
- // self.edits.go_down_to_reverse_child(0);
|
|
|
|
- // // [... parent last]
|
|
|
|
- // }
|
|
|
|
- // }
|
|
|
|
|
|
+ // The longest increasing subsequence within `new_index_to_old_index`. This
|
|
|
|
+ // is the longest sequence on DOM nodes in `old` that are relatively ordered
|
|
|
|
+ // correctly within `new`. We will leave these nodes in place in the DOM,
|
|
|
|
+ // and only move nodes that are not part of the LIS. This results in the
|
|
|
|
+ // maximum number of DOM nodes left in place, AKA the minimum number of DOM
|
|
|
|
+ // nodes moved.
|
|
|
|
+ let mut new_index_is_in_lis = FxHashSet::default();
|
|
|
|
+ new_index_is_in_lis.reserve(new_index_to_old_index.len());
|
|
|
|
+
|
|
|
|
+ let mut predecessors = vec![0; new_index_to_old_index.len()];
|
|
|
|
+ let mut starts = vec![0; new_index_to_old_index.len()];
|
|
|
|
+
|
|
|
|
+ longest_increasing_subsequence::lis_with(
|
|
|
|
+ &new_index_to_old_index,
|
|
|
|
+ &mut new_index_is_in_lis,
|
|
|
|
+ |a, b| a < b,
|
|
|
|
+ &mut predecessors,
|
|
|
|
+ &mut starts,
|
|
|
|
+ );
|
|
|
|
|
|
- // for (new_index, new_child) in new.iter().enumerate().rev() {
|
|
|
|
- // let old_index = new_index_to_old_index[new_index];
|
|
|
|
- // if old_index == u32::MAX as usize {
|
|
|
|
- // debug_assert!(!shared_keys.contains(&new_child.key()));
|
|
|
|
- // // self.edits.commit_traversal();
|
|
|
|
- // // [... parent successor]
|
|
|
|
- // self.create(new_child);
|
|
|
|
- // // [... parent successor new_child]
|
|
|
|
- // self.edits.insert_before();
|
|
|
|
- // // [... parent new_child]
|
|
|
|
- // } else {
|
|
|
|
- // debug_assert!(shared_keys.contains(&new_child.key()));
|
|
|
|
- // let temp = old_index_to_temp[old_index];
|
|
|
|
- // debug_assert_ne!(temp, u32::MAX);
|
|
|
|
-
|
|
|
|
- // if new_index_is_in_lis.contains(&new_index) {
|
|
|
|
- // // [... parent successor]
|
|
|
|
- // self.edits.go_to_temp_sibling(temp);
|
|
|
|
- // // [... parent new_child]
|
|
|
|
- // } else {
|
|
|
|
- // // self.edits.commit_traversal();
|
|
|
|
- // // [... parent successor]
|
|
|
|
- // self.edits.push_temporary(temp);
|
|
|
|
- // // [... parent successor new_child]
|
|
|
|
- // self.edits.insert_before();
|
|
|
|
- // // [... parent new_child]
|
|
|
|
- // }
|
|
|
|
-
|
|
|
|
- // self.diff_node(&old[old_index], new_child);
|
|
|
|
- // }
|
|
|
|
- // }
|
|
|
|
|
|
+ dbg!(&new_index_is_in_lis);
|
|
|
|
+ // use the old nodes to navigate the new nodes
|
|
|
|
+
|
|
|
|
+ let mut lis_in_order = new_index_is_in_lis.into_iter().collect::<Vec<_>>();
|
|
|
|
+ lis_in_order.sort_unstable();
|
|
|
|
+
|
|
|
|
+ dbg!(&lis_in_order);
|
|
|
|
|
|
- // // [... parent child]
|
|
|
|
- // self.edits.go_up();
|
|
|
|
- // [... parent]
|
|
|
|
|
|
+ // we walk front to back, creating the head node
|
|
|
|
+
|
|
|
|
+ // diff the shared, in-place nodes first
|
|
|
|
+ // this makes sure we can rely on their first/last nodes being correct later on
|
|
|
|
+ for id in &lis_in_order {
|
|
|
|
+ let new_node = &new[*id];
|
|
|
|
+ let key = new_node.key().unwrap();
|
|
|
|
+ let old_index = old_key_to_old_index.get(&key).unwrap();
|
|
|
|
+ let old_node = &old[*old_index];
|
|
|
|
+ self.diff_node(old_node, new_node);
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ // return the old node from the key
|
|
|
|
+ let load_old_node_from_lsi = |key| -> &VNode {
|
|
|
|
+ let old_index = old_key_to_old_index.get(key).unwrap();
|
|
|
|
+ let old_node = &old[*old_index];
|
|
|
|
+ old_node
|
|
|
|
+ };
|
|
|
|
+
|
|
|
|
+ let mut root = None;
|
|
|
|
+ let mut new_iter = new.iter().enumerate();
|
|
|
|
+ for lis_id in &lis_in_order {
|
|
|
|
+ eprintln!("tracking {:?}", lis_id);
|
|
|
|
+ // this is the next milestone node we are working up to
|
|
|
|
+ let new_anchor = &new[*lis_id];
|
|
|
|
+ root = Some(new_anchor);
|
|
|
|
+
|
|
|
|
+ let anchor_el = self.find_first_element(new_anchor);
|
|
|
|
+ self.edit_push_root(anchor_el.direct_id());
|
|
|
|
+ // let mut pushed = false;
|
|
|
|
+
|
|
|
|
+ 'inner: loop {
|
|
|
|
+ let (next_id, next_new) = new_iter.next().unwrap();
|
|
|
|
+ if next_id == *lis_id {
|
|
|
|
+ // we've reached the milestone, break this loop so we can step to the next milestone
|
|
|
|
+ // remember: we already diffed this node
|
|
|
|
+ eprintln!("breaking {:?}", next_id);
|
|
|
|
+ break 'inner;
|
|
|
|
+ } else {
|
|
|
|
+ let key = next_new.key().unwrap();
|
|
|
|
+ eprintln!("found key {:?}", key);
|
|
|
|
+ if shared_keys.contains(&key) {
|
|
|
|
+ eprintln!("key is contained {:?}", key);
|
|
|
|
+ shared_keys.remove(key);
|
|
|
|
+ // diff the two nodes
|
|
|
|
+ let old_node = load_old_node_from_lsi(key);
|
|
|
|
+ self.diff_node(old_node, next_new);
|
|
|
|
+
|
|
|
|
+ // now move all the nodes into the right spot
|
|
|
|
+ for child in RealChildIterator::new(next_new, self.vdom) {
|
|
|
|
+ let el = child.direct_id();
|
|
|
|
+ self.edit_push_root(el);
|
|
|
|
+ self.edit_insert_before(1);
|
|
|
|
+ }
|
|
|
|
+ } else {
|
|
|
|
+ eprintln!("key is not contained {:?}", key);
|
|
|
|
+ // new node needs to be created
|
|
|
|
+ // insert it before the current milestone
|
|
|
|
+ let meta = self.create_vnode(next_new);
|
|
|
|
+ self.edit_insert_before(meta.added_to_stack);
|
|
|
|
+ }
|
|
|
|
+ }
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ self.edit_pop();
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ let final_lis_node = root.unwrap();
|
|
|
|
+ let final_el_node = self.find_last_element(final_lis_node);
|
|
|
|
+ let final_el = final_el_node.direct_id();
|
|
|
|
+ self.edit_push_root(final_el);
|
|
|
|
+
|
|
|
|
+ let mut last_iter = new.iter().rev().enumerate();
|
|
|
|
+ let last_key = final_lis_node.key().unwrap();
|
|
|
|
+ loop {
|
|
|
|
+ let (last_id, last_node) = last_iter.next().unwrap();
|
|
|
|
+ let key = last_node.key().unwrap();
|
|
|
|
+
|
|
|
|
+ eprintln!("checking final nodes {:?}", key);
|
|
|
|
+
|
|
|
|
+ if last_key == key {
|
|
|
|
+ eprintln!("breaking final nodes");
|
|
|
|
+ break;
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ if shared_keys.contains(&key) {
|
|
|
|
+ eprintln!("key is contained {:?}", key);
|
|
|
|
+ shared_keys.remove(key);
|
|
|
|
+ // diff the two nodes
|
|
|
|
+ let old_node = load_old_node_from_lsi(key);
|
|
|
|
+ self.diff_node(old_node, last_node);
|
|
|
|
+
|
|
|
|
+ // now move all the nodes into the right spot
|
|
|
|
+ for child in RealChildIterator::new(last_node, self.vdom) {
|
|
|
|
+ let el = child.direct_id();
|
|
|
|
+ self.edit_push_root(el);
|
|
|
|
+ self.edit_insert_after(1);
|
|
|
|
+ }
|
|
|
|
+ } else {
|
|
|
|
+ eprintln!("key is not contained {:?}", key);
|
|
|
|
+ // new node needs to be created
|
|
|
|
+ // insert it before the current milestone
|
|
|
|
+ let meta = self.create_vnode(last_node);
|
|
|
|
+ self.edit_insert_after(meta.added_to_stack);
|
|
|
|
+ }
|
|
|
|
+ }
|
|
|
|
+ self.edit_pop();
|
|
}
|
|
}
|
|
|
|
|
|
// Diff the suffix of keyed children that share the same keys in the same order.
|
|
// Diff the suffix of keyed children that share the same keys in the same order.
|
|
@@ -1118,26 +1038,17 @@ impl<'a, 'bump, Dom: RealDom<'bump>> DiffMachine<'a, 'bump, Dom> {
|
|
//
|
|
//
|
|
// When this function exits, the change list stack remains the same.
|
|
// When this function exits, the change list stack remains the same.
|
|
fn diff_keyed_suffix(
|
|
fn diff_keyed_suffix(
|
|
- &self,
|
|
|
|
- _old: &[VNode<'bump>],
|
|
|
|
- _new: &[VNode<'bump>],
|
|
|
|
- _new_shared_suffix_start: usize,
|
|
|
|
|
|
+ &mut self,
|
|
|
|
+ old: &'bump [VNode<'bump>],
|
|
|
|
+ new: &'bump [VNode<'bump>],
|
|
|
|
+ new_shared_suffix_start: usize,
|
|
) {
|
|
) {
|
|
- todo!()
|
|
|
|
- // debug_assert_eq!(old.len(), new.len());
|
|
|
|
- // debug_assert!(!old.is_empty());
|
|
|
|
-
|
|
|
|
- // // [... parent]
|
|
|
|
- // self.edits.go_down();
|
|
|
|
- // // [... parent new_child]
|
|
|
|
-
|
|
|
|
- // for (i, (old_child, new_child)) in old.iter().zip(new.iter()).enumerate() {
|
|
|
|
- // self.edits.go_to_sibling(new_shared_suffix_start + i);
|
|
|
|
- // self.diff_node(old_child, new_child);
|
|
|
|
- // }
|
|
|
|
|
|
+ debug_assert_eq!(old.len(), new.len());
|
|
|
|
+ debug_assert!(!old.is_empty());
|
|
|
|
|
|
- // // [... parent]
|
|
|
|
- // self.edits.go_up();
|
|
|
|
|
|
+ for (old_child, new_child) in old.iter().zip(new.iter()) {
|
|
|
|
+ self.diff_node(old_child, new_child);
|
|
|
|
+ }
|
|
}
|
|
}
|
|
|
|
|
|
// Diff children that are not keyed.
|
|
// Diff children that are not keyed.
|
|
@@ -1150,72 +1061,79 @@ impl<'a, 'bump, Dom: RealDom<'bump>> DiffMachine<'a, 'bump, Dom> {
|
|
// the change list stack is in the same state when this function returns.
|
|
// the change list stack is in the same state when this function returns.
|
|
fn diff_non_keyed_children(&mut self, old: &'bump [VNode<'bump>], new: &'bump [VNode<'bump>]) {
|
|
fn diff_non_keyed_children(&mut self, old: &'bump [VNode<'bump>], new: &'bump [VNode<'bump>]) {
|
|
// Handled these cases in `diff_children` before calling this function.
|
|
// Handled these cases in `diff_children` before calling this function.
|
|
|
|
+ //
|
|
debug_assert!(!new.is_empty());
|
|
debug_assert!(!new.is_empty());
|
|
debug_assert!(!old.is_empty());
|
|
debug_assert!(!old.is_empty());
|
|
|
|
|
|
- // [... parent]
|
|
|
|
- // self.edits.go_down();
|
|
|
|
- // self.edits.push_root()
|
|
|
|
- // [... parent child]
|
|
|
|
-
|
|
|
|
- // todo!()
|
|
|
|
- for (_i, (new_child, old_child)) in new.iter().zip(old.iter()).enumerate() {
|
|
|
|
- // [... parent prev_child]
|
|
|
|
- // self.edits.go_to_sibling(i);
|
|
|
|
- // [... parent this_child]
|
|
|
|
-
|
|
|
|
- // let did = old_child.get_mounted_id(self.components).unwrap();
|
|
|
|
- // if did.0 == 0 {
|
|
|
|
- // log::debug!("Root is bad: {:#?}", old_child);
|
|
|
|
- // }
|
|
|
|
- // self.edits.push_root(did);
|
|
|
|
- self.diff_node(old_child, new_child);
|
|
|
|
|
|
+ match old.len().cmp(&new.len()) {
|
|
|
|
+ // old.len > new.len -> removing some nodes
|
|
|
|
+ Ordering::Greater => {
|
|
|
|
+ // diff them together
|
|
|
|
+ for (new_child, old_child) in new.iter().zip(old.iter()) {
|
|
|
|
+ self.diff_node(old_child, new_child);
|
|
|
|
+ }
|
|
|
|
|
|
- // let old_id = old_child.get_mounted_id(self.components).unwrap();
|
|
|
|
- // let new_id = new_child.get_mounted_id(self.components).unwrap();
|
|
|
|
-
|
|
|
|
- // log::debug!(
|
|
|
|
- // "pushed root. {:?}, {:?}",
|
|
|
|
- // old_child.get_mounted_id(self.components).unwrap(),
|
|
|
|
- // new_child.get_mounted_id(self.components).unwrap()
|
|
|
|
- // );
|
|
|
|
- // if old_id != new_id {
|
|
|
|
- // log::debug!("Mismatch: {:?}", new_child);
|
|
|
|
- // }
|
|
|
|
- }
|
|
|
|
|
|
+ // todo: we would emit fewer instructions if we just did a replace many
|
|
|
|
+ // remove whatever is still dangling
|
|
|
|
+ for item in &old[new.len()..] {
|
|
|
|
+ for i in RealChildIterator::new(item, self.vdom) {
|
|
|
|
+ self.edit_push_root(i.direct_id());
|
|
|
|
+ self.edit_remove();
|
|
|
|
+ }
|
|
|
|
+ }
|
|
|
|
+ }
|
|
|
|
|
|
- // match old.len().cmp(&new.len()) {
|
|
|
|
- // // old.len > new.len -> removing some nodes
|
|
|
|
- // Ordering::Greater => {
|
|
|
|
- // // [... parent prev_child]
|
|
|
|
- // self.edits.go_to_sibling(new.len());
|
|
|
|
- // // [... parent first_child_to_remove]
|
|
|
|
- // // self.edits.commit_traversal();
|
|
|
|
- // // support::remove_self_and_next_siblings(state, &old[new.len()..]);
|
|
|
|
- // self.remove_self_and_next_siblings(&old[new.len()..]);
|
|
|
|
- // // [... parent]
|
|
|
|
- // }
|
|
|
|
- // // old.len < new.len -> adding some nodes
|
|
|
|
- // Ordering::Less => {
|
|
|
|
- // // [... parent last_child]
|
|
|
|
- // self.edits.go_up();
|
|
|
|
- // // [... parent]
|
|
|
|
- // // self.edits.commit_traversal();
|
|
|
|
- // self.create_and_append_children(&new[old.len()..]);
|
|
|
|
- // }
|
|
|
|
- // // old.len == new.len -> no nodes added/removed, but πerhaps changed
|
|
|
|
- // Ordering::Equal => {
|
|
|
|
- // // [... parent child]
|
|
|
|
- // self.edits.go_up();
|
|
|
|
- // // [... parent]
|
|
|
|
- // }
|
|
|
|
- // }
|
|
|
|
|
|
+ // old.len < new.len -> adding some nodes
|
|
|
|
+ // this is wrong in the case where we're diffing fragments
|
|
|
|
+ //
|
|
|
|
+ // we need to save the last old element and then replace it with all the new ones
|
|
|
|
+ Ordering::Less => {
|
|
|
|
+ // Add the new elements to the last old element while it still exists
|
|
|
|
+ let last = self.find_last_element(old.last().unwrap());
|
|
|
|
+ self.edit_push_root(last.direct_id());
|
|
|
|
+
|
|
|
|
+ // create the rest and insert them
|
|
|
|
+ let meta = self.create_children(&new[old.len()..]);
|
|
|
|
+ self.edit_insert_after(meta.added_to_stack);
|
|
|
|
+
|
|
|
|
+ self.edit_pop();
|
|
|
|
+
|
|
|
|
+ // diff the rest
|
|
|
|
+ new.iter()
|
|
|
|
+ .zip(old.iter())
|
|
|
|
+ .for_each(|(new_child, old_child)| self.diff_node(old_child, new_child));
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ // old.len == new.len -> no nodes added/removed, but perhaps changed
|
|
|
|
+ Ordering::Equal => {
|
|
|
|
+ for (new_child, old_child) in new.iter().zip(old.iter()) {
|
|
|
|
+ self.diff_node(old_child, new_child);
|
|
|
|
+ }
|
|
|
|
+ }
|
|
|
|
+ }
|
|
}
|
|
}
|
|
|
|
|
|
// ======================
|
|
// ======================
|
|
// Support methods
|
|
// Support methods
|
|
// ======================
|
|
// ======================
|
|
-
|
|
|
|
|
|
+ // Remove all of a node's children.
|
|
|
|
+ //
|
|
|
|
+ // The change list stack must have this shape upon entry to this function:
|
|
|
|
+ //
|
|
|
|
+ // [... parent]
|
|
|
|
+ //
|
|
|
|
+ // When this function returns, the change list stack is in the same state.
|
|
|
|
+ fn remove_all_children(&mut self, old: &'bump [VNode<'bump>]) {
|
|
|
|
+ // debug_assert!(self.traversal_is_committed());
|
|
|
|
+ log::debug!("REMOVING CHILDREN");
|
|
|
|
+ for _child in old {
|
|
|
|
+ // registry.remove_subtree(child);
|
|
|
|
+ }
|
|
|
|
+ // Fast way to remove all children: set the node's textContent to an empty
|
|
|
|
+ // string.
|
|
|
|
+ todo!()
|
|
|
|
+ // self.set_inner_text("");
|
|
|
|
+ }
|
|
// Remove the current child and all of its following siblings.
|
|
// Remove the current child and all of its following siblings.
|
|
//
|
|
//
|
|
// The change list stack must have this shape upon entry to this function:
|
|
// The change list stack must have this shape upon entry to this function:
|
|
@@ -1225,34 +1143,350 @@ impl<'a, 'bump, Dom: RealDom<'bump>> DiffMachine<'a, 'bump, Dom> {
|
|
// After the function returns, the child is no longer on the change list stack:
|
|
// After the function returns, the child is no longer on the change list stack:
|
|
//
|
|
//
|
|
// [... parent]
|
|
// [... parent]
|
|
- pub fn remove_self_and_next_siblings(&self, old: &[VNode<'bump>]) {
|
|
|
|
- // debug_assert!(self.edits.traversal_is_committed());
|
|
|
|
- for child in old {
|
|
|
|
- if let VNodeKind::Component(_vcomp) = child.kind {
|
|
|
|
- // dom
|
|
|
|
- // .create_text_node("placeholder for vcomponent");
|
|
|
|
-
|
|
|
|
- todo!()
|
|
|
|
- // let root_id = vcomp.stable_addr.as_ref().borrow().unwrap();
|
|
|
|
- // self.lifecycle_events.push_back(LifeCycleEvent::Remove {
|
|
|
|
- // root_id,
|
|
|
|
- // stable_scope_addr: Rc::downgrade(&vcomp.ass_scope),
|
|
|
|
- // })
|
|
|
|
- // let id = get_id();
|
|
|
|
- // *component.stable_addr.as_ref().borrow_mut() = Some(id);
|
|
|
|
- // self.edits.save_known_root(id);
|
|
|
|
- // let scope = Rc::downgrade(&component.ass_scope);
|
|
|
|
- // self.lifecycle_events.push_back(LifeCycleEvent::Mount {
|
|
|
|
- // caller: Rc::downgrade(&component.caller),
|
|
|
|
- // root_id: id,
|
|
|
|
- // stable_scope_addr: scope,
|
|
|
|
- // });
|
|
|
|
|
|
+ fn remove_children(&mut self, old: &'bump [VNode<'bump>]) {
|
|
|
|
+ self.replace_and_create_many_with_many(old, None)
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ fn find_last_element(&mut self, vnode: &'bump VNode<'bump>) -> &'bump VNode<'bump> {
|
|
|
|
+ let mut search_node = Some(vnode);
|
|
|
|
+
|
|
|
|
+ loop {
|
|
|
|
+ let node = search_node.take().unwrap();
|
|
|
|
+ match &node.kind {
|
|
|
|
+ // the ones that have a direct id
|
|
|
|
+ VNodeKind::Text(_)
|
|
|
|
+ | VNodeKind::Element(_)
|
|
|
|
+ | VNodeKind::Anchor(_)
|
|
|
|
+ | VNodeKind::Suspended(_) => break node,
|
|
|
|
+
|
|
|
|
+ VNodeKind::Fragment(frag) => {
|
|
|
|
+ search_node = frag.children.last();
|
|
|
|
+ }
|
|
|
|
+ VNodeKind::Component(el) => {
|
|
|
|
+ let scope_id = el.ass_scope.get().unwrap();
|
|
|
|
+ let scope = self.get_scope(&scope_id).unwrap();
|
|
|
|
+ search_node = Some(scope.root());
|
|
|
|
+ }
|
|
}
|
|
}
|
|
|
|
+ }
|
|
|
|
+ }
|
|
|
|
|
|
- // registry.remove_subtree(child);
|
|
|
|
|
|
+ fn find_first_element(&mut self, vnode: &'bump VNode<'bump>) -> &'bump VNode<'bump> {
|
|
|
|
+ let mut search_node = Some(vnode);
|
|
|
|
+
|
|
|
|
+ loop {
|
|
|
|
+ let node = search_node.take().unwrap();
|
|
|
|
+ match &node.kind {
|
|
|
|
+ // the ones that have a direct id
|
|
|
|
+ VNodeKind::Text(_)
|
|
|
|
+ | VNodeKind::Element(_)
|
|
|
|
+ | VNodeKind::Anchor(_)
|
|
|
|
+ | VNodeKind::Suspended(_) => break node,
|
|
|
|
+
|
|
|
|
+ VNodeKind::Fragment(frag) => {
|
|
|
|
+ search_node = Some(&frag.children[0]);
|
|
|
|
+ }
|
|
|
|
+ VNodeKind::Component(el) => {
|
|
|
|
+ let scope_id = el.ass_scope.get().unwrap();
|
|
|
|
+ let scope = self.get_scope(&scope_id).unwrap();
|
|
|
|
+ search_node = Some(scope.root());
|
|
|
|
+ }
|
|
|
|
+ }
|
|
|
|
+ }
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ fn remove_child(&mut self, node: &'bump VNode<'bump>) {
|
|
|
|
+ self.replace_and_create_many_with_many(Some(node), None);
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ /// Remove all the old nodes and replace them with newly created new nodes.
|
|
|
|
+ ///
|
|
|
|
+ /// The new nodes *will* be created - don't create them yourself!
|
|
|
|
+ fn replace_and_create_many_with_many(
|
|
|
|
+ &mut self,
|
|
|
|
+ old_nodes: impl IntoIterator<Item = &'bump VNode<'bump>>,
|
|
|
|
+ new_nodes: impl IntoIterator<Item = &'bump VNode<'bump>>,
|
|
|
|
+ ) {
|
|
|
|
+ let mut nodes_to_replace = Vec::new();
|
|
|
|
+ let mut nodes_to_search = old_nodes.into_iter().collect::<Vec<_>>();
|
|
|
|
+ let mut scopes_obliterated = Vec::new();
|
|
|
|
+ while let Some(node) = nodes_to_search.pop() {
|
|
|
|
+ match &node.kind {
|
|
|
|
+ // the ones that have a direct id return immediately
|
|
|
|
+ VNodeKind::Text(el) => nodes_to_replace.push(el.dom_id.get().unwrap()),
|
|
|
|
+ VNodeKind::Element(el) => nodes_to_replace.push(el.dom_id.get().unwrap()),
|
|
|
|
+ VNodeKind::Anchor(el) => nodes_to_replace.push(el.dom_id.get().unwrap()),
|
|
|
|
+ VNodeKind::Suspended(el) => nodes_to_replace.push(el.node.get().unwrap()),
|
|
|
|
+
|
|
|
|
+ // Fragments will either have a single anchor or a list of children
|
|
|
|
+ VNodeKind::Fragment(frag) => {
|
|
|
|
+ for child in frag.children {
|
|
|
|
+ nodes_to_search.push(child);
|
|
|
|
+ }
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ // Components can be any of the nodes above
|
|
|
|
+ // However, we do need to track which components need to be removed
|
|
|
|
+ VNodeKind::Component(el) => {
|
|
|
|
+ let scope_id = el.ass_scope.get().unwrap();
|
|
|
|
+ let scope = self.get_scope(&scope_id).unwrap();
|
|
|
|
+ let root = scope.root();
|
|
|
|
+ nodes_to_search.push(root);
|
|
|
|
+ scopes_obliterated.push(scope_id);
|
|
|
|
+ }
|
|
|
|
+ }
|
|
|
|
+ // TODO: enable internal garabge collection
|
|
|
|
+ // self.create_garbage(node);
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ let n = nodes_to_replace.len();
|
|
|
|
+ for node in nodes_to_replace {
|
|
|
|
+ self.edit_push_root(node);
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ let mut nodes_created = 0;
|
|
|
|
+ for node in new_nodes {
|
|
|
|
+ let meta = self.create_vnode(node);
|
|
|
|
+ nodes_created += meta.added_to_stack;
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ // if 0 nodes are created, then it gets interperted as a deletion
|
|
|
|
+ self.edit_replace_with(n as u32, nodes_created);
|
|
|
|
+
|
|
|
|
+ // obliterate!
|
|
|
|
+ for scope in scopes_obliterated {
|
|
|
|
+ self.destroy_scopes(scope);
|
|
|
|
+ }
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ fn create_garbage(&mut self, node: &'bump VNode<'bump>) {
|
|
|
|
+ match self.current_scope().and_then(|id| self.get_scope(&id)) {
|
|
|
|
+ Some(scope) => {
|
|
|
|
+ let garbage: &'bump VNode<'static> = unsafe { std::mem::transmute(node) };
|
|
|
|
+ scope.pending_garbage.borrow_mut().push(garbage);
|
|
|
|
+ }
|
|
|
|
+ None => {
|
|
|
|
+ log::info!("No scope to collect garbage into")
|
|
|
|
+ }
|
|
|
|
+ }
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ fn immediately_dispose_garabage(&mut self, node: ElementId) {
|
|
|
|
+ self.vdom.collect_garbage(node)
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ fn replace_node_with_node(
|
|
|
|
+ &mut self,
|
|
|
|
+ anchor: ElementId,
|
|
|
|
+ old_node: &'bump VNode<'bump>,
|
|
|
|
+ new_node: &'bump VNode<'bump>,
|
|
|
|
+ ) {
|
|
|
|
+ self.edit_push_root(anchor);
|
|
|
|
+ let meta = self.create_vnode(new_node);
|
|
|
|
+ self.edit_replace_with(1, meta.added_to_stack);
|
|
|
|
+ self.create_garbage(old_node);
|
|
|
|
+ self.edit_pop();
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ fn remove_vnode(&mut self, node: &'bump VNode<'bump>) {
|
|
|
|
+ match &node.kind {
|
|
|
|
+ VNodeKind::Text(el) => self.immediately_dispose_garabage(node.direct_id()),
|
|
|
|
+ VNodeKind::Element(el) => {
|
|
|
|
+ self.immediately_dispose_garabage(node.direct_id());
|
|
|
|
+ for child in el.children {
|
|
|
|
+ self.remove_vnode(&child);
|
|
|
|
+ }
|
|
|
|
+ }
|
|
|
|
+ VNodeKind::Anchor(a) => {
|
|
|
|
+ //
|
|
|
|
+ }
|
|
|
|
+ VNodeKind::Fragment(frag) => {
|
|
|
|
+ for child in frag.children {
|
|
|
|
+ self.remove_vnode(&child);
|
|
|
|
+ }
|
|
|
|
+ }
|
|
|
|
+ VNodeKind::Component(el) => {
|
|
|
|
+ //
|
|
|
|
+ // self.destroy_scopes(old_scope)
|
|
|
|
+ }
|
|
|
|
+ VNodeKind::Suspended(_) => todo!(),
|
|
|
|
+ }
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ fn current_scope(&self) -> Option<ScopeId> {
|
|
|
|
+ self.scope_stack.last().map(|f| f.clone())
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ fn fix_listener<'a>(&mut self, listener: &'a Listener<'a>) {
|
|
|
|
+ let scope_id = self.current_scope();
|
|
|
|
+ if let Some(scope_id) = scope_id {
|
|
|
|
+ let scope = self.get_scope(&scope_id).unwrap();
|
|
|
|
+ let mut queue = scope.listeners.borrow_mut();
|
|
|
|
+ let long_listener: &'a Listener<'static> = unsafe { std::mem::transmute(listener) };
|
|
|
|
+ queue.push(long_listener as *const _)
|
|
|
|
+ }
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ pub fn get_scope_mut(&mut self, id: &ScopeId) -> Option<&'bump mut Scope> {
|
|
|
|
+ // ensure we haven't seen this scope before
|
|
|
|
+ // if we have, then we're trying to alias it, which is not allowed
|
|
|
|
+ debug_assert!(!self.seen_scopes.contains(id));
|
|
|
|
+
|
|
|
|
+ unsafe { self.vdom.get_scope_mut(*id) }
|
|
|
|
+ }
|
|
|
|
+ pub fn get_scope(&mut self, id: &ScopeId) -> Option<&'bump Scope> {
|
|
|
|
+ // ensure we haven't seen this scope before
|
|
|
|
+ // if we have, then we're trying to alias it, which is not allowed
|
|
|
|
+ unsafe { self.vdom.get_scope(*id) }
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ // Navigation
|
|
|
|
+ pub(crate) fn edit_push_root(&mut self, root: ElementId) {
|
|
|
|
+ let id = root.as_u64();
|
|
|
|
+ self.edits.edits.push(PushRoot { id });
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ pub(crate) fn edit_pop(&mut self) {
|
|
|
|
+ self.edits.edits.push(PopRoot {});
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ // Add Nodes to the dom
|
|
|
|
+ // add m nodes from the stack
|
|
|
|
+ pub(crate) fn edit_append_children(&mut self, many: u32) {
|
|
|
|
+ self.edits.edits.push(AppendChildren { many });
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ // replace the n-m node on the stack with the m nodes
|
|
|
|
+ // ends with the last element of the chain on the top of the stack
|
|
|
|
+ pub(crate) fn edit_replace_with(&mut self, n: u32, m: u32) {
|
|
|
|
+ self.edits.edits.push(ReplaceWith { n, m });
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ pub(crate) fn edit_insert_after(&mut self, n: u32) {
|
|
|
|
+ self.edits.edits.push(InsertAfter { n });
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ pub(crate) fn edit_insert_before(&mut self, n: u32) {
|
|
|
|
+ self.edits.edits.push(InsertBefore { n });
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ // Remove Nodesfrom the dom
|
|
|
|
+ pub(crate) fn edit_remove(&mut self) {
|
|
|
|
+ self.edits.edits.push(Remove);
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ // Create
|
|
|
|
+ pub(crate) fn edit_create_text_node(&mut self, text: &'bump str, id: ElementId) {
|
|
|
|
+ let id = id.as_u64();
|
|
|
|
+ self.edits.edits.push(CreateTextNode { text, id });
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ pub(crate) fn edit_create_element(
|
|
|
|
+ &mut self,
|
|
|
|
+ tag: &'static str,
|
|
|
|
+ ns: Option<&'static str>,
|
|
|
|
+ id: ElementId,
|
|
|
|
+ ) {
|
|
|
|
+ let id = id.as_u64();
|
|
|
|
+ match ns {
|
|
|
|
+ Some(ns) => self.edits.edits.push(CreateElementNs { id, ns, tag }),
|
|
|
|
+ None => self.edits.edits.push(CreateElement { id, tag }),
|
|
|
|
+ }
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ // placeholders are nodes that don't get rendered but still exist as an "anchor" in the real dom
|
|
|
|
+ pub(crate) fn edit_create_placeholder(&mut self, id: ElementId) {
|
|
|
|
+ let id = id.as_u64();
|
|
|
|
+ self.edits.edits.push(CreatePlaceholder { id });
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ // events
|
|
|
|
+ pub(crate) fn edit_new_event_listener(&mut self, listener: &Listener, scope: ScopeId) {
|
|
|
|
+ let Listener {
|
|
|
|
+ event,
|
|
|
|
+ mounted_node,
|
|
|
|
+ ..
|
|
|
|
+ } = listener;
|
|
|
|
+
|
|
|
|
+ let element_id = mounted_node.get().unwrap().as_u64();
|
|
|
|
+
|
|
|
|
+ self.edits.edits.push(NewEventListener {
|
|
|
|
+ scope,
|
|
|
|
+ event_name: event,
|
|
|
|
+ mounted_node_id: element_id,
|
|
|
|
+ });
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ pub(crate) fn edit_remove_event_listener(&mut self, event: &'static str) {
|
|
|
|
+ self.edits.edits.push(RemoveEventListener { event });
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ // modify
|
|
|
|
+ pub(crate) fn edit_set_text(&mut self, text: &'bump str) {
|
|
|
|
+ self.edits.edits.push(SetText { text });
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ pub(crate) fn edit_set_attribute(&mut self, attribute: &'bump Attribute) {
|
|
|
|
+ let Attribute {
|
|
|
|
+ name,
|
|
|
|
+ value,
|
|
|
|
+ is_static,
|
|
|
|
+ is_volatile,
|
|
|
|
+ namespace,
|
|
|
|
+ } = attribute;
|
|
|
|
+ // field: &'static str,
|
|
|
|
+ // value: &'bump str,
|
|
|
|
+ // ns: Option<&'static str>,
|
|
|
|
+ self.edits.edits.push(SetAttribute {
|
|
|
|
+ field: name,
|
|
|
|
+ value,
|
|
|
|
+ ns: *namespace,
|
|
|
|
+ });
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ pub(crate) fn edit_set_attribute_ns(
|
|
|
|
+ &mut self,
|
|
|
|
+ attribute: &'bump Attribute,
|
|
|
|
+ namespace: &'bump str,
|
|
|
|
+ ) {
|
|
|
|
+ let Attribute {
|
|
|
|
+ name,
|
|
|
|
+ value,
|
|
|
|
+ is_static,
|
|
|
|
+ is_volatile,
|
|
|
|
+ // namespace,
|
|
|
|
+ ..
|
|
|
|
+ } = attribute;
|
|
|
|
+ // field: &'static str,
|
|
|
|
+ // value: &'bump str,
|
|
|
|
+ // ns: Option<&'static str>,
|
|
|
|
+ self.edits.edits.push(SetAttribute {
|
|
|
|
+ field: name,
|
|
|
|
+ value,
|
|
|
|
+ ns: Some(namespace),
|
|
|
|
+ });
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ pub(crate) fn edit_remove_attribute(&mut self, attribute: &Attribute) {
|
|
|
|
+ let name = attribute.name;
|
|
|
|
+ self.edits.edits.push(RemoveAttribute { name });
|
|
|
|
+ }
|
|
|
|
+}
|
|
|
|
+
|
|
|
|
+// When we create new nodes, we need to propagate some information back up the call chain.
|
|
|
|
+// This gives the caller some information on how to handle things like insertins, appending, and subtree discarding.
|
|
|
|
+#[derive(Debug)]
|
|
|
|
+pub struct CreateMeta {
|
|
|
|
+ pub is_static: bool,
|
|
|
|
+ pub added_to_stack: u32,
|
|
|
|
+}
|
|
|
|
+
|
|
|
|
+impl CreateMeta {
|
|
|
|
+ fn new(is_static: bool, added_to_tack: u32) -> Self {
|
|
|
|
+ Self {
|
|
|
|
+ is_static,
|
|
|
|
+ added_to_stack: added_to_tack,
|
|
}
|
|
}
|
|
- todo!()
|
|
|
|
- // self.edits.remove_self_and_next_siblings();
|
|
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
|
|
@@ -1265,12 +1499,26 @@ enum KeyedPrefixResult {
|
|
MoreWorkToDo(usize),
|
|
MoreWorkToDo(usize),
|
|
}
|
|
}
|
|
|
|
|
|
-/// This iterator iterates through a list of virtual children and only returns real children (Elements or Text).
|
|
|
|
|
|
+fn find_first_real_node<'a>(
|
|
|
|
+ nodes: impl IntoIterator<Item = &'a VNode<'a>>,
|
|
|
|
+ scopes: &'a SharedResources,
|
|
|
|
+) -> Option<&'a VNode<'a>> {
|
|
|
|
+ for node in nodes {
|
|
|
|
+ let mut iter = RealChildIterator::new(node, scopes);
|
|
|
|
+ if let Some(node) = iter.next() {
|
|
|
|
+ return Some(node);
|
|
|
|
+ }
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ None
|
|
|
|
+}
|
|
|
|
+
|
|
|
|
+/// This iterator iterates through a list of virtual children and only returns real children (Elements, Text, Anchors).
|
|
///
|
|
///
|
|
/// This iterator is useful when it's important to load the next real root onto the top of the stack for operations like
|
|
/// This iterator is useful when it's important to load the next real root onto the top of the stack for operations like
|
|
/// "InsertBefore".
|
|
/// "InsertBefore".
|
|
-struct RealChildIterator<'a> {
|
|
|
|
- scopes: &'a SharedArena,
|
|
|
|
|
|
+pub struct RealChildIterator<'a> {
|
|
|
|
+ scopes: &'a SharedResources,
|
|
|
|
|
|
// Heuristcally we should never bleed into 4 completely nested fragments/components
|
|
// Heuristcally we should never bleed into 4 completely nested fragments/components
|
|
// Smallvec lets us stack allocate our little stack machine so the vast majority of cases are sane
|
|
// Smallvec lets us stack allocate our little stack machine so the vast majority of cases are sane
|
|
@@ -1279,20 +1527,25 @@ struct RealChildIterator<'a> {
|
|
}
|
|
}
|
|
|
|
|
|
impl<'a> RealChildIterator<'a> {
|
|
impl<'a> RealChildIterator<'a> {
|
|
- fn new(starter: &'a VNode<'a>, scopes: &'a SharedArena) -> Self {
|
|
|
|
|
|
+ pub fn new(starter: &'a VNode<'a>, scopes: &'a SharedResources) -> Self {
|
|
Self {
|
|
Self {
|
|
scopes,
|
|
scopes,
|
|
stack: smallvec::smallvec![(0, starter)],
|
|
stack: smallvec::smallvec![(0, starter)],
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
+ // keep the memory around
|
|
|
|
+ pub fn reset_with(&mut self, node: &'a VNode<'a>) {
|
|
|
|
+ self.stack.clear();
|
|
|
|
+ self.stack.push((0, node));
|
|
|
|
+ }
|
|
}
|
|
}
|
|
|
|
|
|
impl<'a> Iterator for RealChildIterator<'a> {
|
|
impl<'a> Iterator for RealChildIterator<'a> {
|
|
- type Item = RealDomNode;
|
|
|
|
|
|
+ type Item = &'a VNode<'a>;
|
|
|
|
|
|
- fn next(&mut self) -> Option<RealDomNode> {
|
|
|
|
|
|
+ fn next(&mut self) -> Option<&'a VNode<'a>> {
|
|
let mut should_pop = false;
|
|
let mut should_pop = false;
|
|
- let mut returned_node = None;
|
|
|
|
|
|
+ let mut returned_node: Option<&'a VNode<'a>> = None;
|
|
let mut should_push = None;
|
|
let mut should_push = None;
|
|
|
|
|
|
while returned_node.is_none() {
|
|
while returned_node.is_none() {
|
|
@@ -1304,7 +1557,7 @@ impl<'a> Iterator for RealChildIterator<'a> {
|
|
// We've recursed INTO an element/text
|
|
// We've recursed INTO an element/text
|
|
// We need to recurse *out* of it and move forward to the next
|
|
// We need to recurse *out* of it and move forward to the next
|
|
should_pop = true;
|
|
should_pop = true;
|
|
- returned_node = Some(node.dom_id.get());
|
|
|
|
|
|
+ returned_node = Some(&*node);
|
|
}
|
|
}
|
|
|
|
|
|
// If we get a fragment we push the next child
|
|
// If we get a fragment we push the next child
|
|
@@ -1313,7 +1566,7 @@ impl<'a> Iterator for RealChildIterator<'a> {
|
|
|
|
|
|
if frag.children.len() == 0 {
|
|
if frag.children.len() == 0 {
|
|
should_pop = true;
|
|
should_pop = true;
|
|
- returned_node = Some(node.dom_id.get());
|
|
|
|
|
|
+ returned_node = Some(&*node);
|
|
}
|
|
}
|
|
|
|
|
|
if subcount >= frag.children.len() {
|
|
if subcount >= frag.children.len() {
|
|
@@ -1322,17 +1575,40 @@ impl<'a> Iterator for RealChildIterator<'a> {
|
|
should_push = Some(&frag.children[subcount]);
|
|
should_push = Some(&frag.children[subcount]);
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
+ // // If we get a fragment we push the next child
|
|
|
|
+ // VNodeKind::Fragment(frag) => {
|
|
|
|
+ // let subcount = *count as usize;
|
|
|
|
+
|
|
|
|
+ // if frag.children.len() == 0 {
|
|
|
|
+ // should_pop = true;
|
|
|
|
+ // returned_node = Some(&*node);
|
|
|
|
+ // }
|
|
|
|
+
|
|
|
|
+ // if subcount >= frag.children.len() {
|
|
|
|
+ // should_pop = true;
|
|
|
|
+ // } else {
|
|
|
|
+ // should_push = Some(&frag.children[subcount]);
|
|
|
|
+ // }
|
|
|
|
+ // }
|
|
|
|
|
|
// Immediately abort suspended nodes - can't do anything with them yet
|
|
// Immediately abort suspended nodes - can't do anything with them yet
|
|
- // VNodeKind::Suspended => should_pop = true,
|
|
|
|
- VNodeKind::Suspended { .. } => todo!(),
|
|
|
|
|
|
+ VNodeKind::Suspended(node) => {
|
|
|
|
+ // VNodeKind::Suspended => should_pop = true,
|
|
|
|
+ todo!()
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ VNodeKind::Anchor(a) => {
|
|
|
|
+ todo!()
|
|
|
|
+ }
|
|
|
|
|
|
// For components, we load their root and push them onto the stack
|
|
// For components, we load their root and push them onto the stack
|
|
VNodeKind::Component(sc) => {
|
|
VNodeKind::Component(sc) => {
|
|
- let scope = self.scopes.get(sc.ass_scope.get().unwrap()).unwrap();
|
|
|
|
|
|
+ let scope =
|
|
|
|
+ unsafe { self.scopes.get_scope(sc.ass_scope.get().unwrap()) }.unwrap();
|
|
|
|
+ // let scope = self.scopes.get(sc.ass_scope.get().unwrap()).unwrap();
|
|
|
|
|
|
// Simply swap the current node on the stack with the root of the component
|
|
// Simply swap the current node on the stack with the root of the component
|
|
- *node = scope.root();
|
|
|
|
|
|
+ *node = scope.frames.fin_head();
|
|
}
|
|
}
|
|
}
|
|
}
|
|
} else {
|
|
} else {
|