W3C home > Mailing lists > Public > public-html@w3.org > July 2007

insert vs. append (detailed review of parsing algorithm)

From: Henri Sivonen <hsivonen@iki.fi>
Date: Tue, 10 Jul 2007 10:41:00 +0300
Message-Id: <DDD31D62-7503-491F-B837-F0FC8044C35E@iki.fi>
To: "public-html@w3.org WG" <public-html@w3.org>

(This is part of my detailed review the parsing algorithm.)

The tree construction section uses both "insert" and "append". Most  
often "insert" means just "append". For clarity, it would be better  
to use "append" when a node is appended as the new last child of a  
parent and "insert" when the node is inserted before an existing child.

I do realize that "append" is just a special form of "insert", but  
with "insert" one always has to stop and look if there's a reference  
node mentioned.

Henri Sivonen
Received on Tuesday, 10 July 2007 07:41:14 UTC

This archive was generated by hypermail 2.3.1 : Thursday, 29 October 2015 10:15:24 UTC