- From: Ian Hickson via cvs-syncmail <cvsmail@w3.org>
- Date: Thu, 07 Jul 2011 21:14:30 +0000
- To: public-html-commits@w3.org
Update of /sources/public/html5/md In directory hutz:/tmp/cvs-serv19628 Modified Files: Overview.html Log Message: Fix the handling of infinite loops in the various microdata algorithms. (whatwg r6277) Index: Overview.html =================================================================== RCS file: /sources/public/html5/md/Overview.html,v retrieving revision 1.137 retrieving revision 1.138 diff -u -d -r1.137 -r1.138 --- Overview.html 14 Jun 2011 21:56:16 -0000 1.137 +++ Overview.html 7 Jul 2011 21:14:28 -0000 1.138 @@ -318,7 +318,7 @@ <h1>HTML Microdata</h1> <h2 class="no-num no-toc" id="generatedID"></h2> - <h2 class="no-num no-toc" id="editor-s-draft-14-june-2011">Editor's Draft 14 June 2011</h2> + <h2 class="no-num no-toc" id="editor-s-draft-7-july-2011">Editor's Draft 7 July 2011</h2> <dl><dt>Latest Published Version:</dt> <dd><a href="http://www.w3.org/TR/microdata/">http://www.w3.org/TR/microdata/</a></dd> <dt>Latest Editor's Draft:</dt> @@ -338,7 +338,7 @@ </dl><p class="copyright"><a href="http://www.w3.org/Consortium/Legal/ipr-notice#Copyright">Copyright</a> © 2011 <a href="http://www.w3.org/"><abbr title="World Wide Web Consortium">W3C</abbr></a><sup>®</sup> (<a href="http://www.csail.mit.edu/"><abbr title="Massachusetts - Institute of Technology">MIT</abbr></a>, <a href="http://www.ercim.org/"><abbr title="European Research + Institute of Technology">MIT</abbr></a>, <a href="http://www.ercim.eu/"><abbr title="European Research Consortium for Informatics and Mathematics">ERCIM</abbr></a>, <a href="http://www.keio.ac.jp/">Keio</a>), All Rights Reserved. W3C <a href="http://www.w3.org/Consortium/Legal/ipr-notice#Legal_Disclaimer">liability</a>, <a href="http://www.w3.org/Consortium/Legal/ipr-notice#W3C_Trademarks">trademark</a> @@ -359,10 +359,12 @@ model. It is compatible with numerous other data formats including RDF and JSON.<h2 class="no-num no-toc" id="status-of-this-document">Status of This document</h2><p><em>This section describes the status of this document at the time of its publication. Other documents may supersede this - document. A list of current W3C publications and the most recently - formally published revision of this technical report can be found in - the <a href="http://www.w3.org/TR/">W3C technical reports index</a> - at http://www.w3.org/TR/.</em></p><p>If you wish to make comments regarding this document in a manner + document. A list of current W3C publications and the + + most recently formally published <!-- DO NOT CHANGE THIS BACK TO THE STANDARD BOILERPLATE, AS IT IS INACCURATE --> + + revision of this technical report can be found in the <a href="http://www.w3.org/TR/">W3C technical reports index</a> at + http://www.w3.org/TR/.</em></p><p>If you wish to make comments regarding this document in a manner that is tracked by the W3C, please submit them via using <a href="http://www.w3.org/Bugs/Public/enter_bug.cgi?product=HTML%20WG">our public bug database</a>. If you do not have an account then you can enter feedback using this form:<form action="http://www.whatwg.org/specs/web-apps/current-work/file-spam.cgi" method="post"> @@ -442,8 +444,6 @@ HTML specifications:<dl><dt>E-mail notifications of changes</dt> <dd>HTML-Diffs mailing list (diff-marked HTML versions for each change): <a href="http://lists.w3.org/Archives/Public/public-html-diffs/latest">http://lists.w3.org/Archives/Public/public-html-diffs/latest</a></dd> <dd>Commit-Watchers mailing list (complete source diffs): <a href="http://lists.whatwg.org/listinfo.cgi/commit-watchers-whatwg.org">http://lists.whatwg.org/listinfo.cgi/commit-watchers-whatwg.org</a></dd> - <dt>Real-time notifications of changes:</dt> - <dd>Generated diff-marked HTML versions for each change: <a href="http://twitter.com/HTML5">http://twitter.com/HTML5</a></dd> <dt>Browsable version-control record of all changes:</dt> <dd>CVSWeb interface with side-by-side diffs: <a href="http://dev.w3.org/cvsweb/html5/">http://dev.w3.org/cvsweb/html5/</a></dd> <dd>Annotated summary with unified diffs: <a href="http://html5.org/tools/web-apps-tracker">http://html5.org/tools/web-apps-tracker</a></dd> @@ -452,7 +452,7 @@ Group</a> is the W3C working group responsible for this specification's progress along the W3C Recommendation track. - This specification is the 14 June 2011 Editor's Draft. + This specification is the 7 July 2011 Editor's Draft. </p><!-- UNDER NO CIRCUMSTANCES IS THE PRECEDING PARAGRAPH TO BE REMOVED OR EDITED WITHOUT TALKING TO IAN FIRST --><p>Work on this specification is also done at the <a href="http://www.whatwg.org/">WHATWG</a>. The W3C HTML working group actively pursues convergence with the WHATWG, as required by the <a href="http://www.w3.org/2007/03/HTML-WG-charter">W3C HTML working group charter</a>.</p><!-- UNDER NO CIRCUMSTANCES IS THE FOLLOWING PARAGRAPH TO BE REMOVED OR EDITED WITHOUT TALKING TO IAN FIRST --><!-- UNDER NO CIRCUMSTANCES IS THE PRECEDING PARAGRAPH TO BE REMOVED OR EDITED WITHOUT TALKING TO IAN FIRST --><p>This specification is an extension to the HTML5 language. All @@ -1075,7 +1075,13 @@ unique space-separated tokens</a> that are <span>case-sensitive</span>, consisting of <a href="#concept-id" title="concept-ID">IDs</a> of elements in the same <a href="#home-subtree">home subtree</a>.<p>The <code title="attr-itemref"><a href="#attr-itemref">itemref</a></code> attribute must not - be specified on elements that do not have an <code title="attr-itemscope"><a href="#attr-itemscope">itemscope</a></code> attribute specified.<h3 id="names:-the-itemprop-attribute"><span class="secno">2.3 </span>Names: the <dfn title="attr-itemprop"><code>itemprop</code></dfn> attribute</h3><p>Every <a href="#html-elements" title="HTML elements">HTML element</a> may have an + be specified on elements that do not have an <code title="attr-itemscope"><a href="#attr-itemscope">itemscope</a></code> attribute specified.<p class="note">The <code title="attr-itemref"><a href="#attr-itemref">itemref</a></code> + attribute is not part of the microdata data model. It is merely a + syntactic construct to aid authors in adding annotations to pages + where the data to be annotated does not follow a convenient tree + structure. For example, it allows authors to mark up data in a table + so that each column defines a separate <a href="#concept-item" title="concept-item">item</a>, while keeping the properties in + the cells.<h3 id="names:-the-itemprop-attribute"><span class="secno">2.3 </span>Names: the <dfn title="attr-itemprop"><code>itemprop</code></dfn> attribute</h3><p>Every <a href="#html-elements" title="HTML elements">HTML element</a> may have an <code title="attr-itemprop"><a href="#names:-the-itemprop-attribute">itemprop</a></code> attribute specified, if doing so <a href="#the-properties-of-an-item" title="the properties of an item">adds a property</a> to one or more <a href="#concept-item" title="concept-item">items</a> (as defined below).<p>The <code title="attr-itemprop"><a href="#names:-the-itemprop-attribute">itemprop</a></code> attribute, if @@ -1218,46 +1224,13 @@ represents a <a href="#concept-date" title="concept-date">date</a>, <a href="#concept-time" title="concept-time">time</a>, or <a href="#concept-datetime" title="concept-datetime">global date and time</a>, the property must be specified using the <code title="attr-time-datetime">datetime</code> attribute of a <code>time</code> element.<h3 id="associating-names-with-items"><span class="secno">2.5 </span>Associating names with items</h3><p>To find <dfn id="the-properties-of-an-item">the properties of an item</dfn> defined by the - element <var title="">root</var>, the user agent must try to - <a href="#crawl-the-properties">crawl the properties</a> of the element <var title="">root</var>, with an empty list as the value of <var title="">memory</var>: if this fails, then <a href="#the-properties-of-an-item" title="the - properties of an item">the properties of the item</a> defined by - the element <var title="">root</var> is an empty list; otherwise, it - is the returned list.<p>To <dfn id="crawl-the-properties">crawl the properties</dfn> of an element <var title="">root</var> with a list <var title="">memory</var>, the user - agent must run the following steps. These steps either fail or - return a list with a count of errors. The count of errors is used as - part of the authoring conformance criteria below.<ol><li><p>If <var title="">root</var> is in <var title="">memory</var>, then the algorithm fails; abort these - steps.</li> - - <li><p><a href="#collect-all-the-elements-in-the-item">Collect all the elements in the item</a> <var title="">root</var>; let <var title="">results</var> be the - resulting list of elements, and <var title="">errors</var> be the - resulting count of errors.</li> - - <li><p>Remove any elements from <var title="">results</var> that do - not have an <code title="attr-itemprop"><a href="#names:-the-itemprop-attribute">itemprop</a></code> attribute - specified.</li> - - <li><p>Let <var title="">new memory</var> be a new list consisting - of the old list <var title="">memory</var> with the addition of - <var title="">root</var>.</li> - - <li><p>For each element in <var title="">results</var> that has an - <code title="attr-itemscope"><a href="#attr-itemscope">itemscope</a></code> attribute specified, - <a href="#crawl-the-properties">crawl the properties</a> of the element, with <var title="">new memory</var> as the memory. If this fails, then remove - the element from <var title="">results</var> and increment <var title="">errors</var>. (If it succeeds, the return value is - discarded.)</li> - - <li><p>Sort <var title="">results</var> in <a href="#tree-order">tree - order</a>.</li> - - <li><p>Return <var title="">results</var> and <var title="">errors</var>.</li> - - </ol><p>To <dfn id="collect-all-the-elements-in-the-item">collect all the elements in the item</dfn> <var title="">root</var>, the user agent must run these steps. They - return a list of elements and a count of errors.<ol><li><p>Let <var title="">results</var> and <var title="">pending</var> be empty lists of elements.</li> + element <var title="">root</var>, the user agent must run the + following steps. These steps are also used to flag <a href="#microdata-error" title="microdata error">microdata errors</a>.<ol><li><p>Let <var title="">results</var>, <var title="">memory</var>, and <var title="">pending</var> be empty lists of elements.</li> - <li><p>Let <var title="">errors</var> be zero.</li> + <li><p>Add the element <var title="">root</var> to <var title="">memory</var>.</li> - <li><p>Add all the children elements of <var title="">root</var> to - <var title="">pending</var>.</li> + <li><p>Add the child elements of <var title="">root</var>, if any, + to <var title="">pending</var>.</li> <li><p>If <var title="">root</var> has an <code title="attr-itemref"><a href="#attr-itemref">itemref</a></code> attribute, <a href="#split-a-string-on-spaces" title="split a string on spaces">split the value of that <code title="attr-itemref">itemref</code> attribute on spaces</a>. For @@ -1266,40 +1239,48 @@ the <a href="#concept-id" title="concept-ID">ID</a> <var title="">ID</var>, then add the first such element to <var title="">pending</var>.</li> - <li><p><i>Loop</i>: Remove an element from <var title="">pending</var> and let <var title="">current</var> be that - element.</li> + <li><p><i>Loop</i>: If <var title="">pending</var> is empty, jump + to the step labeled <i>end of loop</i>.</li> - <li><p>If <var title="">current</var> is already in <var title="">results</var>, increment <var title="">errors</var>.</li> + <li><p>Remove an element from <var title="">pending</var> and let + <var title="">current</var> be that element.</li> - <li><p>If <var title="">current</var> is not already in <var title="">results</var> and <var title="">current</var> does not + <li><p>If <var title="">current</var> is already in <var title="">memory</var>, there is a <a href="#microdata-error">microdata error</a>; + return to the step labeled <i>loop</i>.</li> + + <li><p>Add <var title="">current</var> to <var title="">memory</var>.</li> + + <li><p>If <var title="">current</var> does not have an <code title="attr-itemscope"><a href="#attr-itemscope">itemscope</a></code> attribute, then: add all the child elements of <var title="">current</var> to <var title="">pending</var>.</li> - <li><p>If <var title="">current</var> is not already in <var title="">results</var>, then: add <var title="">current</var> to - <var title="">results</var>.</li> + <li><p>If <var title="">current</var> has an <code title="attr-itemprop"><a href="#names:-the-itemprop-attribute">itemprop</a></code> attribute specified, add it + to <var title="">results</var>.</li> - <li><p><i>End of loop</i>: If <var title="">pending</var> is not - empty, return to the step labeled <i>loop</i>.</li> + <li><p>Return to the step labeled <i>loop</i>.</li> - <li><p>Return <var title="">results</var> and <var title="">errors</var>.</li> + <li><p><i>End of loop</i>: Sort <var title="">results</var> in + <a href="#tree-order">tree order</a>.</li> - </ol><p>An <a href="#concept-item" title="concept-item">item</a> is a <dfn id="top-level-microdata-items" title="top-level microdata items">top-level microdata item</dfn> if + <li><p>Return <var title="">results</var>.</li> + + </ol><p>A document must not contain any <a href="#concept-item" title="concept-item">items</a> for which the algorithm to find + <a href="#the-properties-of-an-item">the properties of an item</a> finds any <dfn id="microdata-error" title="microdata error">microdata errors</dfn>.<p>An <a href="#concept-item" title="concept-item">item</a> is a <dfn id="top-level-microdata-items" title="top-level microdata items">top-level microdata item</dfn> if its element does not have an <code title="attr-itemprop"><a href="#names:-the-itemprop-attribute">itemprop</a></code> attribute.<p>An <a href="#concept-item" title="concept-item">item</a> is a <dfn id="used-microdata-items" title="used microdata items">used microdata item</dfn> if it is a <a href="#top-level-microdata-items" title="top-level microdata items">top-level microdata item</a>, or if it has an <code title="attr-itemprop"><a href="#names:-the-itemprop-attribute">itemprop</a></code> attribute and would be <a href="#the-properties-of-an-item" title="the properties of an item">found to be the property</a> of an <a href="#concept-item" title="concept-item">item</a> that is itself a <a href="#used-microdata-items" title="used microdata items">used microdata item</a>.<p>All <a href="#concept-item" title="concept-item">items</a> in a document must be - <a href="#used-microdata-items">used microdata items</a>.<p>A document must not contain any elements that have an <code title="attr-itemprop"><a href="#names:-the-itemprop-attribute">itemprop</a></code> attribute that would not be + <a href="#used-microdata-items">used microdata items</a>.<p>All <code title="attr-itemref"><a href="#attr-itemref">itemref</a></code> attributes in a + <code>Document</code> must be such that there are no cycles in the + graph formed from representing each <a href="#concept-item" title="concept-item">item</a> in the <code>Document</code> as a + node in the graph and each <a href="#the-properties-of-an-item" title="the properties of an + item">property</a> of an item whose <a href="#concept-property-value" title="concept-property-value">value</a> is another item as an + edge in the graph connecting those two items.<p>A document must not contain any elements that have an <code title="attr-itemprop"><a href="#names:-the-itemprop-attribute">itemprop</a></code> attribute that would not be found to be a property of any of the <a href="#concept-item" title="concept-item">items</a> in that document were their <a href="#the-properties-of-an-item" title="the properties of an item">properties</a> all to be - determined.<p>A document must not contain any <a href="#concept-item" title="concept-item">items</a> for which <a href="#crawl-the-properties" title="crawl the - properties">crawling the properties</a> of the element, with an - empty list as the value of <var title="">memory</var>, either fails - or returns an error count other than zero.<p class="note">The algorithms in this section are especially - inefficient, in the interests of keeping them easy to - understand. Implementors are strongly encouraged to refactor and - optimize them in their user agents.<div class="example"> + determined.<div class="example"> <p>In this example, a single license statement is applied to two works, using <code title="attr-itemref"><a href="#attr-itemref">itemref</a></code> from the @@ -1552,10 +1533,12 @@ to JSON.</li> </ol><p>When the user agent is to <dfn id="get-the-object">get the object</dfn> for an item - <var title="">item</var>, it must run the following substeps:</p> + <var title="">item</var>, optionally with a list of elements <var title="">memory</var>, it must run the following substeps:</p> <ol><li><p>Let <var title="">result</var> be an empty object.</li> + <li><p>Add <var title="">item</var> to <var title="">memory</var>.</li> + <li><p>If the <var title="">item</var> has an <a href="#item-type">item type</a>, add an entry to <var title="">result</var> called "<code title="">type</code>" whose value is the <a href="#item-type">item @@ -1579,10 +1562,10 @@ <ol><li><p>Let <var title="">value</var> be the <a href="#concept-property-value" title="concept-property-value">property value</a> of <var title="">element</var>.</li> - <li><p>If <var title="">value</var> is an <a href="#concept-item" title="concept-item">item</a>, then <a href="#get-the-object">get the - object</a> for <var title="">value</var>, and then replace - <var title="">value</var> with the object returned from those - steps.</li> + <li><p>If <var title="">value</var> is an <a href="#concept-item" title="concept-item">item</a>, then: If <var title="">value</var> is in <var title="">memory</var>, then let + <var title="">value</var> be the string "<code title="">ERROR</code>". Otherwise, <a href="#get-the-object">get the object</a> + for <var title="">value</var>, passing a copy of <var title="">memory</var>, and then replace <var title="">value</var> + with the object returned from those steps.</li> <li> @@ -1745,15 +1728,18 @@ <var title="">fallback name</var>, it must run the following steps:</p> - <ol><li><p>If there is an entry for <var title="">item</var> in <var title="">memory</var>, then let <var title="">subject</var> be the - subject of that entry. Otherwise, if <var title="">item</var> has a - <a href="#global-identifier">global identifier</a> and that <a href="#global-identifier">global - identifier</a> is an <a href="#absolute-url">absolute URL</a>, let <var title="">subject</var> be that <a href="#global-identifier">global - identifier</a>. Otherwise, let <var title="">subject</var> be a - new blank node.</li> + <ol><li><p>If there is an entry for the item <var title="">item</var> + in <var title="">memory</var>, then return the subject of that + entry and abort these steps.</li> - <li><p>Add a mapping from <var title="">item</var> to <var title="">subject</var> in <var title="">memory</var>, if there - isn't one already.</li> + <li><p>If <var title="">item</var> has a <a href="#global-identifier">global + identifier</a> and that <a href="#global-identifier">global identifier</a> is an + <a href="#absolute-url">absolute URL</a>, let <var title="">subject</var> be that + <a href="#global-identifier">global identifier</a>. Otherwise, let <var title="">subject</var> be a new blank node.</li> + + <li><p>Add a mapping from the item <var title="">item</var> to the + subject <var title="">subject</var> in <var title="">memory</var>, + if there isn't one already.</li> <li><p>If <var title="">item</var> has an <a href="#item-type">item type</a> and that <a href="#item-type">item type</a> is an <a href="#absolute-url">absolute URL</a>,
Received on Thursday, 7 July 2011 21:14:33 UTC