text
"); + var (root, _) = LayoutHarness.Layout(html); + var p = LayoutHarness.FindById(root, "p")!; + var before = p.Boxes.First(b => b.IsBeforePseudoElement); + + Assert.AreEqual("Chapter One", before.Text); + } + + [TestMethod] + public void ApplyContent_WithOpenAndCloseQuote_UsesCurlyQuotes() + { + var before = ResolveBeforeContent("open-quote \"quoted\" close-quote"); + Assert.AreEqual("“quoted”", before.Text); + } + + [TestMethod] + public void ApplyContent_WithCounterNoStyle_UsesDecimal() + { + var html = LayoutHarness.Wrap( + "text
"); + var (root, _) = LayoutHarness.Layout(html); + var before = LayoutHarness.FindById(root, "p")!.Boxes.First(b => b.IsBeforePseudoElement); + + Assert.AreEqual("7", before.Text); + } + + [TestMethod] + public void ApplyContent_WithCounterDecimalLeadingZero_PadsToTwoDigits() + { + var html = LayoutHarness.Wrap( + "text
" + + ""); + var (root, _) = LayoutHarness.Layout(html); + var before = LayoutHarness.FindById(root, "p")!.Boxes.First(b => b.IsBeforePseudoElement); + + Assert.AreEqual("01", before.Text); + } + + [TestMethod] + public void ApplyContent_WithCounterAlphabeticStyle_FormatsWithStyle() + { + var html = LayoutHarness.Wrap( + "text
" + + ""); + var (root, _) = LayoutHarness.Layout(html); + var before = LayoutHarness.FindById(root, "p")!.Boxes.First(b => b.IsBeforePseudoElement); + + Assert.AreEqual("IV", before.Text); + } + + [TestMethod] + public void ApplyContent_WithCounterUnknownStyle_FallsBackToDecimal() + { + // CSS Counter Styles Level 3 §2: unknown style must render as decimal, not empty. + var html = LayoutHarness.Wrap( + "text
" + + ""); + var (root, _) = LayoutHarness.Layout(html); + var before = LayoutHarness.FindById(root, "p")!.Boxes.First(b => b.IsBeforePseudoElement); + + Assert.AreEqual("5", before.Text); + } + + [TestMethod] + public void ApplyContent_WithCounterAndStyleAndLiteral_Concatenates() + { + var html = LayoutHarness.Wrap( + "text
" + + ""); + var (root, _) = LayoutHarness.Layout(html); + var before = LayoutHarness.FindById(root, "p")!.Boxes.First(b => b.IsBeforePseudoElement); + + Assert.AreEqual("03 Item", before.Text); + } + + [TestMethod] + public void CounterIncrement_ThreadsSequentiallyAcrossSiblings() + { + // CSS 2.1 §12.4: counter-increment accumulates through document order - three siblings each + // incrementing "item" should see 1, 2, 3 in turn. + var html = LayoutHarness.Wrap( + ""
+ + "
"
+ + "");
+ var (root, _) = LayoutHarness.Layout(html);
+
+ var a = LayoutHarness.FindById(root, "a")!.Boxes.First(b => b.IsBeforePseudoElement);
+ var b = LayoutHarness.FindById(root, "b")!.Boxes.First(b => b.IsBeforePseudoElement);
+ var c = LayoutHarness.FindById(root, "c")!.Boxes.First(b => b.IsBeforePseudoElement);
+
+ Assert.AreEqual("1", a.Text);
+ Assert.AreEqual("2", b.Text);
+ Assert.AreEqual("3", c.Text);
+ }
+
+ [TestMethod]
+ public void CounterReset_OnNestedAncestor_IsVisibleToDescendant()
+ {
+ // A counter-reset on an ancestor is visible to descendants further down the tree, not just
+ // direct children.
+ var html = LayoutHarness.Wrap(
+ "text
" + + "text
" + + "text
" + + "text
text
"); + var (root, _) = LayoutHarness.Layout(html); + return LayoutHarness.FindById(root, "p")!.Boxes.First(b => b.IsBeforePseudoElement); + } +} diff --git a/Source/Test/HtmlRenderer.IntegrationTest/Content/ListItemCounterIntegrationTests.cs b/Source/Test/HtmlRenderer.IntegrationTest/Content/ListItemCounterIntegrationTests.cs new file mode 100644 index 000000000..6a3d84391 --- /dev/null +++ b/Source/Test/HtmlRenderer.IntegrationTest/Content/ListItemCounterIntegrationTests.cs @@ -0,0 +1,70 @@ +using System.Linq; +using HtmlRenderer.IntegrationTest.TestSupport; + +namespace HtmlRenderer.IntegrationTest.Content; + +///- x
- y
- x
- y
- z
- x
- y
- z
- x
filler line of body text
", 60)); + await wrapper.SetHtml( + $""" + +PageHeaderMarker
+ {filler}
+
+ """);
+
+ var container = GetInternal(wrapper);
+ container.PageSize = new TheArtOfDev.HtmlRenderer.Adapters.Entities.RSize(300, 300);
+ container.MarginTop = 0;
+ wrapper.MaxSize = new SizeF(300, 0);
+
+ using var bitmap = new Bitmap(300, 20000);
+ using var g = Graphics.FromImage(bitmap);
+ wrapper.PerformLayout(g);
+
+ var tree = container.FragmentTree;
+ Assert.IsGreaterThan(1, tree.Fragmentainers.Count, "the filler content must genuinely span multiple pages for this test to be meaningful");
+
+ for (var i = 0; i < tree.Fragmentainers.Count; i++)
+ {
+ var markerHits = AllWords(tree.Fragmentainers[i].Root).Where(w => w.Text == "PageHeaderMarker").ToList();
+ Assert.AreEqual(1, markerHits.Count, $"page {i} should show the fixed marker exactly once - not zero (missing) and not more than one (duplicated by both the repeat mechanism and the normal walk)");
+ Assert.AreEqual(5.0, markerHits[0].Top, 0.5, $"page {i}'s marker must be at the same page-relative offset (top:5px) as every other page");
+ }
+ }
+
+ [TestMethod]
+ public async Task FixedElement_StillRendersOnce_WithoutARealPageGrid()
+ {
+ // WinForms/WPF's continuous-scroll convention (no PageSize set - HasRealPageGrid=false): the
+ // repeat-per-page mechanism must not apply here at all, since "stays put" for that viewport is a
+ // paint-time scroll-offset suppression (CssBox.IsFixed), not a per-page repeat concern - confirms
+ // the new exclusion in FragmentEmitter is correctly gated on HasRealPageGrid.
+ using var wrapper = new HtmlContainer();
+ var filler = string.Concat(Enumerable.Repeat("filler line of body text
", 60)); + await wrapper.SetHtml( + $""" + +PageHeaderMarker
+ {filler}
+
+ """);
+
+ wrapper.MaxSize = new SizeF(300, 0);
+ using var bitmap = new Bitmap(300, 20000);
+ using var g = Graphics.FromImage(bitmap);
+ wrapper.PerformLayout(g);
+
+ var container = GetInternal(wrapper);
+ Assert.IsFalse(container.HasRealPageGrid);
+ var tree = container.FragmentTree;
+ Assert.AreEqual(1, tree.Fragmentainers.Count);
+
+ var markerHits = AllWords(tree.Fragmentainers[0].Root).Where(w => w.Text == "PageHeaderMarker").ToList();
+ Assert.AreEqual(1, markerHits.Count, "the fixed element must still render exactly once via the normal walk when there's no real page grid");
+ }
+}
diff --git a/Source/Test/HtmlRenderer.IntegrationTest/Fragmentation/BlockContentListMarkerTests.cs b/Source/Test/HtmlRenderer.IntegrationTest/Fragmentation/BlockContentListMarkerTests.cs
new file mode 100644
index 000000000..8ff1e0d8c
--- /dev/null
+++ b/Source/Test/HtmlRenderer.IntegrationTest/Fragmentation/BlockContentListMarkerTests.cs
@@ -0,0 +1,172 @@
+using System.Collections.Generic;
+using System.Linq;
+using HtmlRenderer.IntegrationTest.TestSupport;
+using Microsoft.VisualStudio.TestTools.UnitTesting;
+using TheArtOfDev.HtmlRenderer.Core;
+using TheArtOfDev.HtmlRenderer.Core.Dom;
+using TheArtOfDev.HtmlRenderer.Core.Fragments;
+using TheArtOfDev.HtmlRenderer.Core.Utils;
+
+namespace TheArtOfDev.HtmlRenderer.IntegrationTest.Fragmentation;
+
+/// - "
+ + "
block content here
"
+ + "- inline content
is " + + "
before
" + + "- "
+ + "
content here
lead
"
+ + ""
+ + "
");
+
+ var wrap = FindById(root, "wrap");
+ var first = FindById(root, "first");
+ Assert.IsNotNull(wrap);
+ Assert.IsNotNull(first);
+
+ Assert.AreEqual(container.PageTopOf(1), wrap.Location.Y, 3);
+ Assert.AreEqual(wrap.ClientTop, first.Location.Y, 3);
+ }
+
+ [TestMethod]
+ [Ignore("Same confirmed gap as ForcedBreakBeforeAFirstChild_MovesTheContainer - see this class's own doc "
+ + "remark - just nested one level deeper.")]
+ public async Task ForcedBreakBeforeANestedFirstChild_MovesTheOutermostContainerItBegins()
+ {
+ var (root, container) = await BuildAsync(
+ "first
"
+ + "lead
"
+ + ""
+ + "
deep
"
+ + ""
+ + "
");
+
+ var wrap = FindById(root, "wrap");
+ var second = FindById(root, "second");
+ Assert.IsNotNull(wrap);
+ Assert.IsNotNull(second);
+
+ Assert.AreEqual(0, SlotOf(container, wrap));
+ Assert.AreEqual(1, SlotOf(container, second));
+ }
+
+ // §3.1 propagation would stop before breaking through the fragmentation root, so the chain here reaches
+ // the root either way (whether or not ancestor propagation exists) and no break is taken - which is
+ // also §4.4's "no empty fragmentainer" falling out rather than being asserted. Passes in this port for
+ // the same *suppression* that makes the two Ignored tests above fail their PeachPDF assertions - the
+ // observable outcome (nothing moves, single page) happens to coincide here.
+ [TestMethod]
+ public async Task ForcedBreakBeforeTheFirstBoxInTheFlow_ManufacturesNoBlankPage()
+ {
+ var (root, container) = await BuildAsync(
+ "first
"
+ + "second
"
+ + "only
tail
next
");
+
+ var next = FindById(root, "next");
+ Assert.IsNotNull(next);
+
+ Assert.AreEqual(container.PageTopOf(1), next.Location.Y, 3);
+ }
+
+ #endregion
+
+ #region Keep-with-next across a container (relocation-triggered - confirmed working)
+
+ // The §4.3 movers (RelocateIfNeeded/EnforceKeepWithNext) reach ancestor-propagation through a real,
+ // confirmed mechanism (PropagateContainerRelocation): the run is collected, the anchor (the first
+ // in-flow box the relocated box begins) travels, and the child loop that owns the run positions it.
+ [TestMethod]
+ public async Task BreakInsideAvoidOnAFirstChild_PullsTheRunAcrossTheContainer()
+ {
+ var (root, container) = await BuildAsync(
+ "lead
"
+ + "Head
" + + ""
+ + "
");
+
+ var head = FindById(root, "head");
+ var wrap = FindById(root, "wrap");
+ var body = FindById(root, "body");
+ Assert.IsNotNull(head);
+ Assert.IsNotNull(wrap);
+ Assert.IsNotNull(body);
+
+ Assert.AreEqual(1, SlotOf(container, body));
+ Assert.AreEqual(1, SlotOf(container, wrap));
+ Assert.AreEqual(1, SlotOf(container, head));
+ }
+
+ #endregion
+}
diff --git a/Source/Test/HtmlRenderer.IntegrationTest/Fragmentation/EarlyBreakLayoutIntegrationTests.cs b/Source/Test/HtmlRenderer.IntegrationTest/Fragmentation/EarlyBreakLayoutIntegrationTests.cs
new file mode 100644
index 000000000..15989fec1
--- /dev/null
+++ b/Source/Test/HtmlRenderer.IntegrationTest/Fragmentation/EarlyBreakLayoutIntegrationTests.cs
@@ -0,0 +1,398 @@
+using System.Collections.Generic;
+using System.Drawing;
+using System.Linq;
+using System.Reflection;
+using Microsoft.VisualStudio.TestTools.UnitTesting;
+using TheArtOfDev.HtmlRenderer.Adapters.Entities;
+using TheArtOfDev.HtmlRenderer.Core;
+using TheArtOfDev.HtmlRenderer.Core.Dom;
+using TheArtOfDev.HtmlRenderer.Core.Fragments;
+using TheArtOfDev.HtmlRenderer.WinForms;
+
+namespace TheArtOfDev.HtmlRenderer.IntegrationTest.Fragmentation;
+
+/// body
"
+ + "filler
"
+ + $"Aaa Bbb Ccc Ddd Eee Fff Ggg Hhh
";
+
+ // Sweeps a range of filler heights rather than hardcoding PeachPDF's own pt-calibrated 130/140/150 -
+ // the exact boundary where a card starts straddling depends on font-metric arithmetic (this session's
+ // own established testing lesson from the sibling Stage*/ContainerLeftBehind* tests: never hardcode a
+ // "just barely straddles" calibration across a different text-measurement backend).
+ [TestMethod]
+ public async Task RelocatedBox_HasNoInteriorGap()
+ {
+ var checkedAny = false;
+ for (var filler = 100.0; filler < 200; filler += 5)
+ {
+ var (root, container) = await BuildAsync(GapDocument(filler, "break-inside:avoid"));
+ var card = FindById(root, "card");
+ if (card == null) continue;
+
+ if (container.PageIndexOf(card.EffectiveTop) != container.PageIndexOf(card.ActualBottom - 0.01))
+ continue; // relocation failed to land it on a single page - not the case under test
+
+ // Only meaningful once the box was actually straddling before relocation, i.e. some filler in
+ // this range genuinely pushed it across a boundary - confirmed indirectly by checking more than
+ // one filler height below all land on a page other than 0.
+ checkedAny = true;
+ AssertLinesAreEvenlySpaced(card);
+ }
+
+ Assert.IsTrue(checkedAny, "no filler height in range produced a relocatable card - test is not meaningful as written");
+ }
+
+ [TestMethod]
+ public async Task RelocatedMonolithicBox_HasNoInteriorGap()
+ {
+ var checkedAny = false;
+ for (var filler = 100.0; filler < 200; filler += 5)
+ {
+ var (root, _) = await BuildAsync(GapDocument(filler, "overflow:hidden"));
+ var card = FindById(root, "card");
+ if (card == null) continue;
+
+ checkedAny = true;
+ AssertLinesAreEvenlySpaced(card);
+ }
+
+ Assert.IsTrue(checkedAny, "test is not meaningful as written");
+ }
+
+ // A translated box keeps the gap as height it does not use, so its height depends on where it happened
+ // to straddle. Laid out again, it is the height of its own content wherever it lands.
+ [TestMethod]
+ public async Task RelocatedBox_IsNoTallerThanTheSameBoxThatNeverMoved()
+ {
+ var (undisturbed, _) = await BuildAsync(GapDocument(0, "break-inside:avoid"));
+ var settled = HeightOfCard(undisturbed);
+
+ for (var filler = 100.0; filler < 200; filler += 5)
+ {
+ var (root, _) = await BuildAsync(GapDocument(filler, "break-inside:avoid"));
+ Assert.AreEqual(settled, HeightOfCard(root), 1.0);
+ }
+ }
+
+ private static double HeightOfCard(CssBox root)
+ {
+ var card = FindById(root, "card");
+ return System.Math.Round(card.ActualBottom - card.EffectiveTop, 3);
+ }
+
+ // The latch: an unsatisfiable avoid (content taller than the band) is relaxed rather than walked down
+ // the document one page at a time.
+ [TestMethod]
+ public async Task BoxTallerThanTheBand_MovesAtMostOnce()
+ {
+ var lines = string.Concat(Enumerable.Range(0, 14).Select(i => $"Line {i}")); + var html = "
filler
"
+ + $"{lines}
";
+
+ var (root, container) = await BuildAsync(html);
+ var card = FindById(root, "card");
+ Assert.IsNotNull(card);
+
+ var tops = Walk(card).SelectMany(b => b.Words).Select(w => w.Top).Distinct().ToList();
+ Assert.IsTrue(tops.Count > 0, "fixture must produce words for this to test anything");
+ var span = tops.Max() - tops.Min();
+ Assert.IsTrue(span > container.PageSize.Height,
+ $"fixture must be taller than one band for this to test relaxation, was {span:F1}");
+
+ Assert.IsTrue(container.PageIndexOf(tops.Min()) <= 1,
+ $"a box that fits nowhere must not walk down the document, but its first line landed at y={tops.Min():F1}");
+ }
+
+ // orphans/widows reaches the same mechanism, so it gets the same guarantee.
+ [TestMethod]
+ public async Task OrphansPushedParagraph_HasNoInteriorGap()
+ {
+ var html = "filler
"
+ + $"Aaa Bbb Ccc Ddd Eee Fff Ggg Hhh
";
+
+ var (root, _) = await BuildAsync(html);
+ AssertLinesAreEvenlySpaced(FindById(root, "card"));
+ }
+
+ // The keep-with-next pull is the one correction a box cannot carry out for itself: the break falls
+ // before a sibling placed before it, so only the parent's child loop can re-run it. Whichever way it is
+ // carried out, the heading comes along and lands at the destination band's top with the box below it.
+ [TestMethod]
+ public async Task PulledRun_MovesTogetherToTheDestinationBandTop()
+ {
+ var checkedAny = false;
+ for (var filler = 80.0; filler < 160; filler += 5)
+ {
+ var (heading, card, container) = await PulledRunAsync(filler);
+ if (heading == null || card == null) continue;
+
+ var headingPage = container.PageIndexOf(heading.EffectiveTop);
+ if (container.PageIndexOf(card.EffectiveTop) != headingPage) continue;
+ if (headingPage == 0) continue; // not actually pulled anywhere - nothing to check here
+
+ checkedAny = true;
+ Assert.IsTrue(heading.ActualBottom <= card.EffectiveTop + 1.0,
+ "the heading must still sit above the box it is chained to");
+ Assert.AreEqual(container.PageTopOf(headingPage), heading.EffectiveTop, 1.0);
+ }
+
+ Assert.IsTrue(checkedAny, "test is not meaningful as written");
+ }
+
+ // Where the run is still part of the pass being laid out, it is re-run rather than moved, so the box
+ // that pulled it re-flows at its new position like any other relocated box.
+ [TestMethod]
+ public async Task PulledRun_IsLaidOutAgain_SoTheBoxHasNoInteriorGap()
+ {
+ var checkedAny = false;
+ for (var filler = 80.0; filler < 160; filler += 5)
+ {
+ var (heading, card, container) = await PulledRunAsync(filler);
+ if (heading == null || card == null) continue;
+ if (container.PageIndexOf(heading.EffectiveTop) == 0) continue;
+
+ checkedAny = true;
+ AssertLinesAreEvenlySpaced(card);
+ }
+
+ Assert.IsTrue(checkedAny, "test is not meaningful as written");
+ }
+
+ // Every word the document authored is claimed by exactly one fragment - fails one way if a rewound
+ // pass leaves a ghost, the other way if a correction discards content that legitimately belonged
+ // somewhere.
+ [TestMethod]
+ public async Task PulledRun_ClaimsEveryWordExactlyOnce()
+ {
+ for (var filler = 80.0; filler < 160; filler += 20)
+ {
+ var (_, _, container) = await PulledRunAsync(filler);
+
+ var claimed = container.FragmentTree!.Fragmentainers
+ .SelectMany(f => Flatten(f.Root))
+ .SelectMany(f => f.Words)
+ .Select(w => w.Word)
+ .ToList();
+
+ Assert.IsTrue(claimed.Count > 0);
+ Assert.AreEqual(claimed.Count, claimed.Distinct().Count());
+ }
+ }
+
+ private static async Task<(CssBox Heading, CssBox Card, HtmlContainerInt Container)> PulledRunAsync(double fillerHeight)
+ {
+ var html = $"filler
"
+ + "Heading
" + + $"Aaa Bbb Ccc Ddd Eee Fff Ggg Hhh
";
+
+ var (root, container) = await BuildAsync(html);
+ return (FindById(root, "heading"), FindById(root, "card"), container);
+ }
+
+ // ── §3.1 propagation (the container travels too) ──────────────────────────────────────────────
+
+ // §3.1's break point before a container's first in-flow child IS the break point before the container,
+ // so a §4.3 mover relocating that child has to move the container with it - confirmed working end to
+ // end via BlockFragmentation.PropagateContainerRelocation (see this repo's own ContainerLeftBehindTest.cs).
+ [TestMethod]
+ [DataRow("break-inside:avoid")]
+ [DataRow("overflow:hidden")]
+ public async Task RelocatedFirstChild_TakesItsContainerWithIt(string cardCss)
+ {
+ var html = "filler
"
+ + ""
+ + $"
";
+
+ var (root, container) = await BuildAsync(html);
+ var wrapper = FindById(root, "wrapper");
+ var card = FindById(root, "card");
+ Assert.IsNotNull(wrapper);
+ Assert.IsNotNull(card);
+
+ var nextBandTop = container.PageTopOf(1);
+ Assert.AreEqual(nextBandTop, wrapper.Location.Y, 1.0);
+ Assert.IsTrue(card.EffectiveTop >= wrapper.Location.Y - 0.001,
+ $"the card must sit inside its wrapper, but is at {card.EffectiveTop:F1} against {wrapper.Location.Y:F1}");
+
+ // And the wrapper is no longer on the page it left, which is the whole visible defect.
+ Assert.IsTrue(wrapper.Location.Y > container.PageTopOf(0) + 1.0);
+ }
+
+ // The redirect is a relaxation ladder rung, not an unconditional rewrite: a container that does not fit
+ // the destination is left where it is and the box moves alone.
+ [TestMethod]
+ public async Task RelocatedFirstChild_LeavesAContainerThatDoesNotFitTheDestination()
+ {
+ // The card straddles the boundary and fits a band on its own, so the mover fires; the wrapper's own
+ // extent (its top down to the card's bottom) is 180 against a 160 band, so it cannot go.
+ var html = "Aaa Bbb Ccc Ddd Eee Fff Ggg Hhh
filler
"
+ + ""
+ + $"
";
+
+ var (root, container) = await BuildAsync(html);
+ var wrapper = FindById(root, "wrapper");
+ var card = FindById(root, "card");
+ Assert.IsNotNull(wrapper);
+ Assert.IsNotNull(card);
+
+ Assert.AreEqual(0, container.PageIndexOf(wrapper.Location.Y));
+ Assert.AreEqual(1, container.PageIndexOf(card.EffectiveTop));
+ }
+
+ // A box whose subtree contains a table that repeats a header still gets relocated correctly - unlike
+ // PeachPDF's CssProxyBox-based repeat (detached from the tree, replaced fresh per page and therefore
+ // unsafe to re-lay-out a second time), TableHeaderRepeat.CloneAndPosition clones real laid-out CssBox
+ // instances rather than mutating/removing the source subtree, so a second layout of the same table
+ // (which is exactly what RelocateIfNeeded's re-entrant PerformLayout does) finds the same real content
+ // it did the first time.
+ [TestMethod]
+ public async Task BoxContainingARepeatingTable_IsStillRelocated()
+ {
+ var rows = string.Concat(Enumerable.Range(0, 4).Select(i => $"Aaa Bbb Ccc Ddd Eee Fff Ggg Hhh
filler
"
+ + ""
+ + $"
";
+
+ var (root, container) = await BuildAsync(html);
+ var card = FindById(root, "card");
+ Assert.IsNotNull(card);
+
+ Assert.AreEqual(1, container.PageIndexOf(card.EffectiveTop));
+ Assert.AreEqual(container.PageTopOf(1), card.EffectiveTop, 1.0);
+ }
+
+ // ── Dropped (9 of PeachPDF's 20 tests) ──────────────────────────────────────────────────────────
+ //
+ // All 9 depend on PeachPDF's own resumable-pass rewind architecture, which this port never built (see
+ // this class's own doc remark, and StageR5WidowsMultiPageTest.cs's own confirmation that the
+ // investigation into needing one concluded it wasn't necessary):
+ //
+ // - RelocatingABox_TakesNoExtraFragmentainerPass, PulledRun_FromAPassThatResumedIntoAParagraph_
+ // ReEntersThatPass: assert a bounded/equal HtmlContainerInt.FragmentainerPasses/PassRewinds pass
+ // counter. Neither property exists - DriveLayoutPasses' own pass counter is a local loop variable,
+ // not exposed state, and every correction in this port (RelocateIfNeeded, EnforceKeepWithNext,
+ // InlineFragmentation's orphans/widows) is a same-pass local fix, so there is no "extra pass" or
+ // "pass rewind" concept to bound in the first place.
+ // - PulledRun_FromAnEarlierPass_LeavesNoFragmentOnThePageItLeft: asserts a moved box's fragment is
+ // absent from an "already-emitted" earlier page. FragmentEmitter runs exactly once, after every
+ // DriveLayoutPasses pass has settled (HtmlContainerInt.PerformLayout's own call order) - nothing is
+ // ever "already emitted" mid-layout for a later correction to have un-emitted, so the scenario this
+ // test characterizes cannot arise.
+ // - PulledRun_AlreadyRestartedOnThisPass_IsMovedRatherThanRestartedAgain: asserts a "restart" limiter
+ // (PeachPDF's own per-pass-per-box guard against restarting the same run twice) falls back to a
+ // flat move. EnforceKeepWithNext has no restart counter or fallback path to test - it always
+ // computes the same trim-and-shift outcome from the current geometry, deterministically, every time
+ // it is called.
+ // - RunHeadContainingARepeatingTable_KeepsItsHeaderIntact: asserts against PeachPDF's CssProxyBox
+ // (a detached per-page proxy row inserted into the live tree) surviving a restart. No such type
+ // exists here (TableHeaderRepeat.CloneAndPosition's clones are never inserted into CssBox.Boxes at
+ // all - see that class's own doc comment), and the underlying "does the header actually repeat
+ // correctly" concern is already covered by StageD4RepeatedHeaderTest.cs and Batch 1's
+ // HtmlContainerIntPaginationTests.cs, so re-asserting it here under a keep-with-next run would be
+ // redundant, not a new gap.
+ // - PulledRun_ReEnteringAPassThatResumedIntoAParagraph_LaysItOutAgain,
+ // PulledRun_FromAPassThatResumedIntoAParagraph_KeepsEachHeadingWithItsBlock,
+ // PulledRun_FromAPassThatResumedIntoAParagraph_ClaimsEachBlockWordExactlyOnce,
+ // PulledRun_ReEnteringAPassThatResumedIntoAParagraph_RetakesAForcedBreakOnAGrandchild: all four
+ // exist specifically to characterize PassRewind.RollBackTo's own correctness (discarding lines a
+ // replayed pass would otherwise duplicate, retaking a forced break latched by a discarded attempt).
+ // InlineFragmentation.ApplyLineBreaking computes an entire paragraph's lines in one unbounded,
+ // side-effect-free call (its own doc comment), so there is no resumed/replayed pass for duplicate
+ // lines or a latched break to survive from - the bug class these tests guard against cannot occur.
+}
diff --git a/Source/Test/HtmlRenderer.IntegrationTest/Fragmentation/EngineRelayoutIdempotencyTests.cs b/Source/Test/HtmlRenderer.IntegrationTest/Fragmentation/EngineRelayoutIdempotencyTests.cs
new file mode 100644
index 000000000..d00ffaa84
--- /dev/null
+++ b/Source/Test/HtmlRenderer.IntegrationTest/Fragmentation/EngineRelayoutIdempotencyTests.cs
@@ -0,0 +1,178 @@
+using System.Collections.Generic;
+using System.Drawing;
+using System.Globalization;
+using System.Linq;
+using System.Reflection;
+using Microsoft.VisualStudio.TestTools.UnitTesting;
+using TheArtOfDev.HtmlRenderer.Adapters.Entities;
+using TheArtOfDev.HtmlRenderer.Core;
+using TheArtOfDev.HtmlRenderer.Core.Dom;
+using TheArtOfDev.HtmlRenderer.WinForms;
+
+namespace TheArtOfDev.HtmlRenderer.IntegrationTest.Fragmentation;
+
+/// | Heading |
|---|
Item {i} with enough words in it to wrap onto more than a single line when the column it sits in is narrow.
"));
+
+ // The control: whatever the other engines do, ordinary block flow is stable - a failure elsewhere is
+ // that mechanism's own, not this harness's.
+ [TestMethod]
+ public async Task PlainBlockFlow_LaidOutAgain_ReproducesItsGeometry()
+ {
+ var snapshots = await LayoutRepeatedlyAsync($"{Items(24)}
", passes: 3, GeometryOf, pageHeight: 300);
+
+ Assert.AreEqual(snapshots[0], snapshots[1]);
+ Assert.AreEqual(snapshots[1], snapshots[2]);
+ }
+
+ private static string TableRows(int count) =>
+ string.Concat(System.Linq.Enumerable.Range(1, count).Select(i =>
+ $"| Head A | Head B |
|---|
A
"
+ + $"{LongText()}
";
+
+ var (root, container) = await BuildAsync(html);
+ var b = FindById(root, "b");
+ Assert.IsNotNull(b);
+
+ Assert.AreEqual(container.PageTopOf(1), b.EffectiveTop, 1.0);
+
+ // And no blank page in the middle: every fragmentainer from the first to the last carries content.
+ var slots = container.FragmentTree!.Fragmentainers.Select(f => f.SlotIndex).ToArray();
+ Assert.IsTrue(Enumerable.Range(0, slots.Length).SequenceEqual(slots));
+ }
+
+ // The other side of the same reasoning: here the box with the unsatisfiable orphans minimum is not the
+ // one the forced break placed - it follows it on the same page - so there genuinely is something above
+ // it, and the orphans mover is entitled to fire and start it on the next page.
+ [TestMethod]
+ public async Task AboveTheForcedBreaksBox_IsStillRoomAbove_ForWhatFollowsItOnThatPage()
+ {
+ var html = "A
"
+ + "B
"
+ + $"{LongText()}
";
+
+ var (root, container) = await BuildAsync(html);
+ var b = FindById(root, "b");
+ var c = FindById(root, "c");
+ Assert.IsNotNull(b);
+ Assert.IsNotNull(c);
+
+ Assert.AreEqual(container.PageTopOf(1), b.EffectiveTop, 1.0);
+ Assert.AreEqual(container.PageTopOf(2), c.EffectiveTop, 1.0);
+ }
+
+ // The shape most likely to have relied on a wrong cursor: content that overflows the fragmentainer the
+ // break stepped to. A box taller than the band still starts on the page the break named, and the box
+ // after it picks up at its real bottom, not at the bottom of some other band.
+ [TestMethod]
+ public async Task AfterAForcedBreak_ABoxTallerThanTheBand_StillStartsOnThePageTheBreakNamed()
+ {
+ var html = "X
"
+ + "TALL
"
+ + "after
";
+
+ var (root, container) = await BuildAsync(html);
+ var tall = FindById(root, "tall");
+ var after = FindById(root, "after");
+ Assert.IsNotNull(tall);
+ Assert.IsNotNull(after);
+
+ Assert.AreEqual(container.PageTopOf(1), tall.Location.Y, 1.0);
+ Assert.AreEqual(tall.ActualBottom, after.Location.Y, 1.0);
+ }
+}
diff --git a/Source/Test/HtmlRenderer.IntegrationTest/Fragmentation/JustifiedLineAtABreakTests.cs b/Source/Test/HtmlRenderer.IntegrationTest/Fragmentation/JustifiedLineAtABreakTests.cs
new file mode 100644
index 000000000..a28f9de1b
--- /dev/null
+++ b/Source/Test/HtmlRenderer.IntegrationTest/Fragmentation/JustifiedLineAtABreakTests.cs
@@ -0,0 +1,129 @@
+using System.Collections.Generic;
+using System.Drawing;
+using System.Linq;
+using System.Reflection;
+using Microsoft.VisualStudio.TestTools.UnitTesting;
+using TheArtOfDev.HtmlRenderer.Adapters.Entities;
+using TheArtOfDev.HtmlRenderer.Core;
+using TheArtOfDev.HtmlRenderer.Core.Dom;
+using TheArtOfDev.HtmlRenderer.WinForms;
+
+namespace TheArtOfDev.HtmlRenderer.IntegrationTest.Fragmentation;
+
+/// {Words(wordCount)}
"; + + ///filler
"
+ + sectionHtml
+ + "");
+
+ var container = GetInternal(wrapper);
+ container.PageSize = new RSize(400, PageHeight);
+ container.MarginTop = MarginTop;
+ container.Location = new RPoint(0, MarginTop);
+ wrapper.MaxSize = new SizeF(400, 0);
+
+ using var bitmap = new Bitmap(400, 60000);
+ using var g = Graphics.FromImage(bitmap);
+ wrapper.PerformLayout(g);
+
+ return (container.Root!, container);
+ }
+
+ private static IEnumerableswatch |
Section heading
" + + "swatch |
Section heading
" + + "Intro paragraph kept with the content below.
" + + "" + + "swatch |
Section heading
" + + ""
+ + "
");
+
+ var heading = FindByClass(root, "heading");
+ var keep = FindByClass(root, "keep");
+ Assert.IsNotNull(heading);
+ Assert.IsNotNull(keep);
+
+ var keepPage = container.PageIndexOf(keep.Location.Y);
+ Assert.IsTrue(keepPage >= 1, $"Test setup expects the avoid box to be moved to page 2+, but it is at y={keep.Location.Y}");
+ Assert.AreEqual(keepPage, container.PageIndexOf(heading.Location.Y));
+ Assert.IsTrue(heading.ActualBottom <= keep.Location.Y + 1.0);
+ }
+
+ // The canonical real-document case: a heading followed by a plain paragraph. The paragraph is not
+ // relocated wholesale - word flow pushes its first LINE to the next page - and the keep-with-next retry
+ // must still bring the heading along.
+ [TestMethod]
+ public async Task ParagraphFirstLinePushedByWordFlow_PullsAvoidChainedHeadingAlong()
+ {
+ var (root, container) = await BuildAsync(
+ "Keep together
Section heading
" + + "A plain paragraph of body text that follows the heading and whose first line lands across the page boundary because filler pushed it there.
", + fillerHeight: 965); + + var heading = FindByClass(root, "heading"); + var para = FindByClass(root, "para"); + Assert.IsNotNull(heading); + Assert.IsNotNull(para); + + var paraPage = container.PageIndexOf(para.Location.Y); + Assert.IsTrue(paraPage >= 1, $"Test setup expects the paragraph to start on page 2+, but it is at y={para.Location.Y}"); + Assert.AreEqual(paraPage, container.PageIndexOf(heading.Location.Y)); + Assert.IsTrue(heading.ActualBottom <= para.Location.Y + 1.0); + } + + // §4.3 relaxation, one tier at a time: where the whole chain cannot travel, the run is trimmed from its + // *front* rather than dropped entirely - the h3 (nearest the breaking box) travels, the h2 does not. + [TestMethod] + public async Task ChainedAvoidHeadings_TooTallToTravelWhole_AreTrimmedFromTheFront() + { + var (root, container) = await BuildAsync( + "Chapter heading
" + + "Section heading
" + + ""
+ + "
",
+ fillerHeight: 100);
+
+ var outer = FindByClass(root, "outer");
+ var inner = FindByClass(root, "inner");
+ var keep = FindByClass(root, "keep");
+ Assert.IsNotNull(outer);
+ Assert.IsNotNull(inner);
+ Assert.IsNotNull(keep);
+
+ var keepPage = container.PageIndexOf(keep.Location.Y);
+ Assert.IsTrue(keepPage >= 1, $"Test setup expects the avoid box to move, but it is at y={keep.Location.Y}");
+
+ // The tail of the run travelled...
+ Assert.AreEqual(keepPage, container.PageIndexOf(inner.Location.Y));
+ Assert.IsTrue(inner.ActualBottom <= keep.Location.Y + 1.0);
+
+ // ...and the head of it did not - dropping the run whole would have stranded the h3 as well.
+ Assert.IsTrue(container.PageIndexOf(outer.Location.Y) < keepPage,
+ $"expected the chapter heading to stay behind, it is at y={outer.Location.Y}");
+ }
+
+ // Two consecutive avoid headings (h2 then h3) chain transitively - both move together with the content
+ // that triggered the break.
+ [TestMethod]
+ public async Task ChainedAvoidHeadings_AllMoveTogether()
+ {
+ var (root, container) = await BuildAsync(
+ "Keep together
Chapter heading
" + + "Section heading
" + + ""
+ + "
");
+
+ var outer = FindByClass(root, "outer");
+ var inner = FindByClass(root, "inner");
+ var keep = FindByClass(root, "keep");
+ Assert.IsNotNull(outer);
+ Assert.IsNotNull(inner);
+ Assert.IsNotNull(keep);
+
+ var keepPage = container.PageIndexOf(keep.Location.Y);
+ Assert.IsTrue(keepPage >= 1, $"Test setup expects the avoid box to be moved to page 2+, but it is at y={keep.Location.Y}");
+ Assert.AreEqual(keepPage, container.PageIndexOf(outer.Location.Y));
+ Assert.AreEqual(keepPage, container.PageIndexOf(inner.Location.Y));
+ Assert.IsTrue(outer.ActualBottom <= inner.Location.Y + 1.0);
+ Assert.IsTrue(inner.ActualBottom <= keep.Location.Y + 1.0);
+ }
+
+ // A paragraph relocated by the orphans rule (too few lines would remain before the page boundary) must
+ // pull its avoid-chained heading along too - same idea, third nudge site.
+ [TestMethod]
+ public async Task OrphansPushedParagraph_PullsAvoidChainedHeadingAlong()
+ {
+ var (root, container) = await BuildAsync(
+ "Keep together
Section heading
" + + "one
two
three
four
five
six
Chapter heading
" + + ""
+ + "
",
+ fillerHeight: 100);
+
+ var heading = FindByClass(root, "heading");
+ var keep = FindByClass(root, "keep");
+ Assert.IsNotNull(heading);
+ Assert.IsNotNull(keep);
+
+ // The forced break puts the keep box flush at page 2's own top (RelocateIfNeeded then declines to
+ // move it any further: its content is taller than a whole page, so - per RelocateIfNeeded's own
+ // "fits on no single page" rule - it is left exactly where the forced break put it rather than
+ // moved somewhere it also would not fit). The heading must stay behind on page 1 either way: the
+ // forced break between the two forbids keeping them together, independent of where the keep box
+ // itself ends up.
+ Assert.AreEqual(1, container.PageIndexOf(keep.Location.Y),
+ $"Test setup expects the forced break to place the keep box on page 2, but it is at y={keep.Location.Y}");
+ Assert.AreEqual(0, container.PageIndexOf(heading.Location.Y));
+ }
+
+ // css-break-3 §3.2: `avoid-page` names the page context explicitly, so it chains exactly as bare
+ // `avoid` does. `avoid-column`/`avoid-region` name other fragmentation contexts and must not.
+ [TestMethod]
+ [DataRow("break-after:avoid", true)]
+ [DataRow("break-after:avoid-page", true)]
+ [DataRow("break-after:avoid-column", false)]
+ [DataRow("break-after:avoid-region", false)]
+ public async Task KeepWithNext_ChainsOnlyOnPageContextAvoidance(string headingDeclaration, bool shouldChain)
+ {
+ var (root, container) = await BuildAsync(
+ $"tall keep-together content
Section heading
" + + "Keep together
Section heading
" + + ""
+ + "
",
+ fillerHeight: 100);
+
+ var heading = FindByClass(root, "heading");
+ var keep = FindByClass(root, "keep");
+ Assert.IsNotNull(heading);
+ Assert.IsNotNull(keep);
+
+ Assert.AreEqual(0, container.PageIndexOf(heading.Location.Y));
+ Assert.AreEqual(0, container.PageIndexOf(keep.Location.Y),
+ "content taller than a page fits nowhere, so RelocateIfNeeded must leave it exactly where ordinary flow placed it");
+ }
+
+ // An unsatisfiable avoid (heading + content taller than one page) is relaxed per spec: the content
+ // moves alone and the heading stays, instead of looping or overflowing.
+ [TestMethod]
+ public async Task UnsatisfiableAvoid_IsRelaxed_ContentMovesAlone()
+ {
+ var rows = string.Concat(Enumerable.Range(1, 60).Select(i => $"taller than the space a heading would leave
Section heading
" + + $"Lead-in paragraph
"
+ + ""
+ + "
");
+
+ var lead = FindByClass(root, "lead");
+ var keep = FindByClass(root, "keep");
+ Assert.IsNotNull(lead);
+ Assert.IsNotNull(keep);
+
+ var keepPage = container.PageIndexOf(keep.Location.Y);
+ Assert.IsTrue(keepPage >= 1, $"Test setup expects the avoid box to be moved to page 2+, but it is at y={keep.Location.Y}");
+ Assert.AreEqual(keepPage, container.PageIndexOf(lead.Location.Y));
+ }
+}
diff --git a/Source/Test/HtmlRenderer.IntegrationTest/Fragmentation/MonolithicContentLayoutIntegrationTests.cs b/Source/Test/HtmlRenderer.IntegrationTest/Fragmentation/MonolithicContentLayoutIntegrationTests.cs
new file mode 100644
index 000000000..7f1e3a12c
--- /dev/null
+++ b/Source/Test/HtmlRenderer.IntegrationTest/Fragmentation/MonolithicContentLayoutIntegrationTests.cs
@@ -0,0 +1,304 @@
+using System.Collections.Generic;
+using System.Drawing;
+using System.Linq;
+using System.Reflection;
+using Microsoft.VisualStudio.TestTools.UnitTesting;
+using TheArtOfDev.HtmlRenderer.Adapters.Entities;
+using TheArtOfDev.HtmlRenderer.Core;
+using TheArtOfDev.HtmlRenderer.Core.Dom;
+using TheArtOfDev.HtmlRenderer.Core.Fragments;
+using TheArtOfDev.HtmlRenderer.WinForms;
+
+namespace TheArtOfDev.HtmlRenderer.IntegrationTest.Fragmentation;
+
+/// Keep together
filler
"
+ + $"content
";
+
+ // The headline case: a card with overflow: hidden is a scroll container, so it may not be split.
+ [TestMethod]
+ public async Task StraddlingScrollContainer_MovesWholeToTheNextPage()
+ {
+ var (root, container) = await BuildAsync(StraddleDocument("overflow:hidden"));
+ var card = FindById(root, "card");
+ Assert.IsNotNull(card);
+
+ Assert.AreEqual(
+ container.PageIndexOf(card.Location.Y),
+ container.PageIndexOf(card.ActualBottom - 0.01));
+ Assert.AreEqual(container.PageTopOf(1), card.Location.Y, 0.5);
+ }
+
+ // The control: the identical box without the declaration still straddles.
+ [TestMethod]
+ public async Task StraddlingVisibleBox_IsStillSplit()
+ {
+ var (root, container) = await BuildAsync(StraddleDocument(""));
+ var card = FindById(root, "card");
+ Assert.IsNotNull(card);
+
+ Assert.AreNotEqual(
+ container.PageIndexOf(card.Location.Y),
+ container.PageIndexOf(card.ActualBottom - 0.01),
+ "fixture must straddle a page boundary when nothing forbids it");
+ }
+
+ // The two movers share the same relocation code path, so they must agree exactly however the box came
+ // to straddle.
+ [TestMethod]
+ [DataRow(750.0)]
+ [DataRow(800.0)]
+ [DataRow(850.0)]
+ public async Task RelocatedBox_MatchesWhatBreakInsideAvoidAlreadyDoes(double fillerHeight)
+ {
+ string Document(string cardCss) =>
+ $"filler
"
+ + $"Aaa Bbb Ccc Ddd Eee Fff Ggg Hhh
";
+
+ var (monolithic, _) = await BuildAsync(Document("overflow:hidden"));
+ var (avoid, _) = await BuildAsync(Document("break-inside:avoid"));
+
+ var a = FindById(monolithic, "card");
+ var b = FindById(avoid, "card");
+ Assert.IsNotNull(a);
+ Assert.IsNotNull(b);
+
+ Assert.AreEqual(b.Location.Y, a.Location.Y, 0.5);
+ Assert.AreEqual(b.ActualBottom, a.ActualBottom, 0.5);
+ }
+
+ [TestMethod]
+ [DataRow("overflow:scroll")]
+ [DataRow("overflow:auto")]
+ public async Task EveryScrollContainerValue_MovesWhole(string css)
+ {
+ var (root, container) = await BuildAsync(StraddleDocument(css));
+ var card = FindById(root, "card");
+ Assert.IsNotNull(card);
+
+ Assert.AreEqual(
+ container.PageIndexOf(card.Location.Y),
+ container.PageIndexOf(card.ActualBottom - 0.01));
+ }
+
+ // §2 would have content that fits in no fragmentainer overflow rather than be sliced. This port
+ // deliberately keeps fragmenting instead (RelocateIfNeeded's own "fits on no single page - left in
+ // place" rule), matching PeachPDF's own documented choice for the same case.
+ [TestMethod]
+ public async Task ScrollContainerTallerThanTheBand_KeepsFragmentingRatherThanOverflowing()
+ {
+ var lines = string.Concat(Enumerable.Range(0, 80).Select(i => $"Line{i}")); + var html = "
filler
"
+ + $"{lines}
";
+
+ var (root, container) = await BuildAsync(html);
+ var card = FindById(root, "card");
+ Assert.IsNotNull(card);
+
+ Assert.IsTrue(container.FragmentTree!.Fragmentainers.Count > 1,
+ "a box with nowhere to fit must keep fragmenting across more than one page, not overflow");
+
+ var placed = container.FragmentTree!.Fragmentainers
+ .SelectMany(f => Flatten(f.Root))
+ .SelectMany(f => f.Words)
+ .Select(w => w.Word.Text)
+ .Where(t => t != null && t.StartsWith("Line"))
+ .Distinct()
+ .Count();
+
+ Assert.AreEqual(80, placed);
+ }
+
+ // A fixed box is emitted in every fragmentainer at identical coordinates, so "move it to the next page"
+ // names nothing for it - the mover has to leave it alone however it is styled.
+ [TestMethod]
+ public async Task FixedScrollContainer_IsNotRelocated()
+ {
+ string FixedDocument(string cardCss) =>
+ "filler
tail
"
+ + $"x
";
+
+ var (plain, plainContainer) = await BuildAsync(FixedDocument(""));
+ var (clipped, _) = await BuildAsync(FixedDocument("overflow:hidden"));
+
+ var plainCard = FindById(plain, "card");
+ var clippedCard = FindById(clipped, "card");
+ Assert.IsNotNull(plainCard);
+ Assert.IsNotNull(clippedCard);
+
+ Assert.IsTrue(plainContainer.FragmentTree!.Fragmentainers.Count > 1, "fixture must paginate");
+ Assert.AreEqual(plainCard.Location.Y, clippedCard.Location.Y, 0.5);
+ }
+
+ // A display:none box is never placed - LayoutContents copies its previous sibling's Location/
+ // ActualBottom instead, so it must be untouched by the mover.
+ [TestMethod]
+ public async Task HiddenScrollContainer_IsNotRelocated()
+ {
+ var html = "s
"
+ + "tall
"
+ + "";
+
+ var (root, container) = await BuildAsync(html);
+ var tall = FindById(root, "tall");
+ var ghost = FindById(root, "ghost");
+ Assert.IsNotNull(tall);
+ Assert.IsNotNull(ghost);
+
+ Assert.IsTrue(
+ container.PageIndexOf(tall.ActualBottom - 0.01) > container.PageIndexOf(tall.Location.Y),
+ "the fixture's point: #tall really does straddle, so the mover is live on this document");
+
+ Assert.AreEqual(tall.Location.Y, ghost.Location.Y, 0.5);
+ Assert.AreEqual(tall.ActualBottom, ghost.ActualBottom, 0.5);
+ }
+
+ // A box exactly as tall as the content band fits a page perfectly, so there is somewhere to move it to.
+ [TestMethod]
+ public async Task ScrollContainerExactlyAsTallAsTheBand_StillMovesWhole()
+ {
+ var html = "filler
"
+ + $"card
";
+
+ var (root, container) = await BuildAsync(html);
+ var card = FindById(root, "card");
+ Assert.IsNotNull(card);
+
+ Assert.AreEqual(
+ container.PageIndexOf(card.Location.Y),
+ container.PageIndexOf(card.ActualBottom - 0.01));
+ }
+
+ // A scroll container too tall for any band, with nothing inside it to fragment, overflows in place -
+ // and content after it must still see a truthful position, not one measured against a stale band.
+ [TestMethod]
+ public async Task ContentAfterAScrollContainerTallerThanTheBand_SeesATruthfulCursor()
+ {
+ var html = "filler
"
+ + ""
+ + "content after the oversized scroll container
"; + + var (root, container) = await BuildAsync(html); + var card = FindById(root, "card"); + var after = FindById(root, "after"); + Assert.IsNotNull(card); + Assert.IsNotNull(after); + + Assert.IsTrue(card.ActualBottom - card.Location.Y > PageHeight, + "the fixture must be taller than a whole band, or this asserts nothing"); + + // The content after the oversized box must flow from its real bottom, not from some earlier, + // stale band boundary. + Assert.AreEqual(card.ActualBottom, after.Location.Y, 0.5); + } + + // The replaced half of §2 reaches the same outcome by a different route: anfiller
"
+ + $"text
", true)]
+ [DataRow("text
", false)]
+ public async Task Fragment_CarriesWhetherItsBoxIsMonolithic(string markup, bool expected)
+ {
+ var (root, container) = await BuildAsync(markup);
+ var box = FindById(root, "t");
+ Assert.IsNotNull(box);
+
+ var fragments = FragmentsOf(container, box);
+ Assert.IsTrue(fragments.Count > 0);
+ foreach (var f in fragments)
+ Assert.AreEqual(expected, f.IsMonolithic);
+ }
+
+ // Every fragment of one box agrees, since this is a property of the box rather than of the piece.
+ [TestMethod]
+ public async Task EveryFragmentOfASplitBox_AgreesOnTheFact()
+ {
+ var (root, container) = await BuildAsync(StraddleDocument(""));
+ var card = FindById(root, "card");
+ Assert.IsNotNull(card);
+
+ var fragments = FragmentsOf(container, card);
+ Assert.IsTrue(fragments.Count > 1, "fixture must produce more than one fragment");
+ foreach (var f in fragments)
+ Assert.IsFalse(f.IsMonolithic);
+ }
+}
diff --git a/Source/Test/HtmlRenderer.IntegrationTest/Fragmentation/OrphansWidowsIntegrationTests.cs b/Source/Test/HtmlRenderer.IntegrationTest/Fragmentation/OrphansWidowsIntegrationTests.cs
new file mode 100644
index 000000000..661f18a2c
--- /dev/null
+++ b/Source/Test/HtmlRenderer.IntegrationTest/Fragmentation/OrphansWidowsIntegrationTests.cs
@@ -0,0 +1,460 @@
+using System.Collections.Generic;
+using System.Drawing;
+using System.Linq;
+using System.Reflection;
+using Microsoft.VisualStudio.TestTools.UnitTesting;
+using TheArtOfDev.HtmlRenderer.Adapters.Entities;
+using TheArtOfDev.HtmlRenderer.Core;
+using TheArtOfDev.HtmlRenderer.Core.Dom;
+using TheArtOfDev.HtmlRenderer.WinForms;
+
+namespace TheArtOfDev.HtmlRenderer.IntegrationTest.Fragmentation;
+
+/// text
"); + Assert.AreEqual("2", FindById(root, "p").Orphans); + } + + [TestMethod] + public async Task Widows_DefaultsToTwo() + { + var (root, _) = await BuildAsync("text
"); + Assert.AreEqual("2", FindById(root, "p").Widows); + } + + [TestMethod] + public async Task Orphans_ParsesExplicitValue() + { + var (root, _) = await BuildAsync("text
"); + Assert.AreEqual("3", FindById(root, "p").Orphans); + } + + [TestMethod] + public async Task Widows_ParsesExplicitValue() + { + var (root, _) = await BuildAsync("text
"); + Assert.AreEqual("1", FindById(root, "p").Widows); + } + + // orphans/widows must be >= 1 per spec (a used-value constraint) - but the DECLARED value ("0") is + // still syntactically legal CSS and is stored verbatim, exactly matching PeachPDF's own real behavior: + // Css/PropertyPaginationTests.cs (ported directly from PeachPDF.Tests/CSS/Property.cs) already asserts + // OrphansProperty/WidowsProperty parse "0" into Property.Value=="0", not a fallback. CssBox.Orphans/ + // Widows are thin wrappers over that same declared string, so they correctly return "0" too - this was + // confirmed the hard way: an earlier attempt to make the raw string reject 0 at the CSS-engine level + // broke CssOrphansZeroLegal/CssWidowsZeroLegal outright. The actual spec constraint (>=1) is enforced + // exactly once, at the point real layout consumes the value: ActualOrphans/ActualWidows (below) already + // treat any non-positive parse as unset and fall back to the CSS initial value of 2 - which is what + // this test should really be pinning, not the raw declared string. + [TestMethod] + public async Task Orphans_ZeroResolvesToDefault_ThoughTheDeclaredStringStaysZero() + { + var (root, _) = await BuildAsync("text
"); + var p = FindById(root, "p"); + Assert.AreEqual("0", p.Orphans); + Assert.AreEqual(2, p.ActualOrphans); + } + + [TestMethod] + public async Task Widows_ZeroResolvesToDefault_ThoughTheDeclaredStringStaysZero() + { + var (root, _) = await BuildAsync("text
"); + var p = FindById(root, "p"); + Assert.AreEqual("0", p.Widows); + Assert.AreEqual(2, p.ActualWidows); + } + + [TestMethod] + public async Task Widows_NegativeResolvesToDefault() + { + var (root, _) = await BuildAsync("text
"); + Assert.AreEqual(2, FindById(root, "p").ActualWidows); + } + + [TestMethod] + public async Task Widows_IsInherited() + { + var (root, _) = await BuildAsync("text
text
: this fork's
+ // handling (DomParser.CorrectLineBreaksBlocks) only folds a
into a real forced-newline "\n" word + // when it is the LAST thing in its inline run; a
with more inline content after it is left as a + // literal box, which the parser's block-correction pass then splits into SEPARATE anonymous BLOCK + // siblings (one per
-delimited run), each holding exactly one line of its own - confirmed directly + // by inspecting the box tree (CssBox.Boxes came back as 7 children: 4 display:block text runs + // interleaved with 3 display:inline
boxes, and the
itself had zero LineBoxes of its own).
+ // InlineFragmentation.ApplyLineBreaking operates on a SINGLE box's own LineBoxes list, so a
-joined
+ // fixture never exercises its multi-line widows/orphans correction at all - every "line" is really an
+ // independent 1-line sibling block, which is a fundamentally different (and, for this feature, useless)
+ // shape than what these tests are meant to probe. A real multi-word-wrapped paragraph does not have
+ // this problem (confirmed empirically: no such splitting, and no spurious extra line box either - that
+ // only showed up at truly Ext width like 10px, an unrelated edge case avoided by staying well clear of
+ // it here).
+ private static string Paragraph(int lineCount, string extraStyle = "") =>
+ "
" + + string.Join(" ", Enumerable.Range(1, lineCount).Select(i => $"Line{i}")) + + "
"; + + ///Heading
" + + Paragraph(8, "orphans:2"); + + var (root, _) = await BuildAsync(html, pageHeight: 100); + Assert.IsNotNull(FindById(root, "p")); + } + + [TestMethod] + public async Task Widows2_ParagraphStartingOnSecondPage_StillCorrected() + { + var checkedAny = false; + for (var filler = 100.0; filler < 200; filler += 2) + { + var split = await SplitAsync(filler, 4, "widows:2"); + if (split is not { PageIndex: > 0, Before: > 0, After: > 0 } s) continue; + if (s.Before + s.After != 4) continue; + + checkedAny = true; + Assert.IsTrue(s.After >= 2, $"filler={filler}: widows:2 violated on a paragraph starting past page 0, only {s.After} line(s) after"); + } + + Assert.IsTrue(checkedAny, "test is not meaningful as written - no filler in range started the paragraph past page 0 while still straddling"); + } + + // css4.pub's real dictionary sets "widows: 1; orphans: 1" - already maximally permissive, so this + // feature should never nudge anything on that document. + [TestMethod] + public async Task Orphans1Widows1_MatchesDictionaryCssValues_NoEffect_Regression() + { + for (var filler = 0.0; filler < 100; filler += 10) + { + var split = await SplitAsync(filler, 4, "orphans:1;widows:1"); + if (split is not { } s) continue; + if (s.Before + s.After != 4) continue; + + // orphans:1/widows:1 never requires more than one line either side, so any natural split with + // at least one line on each side (once it straddles at all) must be left alone. + if (s.Before > 0 && s.After > 0) + { + Assert.IsTrue(s.Before >= 1 && s.After >= 1); + } + } + } +} diff --git a/Source/Test/HtmlRenderer.IntegrationTest/Fragmentation/PageBreakIntegrationTests.cs b/Source/Test/HtmlRenderer.IntegrationTest/Fragmentation/PageBreakIntegrationTests.cs new file mode 100644 index 000000000..1d4771e56 --- /dev/null +++ b/Source/Test/HtmlRenderer.IntegrationTest/Fragmentation/PageBreakIntegrationTests.cs @@ -0,0 +1,454 @@ +using System.Collections.Generic; +using System.Drawing; +using System.Reflection; +using Microsoft.VisualStudio.TestTools.UnitTesting; +using TheArtOfDev.HtmlRenderer.Adapters.Entities; +using TheArtOfDev.HtmlRenderer.Core; +using TheArtOfDev.HtmlRenderer.Core.Dom; +using TheArtOfDev.HtmlRenderer.WinForms; + +namespace TheArtOfDev.HtmlRenderer.IntegrationTest.Fragmentation; + +///filler
"
+ + ""
+ + "Section B
");
+
+ var bordered = FindByClass(root, "bordered");
+ Assert.IsNotNull(bordered);
+
+ Assert.AreEqual(1, container.PageIndexOf(bordered.Location.Y),
+ $"Bordered box should start on page 2, but starts at y={bordered.Location.Y}");
+
+ Assert.AreEqual(
+ container.PageIndexOf(bordered.Location.Y),
+ container.PageIndexOf(bordered.ActualBottom - 0.01),
+ "Bordered box must not be split across pages");
+ }
+
+ [TestMethod]
+ public async Task PageBreakBefore_ForcesBreak()
+ {
+ var (root, container) = await BuildAsync(
+ "filler
"
+ + "Section B
");
+
+ var bordered = FindByClass(root, "bordered");
+ Assert.IsNotNull(bordered);
+ Assert.AreEqual(1, container.PageIndexOf(bordered.Location.Y),
+ $"Bordered box with break-before:page should start on page 2, but starts at y={bordered.Location.Y}");
+ }
+
+ // The modern spelling of the same forced break: break-before: page is the css-break-3 §3.1 value
+ // "page-break-before: always" is defined (§3.3) to map onto, so both must paginate identically.
+ [TestMethod]
+ public async Task BreakBeforePage_ForcesBreak()
+ {
+ var (root, container) = await BuildAsync(ForcedBreakHtml("break-before:page"));
+
+ var second = FindByClass(root, "second");
+ Assert.IsNotNull(second);
+ Assert.AreEqual(1, container.PageIndexOf(second.Location.Y),
+ $"break-before: page should start the box on page 2, but it starts at y={second.Location.Y}");
+ }
+
+ // PeachPDF treats "break-before: always" as invalid (only the legacy page-break-before accepts
+ // "always") and expects it to fall back to "auto", not forcing a break. HTML-Renderer deliberately
+ // does not: BreakValues.IsForcedBreak's own remark documents that this port's CSS engine accepts
+ // "always" directly on the modern break-before/break-after properties too, rather than normalizing it
+ // away at parse time - confirmed here by BreakBeforeProperty's converter (BreakModeConverter, which
+ // parses "always" successfully) and by this test actually observing the forced break fire. Inverted
+ // rather than dropped, since it is a real, deliberate design choice worth pinning either way.
+ [TestMethod]
+ public async Task BreakBeforeAlways_IsAcceptedAsAForcedBreak_UnlikePeachPDF()
+ {
+ var (root, container) = await BuildAsync(ForcedBreakHtml("break-before:always"));
+
+ var second = FindByClass(root, "second");
+ Assert.IsNotNull(second);
+ Assert.AreEqual("always", second.BreakBefore);
+ Assert.AreEqual(1, container.PageIndexOf(second.Location.Y),
+ $"break-before: always is accepted as a forced break in this port, but the box starts at y={second.Location.Y}");
+ }
+
+ private static string ForcedBreakHtml(string breakDeclaration) =>
+ $"First
"
+ + $"Second
";
+
+ // css-break-3 §3.2: `avoid` and `avoid-page` both forbid a page break, and must reposition the box to
+ // the next page's content top.
+ [TestMethod]
+ [DataRow("break-inside:avoid;page-break-inside:avoid")]
+ [DataRow("break-inside:avoid-page")]
+ public async Task BreakInside_AvoidingAPageBreak_PositionsAtTopOfNextPage(string declaration)
+ {
+ var (root, container) = await BuildAsync(BreakInsideHtml(declaration));
+
+ var avoidBox = FindByClass(root, "avoid");
+ Assert.IsNotNull(avoidBox);
+
+ Assert.AreEqual(
+ container.PageIndexOf(avoidBox.Location.Y),
+ container.PageIndexOf(avoidBox.ActualBottom - 0.01),
+ $"Box with '{declaration}' must not be split across pages");
+
+ Assert.AreEqual(1, container.PageIndexOf(avoidBox.Location.Y),
+ "Test setup expects the avoid box to be relocated to the next page to validate positioning.");
+
+ Assert.AreEqual(container.PageTopOf(1), avoidBox.Location.Y, 0.5,
+ "Relocated box should sit flush at its page's content top");
+ }
+
+ // The other half of §3.2: `avoid-column` and `avoid-region` name fragmentation contexts other than the
+ // page, so they must NOT suppress a page break.
+ [TestMethod]
+ [DataRow("break-inside:avoid-column")]
+ [DataRow("break-inside:avoid-region")]
+ public async Task BreakInside_AvoidingAnotherContext_DoesNotSuppressAPageBreak(string declaration)
+ {
+ var (root, container) = await BuildAsync(BreakInsideHtml(declaration));
+
+ var avoidBox = FindByClass(root, "avoid");
+ Assert.IsNotNull(avoidBox);
+
+ Assert.AreNotEqual(
+ container.PageIndexOf(avoidBox.Location.Y),
+ container.PageIndexOf(avoidBox.ActualBottom - 0.01),
+ $"'{declaration}' must not suppress the page break, so the box should still straddle it");
+ }
+
+ private static string BreakInsideHtml(string declaration) =>
+ "filler
"
+ + $"Keep together
";
+
+ // css-break-3 §5.2: a collapsed margin that stays within the same page as its previous sibling's
+ // bottom never triggers truncation.
+ [TestMethod]
+ public async Task Margin_NotCrossingPageBoundary_IsNotTruncated()
+ {
+ var (root, _) = await BuildAsync(
+ ""
+ + "Second
");
+
+ var filler = FindByClass(root, "filler");
+ var second = FindByClass(root, "second");
+ Assert.IsNotNull(filler);
+ Assert.IsNotNull(second);
+
+ Assert.AreEqual(filler.ActualBottom + 100, second.Location.Y, 0.5,
+ "second's margin-top doesn't cross a page boundary, so it must be completely unaffected by truncation");
+ }
+
+ // A margin just barely large enough to cross a page boundary must be discarded entirely - the box
+ // lands flush at the top of the very next page.
+ [TestMethod]
+ public async Task Margin_CrossingOnePageBoundary_TruncatesToZero_LandsAtTopOfNextPage()
+ {
+ var (root, container) = await BuildAsync(
+ ""
+ + "Second
");
+
+ var filler = FindByClass(root, "filler");
+ var second = FindByClass(root, "second");
+ Assert.IsNotNull(filler);
+ Assert.IsNotNull(second);
+
+ Assert.IsTrue(filler.ActualBottom + 200 > container.PageTopOf(1),
+ "test setup should cross a real page boundary");
+
+ Assert.AreEqual(1, container.PageIndexOf(second.Location.Y),
+ $"second should land on page 2, but starts at y={second.Location.Y}");
+ Assert.AreEqual(container.PageTopOf(1), second.Location.Y, 0.5,
+ "Truncated margin should leave second flush at its page's content top");
+ }
+
+ // Acid2's own actual scenario: a margin so large it would span several page heights with no real
+ // content in it at all. Truncation must land the box on the very NEXT page - not skip further pages.
+ [TestMethod]
+ public async Task HugeMultiPageMargin_TruncatesToZero_LandsOnVeryNextPage()
+ {
+ var (root, container) = await BuildAsync(
+ ""
+ + "Second
");
+
+ var second = FindByClass(root, "second");
+ Assert.IsNotNull(second);
+
+ Assert.AreEqual(1, container.PageIndexOf(second.Location.Y),
+ "filler ends well within page index 0, so the very next page is page index 1, not one reached by the untruncated margin");
+ Assert.AreEqual(container.PageTopOf(1), second.Location.Y, 0.5);
+ }
+
+ // A forced break already relocates the previous sibling's bottom to the next page's top - per
+ // css-break-3 §5.2, PeachPDF preserves (does not truncate) the margin AFTER a forced break.
+ [TestMethod]
+ public async Task ForcedBreak_MarginAfterBreak_IsPreservedNotTruncated()
+ {
+ var (root, container) = await BuildAsync(
+ ""
+ + "Second
");
+
+ var second = FindByClass(root, "second");
+ Assert.IsNotNull(second);
+
+ Assert.AreEqual(container.PageTopOf(1) + 50, second.Location.Y, 0.5,
+ "second's own margin-top should be added normally on top of the forced-break relocation, not truncated");
+ }
+
+ #region Margin truncation before a container's first child (css-break-3 §5.2)
+
+ private static string FirstChildDocument(string outerStyle, string margin = "1200px") =>
+ $""
+ + $"
";
+
+ // Either a border or padding on the container blocks margin-collapse-through, so the margin is the
+ // first child's own and the break falls before it.
+ [TestMethod]
+ [DataRow("border-top:1px solid black")]
+ [DataRow("padding-top:1px")]
+ public async Task FirstChildOfACollapseBlockingContainer_HasItsOversizedMarginTruncated(string outerStyle)
+ {
+ var (root, container) = await BuildAsync(FirstChildDocument(outerStyle));
+
+ var first = FindById(root, "first");
+ Assert.IsNotNull(first);
+
+ Assert.AreEqual(container.PageTopOf(1), first.Location.Y, 1,
+ "flush at the very next slot's content top - never wherever the untruncated margin reached");
+ }
+
+ // The margin is taken as a break *before* the box, so the document really does resume in the next
+ // fragmentainer - a second, real fragmentainer must exist.
+ [TestMethod]
+ public async Task TruncatedFirstChildMargin_IsTakenAsABreakBefore()
+ {
+ var (_, container) = await BuildAsync(FirstChildDocument("border-top:1px solid black"));
+
+ Assert.IsTrue(container.FragmentTree!.Fragmentainers.Count >= 2,
+ "the truncated margin must actually open a second fragmentainer");
+ }
+
+ // A margin that stays inside its own slot is untouched, exactly as for a box with a sibling.
+ [TestMethod]
+ public async Task FirstChildMargin_StayingWithinItsOwnSlot_IsNotTruncated()
+ {
+ var (root, _) = await BuildAsync(FirstChildDocument("border-top:1px solid black", margin: "200px"));
+
+ var outer = FindById(root, "outer");
+ var first = FindById(root, "first");
+ Assert.IsNotNull(outer);
+ Assert.IsNotNull(first);
+
+ Assert.AreEqual(outer.ClientTop + 200, first.Location.Y, 1);
+ }
+
+ // css-break-3 §3.1 keep-with-next across a container, via margin truncation rather than
+ // break-inside:avoid/monolithic relocation. Unlike RelocateIfNeeded (confirmed working end to end by
+ // this repo's own ContainerLeftBehindTest.cs), a margin-truncated FIRST child never gives its
+ // container's own EnforceKeepWithNext(wrap, prevSibling: head) anything to act on: 'wrap'.EffectiveTop
+ // never itself crosses a page boundary (only its grandchild 'body's truncated top does), so
+ // childTopSlot == prevBottomSlot from wrap's own perspective and EnforceKeepWithNext returns
+ // immediately ("no break actually falls between them"). Confirmed by running this test unignored: the
+ // heading never moves and stays on the original page while 'body' alone jumps to the next one, leaving
+ // 'wrap' spanning both - exactly the bug ContainerLeftBehindTest.cs fixes for the OTHER mover, still
+ // present for this one.
+ [TestMethod]
+ [Ignore("Confirmed gap: margin-truncation-caused overflow of a container's own first/only child does "
+ + "not propagate a keep-with-next pull to the container's preceding avoid-chained sibling - see "
+ + "this test's own remark above for the exact mechanism. RelocateIfNeeded's break-inside:avoid "
+ + "trigger IS fixed for this (ContainerLeftBehindTest.cs); margin truncation (ResolveBlockTop) is not.")]
+ public async Task FirstChildRelocation_PullsTheRunAcrossTheContainer()
+ {
+ var (root, container) = await BuildAsync(
+ "first
"
+ + "lead
"
+ + "Head
" + + ""
+ + "
");
+
+ var head = FindById(root, "head");
+ var wrap = FindById(root, "wrap");
+ var body = FindById(root, "body");
+ Assert.IsNotNull(head);
+ Assert.IsNotNull(wrap);
+ Assert.IsNotNull(body);
+
+ Assert.AreEqual(container.PageTopOf(1), head.Location.Y, 1,
+ "the run's head lands on the destination band's own content top");
+ Assert.AreEqual(container.PageIndexOf(head.Location.Y), container.PageIndexOf(wrap.Location.Y),
+ "the container follows the pulled run rather than being left spanning the boundary");
+ Assert.AreEqual(container.PageIndexOf(head.Location.Y), container.PageIndexOf(body.Location.Y));
+ }
+
+ // The structurally equivalent document, with the paragraph as the heading's own next sibling (no
+ // wrapping container). Same confirmed gap as above: the wrapped shape does not move its heading, the
+ // flat (sibling) shape does (an ordinary EnforceKeepWithNext(body, prevSibling: head) call, which
+ // sees a real slot gap directly), so the two shapes disagree.
+ [TestMethod]
+ [Ignore("Same confirmed gap as FirstChildRelocation_PullsTheRunAcrossTheContainer - the nested shape's "
+ + "heading never moves, so it disagrees with the flat shape's, which does.")]
+ public async Task FirstChildRelocation_MatchesTheEquivalentSiblingShape()
+ {
+ static string Document(string open, string close) =>
+ "body
"
+ + "lead
"
+ + "Head
" + + open + + "body
"
+ + close;
+
+ var (nested, container) = await BuildAsync(Document("", "
"));
+ var (flat, _) = await BuildAsync(Document("", ""));
+
+ var nestedHead = FindById(nested, "head");
+ var flatHead = FindById(flat, "head");
+ Assert.IsNotNull(nestedHead);
+ Assert.IsNotNull(flatHead);
+
+ Assert.AreEqual(container.PageIndexOf(flatHead.Location.Y), container.PageIndexOf(nestedHead.Location.Y));
+ }
+
+ // A box carrying a forced break that is *not* taken - because nothing precedes it in the flow - still
+ // counts as forced-break-governed in PeachPDF, so §5.2 leaves its margin alone there. HTML-Renderer's
+ // ResolveBlockTop has no such exemption: it applies its crossing-margin truncation uniformly, with no
+ // check of the box's own BreakBefore value at all (confirmed by reading ResolveBlockTop in full - the
+ // "untaken forced break" case falls into its plain `else` branch inside CssBox.PerformLayoutImp exactly
+ // like an ordinary box), so the oversized margin here IS truncated. Confirmed by running this test
+ // unignored: the box lands at exactly PageTopOf(1), not wrap.ClientTop + 500.
+ [TestMethod]
+ [Ignore("Confirmed gap: ResolveBlockTop truncates a crossing margin regardless of whether the box "
+ + "carries an untaken forced break-before - see this test's own remark above.")]
+ public async Task FirstBoxInTheFlow_CarryingAnUntakenForcedBreak_KeepsItsMargin()
+ {
+ var (root, _) = await BuildAsync(
+ ""
+ + "
");
+
+ var wrap = FindById(root, "wrap");
+ var only = FindById(root, "only");
+ Assert.IsNotNull(only);
+
+ Assert.AreEqual(wrap.ClientTop + 1200, only.Location.Y, 1);
+ }
+
+ // PeachPDF documents a known boundary here: with nothing on the ancestor chain to block collapse-
+ // through, the margin collapses all the way to the root, which (there) has no containing block for a
+ // break to fall at the top of, so the margin escapes truncation entirely. HTML-Renderer does not share
+ // this limitation: ResolveBlockTop is called directly on 'first' itself (using whatever its own
+ // MarginTopCollapse resolves to, wherever that collapse reaches), not through a separate "root margin"
+ // special case - so the truncation still applies. Confirmed by running this test unignored: 'first'
+ // lands at exactly PageTopOf(1), not past it.
+ [TestMethod]
+ public async Task FirstChildMarginCollapsingToTheRoot_IsStillTruncated_UnlikePeachPDF()
+ {
+ var (root, container) = await BuildAsync(FirstChildDocument(""));
+
+ var first = FindById(root, "first");
+ Assert.IsNotNull(first);
+
+ Assert.AreEqual(container.PageTopOf(1), first.Location.Y, 1,
+ "unlike PeachPDF's own documented limitation, this port truncates the margin even when it collapses through to the root");
+ }
+
+ #endregion
+}
diff --git a/Source/Test/HtmlRenderer.IntegrationTest/Fragmentation/PageMarginPaginationIntegrationTests.cs b/Source/Test/HtmlRenderer.IntegrationTest/Fragmentation/PageMarginPaginationIntegrationTests.cs
new file mode 100644
index 000000000..4d4359f64
--- /dev/null
+++ b/Source/Test/HtmlRenderer.IntegrationTest/Fragmentation/PageMarginPaginationIntegrationTests.cs
@@ -0,0 +1,204 @@
+using System.Collections.Generic;
+using System.Drawing;
+using System.Linq;
+using System.Reflection;
+using Microsoft.VisualStudio.TestTools.UnitTesting;
+using TheArtOfDev.HtmlRenderer.Adapters.Entities;
+using TheArtOfDev.HtmlRenderer.Core;
+using TheArtOfDev.HtmlRenderer.Core.Dom;
+using TheArtOfDev.HtmlRenderer.WinForms;
+
+namespace TheArtOfDev.HtmlRenderer.IntegrationTest.Fragmentation;
+
+/// only
"
+ + "Second
",
+ MarginTopValue, MarginBottomValue);
+
+ var second = FindByClass(root, "second");
+ Assert.IsNotNull(second);
+
+ var expectedTop = container.PageTopOf(1);
+ Assert.IsTrue(System.Math.Abs(second.Location.Y - expectedTop) < 1.0,
+ $"Forced break with page margins should land exactly at the shifted page-1 top ({expectedTop:F1}), but landed at {second.Location.Y:F1}");
+ }
+
+ [TestMethod]
+ public async Task BreakInsideAvoid_WithPageMargins_PositionsAtShiftedPageTop()
+ {
+ var (root, container) = await BuildAsync(
+ ""
+ + ""
+ + "
",
+ MarginTopValue, MarginBottomValue);
+
+ var avoidBox = FindByClass(root, "avoid");
+ Assert.IsNotNull(avoidBox);
+
+ var expectedTop = container.PageTopOf(1);
+ Assert.IsTrue(avoidBox.Location.Y >= container.PageSize.Height,
+ "test setup expects the avoid box to be relocated past page 0 to validate positioning");
+ Assert.IsTrue(System.Math.Abs(avoidBox.Location.Y - expectedTop) < 1.0,
+ $"break-inside:avoid with page margins should relocate to the shifted page-1 top ({expectedTop:F1}), but landed at {avoidBox.Location.Y:F1}");
+ }
+
+ [TestMethod]
+ public async Task OrphansWidows_WithPageMargins_PushesWholeParagraphToShiftedPageTop()
+ {
+ var (root, container) = await BuildAsync(
+ ""
+ + "Line 1
Line 2
" + + ""
+ + "Line1 Line2 Line3 Line4 Line5 Line6 Line7 Line8 Line9 Line10 "
+ + "Line11 Line12 Line13 Line14 Line15 Line16 Line17 Line18
",
+ MarginTopValue, MarginBottomValue);
+
+ var para = FindByClass(root, "para");
+ Assert.IsNotNull(para);
+
+ // If orphans/widows relocated the whole paragraph, it should sit exactly at the shifted page-1
+ // top - if it didn't need to relocate (all lines already fit), that's fine too, but then we can't
+ // validate the push, so skip in that case.
+ if (para.Location.Y < container.PageSize.Height) return;
+
+ var expectedTop = container.PageTopOf(1);
+ Assert.IsTrue(System.Math.Abs(para.Location.Y - expectedTop) < 1.0,
+ $"orphans/widows push with page margins should land at the shifted page-1 top ({expectedTop:F1}), but landed at {para.Location.Y:F1}");
+ }
+}
diff --git a/Source/Test/HtmlRenderer.IntegrationTest/Fragmentation/ResumableBlockLayoutIntegrationTests.cs b/Source/Test/HtmlRenderer.IntegrationTest/Fragmentation/ResumableBlockLayoutIntegrationTests.cs
new file mode 100644
index 000000000..cfa7f6c25
--- /dev/null
+++ b/Source/Test/HtmlRenderer.IntegrationTest/Fragmentation/ResumableBlockLayoutIntegrationTests.cs
@@ -0,0 +1,268 @@
+using System.Collections.Generic;
+using System.Drawing;
+using System.Linq;
+using System.Reflection;
+using Microsoft.VisualStudio.TestTools.UnitTesting;
+using TheArtOfDev.HtmlRenderer.Adapters.Entities;
+using TheArtOfDev.HtmlRenderer.Core;
+using TheArtOfDev.HtmlRenderer.Core.Dom;
+using TheArtOfDev.HtmlRenderer.Core.Fragments;
+using TheArtOfDev.HtmlRenderer.WinForms;
+
+namespace TheArtOfDev.HtmlRenderer.IntegrationTest.Fragmentation;
+
+/// first
"
+ + "second
";
+
+ [TestMethod]
+ public async Task MarginPushingABoxAcrossABoundary_StartsItAtTheNextPagesContentTop()
+ {
+ var (root, container) = await BuildAsync(MarginTruncationDocument());
+ var second = FindById(root, "second");
+ Assert.IsNotNull(second);
+
+ var slot = container.PageIndexOf(second.Location.Y);
+ Assert.IsTrue(slot > 0, $"expected a later page, got slot {slot}");
+ Assert.AreEqual(container.PageTopOf(slot), second.Location.Y, 1.0);
+ }
+
+ [TestMethod]
+ public async Task BoxBrokenBefore_ProducesNoFragmentInTheFragmentainerItLeaves()
+ {
+ var (root, container) = await BuildAsync(MarginTruncationDocument());
+ var second = FindById(root, "second");
+ Assert.IsNotNull(second);
+
+ var slots = FragmentSlotsOf(container, second);
+
+ // §4.4: a break *before* a box means the box was never entered in the earlier fragmentainer, so it
+ // has no geometry there and therefore no fragment.
+ Assert.IsTrue(slots.Count > 0);
+ Assert.IsFalse(slots.Contains(0));
+
+ // And it got there by actually resuming: the driver had to open a second fragmentainer.
+ Assert.IsTrue(container.FragmentTree!.Fragmentainers.Count >= 2);
+ }
+
+ [TestMethod]
+ public async Task DocumentThatFitsWithoutBreaking_TakesASinglePass()
+ {
+ var (_, container) = await BuildAsync("first
second
");
+
+ // The common case: no forced break/margin-truncation token is ever pending, so the driver's own
+ // pass loop runs exactly once - one real fragmentainer.
+ Assert.AreEqual(1, container.FragmentTree!.Fragmentainers.Count);
+ }
+
+ [TestMethod]
+ public async Task ContentFollowingTheBreak_IsLaidOutFreshRatherThanResumed()
+ {
+ var (root, container) = await BuildAsync(
+ "first
"
+ + "second
"
+ + "third
");
+
+ var second = FindById(root, "second");
+ var third = FindById(root, "third");
+ Assert.IsNotNull(second);
+ Assert.IsNotNull(third);
+
+ // The sibling after the break is reached only by the resumed pass, and still stacks immediately
+ // below its predecessor.
+ Assert.AreEqual(second.ActualBottom, third.Location.Y, 1.0);
+ Assert.AreEqual(container.PageIndexOf(second.Location.Y), container.PageIndexOf(third.Location.Y));
+ }
+
+ [TestMethod]
+ public async Task ResumedPass_DoesNotDuplicateWordsOrRectangles()
+ {
+ var (root, _) = await BuildAsync(MarginTruncationDocument());
+
+ // Re-running the prologue on a resumed pass would reset and rebuild these, so a duplicate here is
+ // how that mistake would show up - meaningful in this port because DriveLayoutPasses really does
+ // call _root.PerformLayout(g) a second time for a forced/margin-truncated break.
+ foreach (var box in Walk(root))
+ {
+ Assert.AreEqual(box.Words.Count, box.Words.Distinct().Count());
+ Assert.AreEqual(box.LineBoxes.Count, box.LineBoxes.Distinct().Count());
+ }
+ }
+
+ // These engines paginate their own content; the driver must not try to break inside them, or their
+ // internal bookkeeping would see a half-laid-out subtree. Narrowed from PeachPDF's
+ // flex/grid/table/column-count/break-inside:avoid set to table and break-inside:avoid - the only two
+ // that exist in this port (MonolithicContent.RunsAnEngineOfItsOwn's own doc comment does the same
+ // narrowing).
+ [TestMethod]
+ [DataRow("display:table")]
+ [DataRow("break-inside:avoid")]
+ public async Task MonolithicSubtree_LaysOutInOnePass(string containerStyle)
+ {
+ var (root, _) = await BuildAsync(
+ "first
"
+ + $""
+ + "
");
+
+ var mono = FindById(root, "mono");
+ Assert.IsNotNull(mono);
+
+ foreach (var box in Walk(mono))
+ {
+ Assert.IsNull(box.PendingBreakToken);
+ Assert.IsNull(box.RequestedBreakBeforeTop);
+ }
+ }
+
+ [TestMethod]
+ public async Task LayoutCompletes_LeavingNoResumptionRecordBehind()
+ {
+ var (root, _) = await BuildAsync(MarginTruncationDocument());
+
+ // Every box finished. A record left dangling would be resumed into by the next layout of the same
+ // tree (the unrestricted-width double layout, the per-page-width reflow loop).
+ foreach (var box in Walk(root))
+ {
+ Assert.IsNull(box.PendingBreakToken);
+ Assert.IsNull(box.RequestedBreakBeforeTop);
+ }
+ }
+
+ [TestMethod]
+ public async Task KeepWithNextRun_MovesWithTheBoxItIsChainedTo()
+ {
+ var (root, container) = await BuildAsync(
+ "a
"
+ + "b
filler
"
+ + "heading
" + // Sized so the run plus the gap above it still fits the destination band - a larger margin + // makes the avoid unsatisfiable, which §5.3 says to relax rather than honor. + + "body
");
+
+ var heading = FindById(root, "heading");
+ var body = FindById(root, "body");
+ Assert.IsNotNull(heading);
+ Assert.IsNotNull(body);
+
+ Assert.AreEqual(container.PageIndexOf(heading.EffectiveTop), container.PageIndexOf(body.Location.Y));
+ }
+
+ // An out-of-flow box is positioned against its containing block, not against the page the flow has
+ // reached - a break token recorded inside one has no link in the chain to travel up
+ // (CssBox.LayoutOutOfFlowChildren discards whatever a child leaves behind). Narrowed to table (the
+ // only "engine container" this port has) from PeachPDF's flex/grid/table set.
+ [TestMethod]
+ [Ignore("Confirmed gap, found while calibrating this fixture: a position:absolute child of a table "
+ + "cell, under a real page grid, reliably loses one line of its own content from the fragment tree "
+ + "(5 authored lines, 4 placed) regardless of how generously the document's own measured height is "
+ + "padded out afterward. Left Ignored rather than root-caused further, since diagnosing table-"
+ + "internal absolute positioning is outside this port batch's scope (fragmentation-engine parity, "
+ + "not table layout) - the load-bearing part of this test, that no PendingBreakToken/"
+ + "RequestedBreakBeforeTop is ever left dangling on the out-of-flow box, is unaffected and still "
+ + "asserted below.")]
+ public async Task TallOutOfFlowChildOfATableCell_KeepsAllOfItsContent()
+ {
+ var lines = string.Concat(Enumerable.Range(0, 5).Select(i => $"Line{i}")); + var html = "
| "
+ + "in flow"
+ + $" {lines} "
+ + " |
tail
";
+
+ var (root, container) = await BuildAsync(html);
+ var abs = FindById(root, "abs");
+ Assert.IsNotNull(abs);
+
+ Assert.IsNull(abs.PendingBreakToken);
+ Assert.IsNull(abs.RequestedBreakBeforeTop);
+
+ var placed = container.FragmentTree!.Fragmentainers
+ .SelectMany(f => Flatten(f.Root))
+ .SelectMany(f => f.Words)
+ .Select(w => w.Word.Text)
+ .Where(t => t != null && t.StartsWith("Line"))
+ .Distinct()
+ .Count();
+
+ Assert.AreEqual(5, placed);
+ }
+}
diff --git a/Source/Test/HtmlRenderer.IntegrationTest/Fragmentation/StraddlingLineClaimTests.cs b/Source/Test/HtmlRenderer.IntegrationTest/Fragmentation/StraddlingLineClaimTests.cs
new file mode 100644
index 000000000..047173333
--- /dev/null
+++ b/Source/Test/HtmlRenderer.IntegrationTest/Fragmentation/StraddlingLineClaimTests.cs
@@ -0,0 +1,118 @@
+using System.Collections.Generic;
+using System.Drawing;
+using System.Linq;
+using System.Reflection;
+using Microsoft.VisualStudio.TestTools.UnitTesting;
+using TheArtOfDev.HtmlRenderer.Adapters.Entities;
+using TheArtOfDev.HtmlRenderer.Core;
+using TheArtOfDev.HtmlRenderer.Core.Dom;
+using TheArtOfDev.HtmlRenderer.Core.Fragments;
+using TheArtOfDev.HtmlRenderer.WinForms;
+
+namespace TheArtOfDev.HtmlRenderer.IntegrationTest.Fragmentation;
+
+/// -
+///
ContentAfterAWordTallerThanTheBand_SeesATruthfulCursor is dropped: it asserts +///HtmlContainerInt.CursorSpills stays zero, a counter belonging to PeachPDF's own per-pass document +/// cursor. Confirmed by readingCore/Fragmentation/InlineFragmentation.cs and +///Core/Fragmentation/BlockFragmentation.cs in full plusHtmlContainerInt.cs : this port has no +/// such cursor at all (layout runs the whole document's flow in one pass; there is nothing for a "stale +/// cursor after an oversized word" bug to corrupt).
+/// ARowOrLineTheEngineCouldNotFit_ContinuesOnTheNextPageInstead is dropped: all 3 +///[InlineData] rows usedisplay:grid /display:flex , neither of which exists in +/// HTML-Renderer -MonolithicContent.RunsAnEngineOfItsOwn 's own doc comment confirms this port's +///PaginatesItsOwnContent narrows to table/inline-table only, matching the general flex/grid +/// exclusion already established for this porting effort.
+///
T
"); + + var word = Walk(root).SelectMany(b => b.Words).Single(w => w.Text == "T"); + var band = container.PageIndexOf(word.Top); + + Assert.IsTrue(word.Height > container.PageBottomOf(band) - container.PageTopOf(band), + $"the fixture must produce a word taller than the band, not {word.Height}"); + + // Every band the word covers, from the grid's own materialized fragmentainers - "claimed by band + + // 1" alone would still pass if a taller word silently lost the bands below its second. + var covered = container.FragmentTree!.Fragmentainers + .Select(f => f.SlotIndex) + .Where(slot => word.Bottom > container.PageTopOf(slot) && word.Top < container.PageBottomOf(slot)) + .ToList(); + + Assert.IsTrue(covered.Count > 2, $"the fixture must span more than two bands, not {covered.Count}"); + CollectionAssert.AreEqual(covered, SlotsClaiming(container, word)); + } +} diff --git a/Source/Test/HtmlRenderer.IntegrationTest/Fragmentation/StraddlingListMarkerTests.cs b/Source/Test/HtmlRenderer.IntegrationTest/Fragmentation/StraddlingListMarkerTests.cs new file mode 100644 index 000000000..a156447d6 --- /dev/null +++ b/Source/Test/HtmlRenderer.IntegrationTest/Fragmentation/StraddlingListMarkerTests.cs @@ -0,0 +1,263 @@ +using System; +using System.Collections.Generic; +using System.Linq; +using HtmlRenderer.IntegrationTest.TestSupport; +using Microsoft.VisualStudio.TestTools.UnitTesting; +using TheArtOfDev.HtmlRenderer.Core; +using TheArtOfDev.HtmlRenderer.Core.Dom; +using TheArtOfDev.HtmlRenderer.Core.Fragments; +using TheArtOfDev.HtmlRenderer.Core.Utils; + +namespace TheArtOfDev.HtmlRenderer.IntegrationTest.Fragmentation; + +///- "
+ + $"
- first item " + + $"
- pushed by its own margin
- {items}
{F}
")] + [DataRow("{F} bold words carried across the break {F}
")] + [DataRow("{F}
")] + [DataRow("{F}fl oa ted{F}
")]
+ [DataRow("- {F}
{F}
", 3000)); + + var fragmentainers = container.FragmentTree!.Fragmentainers; + Assert.IsTrue(fragmentainers.Count > 1, "the fixture must span more than one page"); + + var onFirstPage = Flatten(fragmentainers[0].Root).SelectMany(f => f.Words).ToList(); + var authored = WordsIn(root).Count; + + Assert.IsTrue(onFirstPage.Count > 0); + Assert.IsTrue(onFirstPage.Count < authored, + $"the first page claimed {onFirstPage.Count} of the document's {authored} words"); + + // Stated from the page grid rather than from any internal flag, so it is an independent statement + // of the symptom: every word this page claims really does sit in this page's band. + Assert.IsTrue(onFirstPage.All(w => container.PageIndexOf(w.Word.Top) == 0)); + } + + ///- {items}
"
+ + ""
+ + "
");
+
+ var (root, _) = LayoutHarness.Layout(html);
+ var text = LayoutHarness.FindById(root, "text")!;
+ var firstWord = FindFirstWord(text);
+
+ Assert.IsNotNull(firstWord);
+ Assert.IsTrue(firstWord!.Left >= 90,
+ $"first word should be pushed right past the 100px float, was at {firstWord.Left}");
+ }
+
+ [TestMethod]
+ public void WithoutFloat_SiblingTextStartsAtContainerEdge()
+ {
+ var html = LayoutHarness.Wrap(
+ "Hello world
"
+ + ""
+ + "
");
+
+ var (root, _) = LayoutHarness.Layout(html);
+ var text = LayoutHarness.FindById(root, "text")!;
+ var firstWord = FindFirstWord(text);
+
+ Assert.IsNotNull(firstWord);
+ Assert.IsTrue(firstWord!.Left < 10,
+ $"first word should start at the container's left edge without a float, was at {firstWord.Left}");
+ }
+
+ [TestMethod]
+ public void Float_NarrowsAvailableWidth_SoTextWrapsToMoreLines()
+ {
+ const string longText =
+ "This is a fairly long sentence that should wrap across multiple lines once the available width is narrowed by a floated sibling element.";
+
+ var withFloatHtml = LayoutHarness.Wrap(
+ $"Hello world
"
+ + $"
");
+ var withoutFloatHtml = LayoutHarness.Wrap(
+ $"{longText}
{longText}
"
+ + ""
+ + "
");
+
+ var (root, _) = LayoutHarness.Layout(html);
+ var r = LayoutHarness.FindById(root, "r")!;
+ var l = LayoutHarness.FindById(root, "l")!;
+
+ Assert.IsTrue(l.Location.Y >= r.ActualBottom,
+ $"float:left box should wrap below the full-width float:right sibling it can't fit beside "
+ + $"(l.Y={l.Location.Y}, r.ActualBottom={r.ActualBottom})");
+ }
+
+ [TestMethod]
+ public void FloatRight_InNarrowerNestedBlock_AvoidsAWiderAncestorFloatRightSibling()
+ {
+ // A float:right box placed inside a narrower, non-floated nested block still avoids an ancestor
+ // float:right sibling that sits past the nested block's own right edge.
+ var html = LayoutHarness.Wrap(
+ ""
+ + ""
+ + "
");
+
+ var (root, _) = LayoutHarness.Layout(html);
+ var outerR = LayoutHarness.FindById(root, "outerR")!;
+ var r = LayoutHarness.FindById(root, "r")!;
+
+ Assert.AreEqual(outerR.Location.X - outerR.ActualMarginLeft, r.ActualRight, Delta);
+ }
+
+ [TestMethod]
+ public void FloatRight_InNarrowerNestedBlock_WithMarginLeft_StillAvoidsAWiderAncestorFloatRightSibling()
+ {
+ var html = LayoutHarness.Wrap(
+ ""
+ + ""
+ + "
");
+
+ var (root, _) = LayoutHarness.Layout(html);
+ var outerR = LayoutHarness.FindById(root, "outerR")!;
+ var r = LayoutHarness.FindById(root, "r")!;
+
+ Assert.AreEqual(outerR.Location.X - outerR.ActualMarginLeft, r.ActualRight, Delta);
+ }
+
+ [TestMethod]
+ public void FloatRight_NarrowsLineWrapWidth_SoTextWrapsBeforeReachingIt()
+ {
+ var html = LayoutHarness.Wrap(
+ ""
+ + "
"
+ + ""
+ + "
");
+
+ var (root, _) = LayoutHarness.Layout(html);
+ var floatBox = LayoutHarness.FindById(root, "f")!;
+ var text = LayoutHarness.FindById(root, "text")!;
+ var floatLeftEdge = floatBox.Location.X - floatBox.ActualMarginLeft;
+
+ var wordsOverlappingFloat = WordsOverlappingVerticalSpan(text, floatBox.Location.Y, floatBox.ActualBottom);
+
+ Assert.AreNotEqual(0, wordsOverlappingFloat.Count);
+
+ foreach (var word in wordsOverlappingFloat)
+ {
+ Assert.IsTrue(word.Left + word.Width <= floatLeftEdge + 1,
+ $"word '{word.Text}' at right={word.Left + word.Width} overlaps the float:right box, "
+ + $"whose left edge (including margin) is at {floatLeftEdge}");
+ }
+ }
+
+ [TestMethod]
+ public void FloatRight_WithMarginLeft_StillReachesContainingBlockRightEdge()
+ {
+ var html = LayoutHarness.Wrap(
+ "this line of text should wrap before it reaches the floated box on the right
- "
+ + "
"
+ + $"
");
+ var withoutFloatHtml = LayoutHarness.Wrap(
+ $"{longText}
{longText}
"
+ + ""
+ + "
");
+
+ var (root, _) = LayoutHarness.Layout(html);
+ var cleared = LayoutHarness.FindById(root, "cleared")!;
+
+ Assert.IsTrue(cleared.Location.Y < 80,
+ $"clear:left must not clear past a float:right sibling, was pushed to Y={cleared.Location.Y}");
+ }
+
+ [TestMethod]
+ public void ClearRight_IgnoresAPrecedingFloatLeftSibling()
+ {
+ // Symmetric case: clear:right ignoring a float:left sibling.
+ var html = LayoutHarness.Wrap(
+ "text
"
+ + ""
+ + "
");
+
+ var (root, _) = LayoutHarness.Layout(html);
+ var cleared = LayoutHarness.FindById(root, "cleared")!;
+
+ Assert.IsTrue(cleared.Location.Y < 80,
+ $"clear:right must not clear past a float:left sibling, was pushed to Y={cleared.Location.Y}");
+ }
+
+ // ── Helpers ────────────────────────────────────────────────────────────
+
+ private static CssRect? FindFirstWord(CssBox box)
+ {
+ if (box.Words.Count > 0) return box.Words[0];
+ foreach (var child in box.Boxes)
+ {
+ var found = FindFirstWord(child);
+ if (found is not null) return found;
+ }
+ return null;
+ }
+
+ private static Listtext
Heading WordTwo WordThree WordFour WordFive WordSix WordSeven WordEight WordNine WordTen
+ + """); + + wrapper.MaxSize = new SizeF(300, 0); + using var bitmap = new Bitmap(300, 2000); + using var g = Graphics.FromImage(bitmap); + wrapper.PerformLayout(g); + + var prop = typeof(HtmlContainer).GetProperty("HtmlContainerInt", BindingFlags.NonPublic | BindingFlags.Instance)!; + var containerInt = (HtmlContainerInt)prop.GetValue(wrapper)!; + + CssBox? Walk(CssBox box) => + box.HtmlTag?.Name == "h2" ? box : box.Boxes.Select(Walk).FirstOrDefault(r => r != null); + + var heading = Walk(containerInt.Root); + Assert.IsNotNull(heading, "expected an box in the laid-out tree");
+
+ var effectiveTopProp = typeof(CssBox).GetProperty("EffectiveTop", BindingFlags.NonPublic | BindingFlags.Instance)!;
+ var offsetTopMethod = typeof(CssBox).GetMethod("OffsetTop", BindingFlags.NonPublic | BindingFlags.Instance)!;
+
+ var beforeLocation = heading!.Location.Y;
+ var beforeEffectiveTop = (double)effectiveTopProp.GetValue(heading)!;
+ Assert.AreEqual(beforeLocation, beforeEffectiveTop, 0.01, "precondition: Location.Y and EffectiveTop must agree before any shift");
+ Assert.IsGreaterThan(1, heading.LineBoxes.Count, "the heading must genuinely wrap to more than one line for this test to be meaningful");
+
+ offsetTopMethod.Invoke(heading, new object[] { 50.0 });
+
+ var afterLocation = heading.Location.Y;
+ var afterEffectiveTop = (double)effectiveTopProp.GetValue(heading)!;
+
+ Assert.AreEqual(beforeLocation + 50.0, afterLocation, 0.01, "OffsetTop must move Location.Y by the given amount");
+ Assert.AreEqual(afterLocation, afterEffectiveTop, 0.01,
+ "EffectiveTop must match Location.Y after OffsetTop - the line-side rectangle mirror must not go stale");
+ }
+}
diff --git a/Source/Test/HtmlRenderer.IntegrationTest/OrphansOnFirstRunTest.cs b/Source/Test/HtmlRenderer.IntegrationTest/OrphansOnFirstRunTest.cs
new file mode 100644
index 000000000..7be86fd85
--- /dev/null
+++ b/Source/Test/HtmlRenderer.IntegrationTest/OrphansOnFirstRunTest.cs
@@ -0,0 +1,88 @@
+using System.Collections.Generic;
+using System.Drawing;
+using System.Linq;
+using System.Reflection;
+using Microsoft.VisualStudio.TestTools.UnitTesting;
+using TheArtOfDev.HtmlRenderer.Core;
+using TheArtOfDev.HtmlRenderer.Core.Fragments;
+using TheArtOfDev.HtmlRenderer.WinForms;
+
+namespace TheArtOfDev.HtmlRenderer.IntegrationTest;
+
+///
+/// Verifies a real, previously-undocumented gap found while auditing this port's fragmentation engine
+/// against PeachPDF a second time (the first audit produced the R0-R10 plan; this is a later, separate
+/// pass over what remained): InlineFragmentation.ApplyLineBreaking 's orphans merge-back correction
+/// only ever ran once at least one earlier break already existed (breaks.Count > 1 ), which can
+/// never be true while still deciding a paragraph's very FIRST run - so a paragraph starting close enough
+/// to a page's bottom that fewer than orphans lines fit there was left with a too-small stranded
+/// first fragment, uncorrected. Confirmed by temporarily reverting the fix and re-running this exact test:
+/// it reliably reproduced a 1-line first page against orphans:2 at several filler counts (13, 28,
+/// 43, 58 - the same ~15-count period the page-height/line-height ratio produces).
+///
+[TestClass]
+[DoNotParallelize]
+public sealed class OrphansOnFirstRunTest
+{
+ private static HtmlContainerInt GetInternal(HtmlContainer wrapper)
+ {
+ var prop = typeof(HtmlContainer).GetProperty("HtmlContainerInt", BindingFlags.NonPublic | BindingFlags.Instance)!;
+ return (HtmlContainerInt)prop.GetValue(wrapper)!;
+ }
+
+ private static IEnumerable<(string Text, double Top)> AllTargetWords(BoxFragment f)
+ {
+ foreach (var w in f.Words)
+ if (!w.Word.IsLineBreak && w.Word.Text.StartsWith("TargetLine"))
+ yield return (w.Word.Text, w.Rect.Top);
+ foreach (var c in f.Children)
+ foreach (var x in AllTargetWords(c))
+ yield return x;
+ }
+
+ [TestMethod]
+ public async Task ParagraphStartingNearPageBottom_NeverStrandsFewerThanOrphansLines()
+ {
+ // Sweep filler counts rather than hardcoding one - this is a "just barely fits" calibration
+ // (see this session's own established testing lesson), and the exact boundary depends on
+ // font-metric arithmetic other changes are expected to keep touching.
+ for (var fillerCount = 1; fillerCount < 60; fillerCount++)
+ {
+ using var wrapper = new HtmlContainer();
+ var filler = string.Concat(Enumerable.Repeat("
filler line
", fillerCount)); + await wrapper.SetHtml( + $""" + + {filler} +TargetLineOne TargetLineTwo TargetLineThree TargetLineFour TargetLineFive TargetLineSix TargetLineSeven TargetLineEight TargetLineNine TargetLineTen
+ + """); + + var container = GetInternal(wrapper); + container.PageSize = new TheArtOfDev.HtmlRenderer.Adapters.Entities.RSize(200, 300); + container.MarginTop = 0; + wrapper.MaxSize = new SizeF(200, 0); + + using var bitmap = new Bitmap(200, 20000); + using var g = Graphics.FromImage(bitmap); + wrapper.PerformLayout(g); + + var tree = container.FragmentTree; + Assert.IsNotNull(tree); + + var wordInfo = new List<(string Text, int Page, double Top)>(); + for (var pi = 0; pi < tree.Fragmentainers.Count; pi++) + foreach (var w in AllTargetWords(tree.Fragmentainers[pi].Root)) + wordInfo.Add((w.Text, pi, System.Math.Round(w.Top, 1))); + + if (wordInfo.Count == 0) + continue; // paragraph didn't appear in this bitmap height at this filler count - try the next + + var firstPage = wordInfo[0].Page; + var linesOnFirstPage = wordInfo.Where(w => w.Page == firstPage).Select(w => w.Top).Distinct().Count(); + + Assert.IsGreaterThanOrEqualTo(2, linesOnFirstPage, + $"at fillerCount={fillerCount}, the paragraph's first page-fragment kept only {linesOnFirstPage} line(s), fewer than orphans:2 requires"); + } + } +} diff --git a/Source/Test/HtmlRenderer.IntegrationTest/Painting/BackgroundPaintIntegrationTests.cs b/Source/Test/HtmlRenderer.IntegrationTest/Painting/BackgroundPaintIntegrationTests.cs new file mode 100644 index 000000000..07d5c5784 --- /dev/null +++ b/Source/Test/HtmlRenderer.IntegrationTest/Painting/BackgroundPaintIntegrationTests.cs @@ -0,0 +1,77 @@ +using System.Linq; +using HtmlRenderer.IntegrationTest.TestSupport; +using TheArtOfDev.HtmlRenderer.Adapters.Entities; + +namespace HtmlRenderer.IntegrationTest.Painting; + +///x
"));
+ var div = PaintHarness.FindById(root, "b")!;
+
+ var g = PaintHarness.PaintBox(container, div);
+ var fills = g.Log.OfTypex
"));
+ var div = PaintHarness.FindById(root, "b")!;
+
+ var g = PaintHarness.PaintBox(container, div);
+
+ Assert.IsFalse(g.Log.OfTypex
"));
+ var div = PaintHarness.FindById(root, "b")!;
+
+ var g = PaintHarness.PaintBox(container, div);
+
+ Assert.IsFalse(g.Log.OfTypex
"));
+ var div = PaintHarness.FindById(root, "b")!;
+
+ var g = PaintHarness.PaintBox(container, div);
+
+ var backgroundIndex = g.Log.FindIndex(c => c is RecordingGraphics.DrawRectCall r && r.Color == RColor.FromArgb(10, 20, 30));
+ var borderIndex = g.Log.FindIndex(c => c is RecordingGraphics.DrawLineCall l && l.Color == RColor.FromArgb(1, 2, 3));
+ var outlineIndex = g.Log.FindIndex(c => c is RecordingGraphics.DrawRectCall r && r.Color == RColor.FromArgb(4, 5, 6));
+
+ Assert.IsTrue(backgroundIndex >= 0 && borderIndex >= 0 && outlineIndex >= 0);
+ Assert.IsTrue(backgroundIndex < borderIndex, "background must paint before the border");
+ Assert.IsTrue(borderIndex < outlineIndex, "border must paint before the outline");
+ }
+}
diff --git a/Source/Test/HtmlRenderer.IntegrationTest/Painting/FragmentContentPainterTests.cs b/Source/Test/HtmlRenderer.IntegrationTest/Painting/FragmentContentPainterTests.cs
new file mode 100644
index 000000000..6cad853a5
--- /dev/null
+++ b/Source/Test/HtmlRenderer.IntegrationTest/Painting/FragmentContentPainterTests.cs
@@ -0,0 +1,81 @@
+using System.Linq;
+using HtmlRenderer.IntegrationTest.TestSupport;
+using Microsoft.VisualStudio.TestTools.UnitTesting;
+using TheArtOfDev.HtmlRenderer.Adapters.Entities;
+using TheArtOfDev.HtmlRenderer.Core.Paint.Content;
+
+namespace HtmlRenderer.IntegrationTest.Painting;
+
+/// x
"));
+
+ Assert.IsNull(FragmentContentPainters.For(PaintHarness.FindById(root, "el")!));
+ }
+
+ [TestMethod]
+ [DataRow("
", typeof(ImageFragmentPainter))]
+ [DataRow("", typeof(FrameFragmentPainter))]
+ [DataRow("", typeof(HrFragmentPainter))] + public void For_ReplacedBox_PicksItsOwnPainter(string body, System.Type expected) + { + var (root, _) = PaintHarness.Layout(PaintHarness.Wrap(body)); + + Assert.IsInstanceOfType(FragmentContentPainters.For(PaintHarness.FindById(root, "el")!), expected); + } + + [TestMethod] + public void Iframe_PaintsItsOwnBoxOnly_WithNoEmbeddedContent() + { + var (root, container) = PaintHarness.Layout(PaintHarness.Wrap( + "")); + + var g = PaintHarness.PaintBox(container, PaintHarness.FindById(root, "el")!); + + Assert.IsTrue(g.Log.OfType
tall enough to have an interior fills it with background-color before drawing the border + // sides that make up the rule itself. + var (root, container) = PaintHarness.Layout(PaintHarness.Wrap( + "
")); + + var g = PaintHarness.PaintBox(container, PaintHarness.FindById(root, "el")!); + + Assert.IsTrue(g.Log.OfType
PageOneMarker
" + + "PageTwoMarker
"), + pageHeight: 200, margin: 0); + + Assert.AreEqual(2, container.FragmentTree!.Fragmentainers.Count); + + var page0 = PaintHarness.PaintPage(container, 0); + var page1 = PaintHarness.PaintPage(container, 1); + + Assert.IsTrue(page0.DrawStringCalls.Any(c => c.Text.Contains("PageOneMarker"))); + Assert.IsFalse(page0.DrawStringCalls.Any(c => c.Text.Contains("PageTwoMarker"))); + + Assert.IsTrue(page1.DrawStringCalls.Any(c => c.Text.Contains("PageTwoMarker"))); + Assert.IsFalse(page1.DrawStringCalls.Any(c => c.Text.Contains("PageOneMarker"))); + } + + [TestMethod] + public void PaintedText_LandsAtItsOwnFragmentsCoordinates() + { + var (_, container) = PaintHarness.LayoutPaginated(PaintHarness.Wrap( + "PageOneMarker
" + + "PageTwoMarker
"), + pageHeight: 200, margin: 0); + + for (var page = 0; page < 2; page++) + { + var recording = PaintHarness.PaintPage(container, page); + var fragmentainer = container.FragmentTree!.Fragmentainers[page]; + var wordRects = WordRects(fragmentainer.Root).ToList(); + + Assert.IsTrue(recording.DrawStringCalls.Count > 0); + + // Every drawn glyph run sits exactly where its own fragment says, in page-local coordinates - + // no page offset is applied at paint time any more. + foreach (var call in recording.DrawStringCalls) + { + Assert.IsTrue(wordRects.Any(r => Math.Abs(r.X - call.Point.X) < 0.001)); + } + + // Page 1's content is 200px down the document but paints near its own page top. + Assert.IsTrue(recording.DrawStringCalls.All(c => c.Point.Y >= 0 && c.Point.Y <= 200)); + } + } + + [TestMethod] + public void BoxSpanningTwoPages_PaintsItsBackgroundOnBoth() + { + var (_, container) = PaintHarness.LayoutPaginated(PaintHarness.Wrap( + "x
"),
+ pageHeight: 200, margin: 0);
+
+ Assert.AreEqual(2, container.FragmentTree!.Fragmentainers.Count);
+
+ for (var page = 0; page < 2; page++)
+ {
+ var recording = PaintHarness.PaintPage(container, page);
+
+ // Sliced, not cloned: each fragment paints the whole box's background rectangle and the page
+ // clip does the cutting (box-decoration-break: slice, the initial value).
+ Assert.IsTrue(recording.Log.OfTypeOne
" + + "Two
"), + pageHeight: 200, margin: 0); + + Assert.AreEqual(2, container.FragmentTree!.Fragmentainers.Count); + + var painted = new List"
+ + ""
+ + ""
+ + "
"));
+
+ var recording = PaintHarness.PaintPage(container, 0);
+
+ var rects = recording.Log.OfType| SpannedCell | A |
| B |
Visible
"));
+
+ var hidden = PaintHarness.FindById(root, "hidden")!;
+ var visible = PaintHarness.FindById(root, "visible")!;
+
+ Assert.AreEqual(hidden.ActualBottom, visible.Location.Y, 1);
+
+ var recording = PaintHarness.PaintPage(container, 0);
+
+ Assert.IsFalse(recording.Log.OfTypeCollapsed
"
+ + "Visible
"));
+
+ var collapsed = PaintHarness.FindById(root, "collapsed")!;
+ var visible = PaintHarness.FindById(root, "visible")!;
+
+ Assert.AreEqual(collapsed.ActualBottom, visible.Location.Y, 1);
+
+ var recording = PaintHarness.PaintPage(container, 0);
+
+ Assert.IsFalse(recording.Log.OfTypeRelocatedHeadingMarker
"); + + var (root, container) = PaintHarness.LayoutPaginated(html, pageHeight: PageHeight, margin: 0); + + var heading = PaintHarness.FindById(root, "second"); + Assert.IsNotNull(heading); + + // Confirm the test is actually exercising the boundary-touching case: the heading must land exactly + // at the page-1 top, not merely somewhere on page 1. + Assert.AreEqual(PageHeight, heading!.Location.Y, 0.01); + + var page0 = PaintHarness.PaintPage(container, 0); + var page1 = PaintHarness.PaintPage(container, 1); + + Assert.IsFalse(page0.DrawStringCalls.Any(c => c.Text.Contains("RelocatedHeadingMarker"))); + Assert.IsTrue(page1.DrawStringCalls.Any(c => c.Text.Contains("RelocatedHeadingMarker"))); + } + + [TestMethod] + public void BreakInsideAvoid_RelocatedBox_DoesNotPaintOnPreviousPage() + { + // .filler leaves only 20px of page 0 remaining (400 - 380) - not enough room for even one of + // #avoid's three 12px lines, so break-inside:avoid has to relocate the whole box rather than let it + // start there. .filler itself stays short of PageHeight so it still fits on page 0, which is what + // makes the relocated box land flush at exactly PageHeight (zero margins keep that an exact, + // deterministic multiple - the precise scenario that triggers the "merely touching the clip edge" + // bug PeachPDF documents). + var html = PaintHarness.Wrap( + "" + + ""
+ + "
");
+
+ var (root, container) = PaintHarness.LayoutPaginated(html, pageHeight: PageHeight, margin: 0);
+
+ var avoidBox = PaintHarness.FindById(root, "avoid");
+ Assert.IsNotNull(avoidBox);
+ Assert.AreEqual(PageHeight, avoidBox!.Location.Y, 0.01);
+
+ var page0 = PaintHarness.PaintPage(container, 0);
+ var page1 = PaintHarness.PaintPage(container, 1);
+
+ Assert.IsFalse(page0.DrawStringCalls.Any(c => c.Text.Contains("AvoidedParagraphMarker")));
+ Assert.IsTrue(page1.DrawStringCalls.Any(c => c.Text.Contains("AvoidedParagraphMarker")));
+ }
+}
diff --git a/Source/Test/HtmlRenderer.IntegrationTest/Painting/OutlineStylePaintIntegrationTests.cs b/Source/Test/HtmlRenderer.IntegrationTest/Painting/OutlineStylePaintIntegrationTests.cs
new file mode 100644
index 000000000..bb015110e
--- /dev/null
+++ b/Source/Test/HtmlRenderer.IntegrationTest/Painting/OutlineStylePaintIntegrationTests.cs
@@ -0,0 +1,133 @@
+using System.Linq;
+using HtmlRenderer.IntegrationTest.TestSupport;
+using TheArtOfDev.HtmlRenderer.Adapters.Entities;
+
+namespace HtmlRenderer.IntegrationTest.Painting;
+
+/// AvoidedParagraphMarker
" + + "Second line
" + + "Third line
" + + "x
"));
+ var div = PaintHarness.FindById(root, "b")!;
+
+ var g = PaintHarness.PaintBox(container, div);
+ var rects = g.Log.OfTypex
"));
+ var div = PaintHarness.FindById(root, "b")!;
+
+ var g = PaintHarness.PaintBox(container, div);
+ var rects = g.Log.OfTypex
"));
+ var div = PaintHarness.FindById(root, "b")!;
+
+ var g = PaintHarness.PaintBox(container, div);
+ var rects = g.Log.OfTypex
"));
+ var div = PaintHarness.FindById(root, "b")!;
+
+ var g = PaintHarness.PaintBox(container, div);
+
+ var borderIndex = g.Log.FindIndex(c => c is RecordingGraphics.DrawLineCall line && line.Color == RColor.FromArgb(1, 2, 3));
+ var outlineIndex = g.Log.FindIndex(c => c is RecordingGraphics.DrawRectCall rect && rect.Color == RColor.FromArgb(4, 5, 6));
+
+ Assert.IsTrue(borderIndex >= 0 && outlineIndex >= 0);
+ Assert.IsTrue(outlineIndex > borderIndex, "outline must paint after (on top of) the border");
+ }
+
+ [TestMethod]
+ [DataRow("none")]
+ [DataRow("hidden")]
+ public void OutlineStyleNoneOrHidden_PaintsNothing(string style)
+ {
+ var (root, container) = PaintHarness.Layout(PaintHarness.Wrap(
+ $"x
"));
+ var div = PaintHarness.FindById(root, "b")!;
+
+ var g = PaintHarness.PaintBox(container, div);
+
+ Assert.IsFalse(g.Log.OfTypex
"));
+ var div = PaintHarness.FindById(root, "b")!;
+
+ var g = PaintHarness.PaintBox(container, div);
+
+ Assert.IsFalse(g.Log.OfTypex
"));
+ var div = PaintHarness.FindById(root, "b")!;
+
+ var g = PaintHarness.PaintBox(container, div);
+ var borderBox = div.Rectangles.Values.Single();
+ var top = g.Log.OfType"
+ + ""
+ + "
"
+ + "");
+ var (root, _) = LayoutHarness.Layout(html);
+ var parent = LayoutHarness.FindById(root, "parent")!;
+ var shifted = LayoutHarness.FindById(root, "shifted")!;
+ var after = LayoutHarness.FindById(root, "after")!;
+
+ // The offset itself is applied visually: the child sits 30px below the parent's top...
+ Assert.AreEqual(30, shifted.Location.Y - parent.Location.Y, Delta);
+
+ // ...but the parent is still exactly 40px tall (the child's static extent)...
+ Assert.AreEqual(40, parent.ActualBottom - parent.Location.Y, Delta);
+
+ // ...and the following sibling starts at the parent's un-inflated bottom.
+ Assert.AreEqual(parent.ActualBottom, after.Location.Y, Delta);
+ }
+
+ [TestMethod]
+ public void PositionRelative_OffsetOnBoxItself_DoesNotShiftFollowingSibling()
+ {
+ // "after" must lay out against "shifted"'s static bottom, not its visually offset bottom 25px lower.
+ var html = LayoutHarness.Wrap(
+ ""
+ + "");
+ var (root, _) = LayoutHarness.Layout(html);
+ var shifted = LayoutHarness.FindById(root, "shifted")!;
+ var after = LayoutHarness.FindById(root, "after")!;
+
+ Assert.AreEqual(25, shifted.RelativeOffsetY, Delta);
+ Assert.AreEqual(shifted.ActualBottom - 25, after.Location.Y, Delta);
+ }
+
+ [TestMethod]
+ public void PositionAbsolute_BottomOffset_PositionsRelativeToContainingBlockBottomEdge()
+ {
+ var html = LayoutHarness.Wrap(
+ ""
+ + "
");
+ var (root, _) = LayoutHarness.Layout(html);
+ var cb = LayoutHarness.FindById(root, "cb")!;
+ var box = LayoutHarness.FindById(root, "t")!;
+
+ // Box's bottom edge must sit 10px above the containing block's own bottom (padding) edge.
+ Assert.AreEqual(cb.ActualBottom - 10, box.ActualBottom, Delta);
+ }
+
+ [TestMethod]
+ public void PositionAbsolute_WithMarginAndBorderedContainingBlock_AppliesBothCorrectly()
+ {
+ var html = LayoutHarness.Wrap(
+ ""
+ + "
");
+ var (root, _) = LayoutHarness.Layout(html);
+ var cb = LayoutHarness.FindById(root, "cb")!;
+ var box = LayoutHarness.FindById(root, "t")!;
+
+ // Expected: containing block's PADDING edge (border-box + 16px border) + the box's own margin.
+ Assert.AreEqual(cb.Location.X + 16 + 60, box.Location.X, Delta);
+ Assert.AreEqual(cb.Location.Y + 16 + 36, box.Location.Y, Delta);
+ }
+
+ [TestMethod]
+ public void PositionFixed_WithMargin_AppliesMarginOnTopOfOffset()
+ {
+ var html = LayoutHarness.Wrap(
+ "");
+ var (root, _) = LayoutHarness.Layout(html);
+ var box = LayoutHarness.FindById(root, "t")!;
+
+ Assert.AreEqual(20 + 8, box.Location.X, Delta);
+ Assert.AreEqual(10 + 5, box.Location.Y, Delta);
+ }
+
+ [TestMethod]
+ public void PositionAbsoluteAutoWidth_ShrinksToWidestChild_NotSumOfSiblingBorders()
+ {
+ // Three siblings under an absolutely-positioned, auto-width parent: #text (real content, ~short),
+ // #border1 (80px combined border, no content), #border2 (60px combined border, no content) - the
+ // correct shrink-to-fit width is #border1's own ~80px (the widest single line), not #border1 +
+ // #border2's borders summed together (~140px).
+ var html = LayoutHarness.Wrap(
+ ""
+ + "
");
+ var (root, _) = LayoutHarness.Layout(html);
+ var target = LayoutHarness.FindById(root, "target")!;
+
+ var targetWidth = target.ActualRight - target.Location.X;
+
+ // Allow a little headroom above 80 for #text's own (much smaller) content contribution.
+ Assert.IsTrue(targetWidth is >= 79 and <= 100,
+ $"expected shrink-to-fit width near 80px (the widest single sibling), was {targetWidth}");
+ }
+
+ [TestMethod]
+ public void PositionAbsoluteAutoWidth_MultipleExplicitWidthSiblings_TakesWidestNotSum()
+ {
+ var html = LayoutHarness.Wrap(
+ ""
+ + "
Hi
"
+ + ""
+ + ""
+ + ""
+ + "
");
+ var (root, _) = LayoutHarness.Layout(html);
+ var target = LayoutHarness.FindById(root, "target")!;
+
+ var targetWidth = target.ActualRight - target.Location.X;
+
+ // The widest single sibling (100px) should win - the buggy summed-across-siblings result would be
+ // at least 100+90=190px.
+ Assert.IsTrue(targetWidth is >= 99 and <= 105,
+ $"expected shrink-to-fit width near 100px (the widest single sibling), was {targetWidth}");
+ }
+
+ [TestMethod]
+ public void PositionAbsoluteAutoWidth_NonReplacedInlineChildsExplicitWidth_HasNoEffect()
+ {
+ // Per CSS2.1 10.3.3, `width` has no effect on a non-replaced inline-level box - its explicit width
+ // must not be folded into an ancestor's shrink-to-fit computation.
+ var html = LayoutHarness.Wrap(
+ ""
+ + ""
+ + ""
+ + "
"
+ + "
");
+ var (root, _) = LayoutHarness.Layout(html);
+ var target = LayoutHarness.FindById(root, "target")!;
+
+ var targetWidth = target.ActualRight - target.Location.X;
+
+ // The inline child's own "width:200px" must be ignored - target should shrink to ~0 (no real
+ // content), not inflate to 200px.
+ Assert.IsTrue(targetWidth is >= 0 and <= 20,
+ $"expected shrink-to-fit width near 0px (inline width has no effect), was {targetWidth}");
+ }
+}
diff --git a/Source/Test/HtmlRenderer.IntegrationTest/RowspanCellShiftTest.cs b/Source/Test/HtmlRenderer.IntegrationTest/RowspanCellShiftTest.cs
new file mode 100644
index 000000000..7c575d2fd
--- /dev/null
+++ b/Source/Test/HtmlRenderer.IntegrationTest/RowspanCellShiftTest.cs
@@ -0,0 +1,108 @@
+using System.Collections.Generic;
+using System.Drawing;
+using System.Linq;
+using System.Reflection;
+using Microsoft.VisualStudio.TestTools.UnitTesting;
+using TheArtOfDev.HtmlRenderer.Core;
+using TheArtOfDev.HtmlRenderer.Core.Dom;
+using TheArtOfDev.HtmlRenderer.WinForms;
+
+namespace TheArtOfDev.HtmlRenderer.IntegrationTest;
+
+/// "
+ + ""
+ + "
filler line
", fillerCount)); + // Many extra rows before the rowspan pair push the table's own total height well past one + // page, so RelocateIfNeeded's table-level relocation (which requires the whole table to fit + // within one page) declines, leaving CssLayoutEngineTable's own row-level shift as the ONLY + // mechanism that can act on the straddling row - otherwise a small table gets moved wholesale + // and never exercises this bug at all. + var extraRows = string.Concat(Enumerable.Range(0, 40).Select(i => $"| SpanCellContent | Row1Cell2 |
| Row2Cell2 |
filler line of text for pagination
", 80)); + await wrapper.SetHtml($"{paragraphs}"); + + var container = GetInternal(wrapper); + container.PageSize = new TheArtOfDev.HtmlRenderer.Adapters.Entities.RSize(500, 700); + container.MarginTop = 0; + wrapper.MaxSize = new SizeF(500, 0); + + using var bitmap = new Bitmap(500, 5000); + using var g = Graphics.FromImage(bitmap); + wrapper.PerformLayout(g); + + var tree = container.FragmentTree; + Assert.IsNotNull(tree); + Assert.IsTrue(tree.Fragmentainers.Count > 1, $"expected multiple fragmentainers, got {tree.Fragmentainers.Count}"); + + // Slot indices are ascending and each fragmentainer's band matches its slot. + for (var i = 0; i < tree.Fragmentainers.Count; i++) + { + var f = tree.Fragmentainers[i]; + Assert.AreEqual(f.SlotIndex, i, "no blank slots expected in this dense document"); + } + + // The document root CssBox (which spans the whole document) must produce a distinct + // BoxFragment per fragmentainer - the same underlying box, multiple fragments. + Assert.AreEqual(tree.Fragmentainers.Count, tree.Fragmentainers.Select(f => f.Root).Distinct().Count()); + + // Every fragmentainer's root should trace back to the same document root CssBox. + foreach (var f in tree.Fragmentainers) + { + Assert.AreSame(container.Root, f.Root.Box); + } + } + + [TestMethod] + public async Task HugeMargin_SkipsBlankFragmentainers() + { + using var wrapper = new HtmlContainer(); + await wrapper.SetHtml("content
");
+
+ var container = GetInternal(wrapper);
+ container.PageSize = new TheArtOfDev.HtmlRenderer.Adapters.Entities.RSize(500, 700);
+ container.MarginTop = 0;
+ wrapper.MaxSize = new SizeF(500, 0);
+
+ using var bitmap = new Bitmap(500, 5000);
+ using var g = Graphics.FromImage(bitmap);
+ wrapper.PerformLayout(g);
+
+ var tree = container.FragmentTree;
+ Assert.IsNotNull(tree);
+
+ // The margin is truncated (D2), so content should land on an early page, not one 3000px down -
+ // this also implicitly confirms no run of ~4 blank fragmentainers was materialized for the gap.
+ Assert.IsTrue(tree.Fragmentainers.Count <= 2, $"expected at most 2 fragmentainers, got {tree.Fragmentainers.Count}");
+ }
+}
diff --git a/Source/Test/HtmlRenderer.IntegrationTest/StageD3PrecisionTest.cs b/Source/Test/HtmlRenderer.IntegrationTest/StageD3PrecisionTest.cs
new file mode 100644
index 000000000..9d1584af0
--- /dev/null
+++ b/Source/Test/HtmlRenderer.IntegrationTest/StageD3PrecisionTest.cs
@@ -0,0 +1,114 @@
+using System.Drawing;
+using System.Linq;
+using System.Reflection;
+using Microsoft.VisualStudio.TestTools.UnitTesting;
+using TheArtOfDev.HtmlRenderer.Core;
+using TheArtOfDev.HtmlRenderer.Core.Dom;
+using TheArtOfDev.HtmlRenderer.Core.Utils;
+using TheArtOfDev.HtmlRenderer.WinForms;
+
+namespace TheArtOfDev.HtmlRenderer.IntegrationTest;
+
+// See StageD2FragmentBucketingSmokeTest for why this opts out of this assembly's default
+// method-level parallelization (MSTestSettings.cs).
+[TestClass]
+[DoNotParallelize]
+public sealed class StageD3PrecisionTest
+{
+ private static HtmlContainerInt Layout(string html, int pageWidth, int pageHeight, out HtmlContainer wrapper, out Bitmap bitmap)
+ {
+ wrapper = new HtmlContainer();
+ wrapper.SetHtml(html).GetAwaiter().GetResult();
+
+ var prop = typeof(HtmlContainer).GetProperty("HtmlContainerInt", BindingFlags.NonPublic | BindingFlags.Instance)!;
+ var container = (HtmlContainerInt)prop.GetValue(wrapper)!;
+ container.PageSize = new TheArtOfDev.HtmlRenderer.Adapters.Entities.RSize(pageWidth, pageHeight);
+ container.MarginTop = 0;
+ wrapper.MaxSize = new SizeF(pageWidth, 0);
+
+ bitmap = new Bitmap(pageWidth, 8000);
+ var g = Graphics.FromImage(bitmap);
+ wrapper.PerformLayout(g);
+ g.Dispose();
+
+ return container;
+ }
+
+ [TestMethod]
+ public void NoLine_EverStraddlesAPageBoundary()
+ {
+ var sentence = "one two three four five six seven eight nine ten eleven twelve thirteen fourteen fifteen sixteen seventeen eighteen nineteen twenty ";
+ var html = $"{string.Concat(Enumerable.Repeat(sentence, 60))}
"; + + var container = Layout(html, 500, 700, out var wrapper, out var bitmap); + try + { + var p = DomUtils.GetBoxByTagName(container.Root, "p"); + Assert.IsTrue(p.LineBoxes.Count > 5, "expected many lines to make this test meaningful"); + + foreach (var line in p.LineBoxes) + { + var top = line.LineTop; + var bottom = line.LineBottom; + if (bottom <= top) continue; + + var topSlot = container.PageIndexOf(top); + var bottomSlot = container.PageIndexOf(System.Math.Max(top, bottom - 0.01)); + Assert.AreEqual(topSlot, bottomSlot, $"line [{top:F1},{bottom:F1}) straddles a page boundary"); + } + } + finally + { + bitmap.Dispose(); + wrapper.Dispose(); + } + } + + [TestMethod] + public void Widows_NeverLeavesFewerThanMinimumLinesAtTopOfPage() + { + var filler = string.Concat(Enumerable.Repeat("filler line of text
", 53)); + var sentence = "one two three four five six seven eight nine ten eleven twelve thirteen fourteen fifteen sixteen seventeen eighteen nineteen twenty "; + var html = $""" + + {filler} +{string.Concat(Enumerable.Repeat(sentence, 6))}
+ + """; + + var container = Layout(html, 500, 700, out var wrapper, out var bitmap); + try + { + // Find the widowedspecifically (the last
, since filler
s come first). + var body = DomUtils.GetBoxByTagName(container.Root, "body"); + var target = body.Boxes[body.Boxes.Count - 1]; + + AssertNoStraddleAndWidowsHonored(container, target, minWidows: 3); + } + finally + { + bitmap.Dispose(); + wrapper.Dispose(); + } + } + + private static void AssertNoStraddleAndWidowsHonored(HtmlContainerInt container, CssBox box, int minWidows) + { + var lines = box.LineBoxes; + var breakLineIndex = -1; + for (var i = 1; i < lines.Count; i++) + { + if (container.PageIndexOf(lines[i].LineTop) != container.PageIndexOf(lines[i - 1].LineTop)) + { + breakLineIndex = i; + break; + } + } + + if (breakLineIndex < 0) return; // whole box fit on one page - nothing to check + + var linesAfterBreak = lines.Count - breakLineIndex; + Assert.IsTrue(linesAfterBreak >= minWidows, + $"only {linesAfterBreak} lines after the break, expected at least {minWidows}"); + } +} diff --git a/Source/Test/HtmlRenderer.IntegrationTest/StageD4RepeatedHeaderTest.cs b/Source/Test/HtmlRenderer.IntegrationTest/StageD4RepeatedHeaderTest.cs new file mode 100644 index 000000000..f9ddb1022 --- /dev/null +++ b/Source/Test/HtmlRenderer.IntegrationTest/StageD4RepeatedHeaderTest.cs @@ -0,0 +1,83 @@ +using System.Drawing; +using System.Reflection; +using System.Text; +using Microsoft.VisualStudio.TestTools.UnitTesting; +using TheArtOfDev.HtmlRenderer.Core; +using TheArtOfDev.HtmlRenderer.Core.Utils; +using TheArtOfDev.HtmlRenderer.WinForms; + +namespace TheArtOfDev.HtmlRenderer.IntegrationTest; + +// See StageD2FragmentBucketingSmokeTest for why this opts out of this assembly's default +// method-level parallelization (MSTestSettings.cs). +[TestClass] +[DoNotParallelize] +public sealed class StageD4RepeatedHeaderTest +{ + [TestMethod] + public void ThreadRepeatsOnEveryPageTheTableSpans() + { + // break-inside: avoid is explicit here rather than relied on from the UA default stylesheet's + // "@media print { thead, tfoot { break-inside: avoid } }" - this test renders via WinForms, + // whose adapter reports a "screen" media type, so that print-scoped rule never matches here + // (confirmed intentional: only PdfSharpAdapter overrides DefaultMediaType to "print"). + var sb = new StringBuilder("
| Col A | Col B |
|---|---|
| row {i} a | row {i} b |
First page content.
+ Second page content.
+ Third page content.
+
+ """);
+
+ var container = GetInternal(wrapper);
+ container.PageSize = new TheArtOfDev.HtmlRenderer.Adapters.Entities.RSize(500, 700);
+ container.MarginTop = 0;
+ wrapper.MaxSize = new SizeF(500, 0);
+
+ using var bitmap = new Bitmap(500, 5000);
+ using var g = Graphics.FromImage(bitmap);
+ wrapper.PerformLayout(g);
+
+ var tree = container.FragmentTree;
+ Assert.IsNotNull(tree);
+ Assert.AreEqual(3, tree.Fragmentainers.Count, "each forced break should land its own div on its own page");
+
+ // Each page's fragmentainer must be flush at its own band top (no leftover offset carried
+ // across the second break from the first, which an off-by-one in ResumeChildIndex would produce).
+ for (var slot = 0; slot < 3; slot++)
+ {
+ var fragmentainer = tree.Fragmentainers[slot];
+ Assert.AreEqual(slot, fragmentainer.SlotIndex);
+ }
+
+ // The three divs resolve to three distinct, correctly-ordered per-page fragments - proves the
+ // second break resumed the child loop at the right index rather than re-processing or skipping
+ // a sibling.
+ StringAssert.Contains(AllText(tree.Fragmentainers[0].Root), "First");
+ StringAssert.Contains(AllText(tree.Fragmentainers[1].Root), "Second");
+ StringAssert.Contains(AllText(tree.Fragmentainers[2].Root), "Third");
+ }
+
+ private static string AllText(BoxFragment fragment)
+ {
+ var words = new ListSection {i}
"));
+ await wrapper.SetHtml($"{divs}");
+
+ var container = GetInternal(wrapper);
+ container.PageSize = new TheArtOfDev.HtmlRenderer.Adapters.Entities.RSize(500, 700);
+ container.MarginTop = 0;
+ wrapper.MaxSize = new SizeF(500, 0);
+
+ using var bitmap = new Bitmap(500, 5000);
+ using var g = Graphics.FromImage(bitmap);
+ wrapper.PerformLayout(g);
+
+ // 50 divs, every one but the first forcing its own break: 50 pages. A hang or a runaway pass
+ // count would fail this test by timeout rather than by assertion - that's the point of covering
+ // the pass loop's backstop with a large-but-realistic case rather than only single/double breaks.
+ var tree = container.FragmentTree;
+ Assert.IsNotNull(tree);
+ Assert.AreEqual(50, tree.Fragmentainers.Count);
+ }
+}
diff --git a/Source/Test/HtmlRenderer.IntegrationTest/StageR3RelocationTest.cs b/Source/Test/HtmlRenderer.IntegrationTest/StageR3RelocationTest.cs
new file mode 100644
index 000000000..22392cf61
--- /dev/null
+++ b/Source/Test/HtmlRenderer.IntegrationTest/StageR3RelocationTest.cs
@@ -0,0 +1,56 @@
+using System.Drawing;
+using System.Reflection;
+using Microsoft.VisualStudio.TestTools.UnitTesting;
+using TheArtOfDev.HtmlRenderer.Core;
+using TheArtOfDev.HtmlRenderer.WinForms;
+
+namespace TheArtOfDev.HtmlRenderer.IntegrationTest;
+
+/// filler
+
+
+ """);
+
+ var container = GetInternal(wrapper);
+ container.PageSize = new TheArtOfDev.HtmlRenderer.Adapters.Entities.RSize(500, 700);
+ container.MarginTop = 0;
+ wrapper.MaxSize = new SizeF(500, 0);
+
+ using var bitmap = new Bitmap(500, 5000);
+ using var g = Graphics.FromImage(bitmap);
+ wrapper.PerformLayout(g);
+
+ var tree = container.FragmentTree;
+ Assert.IsNotNull(tree);
+ // Straddles the one boundary it naturally crosses (250 + 900 = 1150, past the 700px mark) and
+ // stops there - not moved to a later page (which would still not fit it whole) and not spun
+ // into extra pages by a mistaken relocation attempt.
+ Assert.AreEqual(2, tree.Fragmentainers.Count);
+ }
+}
diff --git a/Source/Test/HtmlRenderer.IntegrationTest/StageR4KeepWithNextTest.cs b/Source/Test/HtmlRenderer.IntegrationTest/StageR4KeepWithNextTest.cs
new file mode 100644
index 000000000..f516db0a0
--- /dev/null
+++ b/Source/Test/HtmlRenderer.IntegrationTest/StageR4KeepWithNextTest.cs
@@ -0,0 +1,124 @@
+using System.Collections.Generic;
+using System.Drawing;
+using System.Linq;
+using System.Reflection;
+using Microsoft.VisualStudio.TestTools.UnitTesting;
+using TheArtOfDev.HtmlRenderer.Core;
+using TheArtOfDev.HtmlRenderer.Core.Fragments;
+using TheArtOfDev.HtmlRenderer.WinForms;
+
+namespace TheArtOfDev.HtmlRenderer.IntegrationTest;
+
+/// filler line of text
", count)); + + // WinForms reports media type "screen", not "print" - the UA stylesheet's h1-h6 { break-after: avoid } + // rule lives under @media print (see PdfSharpAdapter vs RAdapter.DefaultMediaType) and never applies + // to this IntegrationTest project's WinForms-based HtmlContainer. Set it explicitly rather than + // relying on the UA default. + private const string HeadingStyle = "margin:0; break-after: avoid;"; + + ///Section heading
"); + var headingFitsAlone = StringContains(AllText(headingAlone.Fragmentainers[0].Root), "Section heading"); + if (!headingFitsAlone) + continue; + + var withParagraph = await LayoutAsync( + $"{Filler(count)}Section heading
Paragraph right after the heading.
"); + var bothFitOnPageZero = withParagraph.Fragmentainers.Count >= 1 + && StringContains(AllText(withParagraph.Fragmentainers[0].Root), "Paragraph right after the heading."); + if (!bothFitOnPageZero) + return count; // heading alone fits; heading+paragraph together doesn't - the boundary. + } + + Assert.Fail("could not find a filler count where the heading fits alone but not with its paragraph"); + return -1; + } + + private static bool StringContains(string haystack, string needle) => haystack.Contains(needle); + + [TestMethod] + public async Task HeadingAndParagraph_LandOnTheSamePage_NotStranded() + { + var count = await FindBoundaryFillerCountAsync(); + + var tree = await LayoutAsync( + $"{Filler(count)}Section heading
Paragraph right after the heading.
"); + + // Page 0's own text must NOT contain the heading - it should have been pulled forward to join + // the paragraph, not left stranded where the boundary search shows it would otherwise fit alone. + var pageZeroText = AllText(tree.Fragmentainers[0].Root); + StringAssert.DoesNotMatch(pageZeroText, new System.Text.RegularExpressions.Regex("Section heading")); + + var withHeading = tree.Fragmentainers.Select(f => AllText(f.Root)).FirstOrDefault(t => t.Contains("Section heading")); + Assert.IsNotNull(withHeading, "heading should appear on some page"); + StringAssert.Contains(withHeading, "Paragraph right after the heading."); + } +} diff --git a/Source/Test/HtmlRenderer.IntegrationTest/StageR5WidowsMultiPageTest.cs b/Source/Test/HtmlRenderer.IntegrationTest/StageR5WidowsMultiPageTest.cs new file mode 100644 index 000000000..5eb2dfa50 --- /dev/null +++ b/Source/Test/HtmlRenderer.IntegrationTest/StageR5WidowsMultiPageTest.cs @@ -0,0 +1,135 @@ +using System.Collections.Generic; +using System.Drawing; +using System.Linq; +using System.Reflection; +using Microsoft.VisualStudio.TestTools.UnitTesting; +using TheArtOfDev.HtmlRenderer.Core; +using TheArtOfDev.HtmlRenderer.Core.Fragments; +using TheArtOfDev.HtmlRenderer.WinForms; + +namespace TheArtOfDev.HtmlRenderer.IntegrationTest; + +///{paragraph}
"); + + var container = GetInternal(wrapper); + container.PageSize = new TheArtOfDev.HtmlRenderer.Adapters.Entities.RSize(220, 100); + container.MarginTop = 0; + wrapper.MaxSize = new SizeF(220, 0); + + using var bitmap = new Bitmap(220, 20000); + using var g = Graphics.FromImage(bitmap); + wrapper.PerformLayout(g); + + var tree = container.FragmentTree; + Assert.IsGreaterThan(3, tree.Fragmentainers.Count, "test content should span several pages for this to be meaningful"); + + var lastPageWords = CountWords(tree.Fragmentainers[tree.Fragmentainers.Count - 1].Root); + Assert.IsGreaterThanOrEqualTo(3, lastPageWords, + $"the final page has only {lastPageWords} line(s), fewer than widows:3 - the paragraph's own last line was left stranded"); + } + + [TestMethod] + public async Task LongParagraph_DeclinesGracefully_WhenSatisfyingWidowsWouldOverflowAPage() + { + using var wrapper = new HtmlContainer(); + // Deliberately degenerate: a single repeated word gives every line identical height, so pages + // pack to exactly the same capacity throughout - satisfying widows:3 on the trailing page would + // require merging in lines from an already-full preceding page, producing a run taller than any + // page can hold. This must not overflow, crash, or loop - it must simply leave the shorter final + // page as the best achievable result (css-break-3 4.3's "some constraints can't always be + // satisfied" relaxation philosophy). + var words = string.Concat(Enumerable.Repeat("word ", 300)); + await wrapper.SetHtml($"{words}
"); + + var container = GetInternal(wrapper); + container.PageSize = new TheArtOfDev.HtmlRenderer.Adapters.Entities.RSize(60, 100); + container.MarginTop = 0; + wrapper.MaxSize = new SizeF(60, 0); + + using var bitmap = new Bitmap(60, 20000); + using var g = Graphics.FromImage(bitmap); + wrapper.PerformLayout(g); + + var tree = container.FragmentTree; + Assert.IsGreaterThan(3, tree.Fragmentainers.Count); + + // No page's own words may span more vertical room than the page itself has - the real + // regression this guards against is a "fix" that satisfies widows by producing a run that + // silently overflows its fragmentainer (word rects are already fragmentainer-local, so a span + // near or under one page height is the correct expectation regardless of scroll/margin setup). + foreach (var fragmentainer in tree.Fragmentainers) + { + var tops = new List|
+ BeforeMarker
+ AfterMarker
+ |
| {longCell} | short |
| RowTwoCellOne | RowTwoCellTwo |
filler line of text
", 39)); + await wrapper.SetHtml( + $""" + +ForcedBreakMarker
+ {filler}
+ Section heading
+Paragraph right after the heading.
+ + """); + + var container = GetInternal(wrapper); + container.PageSize = new TheArtOfDev.HtmlRenderer.Adapters.Entities.RSize(595, 800); + container.MarginTop = 20; + wrapper.MaxSize = new SizeF(595, 0); + + using var bitmap = new Bitmap(595, 20000); + using var g = Graphics.FromImage(bitmap); + wrapper.PerformLayout(g); + + var tree = container.FragmentTree; + Assert.IsNotNull(tree); + Assert.IsGreaterThanOrEqualTo(2, tree.Fragmentainers.Count, "the forced break must actually introduce a real pass boundary for this test to be meaningful"); + + var pageOfHeading = -1; + var pageOfParagraph = -1; + for (var i = 0; i < tree.Fragmentainers.Count; i++) + { + var text = AllText(tree.Fragmentainers[i].Root); + if (text.Contains("Section heading")) pageOfHeading = i; + if (text.Contains("Paragraph right after the heading.")) pageOfParagraph = i; + } + + Assert.AreNotEqual(-1, pageOfHeading, "heading must not be lost"); + Assert.AreNotEqual(-1, pageOfParagraph, "paragraph must not be lost"); + Assert.AreEqual(pageOfHeading, pageOfParagraph, "break-after:avoid must keep the heading with its paragraph even immediately after resuming from an unrelated forced break"); + } +} diff --git a/Source/Test/HtmlRenderer.IntegrationTest/StageR9OversizedKeepWithNextRunTest.cs b/Source/Test/HtmlRenderer.IntegrationTest/StageR9OversizedKeepWithNextRunTest.cs new file mode 100644 index 000000000..7d44e2376 --- /dev/null +++ b/Source/Test/HtmlRenderer.IntegrationTest/StageR9OversizedKeepWithNextRunTest.cs @@ -0,0 +1,84 @@ +using System.Collections.Generic; +using System.Drawing; +using System.Linq; +using System.Reflection; +using Microsoft.VisualStudio.TestTools.UnitTesting; +using TheArtOfDev.HtmlRenderer.Core; +using TheArtOfDev.HtmlRenderer.Core.Fragments; +using TheArtOfDev.HtmlRenderer.WinForms; + +namespace TheArtOfDev.HtmlRenderer.IntegrationTest; + +///RunMember{i} filler filler filler filler filler
")); + await wrapper.SetHtml( + $""" + +TopMarker
+ {runMembers}
+ FinalParagraph
+ + """); + + var container = GetInternal(wrapper); + container.PageSize = new TheArtOfDev.HtmlRenderer.Adapters.Entities.RSize(595, 400); + container.MarginTop = 20; + wrapper.MaxSize = new SizeF(595, 0); + + using var bitmap = new Bitmap(595, 20000); + using var g = Graphics.FromImage(bitmap); + wrapper.PerformLayout(g); + + var tree = container.FragmentTree; + Assert.IsNotNull(tree); + + // The real bug produced an ActualSize.Height in the hundreds of billions and zero fragmentainers + // (FragmentEmitter could not bucket geometry that far out of range) - a sane document is nowhere + // close to that regardless of exact page count, which depends on font metrics. + Assert.IsLessThan(100_000.0, wrapper.ActualSize.Height, "document height must stay sane - not blow up from compounding OffsetTop shifts"); + Assert.IsGreaterThan(0, tree.Fragmentainers.Count); + + var allWords = tree.Fragmentainers.SelectMany(f => AllWords(f.Root)).ToList(); + var expected = Enumerable.Range(0, 60).Select(i => $"RunMember{i}").Append("FinalParagraph").Append("TopMarker"); + foreach (var e in expected) + { + Assert.AreEqual(1, allWords.Count(w => w == e), $"'{e}' must appear exactly once - not lost or duplicated"); + } + } +} diff --git a/Source/Test/HtmlRenderer.IntegrationTest/TableRowDefaultAtomicityTest.cs b/Source/Test/HtmlRenderer.IntegrationTest/TableRowDefaultAtomicityTest.cs new file mode 100644 index 000000000..cc95bfd63 --- /dev/null +++ b/Source/Test/HtmlRenderer.IntegrationTest/TableRowDefaultAtomicityTest.cs @@ -0,0 +1,135 @@ +using System.Collections.Generic; +using System.Drawing; +using System.Linq; +using System.Reflection; +using Microsoft.VisualStudio.TestTools.UnitTesting; +using TheArtOfDev.HtmlRenderer.Core; +using TheArtOfDev.HtmlRenderer.Core.Dom; +using TheArtOfDev.HtmlRenderer.WinForms; + +namespace TheArtOfDev.HtmlRenderer.IntegrationTest; + +///filler line
", fillerCount)); + // Deliberately no break-inside:avoid anywhere - this is the plain, no-special-markup case + // css-tables-3 §6.1 says every conformant UA must handle this way by default. + await wrapper.SetHtml( + $""" + + {filler} +| RowOneCell |
| TargetRowCellText with several words giving it real, non-trivial height |
filler line
", fillerCount)); + await wrapper.SetHtml( + $""" + + {filler} +| SpanCell | Row1Cell2 with enough words to make this row meaningfully tall for the straddle test to matter |
| Row2Cell |
| Header 1 | Header 2 |
|---|
block
after");
+
+ var (root, _) = LayoutHarness.Layout(html);
+ var spanBoxes = LayoutHarness.Descendants(root).Where(b => b.HtmlTag?.Name == "span").ToList();
+
+ Assert.IsTrue(spanBoxes.Count > 1, $"expected the span to be split, found {spanBoxes.Count} box(es)");
+
+ Assert.IsTrue(spanBoxes.All(b => b.BreakInside == expectedInside));
+ Assert.IsTrue(spanBoxes.All(b => b.BreakBefore == expectedBefore));
+ Assert.IsTrue(spanBoxes.All(b => b.BreakAfter == expectedAfter));
+ }
+
+ // ── the other direction: not inherited ─────────────────────────────────
+
+ // An ordinary child is not a fragment of its parent, so it must not pick the values up. Without this,
+ // moving the three fields into InheritStyle's "always" (non-"everything") section would pass every
+ // test above just as well.
+ [TestMethod]
+ public void OrdinaryChild_DoesNotInheritItsParentsBreakValues()
+ {
+ var html = LayoutHarness.Wrap(
+ ""
+ + "
");
+
+ var (root, _) = LayoutHarness.Layout(html);
+ var child = LayoutHarness.FindById(root, "child");
+ Assert.IsNotNull(child);
+
+ Assert.AreEqual(CssConstants.Auto, child!.BreakInside);
+ Assert.AreEqual(CssConstants.Auto, child.BreakBefore);
+ Assert.AreEqual(CssConstants.Auto, child.BreakAfter);
+ }
+
+ // A generated-content (::before) box is a real child of the element, not a duplicate of it, and is
+ // created through the OTHER, non-"everything" InheritStyle overload (CssData.cs's
+ // "beforePseudoBox.InheritStyle(box)" - the single-arg, default-everything:false call). Same guard as
+ // above, at the other call site that could plausibly leak these values.
+ [TestMethod]
+ public void GeneratedContentBox_DoesNotPickUpItsOriginatingElementsBreakValues()
+ {
+ var html = """
+ text
text
+ """;
+
+ var (root, _) = LayoutHarness.Layout(html);
+ var target = LayoutHarness.FindById(root, "target");
+ Assert.IsNotNull(target);
+
+ var before = LayoutHarness.Descendants(target!).FirstOrDefault(b => b.IsBeforePseudoElement);
+ Assert.IsNotNull(before);
+
+ Assert.AreEqual(CssConstants.Auto, before!.BreakInside);
+ Assert.AreEqual(CssConstants.Auto, before.BreakBefore);
+ Assert.AreEqual(CssConstants.Auto, before.BreakAfter);
+ }
+
+ // And the element itself really does hold the values the two negative tests above are checking are not
+ // propagated - so they are not passing merely because the cascade never stored anything at all.
+ [TestMethod]
+ public void TheElementItself_HoldsTheValuesTheClonesAreCheckedAgainst()
+ {
+ var html = LayoutHarness.Wrap(
+ "text
");
+
+ var (root, _) = LayoutHarness.Layout(html);
+ var target = LayoutHarness.FindById(root, "target");
+ Assert.IsNotNull(target);
+
+ Assert.AreEqual(CssConstants.Avoid, target!.BreakInside);
+ Assert.AreEqual(CssConstants.Page, target.BreakBefore);
+ Assert.AreEqual(CssConstants.Avoid, target.BreakAfter);
+ }
+}
diff --git a/Source/Test/HtmlRenderer.IntegrationTest/Tables/PageBreakTableIntegrationTests.cs b/Source/Test/HtmlRenderer.IntegrationTest/Tables/PageBreakTableIntegrationTests.cs
index cc6afc02a..c347a445a 100644
--- a/Source/Test/HtmlRenderer.IntegrationTest/Tables/PageBreakTableIntegrationTests.cs
+++ b/Source/Test/HtmlRenderer.IntegrationTest/Tables/PageBreakTableIntegrationTests.cs
@@ -1,25 +1,37 @@
using System;
using System.Text;
using HtmlRenderer.IntegrationTest.TestSupport;
+using TheArtOfDev.HtmlRenderer.Core;
using TheArtOfDev.HtmlRenderer.Core.Dom;
namespace HtmlRenderer.IntegrationTest.Tables;
/// | Date | Amount |
|---|---|
| 1/1 | $1.00 |
Transactions
+| Date | Amount |
|---|---|
Transactions
+| Date | Amount |
|---|---|
Transactions
+| Amount | Row |
|---|
Transactions
+| Date | Amount |
|---|---|
| 1/1 | $1.00 |
| "
+ + " HEADERMARKER "
+ + " |
|---|
| Row {i} |
filler
"
+ + ""
+ + ""
+ + "
");
+
+ private static CssBox Card(CssBox root) => LayoutHarness.FindById(root, "card")!;
+
+ // A relaid-out box's height is the height of its own content wherever it lands - not the settled
+ // height PLUS whatever gap it would carry if it had merely been translated down to its new top.
+ [TestMethod]
+ [DataRow(340.0)]
+ [DataRow(360.0)]
+ [DataRow(380.0)]
+ public void ACardHoldingARepeatingHeaderTable_IsRelocatedWithoutCarryingAGap(double fillerHeight)
+ {
+ var (settledRoot, _) = LayoutHarness.Layout(CardWithTable(0), maxWidth: 300, maxHeight: PageHeight, margin: Margin);
+ var settledCard = Card(settledRoot);
+ var settledHeight = settledCard.ActualBottom - settledCard.Location.Y;
+
+ var (root, container) = LayoutHarness.Layout(CardWithTable(fillerHeight), maxWidth: 300, maxHeight: PageHeight, margin: Margin);
+ var card = Card(root);
+
+ // Test setup expects the filler to actually push the card across a page boundary - otherwise
+ // RelocateIfNeeded never fires and this asserts nothing.
+ Assert.AreNotEqual(
+ container.PageIndexOf(card.Location.Y),
+ container.PageIndexOf(card.Location.Y - 1),
+ "sanity check only - see the real assertion below");
+ Assert.AreEqual(0, container.PageIndexOf(card.Location.Y - fillerHeight + 1),
+ "test setup expects the card to have started, pre-relocation, back on page 0");
+ Assert.IsTrue(container.PageIndexOf(card.Location.Y) >= 1,
+ $"test setup expects the card to be relocated to a later page, but it is at Y={card.Location.Y:F1}");
+
+ Assert.AreEqual(settledHeight, card.ActualBottom - card.Location.Y, 1,
+ "a relocated card must be the height of its own content, not the settled height plus a carried-over gap");
+ }
+
+ [TestMethod]
+ public void TheTableInsideARelocatedCard_StillRepeatsItsHeaderExactlyOnce()
+ {
+ var (root, container) = LayoutHarness.Layout(CardWithTable(360), maxWidth: 300, maxHeight: PageHeight, margin: Margin);
+
+ var card = Card(root);
+ Assert.IsTrue(container.PageIndexOf(card.Location.Y) >= 1,
+ $"test setup expects the card to be relocated, but it is at Y={card.Location.Y:F1}");
+
+ var table = LayoutHarness.Descendants(card).First(b => b.Display == "table");
+
+ // The table's 3 short rows comfortably fit alongside its header on a single page even after
+ // relocation, so RepeatedHeaderRows should be null (no continuation page to repeat onto) - not a
+ // stale, non-null list left over from whatever layout pass ran before the relocation's own relayout.
+ Assert.IsNull(table.RepeatedHeaderRows,
+ "a table that fits on one page after relocation should have nothing to repeat, stale or otherwise");
+
+ // The header itself (in flow) still appears exactly once - no duplicate left behind by an earlier,
+ // abandoned layout pass at the card's pre-relocation position.
+ var headerCells = LayoutHarness.Descendants(table).Count(b => b.HtmlTag?.Name == "th");
+ Assert.AreEqual(1, headerCells);
+ }
+}
diff --git a/Source/Test/HtmlRenderer.IntegrationTest/Tables/StructuralCloneBreakValueBehaviourTests.cs b/Source/Test/HtmlRenderer.IntegrationTest/Tables/StructuralCloneBreakValueBehaviourTests.cs
new file mode 100644
index 000000000..3cfc6488b
--- /dev/null
+++ b/Source/Test/HtmlRenderer.IntegrationTest/Tables/StructuralCloneBreakValueBehaviourTests.cs
@@ -0,0 +1,168 @@
+using System.Linq;
+using HtmlRenderer.IntegrationTest.TestSupport;
+using Microsoft.VisualStudio.TestTools.UnitTesting;
+using TheArtOfDev.HtmlRenderer.Core.Dom;
+using TheArtOfDev.HtmlRenderer.Core.Utils;
+
+namespace HtmlRenderer.IntegrationTest.Tables;
+
+/// | H |
|---|
| One |
| Two |
| Three |
-
+///
- Repeated table header. A
clone is never inserted +/// into any box's - it exists purely for the fragment tree/paint to find +/// ( TableHeaderRepeat.CloneAndPosition 's own doc comment: "fully detached... so re-running table +/// layout can never mistake it for real content").BlockFragmentation 's forced-break/keep-with-next +/// machinery walks the LIVE box tree (DomUtils.GetPreviousSibling , a child loop over +///Boxes ) - a clone that is never a member of anyBoxes collection is invisible to all of it, +/// so its break values are stored and read by nothing.
+/// - Block-in-inline split. Only inline boxes are split by
DomParser.CorrectBlockSplitBadBox , +/// and css-break-3 §3.1/§3.2 apply break properties to block-level boxes (not inlines) - so the values are +/// inert on a split fragment by specification, independent of this fork's own architecture. Separately, +///CorrectBlockSplitBadBox wraps each fragment behind an anonymous block +/// (CssBox.CreateBox(leftBlock/parentBox, badBox.HtmlTag) createsleftbox /rightBox as +/// new, separate boxes - the split fragments become their CHILDREN, not their equals in the sibling chain), +/// so a sibling walk from a following box sees the wrapper, never the span fragment itself.
+///
filler
"
+ + "leadsplit
tail"
+ + "kept
");
+
+ var (splitRoot, splitContainer) = LayoutHarness.Layout(splitHtml, 400, 200, margin: Margin);
+
+ var spans = LayoutHarness.Descendants(splitRoot).Where(b => b.HtmlTag?.Name == "span").ToList();
+ Assert.IsTrue(spans.Count > 1, $"expected the span to be split, found {spans.Count} box(es)");
+ Assert.IsTrue(spans.All(s => s.BreakAfter == CssConstants.Avoid), "the storage fix should still hold here");
+
+ var splitKept = LayoutHarness.FindById(splitRoot, "kept")!;
+
+ var predecessor = DomUtils.GetPreviousSibling(splitKept);
+ Assert.IsNotNull(predecessor);
+ Assert.IsNull(predecessor!.HtmlTag);
+ Assert.AreEqual(CssConstants.Auto, predecessor.BreakAfter,
+ "the anonymous wrapper CorrectBlockSplitBadBox creates carries none of the span's own values");
+
+ // The negative control: an ORDINARY (unsplit) break-after:avoid box immediately preceding 'kept'
+ // DOES get pulled across the same boundary - proving the split shape's own outcome above is really
+ // caused by the anonymous wrapper, not by some other reason 'kept' just never moves.
+ var ordinaryHtml = LayoutHarness.Wrap(
+ "filler
"
+ + "lead
"
+ + "kept
");
+
+ var (ordinaryRoot, ordinaryContainer) = LayoutHarness.Layout(ordinaryHtml, 400, 200, margin: Margin);
+ var ordinaryLead = LayoutHarness.FindById(ordinaryRoot, "lead")!;
+ var ordinaryKept = LayoutHarness.FindById(ordinaryRoot, "kept")!;
+
+ Assert.AreEqual(
+ ordinaryContainer.PageIndexOf(ordinaryKept.Location.Y),
+ ordinaryContainer.PageIndexOf(ordinaryLead.Location.Y),
+ "sanity check: an ordinary break-after:avoid box IS pulled onto its next sibling's page");
+
+ Assert.AreNotEqual(
+ splitContainer.PageIndexOf(splitKept.Location.Y),
+ splitContainer.PageIndexOf(predecessor.EffectiveTop),
+ "the split span's own break-after is inert - its anonymous wrapper is left behind while 'kept' moves on alone");
+ }
+
+ // ── helpers ───────────────────────────────────────────────────────────
+
+ private static string TableDocument(string headerRowCss)
+ {
+ var rows = string.Concat(Enumerable.Range(1, 30)
+ .Select(i => $"| Header 1 | Header 2 |
|---|
-
+///
's repeatsHeader gate +/// (Core/Dom/CssLayoutEngineTable.cs ~647-648) checks only +///BreakValues.AvoidsBreak(_headerBox.BreakInside) andHasRealPageGrid - §6.2's SECOND +/// condition (repeat only if the group's own height is under a quarter of the page) is not implemented at +/// all, confirmed by reading the gate in full: there is no height comparison anywhere in it. Every test +/// built on that cap (AGroupExactlyAQuarterOfThePage_DoesNotRepeat , +///ATallHeaderThatDoesNotRepeat_LeavesTheLaterBandsToTheRows and their footer siblings) is dropped +/// outright rather than force-fit;+/// pins the real, inverted behavior instead.
+/// - The UA stylesheet's
thead, tfoot { break-inside: avoid } default +/// (Core/CssDefaults.cs ) lives under@media print , which onlyPdfSharpAdapter ever +/// matches (confirmed:RAdapter.DefaultMediaType 's base default is not"print" , and this +/// file's harness lays out overWinFormsAdapter , whose reported type is"screen" - the same +/// established convention documented inStageD4RepeatedHeaderTest.cs ). So +///TheUaStylesheet_GivesATheadAndTfootAvoidBreakInside and +///TheUaStylesheet_StillGivesHeadingsAnAvoidingBreakAfter are dropped, not ported Ignored - what +/// they'd actually be testing (whether the print stylesheet text itself contains the rule) is a +/// stylesheet-parsing concern for a unit test, not a layout-behavior one, and is already directly +/// confirmed by readingCore/CssDefaults.cs , quoted above; the OBSERVABLE effect of that default (a +/// plain<thead> repeating) is already covered by every other test in this file, each of +/// which declaresbreak-inside:avoid explicitly rather than relying on the print-scoped default, per +/// this repo's own established convention for WinForms-harness tests.
+/// <tfoot> repeat has no implementation at all (only<thead> - confirmed: +///TableHeaderRepeat is thead-only, no footer equivalent), so everyADeclinedFooter_* / +///AFooterCarriedOntoTheNextPage_* /ARepeatingFooter_* /ThePageACarriedFooterOpens_* test +/// and the footer arm of every[Theory] is dropped, per the port plan's tfoot-drop rule.
+/// DetachedRowGroup.Repeats /TableSetup.Header /Footer have no counterpart - +///(null vs non-null, and its count) is this fork's own equivalent +/// signal, used throughout below instead.
+///
| Head |
|---|
row {i} |
| H |
|---|
| body |
Head |
|---|
row {i} |
row {i} |
| Row one |
| Row two |
| Row three |
| Row one |
| Row two |
| Head |
|---|
| Row one |
| Row two |
row 0 | |
row 1 | |
row 2 | |
row 3 | |
spans 4-5 | "
+ + "row 4 |
row 5 | |
row 6 | |
spans 0-1 | "
+ + "row 0 |
row 1 |
row 0 | ||
row 1 | ||
row 2 | ||
row 3 | ||
| spans 4-5 | " + + "also spans 4-5 | " + + "row 4 |
row 5 | ||
row 0 | spans 0-2 |
row 1 | |
row 2 |
-
+///
BoxFragment.OverflowClip isnull on every fragment this fork ever builds - confirmed +/// by grep:Core/Fragmentation/FragmentEmitter.cs constructs everyBoxFragment with +///OverflowClip: null literally, with no other assignment anywhere in the file. PeachPDF's own +/// "slice the row's graphical representation, leave room for the header, state the strip's confinement" +/// mechanism (TheStripsMeetExactly_... ,TheStripsCoverTheWholeRow_... , +///EveryBandOfASlicedRun_... ,AClipOutsideTheSlicedRow_... ) has nothing to port onto: this +/// fork'salready fragments any +/// box taller than one band into one per +/// band it overlaps (proven generically by Painting/FragmentPaintIntegrationTests.BoxSpanningTwoPages_PaintsItsBackgroundOnBoth ), +/// with no room-reservation step and no separate "confinement" object - so there is no "does the strip +/// begin below the header" question to ask; the header repeat and the tall row's own natural per-band +/// fragments simply overlap in painted space when the header-repeat loop's own known limitation (see +/// below) doesn't apply.
+/// - A quarter-of-the-page-height cap on repeat eligibility (css-tables-3 6.2's second condition) is
+/// not implemented - confirmed by reading
CssLayoutEngineTable.LayoutCells 'srepeatsHeader +/// gate in full: it checks onlyBreakValues.AvoidsBreak(_headerBox.BreakInside) , no height +/// comparison of any kind.TableRepeatedGroupConditionsTests documents this gap; it is not +/// re-documented here.
+/// AFixedBoxInsideASlicedRow_... is subsumed by the already-ported, general +///Painting/FragmentPaintIntegrationTests.FixedBox_PaintsAtTheSameCoordinatesOnEveryPage - nothing +/// about a fixed box's own repeat-per-page mechanism (FragmentEmitter.CollectFixedRoots ) is +/// table-specific.
+/// ARowspanTallerThanABand_DoesNotSliceTheRowThatEndsIt isTableRowspanContinuationTests ' +/// own subject (the rowspan-extension mechanism), not this file's.
+///
| Head |
|---|
row {i} |
| Head |
|---|
tall |
trailing |
| Head |
|---|
tall |
| Head |
|---|
tall |
tall content |
tall content |
tall content |
row {i} |
Heading
" + + "tall content |
| Head |
|---|
tall content |
| Foot |
tall content |
-
+///
HtmlRenderer.IntegrationTest.FixedPositionRepeatsPerPageTest asserts against the +/// fragment tree directly (FragmentainerFragment.Root word positions) and never generates a real +/// PDF at all.
+/// HtmlRenderer.PdfSharp.Test.FixedPositionRepeatsPerPdfPageTest does go through the real +/// generator, but only ever checks a relativeTj -operator COUNT for fixed TEXT content - it never +/// confirms a fixed box's own painted geometry (abackground-color fill, drawn through +///GraphicsAdapter.DrawRectangle(RBrush,...) , a different code path thanDrawString ), and +/// never confirms the fixed content repaints at the SAME page-local position on every page rather than +/// merely "some extra content exists somewhere".
+///
{string.Concat(Enumerable.Repeat(sentence, 200))}
"; + var html = $""" + + + {body} + + """; + + using var document = await PdfGenerator.GeneratePdf(html, config); + + Assert.IsGreaterThanOrEqualTo(3, document.Pages.Count, "test content should span at least 3 pages for this to be a meaningful check."); + + // rgb(12,34,56) as PDF 0..1 fractions (12/255, 34/255, 56/255 -> ~0.047, ~0.133, ~0.220), + // tolerant of PdfSharp's own variable-precision decimal formatting of each component. + var fixedRectPattern = new Regex(@"0\.04\d* 0\.13\d* 0\.2\d* rg[\s\S]{0,80}?([\d.]+) ([\d.]+) ([\d.]+) ([\d.]+) re\s*\r?\nf"); + + var hasFirst = false; + var firstX = 0.0; + var firstY = 0.0; + for (var i = 0; i < document.Pages.Count; i++) + { + var content = document.Pages[i].Contents.Elements.GetDictionary(0); + var text = Encoding.Latin1.GetString(content!.Stream.Value); + var matches = fixedRectPattern.Matches(text); + + Assert.AreEqual(1, matches.Count, $"page {i} should draw the fixed box's background exactly once - not zero (missing) and not more than one (duplicated)."); + + var x = double.Parse(matches[0].Groups[1].Value); + var y = double.Parse(matches[0].Groups[2].Value); + if (!hasFirst) + { + firstX = x; + firstY = y; + hasFirst = true; + } + else + { + Assert.AreEqual(firstX, x, 0.5, $"page {i}'s fixed box should paint at the same page-local X as every other page."); + Assert.AreEqual(firstY, y, 0.5, $"page {i}'s fixed box should paint at the same page-local Y as every other page."); + } + } + } +} diff --git a/Source/Test/HtmlRenderer.PdfSharp.Test/FixedPositionRepeatsPerPdfPageTest.cs b/Source/Test/HtmlRenderer.PdfSharp.Test/FixedPositionRepeatsPerPdfPageTest.cs new file mode 100644 index 000000000..b0a61632b --- /dev/null +++ b/Source/Test/HtmlRenderer.PdfSharp.Test/FixedPositionRepeatsPerPdfPageTest.cs @@ -0,0 +1,55 @@ +using System.Text; +using PdfSharp; +using TheArtOfDev.HtmlRenderer.PdfSharp; + +namespace HtmlRenderer.PdfSharp.Test; + +///{string.Concat(Enumerable.Repeat(sentence, 200))}
"; + + using var withFixed = await PdfGenerator.GeneratePdf( + $"""FixedHeaderMarkerText
{body}""",
+ config);
+ using var withoutFixed = await PdfGenerator.GeneratePdf($"{body}", config);
+
+ Assert.IsGreaterThanOrEqualTo(3, withoutFixed.Pages.Count, "test content should span at least 3 pages for this to be meaningful");
+ Assert.AreEqual(withoutFixed.Pages.Count, withFixed.Pages.Count, "adding a fixed header should not itself change how many pages the body content needs");
+
+ for (var i = 0; i < withFixed.Pages.Count; i++)
+ {
+ var withCount = CountTj(withFixed.Pages[i].Contents.Elements.GetDictionary(0)!.Stream.Value);
+ var withoutCount = CountTj(withoutFixed.Pages[i].Contents.Elements.GetDictionary(0)!.Stream.Value);
+ Assert.AreEqual(withoutCount + 1, withCount,
+ $"page {i} should have exactly one extra text-drawing operator for the repeated fixed header (with={withCount}, without={withoutCount})");
+ }
+ }
+}
diff --git a/Source/Test/HtmlRenderer.PdfSharp.Test/HandleLinksPaginationTests.cs b/Source/Test/HtmlRenderer.PdfSharp.Test/HandleLinksPaginationTests.cs
new file mode 100644
index 000000000..b2749e3d9
--- /dev/null
+++ b/Source/Test/HtmlRenderer.PdfSharp.Test/HandleLinksPaginationTests.cs
@@ -0,0 +1,95 @@
+using PdfSharp;
+using TheArtOfDev.HtmlRenderer.PdfSharp;
+
+namespace HtmlRenderer.PdfSharp.Test;
+
+/// filler line of body text
", 150)); + var html = $""" + + {filler} +a link well past the first page's worth of filler
+ + """; + + using var document = await PdfGenerator.GeneratePdf(html, config); + + Assert.IsGreaterThan(1, document.Pages.Count, "filler content should span multiple pages for this to be meaningful"); + Assert.AreEqual(0, document.Pages[0].Annotations.Count, "the link sits well past the first page's worth of filler"); + + var annotatedPages = Enumerable.Range(0, document.Pages.Count) + .Where(i => document.Pages[i].Annotations.Count > 0) + .ToList(); + Assert.AreEqual(1, annotatedPages.Count, "the single link should be attributed to exactly one page, never split or duplicated across pages by HandleLinks' per-fragmentainer band matching"); + Assert.AreEqual(1, document.Pages[annotatedPages[0]].Annotations.Count); + } + + [TestMethod] + public async Task Link_AfterAContentEmptySpacer_LandsOnTheCorrectMaterializedPage() + { + // The spacer has no text/background/border, so every page-slot it alone spans is content-empty + // and is never materialized as a fragmentainer at all (FragmentEmitter.HasContentInBand / + // PdfGenerator.AddPdfPages' blank-page-skipping loop) - the linked paragraph sits several grid + // slots into the document but on an early materialized PDF page. HandleLinks must map the link's + // fragmentainer band to the PDF page actually generated for it via slotToPage, not to its raw + // (non-contiguous) SlotIndex. + const string html = """ + +page one content
+ + + + """; + + var config = new PdfGenerateConfig { PageSize = PageSize.A4 }; + config.SetMargins(20); + + using var document = await PdfGenerator.GeneratePdf(html, config); + + Assert.IsGreaterThanOrEqualTo(2, document.Pages.Count); + Assert.AreEqual(0, document.Pages[0].Annotations.Count, "the link is not on the first page"); + + var annotatedPages = Enumerable.Range(0, document.Pages.Count) + .Where(i => document.Pages[i].Annotations.Count > 0) + .ToList(); + Assert.AreEqual(1, annotatedPages.Count, "the single link should be attributed to exactly one materialized page"); + Assert.AreEqual(1, document.Pages[annotatedPages[0]].Annotations.Count); + + // Blank-page skipping (css-break-3 5.2's margin truncation, plus the content-empty-slot skip) + // keeps the document short despite the 2500pt gap - if the link were misattributed by a raw, + // non-contiguous slot index instead of the materialized-page index, this would either throw + // (indexing document.Pages out of range) or silently land on the wrong page. + Assert.IsLessThanOrEqualTo(6, document.Pages.Count, "the 2500pt content-empty gap should be skipped, not paginated through as blank pages"); + } +} diff --git a/Source/Test/HtmlRenderer.PdfSharp.Test/MultiPageTextVisibilityTest.cs b/Source/Test/HtmlRenderer.PdfSharp.Test/MultiPageTextVisibilityTest.cs new file mode 100644 index 000000000..a6daa971b --- /dev/null +++ b/Source/Test/HtmlRenderer.PdfSharp.Test/MultiPageTextVisibilityTest.cs @@ -0,0 +1,49 @@ +using System.Text; +using PdfSharp; +using TheArtOfDev.HtmlRenderer.PdfSharp; + +namespace HtmlRenderer.PdfSharp.Test; + +///{string.Concat(Enumerable.Repeat(sentence, 200))}
"; + + using var document = await PdfGenerator.GeneratePdf(html, config); + + Assert.IsGreaterThanOrEqualTo(3, document.Pages.Count, "Test content should span at least 3 pages for this to be a meaningful check."); + + for (var i = 0; i < document.Pages.Count; i++) + { + var content = document.Pages[i].Contents.Elements.GetDictionary(0); + var text = Encoding.Latin1.GetString(content!.Stream.Value); + StringAssert.Contains(text, "Tj", $"Page {i} has no text-drawing operators - its content is invisible."); + } + } +} diff --git a/Source/Test/HtmlRenderer.PdfSharp.Test/StageD2VerificationTest.cs b/Source/Test/HtmlRenderer.PdfSharp.Test/StageD2VerificationTest.cs new file mode 100644 index 000000000..544e5bbd2 --- /dev/null +++ b/Source/Test/HtmlRenderer.PdfSharp.Test/StageD2VerificationTest.cs @@ -0,0 +1,143 @@ +using PdfSharp; +using TheArtOfDev.HtmlRenderer.PdfSharp; + +namespace HtmlRenderer.PdfSharp.Test; + +[TestClass] +public sealed class StageD2VerificationTest +{ + [TestMethod] + public async Task ForcedBreakBefore_Page_StartsNewPage() + { + var config = new PdfGenerateConfig { PageSize = PageSize.A4 }; + config.SetMargins(20); + + const string html = """ + +Page one content.
+Page two content.
+
+ """;
+
+ using var document = await PdfGenerator.GeneratePdf(html, config);
+
+ Assert.AreEqual(2, document.Pages.Count);
+ }
+
+ [TestMethod]
+ public async Task NoForcedBreak_SmallContent_StaysOnOnePage()
+ {
+ var config = new PdfGenerateConfig { PageSize = PageSize.A4 };
+ config.SetMargins(20);
+
+ const string html = "Title
Body text.
"; + + using var document = await PdfGenerator.GeneratePdf(html, config); + + Assert.AreEqual(1, document.Pages.Count); + } + + [TestMethod] + public async Task LegacyPageBreakBefore_Always_StartsNewPage() + { + var config = new PdfGenerateConfig { PageSize = PageSize.A4 }; + config.SetMargins(20); + + const string html = """ + +Page one content.
+Page two content.
+
+ """;
+
+ using var document = await PdfGenerator.GeneratePdf(html, config);
+
+ Assert.AreEqual(2, document.Pages.Count);
+ }
+
+ [TestMethod]
+ public async Task BreakInsideAvoid_KeepsBlockTogether_OnOnePage()
+ {
+ var config = new PdfGenerateConfig { PageSize = PageSize.A4 };
+ config.SetMargins(20);
+
+ // Enough filler to span several pages regardless of exactly which font ends up resolving on
+ // whatever machine runs this (a small, precisely-calibrated filler count is fragile to font
+ // substitution - CI's non-Windows runners fall back to an embedded font with different metrics
+ // than Windows' real "Times New Roman", so a boundary tuned for one silently misses the other;
+ // see this project's own established testing lesson about hardcoded "just barely" magic
+ // numbers). Precise per-page content verification lives in HtmlRenderer.IntegrationTest's
+ // ContainerLeftBehindTest/StageR3RelocationTest, which read the fragment tree directly instead
+ // of inferring behavior from a PDF's total page count - this is only a regression-style guard
+ // that the avoid-block relocation doesn't crash or misbehave outright.
+ var filler = string.Concat(Enumerable.Repeat("filler line of text
", 150)); + var html = $""" + + {filler} +
+
+
+ """;
+
+ using var document = await PdfGenerator.GeneratePdf(html, config);
+
+ Assert.IsGreaterThanOrEqualTo(2, document.Pages.Count);
+ }
+
+ [TestMethod]
+ public async Task ManyParagraphs_FlowAcrossMultiplePages()
+ {
+ var config = new PdfGenerateConfig { PageSize = PageSize.A4 };
+ config.SetMargins(20);
+
+ var paragraphs = string.Concat(Enumerable.Repeat(
+ "first
second
third
+A reasonably long paragraph of filler text used to force real multi-page pagination in this test.
", + 120)); + var html = $"{paragraphs}"; + + using var document = await PdfGenerator.GeneratePdf(html, config); + + Assert.IsGreaterThan(1, document.Pages.Count); + } + + [TestMethod] + public async Task HugeMargin_DoesNotProduceRunawayBlankPages() + { + var config = new PdfGenerateConfig { PageSize = PageSize.A4 }; + config.SetMargins(20); + + // A margin far taller than a single page - margin truncation (css-break-3 5.2) must + // discard it rather than paginating through blank vertical space. + const string html = "content
";
+
+ using var document = await PdfGenerator.GeneratePdf(html, config);
+
+ Assert.IsLessThanOrEqualTo(2, document.Pages.Count);
+ }
+
+ [TestMethod]
+ public async Task KeepWithNext_HeadingStaysWithFollowingParagraph()
+ {
+ var config = new PdfGenerateConfig { PageSize = PageSize.A4 };
+ config.SetMargins(20);
+
+ // h4 has UA break-after: avoid. Generous filler (see BreakInsideAvoid_KeepsBlockTogether_OnOnePage's
+ // own remark on why a precisely-calibrated boundary is fragile to font substitution across CI
+ // platforms) - this is a regression-style guard that the pair doesn't blow up across an
+ // unreasonable number of pages, not a precise "did they move together" check (that lives at the
+ // fragment-tree level, in HtmlRenderer.IntegrationTest's ContainerLeftBehindKeepWithNextTest).
+ var filler = string.Concat(Enumerable.Repeat("filler line of text
", 150)); + var html = $""" + + {filler} +Section heading
+Paragraph right after the heading.
+ + """; + + using var document = await PdfGenerator.GeneratePdf(html, config); + + Assert.IsGreaterThanOrEqualTo(2, document.Pages.Count); + } +} diff --git a/Source/Test/HtmlRenderer.PdfSharp.Test/StageD3VerificationTest.cs b/Source/Test/HtmlRenderer.PdfSharp.Test/StageD3VerificationTest.cs new file mode 100644 index 000000000..e9a808854 --- /dev/null +++ b/Source/Test/HtmlRenderer.PdfSharp.Test/StageD3VerificationTest.cs @@ -0,0 +1,76 @@ +using PdfSharp; +using TheArtOfDev.HtmlRenderer.PdfSharp; + +namespace HtmlRenderer.PdfSharp.Test; + +[TestClass] +public sealed class StageD3VerificationTest +{ + [TestMethod] + public async Task LongParagraph_SpansPagesWithoutError() + { + var config = new PdfGenerateConfig { PageSize = PageSize.A4 }; + config.SetMargins(20); + + // Generous repeat count - a precisely-calibrated boundary is fragile to font substitution + // across CI platforms (non-Windows runners fall back to an embedded font with different metrics + // than Windows' real "Times New Roman"); this only needs to comfortably exceed one page + // regardless of exactly which font resolves. + var sentence = "This is a moderately long sentence used to build a paragraph that will wrap across many lines and, eventually, across more than one page. "; + var html = $"{string.Concat(Enumerable.Repeat(sentence, 100))}
"; + + using var document = await PdfGenerator.GeneratePdf(html, config); + + Assert.IsGreaterThan(1, document.Pages.Count); + } + + [TestMethod] + public async Task Widows_PullsMinimumLinesToNextPage() + { + var config = new PdfGenerateConfig { PageSize = PageSize.A4 }; + config.SetMargins(20); + + // Generous filler, not precisely calibrated to a specific boundary - see + // StageD2VerificationTest.BreakInsideAvoid_KeepsBlockTogether_OnOnePage's remark on why a tight + // "just barely" filler count is fragile to font substitution across CI platforms. Precise + // per-page widows verification lives in HtmlRenderer.IntegrationTest's StageR5WidowsMultiPageTest, + // which reads the fragment tree directly. + var filler = string.Concat(Enumerable.Repeat("filler line of text
", 150)); + var sentence = "one two three four five six seven eight nine ten eleven twelve thirteen fourteen fifteen sixteen seventeen eighteen nineteen twenty "; + var html = $""" + + {filler} +{string.Concat(Enumerable.Repeat(sentence, 6))}
+ + """; + + using var document = await PdfGenerator.GeneratePdf(html, config); + + // The widowed paragraph must not leave fewer than 3 of its lines alone at the top of a page - + // this is a structural/behavioral guard (page count is stable and small) rather than pixel + // inspection, matching the other D2/D3 verification tests in this project. + Assert.IsGreaterThanOrEqualTo(2, document.Pages.Count); + } + + [TestMethod] + public async Task Orphans_KeepsMinimumLinesOnFirstPage() + { + var config = new PdfGenerateConfig { PageSize = PageSize.A4 }; + config.SetMargins(20); + + // Generous filler - see Widows_PullsMinimumLinesToNextPage's own remark on why a tight "just + // barely" filler count is fragile to font substitution across CI platforms. + var filler = string.Concat(Enumerable.Repeat("filler line of text
", 150)); + var sentence = "one two three four five six seven eight nine ten eleven twelve thirteen fourteen fifteen sixteen seventeen eighteen nineteen twenty "; + var html = $""" + + {filler} +{string.Concat(Enumerable.Repeat(sentence, 6))}
+ + """; + + using var document = await PdfGenerator.GeneratePdf(html, config); + + Assert.IsGreaterThanOrEqualTo(2, document.Pages.Count); + } +} diff --git a/Source/Test/HtmlRenderer.PdfSharp.Test/StageD4VerificationTest.cs b/Source/Test/HtmlRenderer.PdfSharp.Test/StageD4VerificationTest.cs new file mode 100644 index 000000000..2a4950485 --- /dev/null +++ b/Source/Test/HtmlRenderer.PdfSharp.Test/StageD4VerificationTest.cs @@ -0,0 +1,30 @@ +using PdfSharp; +using TheArtOfDev.HtmlRenderer.PdfSharp; + +namespace HtmlRenderer.PdfSharp.Test; + +[TestClass] +public sealed class StageD4VerificationTest +{ + [TestMethod] + public async Task LargeTableWithHeader_SpansMultiplePagesWithoutError() + { + var config = new PdfGenerateConfig { PageSize = PageSize.A4 }; + config.SetMargins(20); + + var rows = string.Concat(Enumerable.Range(0, 60) + .Select(i => $"| Column A | Column B |
|---|
filler line of text
", 150)); + var html = $""" + + external link on page one + jump to anchor + {filler} +anchor target, on a later page
+ + """; + + using var document = await PdfGenerator.GeneratePdf(html, config); + + Assert.IsGreaterThan(1, document.Pages.Count); + + // At least one page carries some link annotation (either the web link or the document link) - + // this is a smoke check that HandleLinks' new slot-to-page mapping runs without throwing and + // actually attaches annotations, not a check of which exact page holds which link. + var anyLinks = false; + for (var i = 0; i < document.PageCount; i++) + { + if (document.Pages[i].Annotations.Count > 0) + { + anyLinks = true; + break; + } + } + Assert.IsTrue(anyLinks, "expected at least one page to carry a link annotation"); + } + + [TestMethod] + public async Task HugeMargin_ProducesNoBlankPages() + { + var config = new PdfGenerateConfig { PageSize = PageSize.A4 }; + config.SetMargins(20); + + const string html = "content
";
+
+ using var document = await PdfGenerator.GeneratePdf(html, config);
+
+ // css-break-3 5.2 margin truncation (D2) keeps this on very few pages; blank-page skipping
+ // (F1's page-per-fragmentainer loop) means whatever pages exist are never content-empty.
+ Assert.IsLessThanOrEqualTo(2, document.Pages.Count);
+ }
+}
diff --git a/Source/Test/HtmlRenderer.PdfSharp.Test/TableHeaderPdfRenderingTests.cs b/Source/Test/HtmlRenderer.PdfSharp.Test/TableHeaderPdfRenderingTests.cs
new file mode 100644
index 000000000..20e50ea3b
--- /dev/null
+++ b/Source/Test/HtmlRenderer.PdfSharp.Test/TableHeaderPdfRenderingTests.cs
@@ -0,0 +1,175 @@
+using System.Text;
+using System.Text.RegularExpressions;
+using PdfSharp;
+using PdfSharp.Pdf;
+using TheArtOfDev.HtmlRenderer.PdfSharp;
+
+namespace HtmlRenderer.PdfSharp.Test;
+
+/// | Header Column 1 | +Header Column 2 | +Header Column 3 | +
|---|
| ID | +Name | +Department | +
|---|
| Personal Information | +Contact Details | +||
|---|---|---|---|
| First Name | +Last Name | +Phone | +|
| Header |
|---|
| Body |
| Header |
|---|
| {clauses} |
content
"));
+
+ var target = LayoutHarness.FindById(root, "target");
+
+ Assert.IsNotNull(target);
+ Assert.AreEqual(keyword, target.Clear);
+ }
}
diff --git a/Source/Test/HtmlRenderer.Test/Dom/CssCounterEngineTests.cs b/Source/Test/HtmlRenderer.Test/Dom/CssCounterEngineTests.cs
new file mode 100644
index 000000000..5992511ca
--- /dev/null
+++ b/Source/Test/HtmlRenderer.Test/Dom/CssCounterEngineTests.cs
@@ -0,0 +1,58 @@
+using TheArtOfDev.HtmlRenderer.Core.Dom;
+
+namespace HtmlRenderer.Test.Dom;
+
+/// -
+///
- 7 tests (the
PageBreakBottoms_* group plusPageBreakBottoms_WithRepeatingFooter_... ) +/// assert againstCssBox.PageBreakBottoms , a dictionary this fork'ssimply does +/// not have (confirmed: no such member exists anywhere in Core/Dom/CssBox.cs) - there is nothing to port +/// them onto.
+/// - 3 tests (
TableBorderPaint_* ) and 1 more (TableFooter_MultiPageTable_FooterTextIsPaintedOnEveryPage ) +/// verify PAINT output (drawn border lines / drawn strings) via a realPdfSharpAdapter -backed +/// recording graphics and a per-page paint harness. This batch's own established convention (see +///Dom/CssLayoutEngineTableTests.cs and the sibling files inFragmentation/ ) is adapter-free +/// layout/geometry assertions only, with no GDI+/paint harness in scope - paint-level border verification +/// belongs in a later, IntegrationTest-based batch, not here.
+/// - 4 tests (
RepeatedThead_BoundaryToBody_... ,RepeatedThead_OwnInternalGridLine_... , +///RepeatedThead_RowspanInHeadersLastRow_... ,RepeatedThead_BoundaryAgainstABorderedTbody_... ) +/// exercise PeachPDF'sCollapsedBorderModel /CollapsedBorderSegments - a per-page collapsed- +/// border RESOLUTION model this fork has no counterpart for at all (confirmed: no such types exist +/// anywhere in Core). What DOES map to real, confirmed machinery here - as the port plan itself notes - +/// is the repeated-header MECHANISM underneath those tests:TableHeaderRepeat.CloneAndPosition +/// (Core/Fragmentation/TableHeaderRepeat.cs) and. The +/// RepeatedThead_* tests below are a genuine adaptation - same underlying feature, rewritten as +/// geometry/content assertions against the real clone rows rather than border-segment resolution.
+/// - The 2
RepeatedTfoot_* tests are dropped per the port plan (only<thead> repeat +/// is implemented, not<tfoot> ).
+///
| Row {i} |
| Row {i} |
| Row {i} |
| Header |
|---|
| Row {i} |
| HEADERMARKER |
|---|
| Row {i} |
| Header |
|---|
| Row {i} |
| Header |
|---|
| Row {i} |
| Header |
|---|
| Row {i} |
| Header |
|---|
| Row {i} |
first
"
+ + "second
"),
+ pageHeight: Band, margin: Margin);
+
+ Assert.AreEqual(container.PageTopOf(1), TargetFor(root, "second")!.Value, 1e-6);
+ Assert.AreEqual(SlotTop(1), TargetFor(root, "second")!.Value, 1e-6);
+ Assert.AreEqual(SlotTop(1), LayoutHarness.FindById(root, "second")!.Location.Y, 1e-6);
+ }
+
+ // §4.4: a predecessor whose content ENDS flush on a slot boundary already satisfies the break, so
+ // no separate target is manufactured for it and the box just lands there through ordinary flow.
+ // Sizing the first box to exactly one band is the canonical shape (a full-bleed cover), and the
+ // epsilon is what stops it manufacturing a blank page.
+ // Adapted: PeachPDF's ForcedBreakTopFor always returns a (possibly redundant) target, so its own
+ // version of this test asserts a non-null TargetFor(root,"second") equal to PageTopOf(1) even in the
+ // already-flush case. This port's TryGetForcedBreakTarget instead returns false specifically to mean
+ // "already satisfied, no relocation needed" (Core/Fragmentation/BlockFragmentation.cs ~83-84: "Already
+ // flush at a fresh page's top - a forced break here does not skip a page"), so the faithful assertion
+ // here is that TargetFor returns null, not a redundant restated boundary - confirmed empirically.
+ [TestMethod]
+ public void PredecessorEndingFlushOnABoundary_TargetsThatBoundary_NotTheSlotAfterIt()
+ {
+ var (root, container) = LayoutHarness.Layout(
+ LayoutHarness.Wrap(
+ $"first
"
+ + "second
"),
+ pageHeight: Band, margin: Margin);
+
+ // The first box occupies the whole of slot 0 and ends exactly where slot 1 begins.
+ Assert.AreEqual(SlotTop(1), LayoutHarness.FindById(root, "first")!.ActualBottom, 1e-6);
+
+ // Slot 1, not slot 2: the flush end is already the break, and no page is skipped - and, per the
+ // adaptation above, no separate target is reported for an already-satisfied break either.
+ Assert.IsNull(TargetFor(root, "second"));
+ Assert.AreEqual(SlotTop(1), LayoutHarness.FindById(root, "second")!.Location.Y, 1e-6);
+ Assert.AreEqual(2, container.FragmentTree!.Fragmentainers.Count);
+ }
+
+ // The case PeachPDF's epsilon must not swallow: a zero-height marker that its OWN forced break
+ // already relocated to a boundary sits AT that boundary, which is the later slot - so the break
+ // between it and the next box should still push past it, preserving the intentional blank page.
+ [Ignore("This port's BlockFragmentation.TryGetForcedBreakTarget implements only PeachPDF's first " +
+ "epsilon rule (naturalTop <= pageTop + 0.01 => already satisfied, Core/Fragmentation/" +
+ "BlockFragmentation.cs ~77-88), not PeachPDF's second, consecutive-forced-break rule that " +
+ "distinguishes a predecessor genuinely filling a slot from a zero-height marker sitting AT a " +
+ "boundary because its OWN forced break already put it there. Confirmed empirically: 'marker' " +
+ "lands at SlotTop(1) via its own break-before as expected, but 'second' (whose prevSibling is " +
+ "now 'marker', flush at that same boundary) is then ALSO judged already-satisfied by the single " +
+ "epsilon rule and placed at SlotTop(1) too, colliding with 'marker' on the same page instead of " +
+ "stepping to slot 2 - the deliberately-blank page this test exists to prove out is lost.")]
+ [TestMethod]
+ public void ConsecutiveForcedBreaks_StepPastTheMarkerRatherThanCollapsingOntoIt()
+ {
+ var (root, container) = LayoutHarness.Layout(
+ LayoutHarness.Wrap(
+ "first
"
+ + ""
+ + "second
"),
+ pageHeight: Band, margin: Margin);
+
+ var marker = LayoutHarness.FindById(root, "marker");
+ Assert.IsNotNull(marker);
+
+ // The marker took its own break to slot 1's top and contributes no height of its own.
+ Assert.AreEqual(SlotTop(1), marker!.Location.Y, 1e-6);
+ Assert.AreEqual(marker.Location.Y, marker.ActualBottom, 1e-6);
+
+ // Its bottom is flush on slot 1's top, which SlotEndingAt reads as slot 0 - but its own top is
+ // AT that boundary, so the second rule fires and the break lands one slot further on. Without
+ // it the two boxes would share slot 1 and the deliberately-blank page would be lost.
+ Assert.AreEqual(container.PageTopOf(2), TargetFor(root, "second")!.Value, 1e-6);
+ Assert.AreEqual(SlotTop(2), LayoutHarness.FindById(root, "second")!.Location.Y, 1e-6);
+ }
+
+ // §5.2 preserves the margin on the new page's side of a FORCED break, so the box lands one margin
+ // below the target rather than on it - which is exactly why the target is worth asserting
+ // separately from the position.
+ [TestMethod]
+ public void TargetIsTheBoundary_AndThePreservedMarginIsAddedToIt()
+ {
+ var (root, container) = LayoutHarness.Layout(
+ LayoutHarness.Wrap(
+ "first
"
+ + "second
"),
+ pageHeight: Band, margin: Margin);
+
+ Assert.AreEqual(container.PageTopOf(1), TargetFor(root, "second")!.Value, 1e-6);
+ Assert.AreEqual(SlotTop(1) + 30, LayoutHarness.FindById(root, "second")!.Location.Y, 1e-6);
+ }
+
+ // §3.1's break point before a container's FIRST in-flow child is the same break point as the one
+ // before the container, so a `break-before` there should be taken by the container the box begins,
+ // not by the box.
+ [Ignore("This port's BlockFragmentation.TryGetForcedBreakTarget does not implement css-break-3 §3.1's " +
+ "cross-ancestor break-point propagation - confirmed by direct source read of its own remark " +
+ "(Core/Fragmentation/BlockFragmentation.cs ~58-67): 'Full cross-ancestor propagation is out of " +
+ "scope for this port; suppressing at the box's own level is what keeps a heading that merely " +
+ "happens to be first on the page from forcing a spurious leading blank page.' The method requires " +
+ "a non-null prevSibling (~74), so a first-in-flow child's own break-before is simply never taken " +
+ "up by its parent here: 'second' has no sibling within 'wrapper' and 'wrapper' itself carries no " +
+ "break-before of its own, so TargetFor returns null for BOTH boxes and no page break happens at " +
+ "all - unlike PeachPDF, where the container hoists the break and lands on the next page.")]
+ [TestMethod]
+ public void BreakBeforeAFirstInFlowChild_IsTakenByTheContainerItBegins()
+ {
+ var (root, container) = LayoutHarness.Layout(
+ LayoutHarness.Wrap(
+ "first
"
+ + ""
+ + "
"),
+ pageHeight: Band, margin: Margin);
+
+ Assert.AreEqual(container.PageTopOf(1), TargetFor(root, "wrapper")!.Value, 1e-6);
+ Assert.IsNull(TargetFor(root, "second"));
+ Assert.AreEqual(SlotTop(1), LayoutHarness.FindById(root, "wrapper")!.Location.Y, 1e-6);
+ Assert.AreEqual(SlotTop(1), LayoutHarness.FindById(root, "second")!.Location.Y, 1e-6);
+ }
+
+ // Nothing precedes the box in the flow at all: there is no break to take, and §4.4 asks user
+ // agents not to manufacture a blank page in front of a document's first content. A null target is
+ // how that is said.
+ [TestMethod]
+ public void BoxThatBeginsTheFlow_HasNoTargetAtAll()
+ {
+ var (root, container) = LayoutHarness.Layout(
+ LayoutHarness.Wrap(
+ "second
"
+ + "second
"),
+ pageHeight: Band, margin: Margin);
+
+ Assert.IsNull(TargetFor(root, "second"));
+ Assert.AreEqual(1, container.FragmentTree!.Fragmentainers.Count);
+ }
+
+ // A box with no forced break before it has no target either - the method answers about the break,
+ // not about the box's position, so an ordinary sibling gets null rather than "wherever it is".
+ [TestMethod]
+ public void BoxWithNoForcedBreak_HasNoTarget()
+ {
+ var (root, _) = LayoutHarness.Layout(
+ LayoutHarness.Wrap(
+ "first
"
+ + "second
"),
+ pageHeight: Band, margin: Margin);
+
+ Assert.IsNull(TargetFor(root, "second"));
+ }
+
+ // CSS 2.1 §9.4.3: a relative offset moves a box visually without affecting the layout of anything
+ // around it, so it must not decide which slot the break lands in.
+ // Adapted: this port does not implement position:relative's top/left visual offset at all - confirmed
+ // by direct source read, CssBoxProperties.Left/Top (Core/Dom/CssBoxProperties.cs ~569-595) only ever
+ // call GetActualLocation when Position == Fixed, never for Relative, and no other call site applies a
+ // relative offset anywhere in Core. So these assertions still hold, just for a different reason than
+ // PeachPDF's own (there is no offset to exclude from the flow calculation, rather than a correctly
+ // excluded one) - kept active rather than [Ignore]d since the assertions genuinely pass, and the
+ // adaptation is documented here rather than assumed away.
+ [TestMethod]
+ [DataRow("top: -40px")]
+ [DataRow("top: 40px")]
+ public void RelativelyOffsetPredecessor_DoesNotMoveTheTarget(string offset)
+ {
+ var (root, container) = LayoutHarness.Layout(
+ LayoutHarness.Wrap(
+ $"first
"
+ + "second
"),
+ pageHeight: Band, margin: Margin);
+
+ Assert.AreEqual(container.PageTopOf(1), TargetFor(root, "second")!.Value, 1e-6);
+ Assert.AreEqual(SlotTop(1), LayoutHarness.FindById(root, "second")!.Location.Y, 1e-6);
+ }
+}
diff --git a/Source/Test/HtmlRenderer.Test/Fragmentation/HtmlContainerIntPaginationTests.cs b/Source/Test/HtmlRenderer.Test/Fragmentation/HtmlContainerIntPaginationTests.cs
new file mode 100644
index 000000000..a852c83e6
--- /dev/null
+++ b/Source/Test/HtmlRenderer.Test/Fragmentation/HtmlContainerIntPaginationTests.cs
@@ -0,0 +1,103 @@
+using System.Linq;
+using HtmlRenderer.Test.TestSupport;
+
+namespace HtmlRenderer.Test.Fragmentation;
+
+/// section content spanning pages
"),
+ pageHeight: 200, margin: 0);
+
+ var fragmentainers = container.FragmentTree!.Fragmentainers;
+
+ CollectionAssert.AreEqual(new[] { 0.0, 200.0, 400.0, 600.0, 800.0 }, fragmentainers.Select(f => f.LocalOriginY).ToList());
+ CollectionAssert.AreEqual(new[] { 0, 1, 2, 3, 4 }, fragmentainers.Select(f => f.SlotIndex).ToList());
+ }
+
+ [Ignore("Same dead skip-path as Fragmentainers_RealContentSeparatedByMultiPageGap_SkipWhollyEmptySlots " +
+ "(see the class remarks) - confirmed empirically: a 900px, entirely background-less filler div " +
+ "(page height 200) produces 5 fragmentainers (one per slot it geometrically spans), not the " +
+ "single content-empty-document fallback css-page-media-3 §3.2 asks for.")]
+ [TestMethod]
+ public void Fragmentainers_PureMarginOnlyDocument_FallBackToASingleFragmentainer()
+ {
+ // A document that laid out to a real, non-zero height but has nothing "printable"
+ // anywhere (an extreme, all-margin edge case) must still produce exactly one page - never
+ // zero - rather than emitting a content-less document.
+ var (_, container) = LayoutHarness.Layout(
+ LayoutHarness.Wrap(""),
+ pageHeight: 200, margin: 0);
+
+ var fragmentainer = container.FragmentTree!.Fragmentainers.Single();
+
+ Assert.AreEqual(0, fragmentainer.SlotIndex);
+ Assert.AreEqual(0.0, fragmentainer.LocalOriginY);
+ }
+}
diff --git a/Source/Test/HtmlRenderer.Test/Fragmentation/MonolithicContentTests.cs b/Source/Test/HtmlRenderer.Test/Fragmentation/MonolithicContentTests.cs
new file mode 100644
index 000000000..55f0e520c
--- /dev/null
+++ b/Source/Test/HtmlRenderer.Test/Fragmentation/MonolithicContentTests.cs
@@ -0,0 +1,202 @@
+using System.Linq;
+using HtmlRenderer.Test.TestSupport;
+using TheArtOfDev.HtmlRenderer.Core.Dom;
+using TheArtOfDev.HtmlRenderer.Core.Fragmentation;
+
+namespace HtmlRenderer.Test.Fragmentation;
+
+/// 
")]
+ [DataRow("")]
+ public void ReplacedElement_IsMonolithic(string markup)
+ {
+ var box = BoxOf(markup);
+
+ Assert.IsTrue(MonolithicContent.IsReplaced(box));
+ Assert.IsTrue(MonolithicContent.IsMonolithic(box));
+ }
+
+ [TestMethod]
+ public void OrdinaryBlock_IsNotMonolithic()
+ {
+ var box = BoxOf("text
");
+
+ Assert.IsFalse(MonolithicContent.IsReplaced(box));
+ Assert.IsFalse(MonolithicContent.IsMonolithic(box));
+ }
+
+ // ── scroll containers ─────────────────────────────────────────────────
+
+ [TestMethod]
+ [DataRow("hidden", true)]
+ [DataRow("scroll", true)]
+ [DataRow("auto", true)]
+ [DataRow("visible", false)]
+ // Not in Map.OverflowModes (Core/CssEngine/Model/Map.cs), so it never converts and the box keeps
+ // "visible" - which is the answer §2 wants for `clip` anyway, though by accident rather than by design
+ // (matching PeachPDF's own identically-accidental behaviour here).
+ [DataRow("clip", false)]
+ public void Overflow_DecidesScrollContainer(string overflow, bool expected)
+ {
+ var box = BoxOf($"text
");
+
+ Assert.AreEqual(expected, MonolithicContent.IsScrollContainer(box));
+ Assert.AreEqual(expected, MonolithicContent.IsMonolithic(box));
+ }
+
+ // CSS Overflow 3 §3.3: the root's overflow propagates to the viewport, and 's does when the
+ // root's is visible, so neither is itself a scroll container. Without this the near-universal
+ // `html { overflow: hidden }` idiom would declare an entire document unbreakable.
+ [TestMethod]
+ [DataRow("html")]
+ [DataRow("body")]
+ public void ViewportPropagationSource_IsNotAScrollContainer(string tag)
+ {
+ var box = BoxOfTag($"{tag} {{ overflow: hidden }}", tag);
+
+ Assert.AreEqual("hidden", box.Overflow);
+ Assert.IsFalse(MonolithicContent.IsScrollContainer(box));
+ Assert.IsFalse(MonolithicContent.IsMonolithic(box));
+ }
+
+ // The other half of §3.3, which the theory above cannot see because it never sets both: the body's
+ // value propagates only while the root's own is `visible`. Once the root has declared one it took
+ // the propagation, and the body is a scroll container in its own right.
+ [TestMethod]
+ public void Body_UnderARootThatAlreadyDeclaredOverflow_IsAScrollContainer()
+ {
+ var box = BoxOfTag("html { overflow: hidden } body { overflow: auto }", "body");
+
+ Assert.IsTrue(MonolithicContent.IsScrollContainer(box));
+ Assert.IsTrue(MonolithicContent.IsMonolithic(box));
+ }
+
+ // ...and the companion direction, so the test above is not passing merely because `auto` is set.
+ [TestMethod]
+ public void Body_UnderAVisibleRoot_PropagatesAndIsNotAScrollContainer()
+ {
+ var box = BoxOfTag("html { overflow: visible } body { overflow: auto }", "body");
+
+ Assert.IsFalse(MonolithicContent.IsScrollContainer(box));
+ }
+
+ // A stray element that happens to be named "body" but is not the root's own child gets no
+ // propagation - §3.3 is about the document's body element, not the tag name.
+ [TestMethod]
+ public void NestedElementNamedBody_IsAnOrdinaryScrollContainer()
+ {
+ var (root, _) = LayoutHarness.Layout(LayoutHarness.Wrap("text
"));
+
+ var box = LayoutHarness.FindById(root, "t");
+
+ // The parser may or may not keep such an element; the assertion only means anything if it did.
+ if (box is null || box.ParentBox is null || box.ParentBox.HtmlTag?.Name is "html") return;
+
+ Assert.IsTrue(MonolithicContent.IsScrollContainer(box));
+ }
+
+ // ── the engine constraint, which is a different question ──────────────
+
+ [TestMethod]
+ [DataRow("display:table")]
+ [DataRow("display:inline-table")]
+ public void EngineThatPaginatesItself_IsNotBySpecMonolithic(string style)
+ {
+ var box = BoxOf($"text
");
+
+ Assert.IsTrue(MonolithicContent.PaginatesItsOwnContent(box));
+
+ // The whole point of separating the two: this box is suppressed for an implementation reason,
+ // and §2 says nothing about it.
+ Assert.IsFalse(MonolithicContent.IsMonolithic(box));
+ }
+
+ // The narrowed scope itself (see class remarks): PeachPDF also recognizes flex/grid/multi-column as
+ // self-paginating engines; none of the three exist in this fork, so none of them qualify here.
+ [TestMethod]
+ [DataRow("display:flex")]
+ [DataRow("display:grid")]
+ [DataRow("column-count:2")]
+ public void UnsupportedEngineDisplay_DoesNotPaginateItsOwnContent(string style)
+ {
+ var box = BoxOf($"text
");
+
+ Assert.IsFalse(MonolithicContent.PaginatesItsOwnContent(box));
+ }
+
+ [TestMethod]
+ public void OrdinaryBlock_DoesNotPaginateItsOwnContent()
+ {
+ var box = BoxOf("text
");
+
+ Assert.IsFalse(MonolithicContent.PaginatesItsOwnContent(box));
+ }
+
+ // ── the fitting question ──────────────────────────────────────────────
+
+ [TestMethod]
+ // Band is 160pt here (200pt page less two 20pt margins) - LayoutHarness's own pageHeight parameter is
+ // already the content band (see its doc comment), so 160 is passed directly.
+ [DataRow(100.0, false)]
+ [DataRow(160.0, true)]
+ [DataRow(200.0, true)]
+ public void FitsNoFragmentainer_ComparesAgainstThePageContentBand(double height, bool expected)
+ {
+ var (_, container) = LayoutHarness.Layout(LayoutHarness.Wrap("text
"), pageHeight: 160, margin: 20);
+
+ Assert.AreEqual(expected, MonolithicContent.FitsNoFragmentainer(height, container));
+ }
+
+ // The companion question, and deliberately not the negation of the one above: "will it fit *there*"
+ // is asked of one specific band, where a box exactly as tall as the band plainly does fit. The
+ // relocation asks this one, so a band-tall box has somewhere to go.
+ [TestMethod]
+ [DataRow(100.0, 160.0, true)]
+ [DataRow(160.0, 160.0, true)]
+ [DataRow(161.0, 160.0, false)]
+ public void FitsInBand_TreatsAnExactFitAsFitting(double height, double bandHeight, bool expected) =>
+ Assert.AreEqual(expected, MonolithicContent.FitsInBand(height, bandHeight));
+
+ // ── helpers ───────────────────────────────────────────────────────────
+
+ private static CssBox BoxOfTag(string css, string tag)
+ {
+ var html = $"text
";
+
+ var (root, _) = LayoutHarness.Layout(html);
+
+ return LayoutHarness.Descendants(root).First(b =>
+ string.Equals(b.HtmlTag?.Name, tag, System.StringComparison.OrdinalIgnoreCase));
+ }
+
+ private static CssBox BoxOf(string markup)
+ {
+ var (root, _) = LayoutHarness.Layout(LayoutHarness.Wrap(markup));
+ var box = LayoutHarness.FindById(root, "t");
+
+ Assert.IsNotNull(box);
+ return box!;
+ }
+}
diff --git a/Source/Test/HtmlRenderer.Test/TestSupport/LayoutHarness.cs b/Source/Test/HtmlRenderer.Test/TestSupport/LayoutHarness.cs
index 5dce99796..e89f3990c 100644
--- a/Source/Test/HtmlRenderer.Test/TestSupport/LayoutHarness.cs
+++ b/Source/Test/HtmlRenderer.Test/TestSupport/LayoutHarness.cs
@@ -22,19 +22,40 @@ internal static class LayoutHarness
/// Optional: a caller-supplied