123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344 |
- //! Diffing Tests
- //! -------------
- //!
- //! These should always compile and run, but the result is not validated for each test.
- //! TODO: Validate the results beyond visual inspection.
- use bumpalo::Bump;
- use anyhow::{Context, Result};
- use dioxus::{
- arena::SharedResources,
- diff::{CreateMeta, DiffMachine},
- prelude::*,
- util::DebugDom,
- DomEdit,
- };
- use dioxus_core as dioxus;
- use dioxus_html as dioxus_elements;
- struct TestDom {
- bump: Bump,
- resources: SharedResources,
- }
- impl TestDom {
- fn new() -> TestDom {
- let bump = Bump::new();
- let resources = SharedResources::new();
- TestDom { bump, resources }
- }
- fn new_factory<'a>(&'a self) -> NodeFactory<'a> {
- NodeFactory::new(&self.bump)
- }
- fn render<'a, F>(&'a self, lazy_nodes: LazyNodes<'a, F>) -> VNode<'a>
- where
- F: FnOnce(NodeFactory<'a>) -> VNode<'a>,
- {
- use dioxus_core::nodes::{IntoVNode, IntoVNodeList};
- lazy_nodes.into_vnode(NodeFactory::new(&self.bump))
- }
- fn diff<'a>(&'a self, old: &'a VNode<'a>, new: &'a VNode<'a>) -> Vec<DomEdit<'a>> {
- let mut edits = Vec::new();
- let dom = DebugDom::new();
- let mut machine = DiffMachine::new_headless(&mut edits, &dom, &self.resources);
- machine.diff_node(old, new);
- edits
- }
- fn create<'a, F1>(&'a self, left: LazyNodes<'a, F1>) -> (CreateMeta, Vec<DomEdit<'a>>)
- where
- F1: FnOnce(NodeFactory<'a>) -> VNode<'a>,
- {
- let old = self.bump.alloc(self.render(left));
- let mut edits = Vec::new();
- let dom = DebugDom::new();
- let mut machine = DiffMachine::new_headless(&mut edits, &dom, &self.resources);
- let meta = machine.create_vnode(old);
- (meta, edits)
- }
- fn lazy_diff<'a, F1, F2>(
- &'a self,
- left: LazyNodes<'a, F1>,
- right: LazyNodes<'a, F2>,
- ) -> (Vec<DomEdit<'a>>, Vec<DomEdit<'a>>)
- where
- F1: FnOnce(NodeFactory<'a>) -> VNode<'a>,
- F2: FnOnce(NodeFactory<'a>) -> VNode<'a>,
- {
- let old = self.bump.alloc(self.render(left));
- let new = self.bump.alloc(self.render(right));
- let mut create_edits = Vec::new();
- let dom = DebugDom::new();
- let mut machine = DiffMachine::new_headless(&mut create_edits, &dom, &self.resources);
- machine.create_vnode(old);
- let mut edits = Vec::new();
- let mut machine = DiffMachine::new_headless(&mut edits, &dom, &self.resources);
- machine.diff_node(old, new);
- (create_edits, edits)
- }
- }
- #[test]
- fn diffing_works() {}
- /// Should push the text node onto the stack and modify it
- #[test]
- fn html_and_rsx_generate_the_same_output() {
- let dom = TestDom::new();
- let edits = dom.lazy_diff(
- rsx! ( div { "Hello world" } ),
- rsx! ( div { "Goodbye world" } ),
- );
- dbg!(edits);
- }
- /// Should result in 3 elements on the stack
- #[test]
- fn fragments_create_properly() {
- let dom = TestDom::new();
- let (meta, edits) = dom.create(rsx! {
- div { "Hello a" }
- div { "Hello b" }
- div { "Hello c" }
- });
- assert!(&edits[0].is("CreateElement"));
- assert!(&edits[3].is("CreateElement"));
- assert!(&edits[6].is("CreateElement"));
- assert_eq!(meta.added_to_stack, 3);
- dbg!(edits);
- }
- /// Should result in the creation of an anchor (placeholder) and then a replacewith
- #[test]
- fn empty_fragments_create_anchors() {
- let dom = TestDom::new();
- let left = rsx!({ (0..0).map(|f| rsx! { div {}}) });
- let right = rsx!({ (0..1).map(|f| rsx! { div {}}) });
- let edits = dom.lazy_diff(left, right);
- dbg!(edits);
- }
- /// Should result in the creation of an anchor (placeholder) and then a replacewith m=5
- #[test]
- fn empty_fragments_create_many_anchors() {
- let dom = TestDom::new();
- let left = rsx!({ (0..0).map(|f| rsx! { div {}}) });
- let right = rsx!({ (0..5).map(|f| rsx! { div {}}) });
- let edits = dom.lazy_diff(left, right);
- dbg!(edits);
- }
- /// Should result in the creation of an anchor (placeholder) and then a replacewith
- /// Includes child nodes inside the fragment
- #[test]
- fn empty_fragments_create_anchors_with_many_children() {
- let dom = TestDom::new();
- let left = rsx!({ (0..0).map(|f| rsx! { div {} }) });
- let right = rsx!({
- (0..5).map(|f| {
- rsx! { div { "hello" }}
- })
- });
- let edits = dom.lazy_diff(left, right);
- dbg!(&edits);
- let last_edit = edits.1.last().unwrap();
- assert!(last_edit.is("ReplaceWith"));
- }
- /// Should result in every node being pushed and then replaced with an anchor
- #[test]
- fn many_items_become_fragment() {
- let dom = TestDom::new();
- let left = rsx!({
- (0..2).map(|f| {
- rsx! { div { "hello" }}
- })
- });
- let right = rsx!({ (0..0).map(|f| rsx! { div {} }) });
- let edits = dom.lazy_diff(left, right);
- dbg!(&edits);
- }
- /// Should result in no edits
- #[test]
- fn two_equal_fragments_are_equal() {
- let dom = TestDom::new();
- let left = rsx!({
- (0..2).map(|f| {
- rsx! { div { "hello" }}
- })
- });
- let right = rsx!({
- (0..2).map(|f| {
- rsx! { div { "hello" }}
- })
- });
- let edits = dom.lazy_diff(left, right);
- dbg!(&edits);
- assert!(edits.1.is_empty());
- }
- /// Should result the creation of more nodes appended after the old last node
- #[test]
- fn two_fragments_with_differrent_elements_are_differet() {
- let dom = TestDom::new();
- let left = rsx!(
- {(0..2).map(|f| {rsx! { div { }}})}
- p {}
- );
- let right = rsx!(
- {(0..5).map(|f| {rsx! { h1 { }}})}
- p {}
- );
- let edits = dom.lazy_diff(left, right);
- dbg!(&edits);
- }
- /// Should result in multiple nodes destroyed - with changes to the first nodes
- #[test]
- fn two_fragments_with_differrent_elements_are_differet_shorter() {
- let dom = TestDom::new();
- let left = rsx!(
- {(0..5).map(|f| {rsx! { div { }}})}
- p {}
- );
- let right = rsx!(
- {(0..2).map(|f| {rsx! { h1 { }}})}
- p {}
- );
- let edits = dom.lazy_diff(left, right);
- dbg!(&edits);
- }
- /// Should result in multiple nodes destroyed - with no changes
- #[test]
- fn two_fragments_with_same_elements_are_differet() {
- let dom = TestDom::new();
- let left = rsx!(
- {(0..2).map(|f| {rsx! { div { }}})}
- p {}
- );
- let right = rsx!(
- {(0..5).map(|f| {rsx! { div { }}})}
- p {}
- );
- let edits = dom.lazy_diff(left, right);
- dbg!(&edits);
- }
- // Similar test from above, but with extra child nodes
- #[test]
- fn two_fragments_with_same_elements_are_differet_shorter() {
- let dom = TestDom::new();
- let left = rsx!(
- {(0..5).map(|f| {rsx! { div { }}})}
- p {"e"}
- );
- let right = rsx!(
- {(0..2).map(|f| {rsx! { div { }}})}
- p {"e"}
- );
- let edits = dom.lazy_diff(left, right);
- dbg!(&edits);
- }
- /// should result in the removal of elements
- #[test]
- fn keyed_diffing_order() {
- let dom = TestDom::new();
- let left = rsx!(
- {(0..5).map(|f| {rsx! { div { key: "{f}" }}})}
- p {"e"}
- );
- let right = rsx!(
- {(0..2).map(|f| {rsx! { div { key: "{f}" }}})}
- p {"e"}
- );
- let edits = dom.lazy_diff(left, right);
- dbg!(&edits);
- }
- #[test]
- fn fragment_keys() {
- let r = 1;
- let p = rsx! {
- Fragment { key: "asd {r}" }
- };
- }
- /// Should result in moves, but not removals or additions
- #[test]
- fn keyed_diffing_out_of_order() {
- let dom = TestDom::new();
- // 0, 1, 2, 3, 4, 5, 6, 7, 8,
- let left = rsx!({
- (0..3).chain(3..6).chain(6..9).map(|f| {
- rsx! { div { key: "{f}" }}
- })
- });
- // 0, 1, 2, 6, 5, 4, 3, 7, 8, 9
- let right = rsx!({
- (0..3).chain((3..7).rev()).chain(7..10).map(|f| {
- rsx! { div { key: "{f}" }}
- })
- });
- // LIS: 3, 7, 8,
- let edits = dom.lazy_diff(left, right);
- dbg!(&edits);
- }
- #[test]
- fn controlled_keyed_diffing_out_of_order() {
- let dom = TestDom::new();
- let left = [4, 5, 6, 7];
- let left = rsx!({
- left.iter().map(|f| {
- rsx! { div { key: "{f}" "{f}" }}
- })
- });
- // 0, 1, 2, 6, 5, 4, 3, 7, 8, 9
- let right = [0, 5, 9, 6, 4];
- let right = rsx!({
- right.iter().map(|f| {
- rsx! { div { key: "{f}" "{f}" }}
- })
- });
- // LIS: 3, 7, 8,
- let edits = dom.lazy_diff(left, right);
- dbg!(&edits);
- }
|