Add definition for composed selection range

dom.bs

@@ -3034,6 +3034,14 @@ optional <i>suppress observers flag</i>, run these steps:
  <li><p>For each <a>live range</a> whose <a for=range>end node</a> is an <a>inclusive descendant</a>
  of <var>node</var>, set its <a for=range>end</a> to (<var>parent</var>, <var>index</var>).
 
+ <li><p>For each <a>composed live range</a> whose <a for=range>start node</a> is a
+ <a>shadow-including inclusive descendant</a> of <var>node</var>, set its <a for=range>start</a> to
+ (<var>parent</var>, <var>index</var>).
+
+ <li><p>For each <a>composed live range</a> whose <a for=range>end node</a> is a
+ <a>shadow-including inclusive descendant</a> of <var>node</var>, set its <a for=range>end</a> to
+ (<var>parent</var>, <var>index</var>).
+
  <li><p>For each <a>live range</a> whose <a for=range>start node</a> is <var>parent</var> and
  <a for=range>start offset</a> is greater than <var>index</var>, decrease its
  <a for=range>start offset</a> by 1.
@@ -5775,7 +5783,7 @@ are:
 <hr>
 
 <p>The <dfn method for=Document><code>createRange()</code></dfn> method steps are to return a new
-<a>live range</a> with (<a>this</a>, 0) as its <a for=range>start</a> an <a for=range>end</a>.
+{{Range}} object with (<a>this</a>, 0) as its <a for=range>start</a> and <a for=range>end</a>.
 
 <p class=note>The {{Range/Range()}} constructor can be used instead.
 
@@ -7911,10 +7919,10 @@ range.setEnd(secondText, 4)
 <a for=/>nodes</a>.
 
 <p>{{Range}} objects, unlike {{StaticRange}} objects, are affected by mutations to the
-<a>node tree</a>. Therefore they are also known as <a>live ranges</a>. Such mutations will not
-invalidate them and will try to ensure that it still represents the same piece of content.
-Necessarily, a <a>live range</a> might itself be modified as part of the mutation to the
-<a>node tree</a> when, e.g., part of the content it represents is mutated.
+<a>node tree</a>. Therefore they are <a>live ranges</a>. Such mutations will not invalidate them and
+will try to ensure that it still represents the same piece of content. Necessarily, a
+<a>live range</a> might itself be modified as part of the mutation to the <a>node tree</a> when,
+e.g., part of the content it represents is mutated.
 
 <p class=note>See the <a for=/>insert</a> and <a for=/>remove</a> algorithms, the
 {{Node/normalize()}} method, and the <a>replace data</a> and <a lt="split a Text node">split</a>
@@ -8141,12 +8149,21 @@ interface Range : AbstractRange {
 };
 </pre>
 
-<p>Objects implementing the {{Range}} interface are known as
-<dfn export id=concept-live-range>live ranges</dfn>.
+<p>A <dfn export id=concept-live-range>live range</dfn> is a <a>range</a> that is affected by
+mutations to the <a>node tree</a>.</p>
+
+<p>Objects implementing the {{Range}} interface are <a>live ranges</a>.
 
 <p class=note>Algorithms that modify a <a>tree</a> (in particular the <a for=/>insert</a>,
 <a for=/>remove</a>, <a>replace data</a>, and <a lt="split a Text node">split</a> algorithms) modify
-<a>live ranges</a> associated with that <a>tree</a>.
+<a>live ranges</a> associated with that <a>tree</a>.</p>
+
+<p>A <dfn export id=concept-composed-live-range>composed live range</dfn> is a <a>live range</a>
+that has an associated {{Range}} object, a
+<dfn export id=concept-cached-live-range for="composed live range">cached live range</dfn>.</p>
+
+<p class=note>The <a for="composed live range">cached live range</a> is used to maintain backward
+compatibility with the {{Selection/getRangeAt()}} API.</p>
 
 <p>The <dfn export id=concept-range-root for="live range">root</dfn> of a <a>live range</a> is the
 <a for=tree>root</a> of its <a for=range>start node</a>.
@@ -8216,7 +8233,7 @@ but not its <a for=range>end node</a>, or vice versa.
 
 <dl class=domintro>
  <dt><code><var>range</var> = new <a constructor>Range()</a></code>
- <dd>Returns a new <a>live range</a>.
+ <dd>Returns a new {{Range}} object.
 </dl>
 
 <p>The <dfn constructor for=Range lt="Range()"><code>new Range()</code></dfn> constructor steps are
@@ -8273,29 +8290,53 @@ steps:
      <li>If <var>range</var>'s
      <a for="live range">root</a> is not equal to
      <var>node</var>'s <a for=tree>root</a>,
-     or if <var>bp</var> is
-     <a for="boundary point">after</a> the
-     <var>range</var>'s <a for=range>end</a>, set
-     <var>range</var>'s <a for=range>end</a>
+     set <var>range</var>'s <a for=range>end</a>
      to <var>bp</var>.
 
+     <li>Otherwise, if <var>bp</var> is
+     <a for="boundary point">after</a> the
+     <var>range</var>'s <a for=range>end</a>,
+     set <var>range</var>'s <a for=range>end</a>
+     to <var>bp</var>. If <var>range</var> is the
+     <a for="composed live range">cached live range</a> of a
+     <a>composed live range</a> <var>composed live range</var>,
+     set <var>composed live range</var>’s
+     <a for="range">end</a> to <var>bp</var>.
+
      <li>Set <var>range</var>'s
      <a for=range>start</a> to <var>bp</var>.
+     If <var>range</var> is the
+     <a for="composed live range">cached live range</a> of a
+     <a>composed live range</a> <var>composed live range</var>,
+     set <var>composed live range</var>’s
+     <a for="range">start</a> to <var>bp</var>.
     </ol>
    <dt>If these steps were invoked as "set the end"
    <dd>
     <ol>
      <li>If <var>range</var>'s
      <a for="live range">root</a> is not equal to
      <var>node</var>'s <a for=tree>root</a>,
-     or if <var>bp</var> is
-     <a for="boundary point">before</a> the
-     <var>range</var>'s <a for=range>start</a>, set
-     <var>range</var>'s <a for=range>start</a>
+     set <var>range</var>'s <a for=range>start</a>
      to <var>bp</var>.
 
+     <li>Otherwise, if <var>bp</var> is
+     <a for="boundary point">before</a> the
+     <var>range</var>'s <a for=range>start</a>,
+     set <var>range</var>'s <a for=range>start</a>
+     to <var>bp</var>. If <var>range</var> is the
+     <a for="composed live range">cached live range</a> of a
+     <a>composed live range</a> <var>composed live range</var>,
+     set <var>composed live range</var>’s
+     <a for="range">start</a> to <var>bp</var>.
+
      <li>Set <var>range</var>'s
      <a for=range>end</a> to <var>bp</var>.
+     If <var>range</var> is the
+     <a for="composed live range">cached live range</a> of a
+     <a>composed live range</a> <var>composed live range</var>,
+     set <var>composed live range</var>’s
+     <a for="range">end</a> to <var>bp</var>.
     </ol>
   </dl>
 </ol>
@@ -8576,7 +8617,7 @@ method steps are:
  (<var>new node</var>, <var>new offset</var>).
 </ol>
 
-<p>To <dfn export id=concept-range-extract for="live range">extract</dfn> a <a>live range</a>
+<p>To <dfn export id=concept-range-extract for="live range">extract</dfn> a {{Range}} object
 <var>range</var>, run these steps:
 
 <ol>
@@ -8753,8 +8794,7 @@ method steps are:
    <li><a>Append</a> <var>clone</var>
    to <var>fragment</var>.
 
-   <li>Let <var>subrange</var> be a new <a>live range</a>
-   whose <a for=range>start</a> is
+   <li>Let <var>subrange</var> be a new {{Range}} object whose <a for=range>start</a> is
    (<var>original start node</var>, <var>original start offset</var>) and
    whose <a for=range>end</a> is
    (<var>first partially contained child</var>, <var>first partially contained child</var>'s
@@ -8807,8 +8847,7 @@ method steps are:
    <li><a>Append</a> <var>clone</var>
    to <var>fragment</var>.
 
-   <li>Let <var>subrange</var> be a new <a>live range</a>
-   whose <a for=range>start</a> is
+   <li>Let <var>subrange</var> be a new {{Range}} object whose <a for=range>start</a> is
    (<var>last partially contained child</var>, 0) and whose
    <a for=range>end</a> is
    (<var>original end node</var>, <var>original end offset</var>).
@@ -8832,7 +8871,7 @@ result of <a for="live range">extracting</a> <a>this</a>.
 
 <p>To
 <dfn export id=concept-range-clone for="live range" lt="clone the contents|cloning the contents">clone the contents</dfn>
-of a <a>live range</a> <var>range</var>, run these steps:
+of a {{Range}} object <var>range</var>, run these steps:
 
 <ol>
  <li><p>Let <var>fragment</var> be a new {{DocumentFragment}} <a for=/>node</a> whose
@@ -8960,7 +8999,7 @@ of a <a>live range</a> <var>range</var>, run these steps:
    <li><a>Append</a> <var>clone</var>
    to <var>fragment</var>.
 
-   <li>Let <var>subrange</var> be a new <a>live range</a>
+   <li>Let <var>subrange</var> be a new {{Range}} object
    whose <a for=range>start</a> is
    (<var>original start node</var>, <var>original start offset</var>) and
    whose <a for=range>end</a> is
@@ -9018,7 +9057,7 @@ of a <a>live range</a> <var>range</var>, run these steps:
    <li><a>Append</a> <var>clone</var>
    to <var>fragment</var>.
 
-   <li>Let <var>subrange</var> be a new <a>live range</a>
+   <li>Let <var>subrange</var> be a new {{Range}} object
    whose <a for=range>start</a> is
    (<var>last partially contained child</var>, 0) and whose
    <a for=range>end</a> is
@@ -9038,7 +9077,7 @@ of a <a>live range</a> <var>range</var>, run these steps:
 result of <a for="live range">cloning the contents</a> of <a>this</a>.
 
 <p>To <dfn export id=concept-range-insert for="live range">insert</dfn> a <a for=/>node</a>
-<var>node</var> into a <a>live range</a> <var>range</var>, run these steps:
+<var>node</var> into a {{Range}} object <var>range</var>, run these steps:
 
 <ol>
  <li>If <var>range</var>'s <a for=range>start node</a> is a {{ProcessingInstruction}} or {{Comment}}
@@ -9188,7 +9227,8 @@ check first thing, which matches everyone but Firefox.
 </ol>
 
 <p>The <dfn method for=Range><code>cloneRange()</code></dfn> method steps are to return a new
-<a>live range</a> with the same <a for=range>start</a> and <a for=range>end</a> as <a>this</a>.
+{{Range}} object with the same <a for=range>start</a> and <a for=range>end</a> as
+<a>this</a>.
 
 <p>The <dfn method for=Range><code>detach()</code></dfn> method steps are to do nothing.
 <span class=note>Its functionality (disabling a {{Range}} object) was removed, but the method itself
@@ -10441,6 +10481,7 @@ David Håsäther,
 David Hyatt,
 Deepak Sherveghar,
 Dethe Elza,
+Di Zhang,
 Dimitri Glazkov,
 Domenic Denicola,
 Dominic Cooney,