Range.cpp 52 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203
  1. /*
  2. * Copyright (c) 2020, the SerenityOS developers.
  3. * Copyright (c) 2022, Luke Wilde <lukew@serenityos.org>
  4. * Copyright (c) 2022-2023, Andreas Kling <kling@serenityos.org>
  5. *
  6. * SPDX-License-Identifier: BSD-2-Clause
  7. */
  8. #include <LibWeb/Bindings/Intrinsics.h>
  9. #include <LibWeb/DOM/Comment.h>
  10. #include <LibWeb/DOM/Document.h>
  11. #include <LibWeb/DOM/DocumentFragment.h>
  12. #include <LibWeb/DOM/DocumentType.h>
  13. #include <LibWeb/DOM/ElementFactory.h>
  14. #include <LibWeb/DOM/Node.h>
  15. #include <LibWeb/DOM/ProcessingInstruction.h>
  16. #include <LibWeb/DOM/Range.h>
  17. #include <LibWeb/DOM/Text.h>
  18. #include <LibWeb/DOMParsing/InnerHTML.h>
  19. #include <LibWeb/Geometry/DOMRect.h>
  20. #include <LibWeb/HTML/HTMLHtmlElement.h>
  21. #include <LibWeb/HTML/Window.h>
  22. #include <LibWeb/Layout/Viewport.h>
  23. #include <LibWeb/Namespace.h>
  24. namespace Web::DOM {
  25. HashTable<Range*>& Range::live_ranges()
  26. {
  27. static HashTable<Range*> ranges;
  28. return ranges;
  29. }
  30. WebIDL::ExceptionOr<JS::NonnullGCPtr<Range>> Range::create(HTML::Window& window)
  31. {
  32. return Range::create(window.associated_document());
  33. }
  34. WebIDL::ExceptionOr<JS::NonnullGCPtr<Range>> Range::create(Document& document)
  35. {
  36. auto& realm = document.realm();
  37. return MUST_OR_THROW_OOM(realm.heap().allocate<Range>(realm, document));
  38. }
  39. WebIDL::ExceptionOr<JS::NonnullGCPtr<Range>> Range::create(Node& start_container, u32 start_offset, Node& end_container, u32 end_offset)
  40. {
  41. auto& realm = start_container.realm();
  42. return MUST_OR_THROW_OOM(realm.heap().allocate<Range>(realm, start_container, start_offset, end_container, end_offset));
  43. }
  44. WebIDL::ExceptionOr<JS::NonnullGCPtr<Range>> Range::construct_impl(JS::Realm& realm)
  45. {
  46. auto& window = verify_cast<HTML::Window>(realm.global_object());
  47. return Range::create(window);
  48. }
  49. Range::Range(Document& document)
  50. : Range(document, 0, document, 0)
  51. {
  52. }
  53. Range::Range(Node& start_container, u32 start_offset, Node& end_container, u32 end_offset)
  54. : AbstractRange(start_container, start_offset, end_container, end_offset)
  55. {
  56. live_ranges().set(this);
  57. }
  58. Range::~Range()
  59. {
  60. live_ranges().remove(this);
  61. }
  62. JS::ThrowCompletionOr<void> Range::initialize(JS::Realm& realm)
  63. {
  64. MUST_OR_THROW_OOM(Base::initialize(realm));
  65. set_prototype(&Bindings::ensure_web_prototype<Bindings::RangePrototype>(realm, "Range"));
  66. return {};
  67. }
  68. void Range::visit_edges(Cell::Visitor& visitor)
  69. {
  70. Base::visit_edges(visitor);
  71. visitor.visit(m_associated_selection);
  72. }
  73. void Range::set_associated_selection(Badge<Selection::Selection>, JS::GCPtr<Selection::Selection> selection)
  74. {
  75. m_associated_selection = selection;
  76. update_associated_selection();
  77. }
  78. void Range::update_associated_selection()
  79. {
  80. if (!m_associated_selection)
  81. return;
  82. if (auto* layout_root = m_associated_selection->document()->layout_node()) {
  83. layout_root->recompute_selection_states();
  84. layout_root->set_needs_display();
  85. }
  86. }
  87. // https://dom.spec.whatwg.org/#concept-range-root
  88. Node& Range::root()
  89. {
  90. // The root of a live range is the root of its start node.
  91. return m_start_container->root();
  92. }
  93. Node const& Range::root() const
  94. {
  95. return m_start_container->root();
  96. }
  97. // https://dom.spec.whatwg.org/#concept-range-bp-position
  98. RelativeBoundaryPointPosition position_of_boundary_point_relative_to_other_boundary_point(Node const& node_a, u32 offset_a, Node const& node_b, u32 offset_b)
  99. {
  100. // 1. Assert: nodeA and nodeB have the same root.
  101. VERIFY(&node_a.root() == &node_b.root());
  102. // 2. If nodeA is nodeB, then return equal if offsetA is offsetB, before if offsetA is less than offsetB, and after if offsetA is greater than offsetB.
  103. if (&node_a == &node_b) {
  104. if (offset_a == offset_b)
  105. return RelativeBoundaryPointPosition::Equal;
  106. if (offset_a < offset_b)
  107. return RelativeBoundaryPointPosition::Before;
  108. return RelativeBoundaryPointPosition::After;
  109. }
  110. // 3. If nodeA is following nodeB, then if the position of (nodeB, offsetB) relative to (nodeA, offsetA) is before, return after, and if it is after, return before.
  111. if (node_a.is_following(node_b)) {
  112. auto relative_position = position_of_boundary_point_relative_to_other_boundary_point(node_b, offset_b, node_a, offset_a);
  113. if (relative_position == RelativeBoundaryPointPosition::Before)
  114. return RelativeBoundaryPointPosition::After;
  115. if (relative_position == RelativeBoundaryPointPosition::After)
  116. return RelativeBoundaryPointPosition::Before;
  117. }
  118. // 4. If nodeA is an ancestor of nodeB:
  119. if (node_a.is_ancestor_of(node_b)) {
  120. // 1. Let child be nodeB.
  121. JS::NonnullGCPtr<Node const> child = node_b;
  122. // 2. While child is not a child of nodeA, set child to its parent.
  123. while (!node_a.is_parent_of(child)) {
  124. auto* parent = child->parent();
  125. VERIFY(parent);
  126. child = *parent;
  127. }
  128. // 3. If child’s index is less than offsetA, then return after.
  129. if (child->index() < offset_a)
  130. return RelativeBoundaryPointPosition::After;
  131. }
  132. // 5. Return before.
  133. return RelativeBoundaryPointPosition::Before;
  134. }
  135. WebIDL::ExceptionOr<void> Range::set_start_or_end(Node& node, u32 offset, StartOrEnd start_or_end)
  136. {
  137. // To set the start or end of a range to a boundary point (node, offset), run these steps:
  138. // 1. If node is a doctype, then throw an "InvalidNodeTypeError" DOMException.
  139. if (is<DocumentType>(node))
  140. return WebIDL::InvalidNodeTypeError::create(realm(), "Node cannot be a DocumentType.");
  141. // 2. If offset is greater than node’s length, then throw an "IndexSizeError" DOMException.
  142. if (offset > node.length())
  143. return WebIDL::IndexSizeError::create(realm(), DeprecatedString::formatted("Node does not contain a child at offset {}", offset));
  144. // 3. Let bp be the boundary point (node, offset).
  145. if (start_or_end == StartOrEnd::Start) {
  146. // -> If these steps were invoked as "set the start"
  147. // 1. If range’s root is not equal to node’s root, or if bp is after the range’s end, set range’s end to bp.
  148. if (&root() != &node.root() || position_of_boundary_point_relative_to_other_boundary_point(node, offset, m_end_container, m_end_offset) == RelativeBoundaryPointPosition::After) {
  149. m_end_container = node;
  150. m_end_offset = offset;
  151. }
  152. // 2. Set range’s start to bp.
  153. m_start_container = node;
  154. m_start_offset = offset;
  155. } else {
  156. // -> If these steps were invoked as "set the end"
  157. VERIFY(start_or_end == StartOrEnd::End);
  158. // 1. If range’s root is not equal to node’s root, or if bp is before the range’s start, set range’s start to bp.
  159. if (&root() != &node.root() || position_of_boundary_point_relative_to_other_boundary_point(node, offset, m_start_container, m_start_offset) == RelativeBoundaryPointPosition::Before) {
  160. m_start_container = node;
  161. m_start_offset = offset;
  162. }
  163. // 2. Set range’s end to bp.
  164. m_end_container = node;
  165. m_end_offset = offset;
  166. }
  167. update_associated_selection();
  168. return {};
  169. }
  170. // https://dom.spec.whatwg.org/#concept-range-bp-set
  171. WebIDL::ExceptionOr<void> Range::set_start(Node& node, u32 offset)
  172. {
  173. // The setStart(node, offset) method steps are to set the start of this to boundary point (node, offset).
  174. return set_start_or_end(node, offset, StartOrEnd::Start);
  175. }
  176. WebIDL::ExceptionOr<void> Range::set_end(Node& node, u32 offset)
  177. {
  178. // The setEnd(node, offset) method steps are to set the end of this to boundary point (node, offset).
  179. return set_start_or_end(node, offset, StartOrEnd::End);
  180. }
  181. // https://dom.spec.whatwg.org/#dom-range-setstartbefore
  182. WebIDL::ExceptionOr<void> Range::set_start_before(Node& node)
  183. {
  184. // 1. Let parent be node’s parent.
  185. auto* parent = node.parent();
  186. // 2. If parent is null, then throw an "InvalidNodeTypeError" DOMException.
  187. if (!parent)
  188. return WebIDL::InvalidNodeTypeError::create(realm(), "Given node has no parent.");
  189. // 3. Set the start of this to boundary point (parent, node’s index).
  190. return set_start_or_end(*parent, node.index(), StartOrEnd::Start);
  191. }
  192. // https://dom.spec.whatwg.org/#dom-range-setstartafter
  193. WebIDL::ExceptionOr<void> Range::set_start_after(Node& node)
  194. {
  195. // 1. Let parent be node’s parent.
  196. auto* parent = node.parent();
  197. // 2. If parent is null, then throw an "InvalidNodeTypeError" DOMException.
  198. if (!parent)
  199. return WebIDL::InvalidNodeTypeError::create(realm(), "Given node has no parent.");
  200. // 3. Set the start of this to boundary point (parent, node’s index plus 1).
  201. return set_start_or_end(*parent, node.index() + 1, StartOrEnd::Start);
  202. }
  203. // https://dom.spec.whatwg.org/#dom-range-setendbefore
  204. WebIDL::ExceptionOr<void> Range::set_end_before(Node& node)
  205. {
  206. // 1. Let parent be node’s parent.
  207. auto* parent = node.parent();
  208. // 2. If parent is null, then throw an "InvalidNodeTypeError" DOMException.
  209. if (!parent)
  210. return WebIDL::InvalidNodeTypeError::create(realm(), "Given node has no parent.");
  211. // 3. Set the end of this to boundary point (parent, node’s index).
  212. return set_start_or_end(*parent, node.index(), StartOrEnd::End);
  213. }
  214. // https://dom.spec.whatwg.org/#dom-range-setendafter
  215. WebIDL::ExceptionOr<void> Range::set_end_after(Node& node)
  216. {
  217. // 1. Let parent be node’s parent.
  218. auto* parent = node.parent();
  219. // 2. If parent is null, then throw an "InvalidNodeTypeError" DOMException.
  220. if (!parent)
  221. return WebIDL::InvalidNodeTypeError::create(realm(), "Given node has no parent.");
  222. // 3. Set the end of this to boundary point (parent, node’s index plus 1).
  223. return set_start_or_end(*parent, node.index() + 1, StartOrEnd::End);
  224. }
  225. // https://dom.spec.whatwg.org/#dom-range-compareboundarypoints
  226. WebIDL::ExceptionOr<i16> Range::compare_boundary_points(u16 how, Range const& source_range) const
  227. {
  228. // 1. If how is not one of
  229. // - START_TO_START,
  230. // - START_TO_END,
  231. // - END_TO_END, and
  232. // - END_TO_START,
  233. // then throw a "NotSupportedError" DOMException.
  234. if (how != HowToCompareBoundaryPoints::START_TO_START && how != HowToCompareBoundaryPoints::START_TO_END && how != HowToCompareBoundaryPoints::END_TO_END && how != HowToCompareBoundaryPoints::END_TO_START)
  235. return WebIDL::NotSupportedError::create(realm(), DeprecatedString::formatted("Expected 'how' to be one of START_TO_START (0), START_TO_END (1), END_TO_END (2) or END_TO_START (3), got {}", how));
  236. // 2. If this’s root is not the same as sourceRange’s root, then throw a "WrongDocumentError" DOMException.
  237. if (&root() != &source_range.root())
  238. return WebIDL::WrongDocumentError::create(realm(), "This range is not in the same tree as the source range.");
  239. JS::GCPtr<Node> this_point_node;
  240. u32 this_point_offset = 0;
  241. JS::GCPtr<Node> other_point_node;
  242. u32 other_point_offset = 0;
  243. // 3. If how is:
  244. switch (how) {
  245. case HowToCompareBoundaryPoints::START_TO_START:
  246. // -> START_TO_START:
  247. // Let this point be this’s start. Let other point be sourceRange’s start.
  248. this_point_node = m_start_container;
  249. this_point_offset = m_start_offset;
  250. other_point_node = source_range.m_start_container;
  251. other_point_offset = source_range.m_start_offset;
  252. break;
  253. case HowToCompareBoundaryPoints::START_TO_END:
  254. // -> START_TO_END:
  255. // Let this point be this’s end. Let other point be sourceRange’s start.
  256. this_point_node = m_end_container;
  257. this_point_offset = m_end_offset;
  258. other_point_node = source_range.m_start_container;
  259. other_point_offset = source_range.m_start_offset;
  260. break;
  261. case HowToCompareBoundaryPoints::END_TO_END:
  262. // -> END_TO_END:
  263. // Let this point be this’s end. Let other point be sourceRange’s end.
  264. this_point_node = m_end_container;
  265. this_point_offset = m_end_offset;
  266. other_point_node = source_range.m_end_container;
  267. other_point_offset = source_range.m_end_offset;
  268. break;
  269. case HowToCompareBoundaryPoints::END_TO_START:
  270. // -> END_TO_START:
  271. // Let this point be this’s start. Let other point be sourceRange’s end.
  272. this_point_node = m_start_container;
  273. this_point_offset = m_start_offset;
  274. other_point_node = source_range.m_end_container;
  275. other_point_offset = source_range.m_end_offset;
  276. break;
  277. default:
  278. VERIFY_NOT_REACHED();
  279. }
  280. VERIFY(this_point_node);
  281. VERIFY(other_point_node);
  282. // 4. If the position of this point relative to other point is
  283. auto relative_position = position_of_boundary_point_relative_to_other_boundary_point(*this_point_node, this_point_offset, *other_point_node, other_point_offset);
  284. switch (relative_position) {
  285. case RelativeBoundaryPointPosition::Before:
  286. // -> before
  287. // Return −1.
  288. return -1;
  289. case RelativeBoundaryPointPosition::Equal:
  290. // -> equal
  291. // Return 0.
  292. return 0;
  293. case RelativeBoundaryPointPosition::After:
  294. // -> after
  295. // Return 1.
  296. return 1;
  297. default:
  298. VERIFY_NOT_REACHED();
  299. }
  300. }
  301. // https://dom.spec.whatwg.org/#concept-range-select
  302. WebIDL::ExceptionOr<void> Range::select(Node& node)
  303. {
  304. // 1. Let parent be node’s parent.
  305. auto* parent = node.parent();
  306. // 2. If parent is null, then throw an "InvalidNodeTypeError" DOMException.
  307. if (!parent)
  308. return WebIDL::InvalidNodeTypeError::create(realm(), "Given node has no parent.");
  309. // 3. Let index be node’s index.
  310. auto index = node.index();
  311. // 4. Set range’s start to boundary point (parent, index).
  312. m_start_container = *parent;
  313. m_start_offset = index;
  314. // 5. Set range’s end to boundary point (parent, index plus 1).
  315. m_end_container = *parent;
  316. m_end_offset = index + 1;
  317. update_associated_selection();
  318. return {};
  319. }
  320. // https://dom.spec.whatwg.org/#dom-range-selectnode
  321. WebIDL::ExceptionOr<void> Range::select_node(Node& node)
  322. {
  323. // The selectNode(node) method steps are to select node within this.
  324. return select(node);
  325. }
  326. // https://dom.spec.whatwg.org/#dom-range-collapse
  327. void Range::collapse(bool to_start)
  328. {
  329. // The collapse(toStart) method steps are to, if toStart is true, set end to start; otherwise set start to end.
  330. if (to_start) {
  331. m_end_container = m_start_container;
  332. m_end_offset = m_start_offset;
  333. } else {
  334. m_start_container = m_end_container;
  335. m_start_offset = m_end_offset;
  336. }
  337. update_associated_selection();
  338. }
  339. // https://dom.spec.whatwg.org/#dom-range-selectnodecontents
  340. WebIDL::ExceptionOr<void> Range::select_node_contents(Node& node)
  341. {
  342. // 1. If node is a doctype, throw an "InvalidNodeTypeError" DOMException.
  343. if (is<DocumentType>(node))
  344. return WebIDL::InvalidNodeTypeError::create(realm(), "Node cannot be a DocumentType.");
  345. // 2. Let length be the length of node.
  346. auto length = node.length();
  347. // 3. Set start to the boundary point (node, 0).
  348. m_start_container = node;
  349. m_start_offset = 0;
  350. // 4. Set end to the boundary point (node, length).
  351. m_end_container = node;
  352. m_end_offset = length;
  353. update_associated_selection();
  354. return {};
  355. }
  356. JS::NonnullGCPtr<Range> Range::clone_range() const
  357. {
  358. return heap().allocate<Range>(shape().realm(), const_cast<Node&>(*m_start_container), m_start_offset, const_cast<Node&>(*m_end_container), m_end_offset).release_allocated_value_but_fixme_should_propagate_errors();
  359. }
  360. JS::NonnullGCPtr<Range> Range::inverted() const
  361. {
  362. return heap().allocate<Range>(shape().realm(), const_cast<Node&>(*m_end_container), m_end_offset, const_cast<Node&>(*m_start_container), m_start_offset).release_allocated_value_but_fixme_should_propagate_errors();
  363. }
  364. JS::NonnullGCPtr<Range> Range::normalized() const
  365. {
  366. if (m_start_container.ptr() == m_end_container.ptr()) {
  367. if (m_start_offset <= m_end_offset)
  368. return clone_range();
  369. return inverted();
  370. }
  371. if (m_start_container->is_before(m_end_container))
  372. return clone_range();
  373. return inverted();
  374. }
  375. // https://dom.spec.whatwg.org/#dom-range-commonancestorcontainer
  376. JS::NonnullGCPtr<Node> Range::common_ancestor_container() const
  377. {
  378. // 1. Let container be start node.
  379. auto container = m_start_container;
  380. // 2. While container is not an inclusive ancestor of end node, let container be container’s parent.
  381. while (!container->is_inclusive_ancestor_of(m_end_container)) {
  382. VERIFY(container->parent());
  383. container = *container->parent();
  384. }
  385. // 3. Return container.
  386. return container;
  387. }
  388. // https://dom.spec.whatwg.org/#dom-range-intersectsnode
  389. bool Range::intersects_node(Node const& node) const
  390. {
  391. // 1. If node’s root is different from this’s root, return false.
  392. if (&node.root() != &root())
  393. return false;
  394. // 2. Let parent be node’s parent.
  395. auto* parent = node.parent();
  396. // 3. If parent is null, return true.
  397. if (!parent)
  398. return true;
  399. // 4. Let offset be node’s index.
  400. auto offset = node.index();
  401. // 5. If (parent, offset) is before end and (parent, offset plus 1) is after start, return true
  402. auto relative_position_to_end = position_of_boundary_point_relative_to_other_boundary_point(*parent, offset, m_end_container, m_end_offset);
  403. auto relative_position_to_start = position_of_boundary_point_relative_to_other_boundary_point(*parent, offset + 1, m_start_container, m_start_offset);
  404. if (relative_position_to_end == RelativeBoundaryPointPosition::Before && relative_position_to_start == RelativeBoundaryPointPosition::After)
  405. return true;
  406. // 6. Return false.
  407. return false;
  408. }
  409. // https://dom.spec.whatwg.org/#dom-range-ispointinrange
  410. WebIDL::ExceptionOr<bool> Range::is_point_in_range(Node const& node, u32 offset) const
  411. {
  412. // 1. If node’s root is different from this’s root, return false.
  413. if (&node.root() != &root())
  414. return false;
  415. // 2. If node is a doctype, then throw an "InvalidNodeTypeError" DOMException.
  416. if (is<DocumentType>(node))
  417. return WebIDL::InvalidNodeTypeError::create(realm(), "Node cannot be a DocumentType.");
  418. // 3. If offset is greater than node’s length, then throw an "IndexSizeError" DOMException.
  419. if (offset > node.length())
  420. return WebIDL::IndexSizeError::create(realm(), DeprecatedString::formatted("Node does not contain a child at offset {}", offset));
  421. // 4. If (node, offset) is before start or after end, return false.
  422. auto relative_position_to_start = position_of_boundary_point_relative_to_other_boundary_point(node, offset, m_start_container, m_start_offset);
  423. auto relative_position_to_end = position_of_boundary_point_relative_to_other_boundary_point(node, offset, m_end_container, m_end_offset);
  424. if (relative_position_to_start == RelativeBoundaryPointPosition::Before || relative_position_to_end == RelativeBoundaryPointPosition::After)
  425. return false;
  426. // 5. Return true.
  427. return true;
  428. }
  429. // https://dom.spec.whatwg.org/#dom-range-comparepoint
  430. WebIDL::ExceptionOr<i16> Range::compare_point(Node const& node, u32 offset) const
  431. {
  432. // 1. If node’s root is different from this’s root, then throw a "WrongDocumentError" DOMException.
  433. if (&node.root() != &root())
  434. return WebIDL::WrongDocumentError::create(realm(), "Given node is not in the same document as the range.");
  435. // 2. If node is a doctype, then throw an "InvalidNodeTypeError" DOMException.
  436. if (is<DocumentType>(node))
  437. return WebIDL::InvalidNodeTypeError::create(realm(), "Node cannot be a DocumentType.");
  438. // 3. If offset is greater than node’s length, then throw an "IndexSizeError" DOMException.
  439. if (offset > node.length())
  440. return WebIDL::IndexSizeError::create(realm(), DeprecatedString::formatted("Node does not contain a child at offset {}", offset));
  441. // 4. If (node, offset) is before start, return −1.
  442. auto relative_position_to_start = position_of_boundary_point_relative_to_other_boundary_point(node, offset, m_start_container, m_start_offset);
  443. if (relative_position_to_start == RelativeBoundaryPointPosition::Before)
  444. return -1;
  445. // 5. If (node, offset) is after end, return 1.
  446. auto relative_position_to_end = position_of_boundary_point_relative_to_other_boundary_point(node, offset, m_end_container, m_end_offset);
  447. if (relative_position_to_end == RelativeBoundaryPointPosition::After)
  448. return 1;
  449. // 6. Return 0.
  450. return 0;
  451. }
  452. // https://dom.spec.whatwg.org/#dom-range-stringifier
  453. DeprecatedString Range::to_deprecated_string() const
  454. {
  455. // 1. Let s be the empty string.
  456. StringBuilder builder;
  457. // 2. If this’s start node is this’s end node and it is a Text node,
  458. // then return the substring of that Text node’s data beginning at this’s start offset and ending at this’s end offset.
  459. if (start_container() == end_container() && is<Text>(*start_container()))
  460. return static_cast<Text const&>(*start_container()).data().substring(start_offset(), end_offset() - start_offset());
  461. // 3. If this’s start node is a Text node, then append the substring of that node’s data from this’s start offset until the end to s.
  462. if (is<Text>(*start_container()))
  463. builder.append(static_cast<Text const&>(*start_container()).data().substring_view(start_offset()));
  464. // 4. Append the concatenation of the data of all Text nodes that are contained in this, in tree order, to s.
  465. for (Node const* node = start_container(); node != end_container()->next_sibling(); node = node->next_in_pre_order()) {
  466. if (is<Text>(*node) && contains_node(*node))
  467. builder.append(static_cast<Text const&>(*node).data());
  468. }
  469. // 5. If this’s end node is a Text node, then append the substring of that node’s data from its start until this’s end offset to s.
  470. if (is<Text>(*end_container()))
  471. builder.append(static_cast<Text const&>(*end_container()).data().substring_view(0, end_offset()));
  472. // 6. Return s.
  473. return builder.to_deprecated_string();
  474. }
  475. // https://dom.spec.whatwg.org/#dom-range-extractcontents
  476. WebIDL::ExceptionOr<JS::NonnullGCPtr<DocumentFragment>> Range::extract_contents()
  477. {
  478. return extract();
  479. }
  480. // https://dom.spec.whatwg.org/#concept-range-extract
  481. WebIDL::ExceptionOr<JS::NonnullGCPtr<DocumentFragment>> Range::extract()
  482. {
  483. // 1. Let fragment be a new DocumentFragment node whose node document is range’s start node’s node document.
  484. auto fragment = MUST_OR_THROW_OOM(heap().allocate<DOM::DocumentFragment>(realm(), const_cast<Document&>(start_container()->document())));
  485. // 2. If range is collapsed, then return fragment.
  486. if (collapsed())
  487. return fragment;
  488. // 3. Let original start node, original start offset, original end node, and original end offset
  489. // be range’s start node, start offset, end node, and end offset, respectively.
  490. JS::NonnullGCPtr<Node> original_start_node = m_start_container;
  491. auto original_start_offset = m_start_offset;
  492. JS::NonnullGCPtr<Node> original_end_node = m_end_container;
  493. auto original_end_offset = m_end_offset;
  494. // 4. If original start node is original end node and it is a CharacterData node, then:
  495. if (original_start_node.ptr() == original_end_node.ptr() && is<CharacterData>(*original_start_node)) {
  496. // 1. Let clone be a clone of original start node.
  497. auto clone = original_start_node->clone_node();
  498. // 2. Set the data of clone to the result of substringing data with node original start node,
  499. // offset original start offset, and count original end offset minus original start offset.
  500. auto result = TRY(static_cast<CharacterData const&>(*original_start_node).substring_data(original_start_offset, original_end_offset - original_start_offset));
  501. verify_cast<CharacterData>(*clone).set_data(move(result));
  502. // 3. Append clone to fragment.
  503. TRY(fragment->append_child(clone));
  504. // 4. Replace data with node original start node, offset original start offset, count original end offset minus original start offset, and data the empty string.
  505. TRY(static_cast<CharacterData&>(*original_start_node).replace_data(original_start_offset, original_end_offset - original_start_offset, ""));
  506. // 5. Return fragment.
  507. return fragment;
  508. }
  509. // 5. Let common ancestor be original start node.
  510. JS::NonnullGCPtr<Node> common_ancestor = original_start_node;
  511. // 6. While common ancestor is not an inclusive ancestor of original end node, set common ancestor to its own parent.
  512. while (!common_ancestor->is_inclusive_ancestor_of(original_end_node))
  513. common_ancestor = *common_ancestor->parent_node();
  514. // 7. Let first partially contained child be null.
  515. JS::GCPtr<Node> first_partially_contained_child;
  516. // 8. If original start node is not an inclusive ancestor of original end node,
  517. // set first partially contained child to the first child of common ancestor that is partially contained in range.
  518. if (!original_start_node->is_inclusive_ancestor_of(original_end_node)) {
  519. for (auto* child = common_ancestor->first_child(); child; child = child->next_sibling()) {
  520. if (partially_contains_node(*child)) {
  521. first_partially_contained_child = child;
  522. break;
  523. }
  524. }
  525. }
  526. // 9. Let last partially contained child be null.
  527. JS::GCPtr<Node> last_partially_contained_child;
  528. // 10. If original end node is not an inclusive ancestor of original start node,
  529. // set last partially contained child to the last child of common ancestor that is partially contained in range.
  530. if (!original_end_node->is_inclusive_ancestor_of(original_start_node)) {
  531. for (auto* child = common_ancestor->last_child(); child; child = child->previous_sibling()) {
  532. if (partially_contains_node(*child)) {
  533. last_partially_contained_child = child;
  534. break;
  535. }
  536. }
  537. }
  538. // 11. Let contained children be a list of all children of common ancestor that are contained in range, in tree order.
  539. Vector<JS::NonnullGCPtr<Node>> contained_children;
  540. for (Node* node = common_ancestor->first_child(); node; node = node->next_sibling()) {
  541. if (contains_node(*node))
  542. contained_children.append(*node);
  543. }
  544. // 12. If any member of contained children is a doctype, then throw a "HierarchyRequestError" DOMException.
  545. for (auto const& child : contained_children) {
  546. if (is<DocumentType>(*child))
  547. return WebIDL::HierarchyRequestError::create(realm(), "Contained child is a DocumentType");
  548. }
  549. JS::GCPtr<Node> new_node;
  550. size_t new_offset = 0;
  551. // 13. If original start node is an inclusive ancestor of original end node, set new node to original start node and new offset to original start offset.
  552. if (original_start_node->is_inclusive_ancestor_of(original_end_node)) {
  553. new_node = original_start_node;
  554. new_offset = original_start_offset;
  555. }
  556. // 14. Otherwise:
  557. else {
  558. // 1. Let reference node equal original start node.
  559. JS::GCPtr<Node> reference_node = original_start_node;
  560. // 2. While reference node’s parent is not null and is not an inclusive ancestor of original end node, set reference node to its parent.
  561. while (reference_node->parent_node() && !reference_node->parent_node()->is_inclusive_ancestor_of(original_end_node))
  562. reference_node = reference_node->parent_node();
  563. // 3. Set new node to the parent of reference node, and new offset to one plus reference node’s index.
  564. new_node = reference_node->parent_node();
  565. new_offset = 1 + reference_node->index();
  566. }
  567. // 15. If first partially contained child is a CharacterData node, then:
  568. if (first_partially_contained_child && is<CharacterData>(*first_partially_contained_child)) {
  569. // 1. Let clone be a clone of original start node.
  570. auto clone = original_start_node->clone_node();
  571. // 2. Set the data of clone to the result of substringing data with node original start node, offset original start offset,
  572. // and count original start node’s length minus original start offset.
  573. auto result = TRY(static_cast<CharacterData const&>(*original_start_node).substring_data(original_start_offset, original_start_node->length() - original_start_offset));
  574. verify_cast<CharacterData>(*clone).set_data(move(result));
  575. // 3. Append clone to fragment.
  576. TRY(fragment->append_child(clone));
  577. // 4. Replace data with node original start node, offset original start offset, count original start node’s length minus original start offset, and data the empty string.
  578. TRY(static_cast<CharacterData&>(*original_start_node).replace_data(original_start_offset, original_start_node->length() - original_start_offset, ""));
  579. }
  580. // 16. Otherwise, if first partially contained child is not null:
  581. else if (first_partially_contained_child) {
  582. // 1. Let clone be a clone of first partially contained child.
  583. auto clone = first_partially_contained_child->clone_node();
  584. // 2. Append clone to fragment.
  585. TRY(fragment->append_child(clone));
  586. // 3. Let subrange be a new live range whose start is (original start node, original start offset) and whose end is (first partially contained child, first partially contained child’s length).
  587. auto subrange = TRY(Range::create(original_start_node, original_start_offset, *first_partially_contained_child, first_partially_contained_child->length()));
  588. // 4. Let subfragment be the result of extracting subrange.
  589. auto subfragment = TRY(subrange->extract());
  590. // 5. Append subfragment to clone.
  591. TRY(clone->append_child(subfragment));
  592. }
  593. // 17. For each contained child in contained children, append contained child to fragment.
  594. for (auto& contained_child : contained_children) {
  595. TRY(fragment->append_child(contained_child));
  596. }
  597. // 18. If last partially contained child is a CharacterData node, then:
  598. if (last_partially_contained_child && is<CharacterData>(*last_partially_contained_child)) {
  599. // 1. Let clone be a clone of original end node.
  600. auto clone = original_end_node->clone_node();
  601. // 2. Set the data of clone to the result of substringing data with node original end node, offset 0, and count original end offset.
  602. auto result = TRY(static_cast<CharacterData const&>(*original_end_node).substring_data(0, original_end_offset));
  603. verify_cast<CharacterData>(*clone).set_data(move(result));
  604. // 3. Append clone to fragment.
  605. TRY(fragment->append_child(clone));
  606. // 4. Replace data with node original end node, offset 0, count original end offset, and data the empty string.
  607. TRY(verify_cast<CharacterData>(*original_end_node).replace_data(0, original_end_offset, ""));
  608. }
  609. // 19. Otherwise, if last partially contained child is not null:
  610. else if (last_partially_contained_child) {
  611. // 1. Let clone be a clone of last partially contained child.
  612. auto clone = last_partially_contained_child->clone_node();
  613. // 2. Append clone to fragment.
  614. TRY(fragment->append_child(clone));
  615. // 3. Let subrange be a new live range whose start is (last partially contained child, 0) and whose end is (original end node, original end offset).
  616. auto subrange = TRY(Range::create(*last_partially_contained_child, 0, original_end_node, original_end_offset));
  617. // 4. Let subfragment be the result of extracting subrange.
  618. auto subfragment = TRY(subrange->extract());
  619. // 5. Append subfragment to clone.
  620. TRY(clone->append_child(subfragment));
  621. }
  622. // 20. Set range’s start and end to (new node, new offset).
  623. TRY(set_start(*new_node, new_offset));
  624. TRY(set_end(*new_node, new_offset));
  625. // 21. Return fragment.
  626. return fragment;
  627. }
  628. // https://dom.spec.whatwg.org/#contained
  629. bool Range::contains_node(Node const& node) const
  630. {
  631. // A node node is contained in a live range range if node’s root is range’s root,
  632. if (&node.root() != &root())
  633. return false;
  634. // and (node, 0) is after range’s start,
  635. if (position_of_boundary_point_relative_to_other_boundary_point(node, 0, m_start_container, m_start_offset) != RelativeBoundaryPointPosition::After)
  636. return false;
  637. // and (node, node’s length) is before range’s end.
  638. if (position_of_boundary_point_relative_to_other_boundary_point(node, node.length(), m_end_container, m_end_offset) != RelativeBoundaryPointPosition::Before)
  639. return false;
  640. return true;
  641. }
  642. // https://dom.spec.whatwg.org/#partially-contained
  643. bool Range::partially_contains_node(Node const& node) const
  644. {
  645. // A node is partially contained in a live range if it’s an inclusive ancestor of the live range’s start node but not its end node, or vice versa.
  646. if (node.is_inclusive_ancestor_of(m_start_container) && &node != m_end_container.ptr())
  647. return true;
  648. if (node.is_inclusive_ancestor_of(m_end_container) && &node != m_start_container.ptr())
  649. return true;
  650. return false;
  651. }
  652. // https://dom.spec.whatwg.org/#dom-range-insertnode
  653. WebIDL::ExceptionOr<void> Range::insert_node(JS::NonnullGCPtr<Node> node)
  654. {
  655. return insert(node);
  656. }
  657. // https://dom.spec.whatwg.org/#concept-range-insert
  658. WebIDL::ExceptionOr<void> Range::insert(JS::NonnullGCPtr<Node> node)
  659. {
  660. // 1. If range’s start node is a ProcessingInstruction or Comment node, is a Text node whose parent is null, or is node, then throw a "HierarchyRequestError" DOMException.
  661. if ((is<ProcessingInstruction>(*m_start_container) || is<Comment>(*m_start_container))
  662. || (is<Text>(*m_start_container) && !m_start_container->parent_node())
  663. || m_start_container.ptr() == node.ptr()) {
  664. return WebIDL::HierarchyRequestError::create(realm(), "Range has inappropriate start node for insertion");
  665. }
  666. // 2. Let referenceNode be null.
  667. JS::GCPtr<Node> reference_node;
  668. // 3. If range’s start node is a Text node, set referenceNode to that Text node.
  669. if (is<Text>(*m_start_container)) {
  670. reference_node = m_start_container;
  671. }
  672. // 4. Otherwise, set referenceNode to the child of start node whose index is start offset, and null if there is no such child.
  673. else {
  674. reference_node = m_start_container->child_at_index(m_start_offset);
  675. }
  676. // 5. Let parent be range’s start node if referenceNode is null, and referenceNode’s parent otherwise.
  677. JS::GCPtr<Node> parent;
  678. if (!reference_node)
  679. parent = m_start_container;
  680. else
  681. parent = reference_node->parent();
  682. // 6. Ensure pre-insertion validity of node into parent before referenceNode.
  683. TRY(parent->ensure_pre_insertion_validity(node, reference_node));
  684. // 7. If range’s start node is a Text node, set referenceNode to the result of splitting it with offset range’s start offset.
  685. if (is<Text>(*m_start_container))
  686. reference_node = TRY(static_cast<Text&>(*m_start_container).split_text(m_start_offset));
  687. // 8. If node is referenceNode, set referenceNode to its next sibling.
  688. if (node == reference_node)
  689. reference_node = reference_node->next_sibling();
  690. // 9. If node’s parent is non-null, then remove node.
  691. if (node->parent())
  692. node->remove();
  693. // 10. Let newOffset be parent’s length if referenceNode is null, and referenceNode’s index otherwise.
  694. size_t new_offset = 0;
  695. if (!reference_node)
  696. new_offset = parent->length();
  697. else
  698. new_offset = reference_node->index();
  699. // 11. Increase newOffset by node’s length if node is a DocumentFragment node, and one otherwise.
  700. if (is<DocumentFragment>(*node))
  701. new_offset += node->length();
  702. else
  703. new_offset += 1;
  704. // 12. Pre-insert node into parent before referenceNode.
  705. (void)TRY(parent->pre_insert(node, reference_node));
  706. // 13. If range is collapsed, then set range’s end to (parent, newOffset).
  707. if (collapsed())
  708. TRY(set_end(*parent, new_offset));
  709. return {};
  710. }
  711. // https://dom.spec.whatwg.org/#dom-range-surroundcontents
  712. WebIDL::ExceptionOr<void> Range::surround_contents(JS::NonnullGCPtr<Node> new_parent)
  713. {
  714. // 1. If a non-Text node is partially contained in this, then throw an "InvalidStateError" DOMException.
  715. Node* start_non_text_node = start_container();
  716. if (is<Text>(*start_non_text_node))
  717. start_non_text_node = start_non_text_node->parent_node();
  718. Node* end_non_text_node = end_container();
  719. if (is<Text>(*end_non_text_node))
  720. end_non_text_node = end_non_text_node->parent_node();
  721. if (start_non_text_node != end_non_text_node)
  722. return WebIDL::InvalidStateError::create(realm(), "Non-Text node is partially contained in range.");
  723. // 2. If newParent is a Document, DocumentType, or DocumentFragment node, then throw an "InvalidNodeTypeError" DOMException.
  724. if (is<Document>(*new_parent) || is<DocumentType>(*new_parent) || is<DocumentFragment>(*new_parent))
  725. return WebIDL::InvalidNodeTypeError::create(realm(), "Invalid parent node type");
  726. // 3. Let fragment be the result of extracting this.
  727. auto fragment = TRY(extract());
  728. // 4. If newParent has children, then replace all with null within newParent.
  729. if (new_parent->has_children())
  730. new_parent->replace_all(nullptr);
  731. // 5. Insert newParent into this.
  732. TRY(insert(new_parent));
  733. // 6. Append fragment to newParent.
  734. (void)TRY(new_parent->append_child(fragment));
  735. // 7. Select newParent within this.
  736. return select(*new_parent);
  737. }
  738. // https://dom.spec.whatwg.org/#dom-range-clonecontents
  739. WebIDL::ExceptionOr<JS::NonnullGCPtr<DocumentFragment>> Range::clone_contents()
  740. {
  741. return clone_the_contents();
  742. }
  743. // https://dom.spec.whatwg.org/#concept-range-clone
  744. WebIDL::ExceptionOr<JS::NonnullGCPtr<DocumentFragment>> Range::clone_the_contents()
  745. {
  746. // 1. Let fragment be a new DocumentFragment node whose node document is range’s start node’s node document.
  747. auto fragment = MUST_OR_THROW_OOM(heap().allocate<DOM::DocumentFragment>(realm(), const_cast<Document&>(start_container()->document())));
  748. // 2. If range is collapsed, then return fragment.
  749. if (collapsed())
  750. return fragment;
  751. // 3. Let original start node, original start offset, original end node, and original end offset
  752. // be range’s start node, start offset, end node, and end offset, respectively.
  753. JS::NonnullGCPtr<Node> original_start_node = m_start_container;
  754. auto original_start_offset = m_start_offset;
  755. JS::NonnullGCPtr<Node> original_end_node = m_end_container;
  756. auto original_end_offset = m_end_offset;
  757. // 4. If original start node is original end node and it is a CharacterData node, then:
  758. if (original_start_node.ptr() == original_end_node.ptr() && is<CharacterData>(*original_start_node)) {
  759. // 1. Let clone be a clone of original start node.
  760. auto clone = original_start_node->clone_node();
  761. // 2. Set the data of clone to the result of substringing data with node original start node,
  762. // offset original start offset, and count original end offset minus original start offset.
  763. auto result = TRY(static_cast<CharacterData const&>(*original_start_node).substring_data(original_start_offset, original_end_offset - original_start_offset));
  764. verify_cast<CharacterData>(*clone).set_data(move(result));
  765. // 3. Append clone to fragment.
  766. TRY(fragment->append_child(clone));
  767. // 4. Return fragment.
  768. return fragment;
  769. }
  770. // 5. Let common ancestor be original start node.
  771. JS::NonnullGCPtr<Node> common_ancestor = original_start_node;
  772. // 6. While common ancestor is not an inclusive ancestor of original end node, set common ancestor to its own parent.
  773. while (!common_ancestor->is_inclusive_ancestor_of(original_end_node))
  774. common_ancestor = *common_ancestor->parent_node();
  775. // 7. Let first partially contained child be null.
  776. JS::GCPtr<Node> first_partially_contained_child;
  777. // 8. If original start node is not an inclusive ancestor of original end node,
  778. // set first partially contained child to the first child of common ancestor that is partially contained in range.
  779. if (!original_start_node->is_inclusive_ancestor_of(original_end_node)) {
  780. for (auto* child = common_ancestor->first_child(); child; child = child->next_sibling()) {
  781. if (partially_contains_node(*child)) {
  782. first_partially_contained_child = child;
  783. break;
  784. }
  785. }
  786. }
  787. // 9. Let last partially contained child be null.
  788. JS::GCPtr<Node> last_partially_contained_child;
  789. // 10. If original end node is not an inclusive ancestor of original start node,
  790. // set last partially contained child to the last child of common ancestor that is partially contained in range.
  791. if (!original_end_node->is_inclusive_ancestor_of(original_start_node)) {
  792. for (auto* child = common_ancestor->last_child(); child; child = child->previous_sibling()) {
  793. if (partially_contains_node(*child)) {
  794. last_partially_contained_child = child;
  795. break;
  796. }
  797. }
  798. }
  799. // 11. Let contained children be a list of all children of common ancestor that are contained in range, in tree order.
  800. Vector<JS::NonnullGCPtr<Node>> contained_children;
  801. for (Node* node = common_ancestor->first_child(); node; node = node->next_sibling()) {
  802. if (contains_node(*node))
  803. contained_children.append(*node);
  804. }
  805. // 12. If any member of contained children is a doctype, then throw a "HierarchyRequestError" DOMException.
  806. for (auto const& child : contained_children) {
  807. if (is<DocumentType>(*child))
  808. return WebIDL::HierarchyRequestError::create(realm(), "Contained child is a DocumentType");
  809. }
  810. // 13. If first partially contained child is a CharacterData node, then:
  811. if (first_partially_contained_child && is<CharacterData>(*first_partially_contained_child)) {
  812. // 1. Let clone be a clone of original start node.
  813. auto clone = original_start_node->clone_node();
  814. // 2. Set the data of clone to the result of substringing data with node original start node, offset original start offset,
  815. // and count original start node’s length minus original start offset.
  816. auto result = TRY(static_cast<CharacterData const&>(*original_start_node).substring_data(original_start_offset, original_start_node->length() - original_start_offset));
  817. verify_cast<CharacterData>(*clone).set_data(move(result));
  818. // 3. Append clone to fragment.
  819. TRY(fragment->append_child(clone));
  820. }
  821. // 14. Otherwise, if first partially contained child is not null:
  822. else if (first_partially_contained_child) {
  823. // 1. Let clone be a clone of first partially contained child.
  824. auto clone = first_partially_contained_child->clone_node();
  825. // 2. Append clone to fragment.
  826. TRY(fragment->append_child(clone));
  827. // 3. Let subrange be a new live range whose start is (original start node, original start offset) and whose end is (first partially contained child, first partially contained child’s length).
  828. auto subrange = TRY(Range::create(original_start_node, original_start_offset, *first_partially_contained_child, first_partially_contained_child->length()));
  829. // 4. Let subfragment be the result of cloning the contents of subrange.
  830. auto subfragment = TRY(subrange->clone_the_contents());
  831. // 5. Append subfragment to clone.
  832. TRY(clone->append_child(subfragment));
  833. }
  834. // 15. For each contained child in contained children.
  835. for (auto& contained_child : contained_children) {
  836. // 1. Let clone be a clone of contained child with the clone children flag set.
  837. auto clone = contained_child->clone_node(nullptr, true);
  838. // 2. Append clone to fragment.
  839. TRY(fragment->append_child(move(clone)));
  840. }
  841. // 16. If last partially contained child is a CharacterData node, then:
  842. if (last_partially_contained_child && is<CharacterData>(*last_partially_contained_child)) {
  843. // 1. Let clone be a clone of original end node.
  844. auto clone = original_end_node->clone_node();
  845. // 2. Set the data of clone to the result of substringing data with node original end node, offset 0, and count original end offset.
  846. auto result = TRY(static_cast<CharacterData const&>(*original_end_node).substring_data(0, original_end_offset));
  847. verify_cast<CharacterData>(*clone).set_data(move(result));
  848. // 3. Append clone to fragment.
  849. TRY(fragment->append_child(clone));
  850. }
  851. // 17. Otherwise, if last partially contained child is not null:
  852. else if (last_partially_contained_child) {
  853. // 1. Let clone be a clone of last partially contained child.
  854. auto clone = last_partially_contained_child->clone_node();
  855. // 2. Append clone to fragment.
  856. TRY(fragment->append_child(clone));
  857. // 3. Let subrange be a new live range whose start is (last partially contained child, 0) and whose end is (original end node, original end offset).
  858. auto subrange = TRY(Range::create(*last_partially_contained_child, 0, original_end_node, original_end_offset));
  859. // 4. Let subfragment be the result of cloning the contents of subrange.
  860. auto subfragment = TRY(subrange->clone_the_contents());
  861. // 5. Append subfragment to clone.
  862. TRY(clone->append_child(subfragment));
  863. }
  864. // 18. Return fragment.
  865. return fragment;
  866. }
  867. // https://dom.spec.whatwg.org/#dom-range-deletecontents
  868. WebIDL::ExceptionOr<void> Range::delete_contents()
  869. {
  870. // 1. If this is collapsed, then return.
  871. if (collapsed())
  872. return {};
  873. // 2. Let original start node, original start offset, original end node, and original end offset be this’s start node, start offset, end node, and end offset, respectively.
  874. JS::NonnullGCPtr<Node> original_start_node = m_start_container;
  875. auto original_start_offset = m_start_offset;
  876. JS::NonnullGCPtr<Node> original_end_node = m_end_container;
  877. auto original_end_offset = m_end_offset;
  878. // 3. If original start node is original end node and it is a CharacterData node, then replace data with node original start node, offset original start offset,
  879. // count original end offset minus original start offset, and data the empty string, and then return.
  880. if (original_start_node.ptr() == original_end_node.ptr() && is<CharacterData>(*original_start_node)) {
  881. TRY(static_cast<CharacterData&>(*original_start_node).replace_data(original_start_offset, original_end_offset - original_start_offset, ""));
  882. return {};
  883. }
  884. // 4. Let nodes to remove be a list of all the nodes that are contained in this, in tree order, omitting any node whose parent is also contained in this.
  885. JS::MarkedVector<Node*> nodes_to_remove(heap());
  886. for (Node const* node = start_container(); node != end_container()->next_in_pre_order(); node = node->next_in_pre_order()) {
  887. if (contains_node(*node) && (!node->parent_node() || !contains_node(*node->parent_node())))
  888. nodes_to_remove.append(const_cast<Node*>(node));
  889. }
  890. JS::GCPtr<Node> new_node;
  891. size_t new_offset = 0;
  892. // 5. If original start node is an inclusive ancestor of original end node, set new node to original start node and new offset to original start offset.
  893. if (original_start_node->is_inclusive_ancestor_of(original_end_node)) {
  894. new_node = original_start_node;
  895. new_offset = original_start_offset;
  896. }
  897. // 6. Otherwise
  898. else {
  899. // 1. Let reference node equal original start node.
  900. auto reference_node = original_start_node;
  901. // 2. While reference node’s parent is not null and is not an inclusive ancestor of original end node, set reference node to its parent.
  902. while (reference_node->parent_node() && !reference_node->parent_node()->is_inclusive_ancestor_of(original_end_node))
  903. reference_node = *reference_node->parent_node();
  904. // 3. Set new node to the parent of reference node, and new offset to one plus the index of reference node.
  905. new_node = reference_node->parent_node();
  906. new_offset = 1 + reference_node->index();
  907. }
  908. // 7. If original start node is a CharacterData node, then replace data with node original start node, offset original start offset, count original start node’s length minus original start offset, data the empty string.
  909. if (is<CharacterData>(*original_start_node))
  910. TRY(static_cast<CharacterData&>(*original_start_node).replace_data(original_start_offset, original_start_node->length() - original_start_offset, ""));
  911. // 8. For each node in nodes to remove, in tree order, remove node.
  912. for (auto& node : nodes_to_remove)
  913. node->remove();
  914. // 9. If original end node is a CharacterData node, then replace data with node original end node, offset 0, count original end offset and data the empty string.
  915. if (is<CharacterData>(*original_end_node))
  916. TRY(static_cast<CharacterData&>(*original_end_node).replace_data(0, original_end_offset, ""));
  917. // 10. Set start and end to (new node, new offset).
  918. TRY(set_start(*new_node, new_offset));
  919. TRY(set_end(*new_node, new_offset));
  920. return {};
  921. }
  922. // https://w3c.github.io/csswg-drafts/cssom-view/#dom-range-getboundingclientrect
  923. JS::NonnullGCPtr<Geometry::DOMRect> Range::get_bounding_client_rect() const
  924. {
  925. dbgln("(STUBBED) Range::get_bounding_client_rect()");
  926. return Geometry::DOMRect::construct_impl(realm(), 0, 0, 0, 0).release_value_but_fixme_should_propagate_errors();
  927. }
  928. // https://w3c.github.io/DOM-Parsing/#dom-range-createcontextualfragment
  929. WebIDL::ExceptionOr<JS::NonnullGCPtr<DocumentFragment>> Range::create_contextual_fragment(DeprecatedString const& fragment)
  930. {
  931. // 1. Let node be the context object's start node.
  932. JS::NonnullGCPtr<Node> node = *start_container();
  933. // Let element be as follows, depending on node's interface:
  934. JS::GCPtr<Element> element;
  935. switch (static_cast<NodeType>(node->node_type())) {
  936. case NodeType::DOCUMENT_NODE:
  937. case NodeType::DOCUMENT_FRAGMENT_NODE:
  938. element = nullptr;
  939. break;
  940. case NodeType::ELEMENT_NODE:
  941. element = static_cast<DOM::Element&>(*node);
  942. break;
  943. case NodeType::TEXT_NODE:
  944. case NodeType::COMMENT_NODE:
  945. element = node->parent_element();
  946. break;
  947. case NodeType::DOCUMENT_TYPE_NODE:
  948. case NodeType::PROCESSING_INSTRUCTION_NODE:
  949. // [DOM4] prevents this case.
  950. VERIFY_NOT_REACHED();
  951. default:
  952. VERIFY_NOT_REACHED();
  953. }
  954. // 2. If either element is null or the following are all true:
  955. // - element's node document is an HTML document,
  956. // - element's local name is "html", and
  957. // - element's namespace is the HTML namespace;
  958. if (!element || is<HTML::HTMLHtmlElement>(*element)) {
  959. // let element be a new Element with
  960. // - "body" as its local name,
  961. // - The HTML namespace as its namespace, and
  962. // - The context object's node document as its node document.
  963. element = TRY(DOM::create_element(node->document(), "body"sv, Namespace::HTML));
  964. }
  965. // 3. Let fragment node be the result of invoking the fragment parsing algorithm with fragment as markup, and element as the context element.
  966. auto fragment_node = TRY(DOMParsing::parse_fragment(fragment, *element));
  967. // 4. Unmark all scripts in fragment node as "already started" and as "parser-inserted".
  968. fragment_node->for_each_in_subtree_of_type<HTML::HTMLScriptElement>([&](HTML::HTMLScriptElement& script_element) {
  969. script_element.unmark_as_already_started({});
  970. script_element.unmark_as_parser_inserted({});
  971. return IterationDecision::Continue;
  972. });
  973. // 5. Return the value of fragment node.
  974. return fragment_node;
  975. }
  976. }