W3C home > Mailing lists > Public > www-style@w3.org > January 2013

[css3-syntax] Parts of the state machines that are never reached

From: Simon Sapin <simon.sapin@kozea.fr>
Date: Fri, 04 Jan 2013 13:04:59 +0100
Message-ID: <50E6C56B.1060408@kozea.fr>
To: www-style@w3.org

Section 3.3.12. Ident state says:

> anything else
> Switch to the data state. Reconsume the current input character.

I was confused by the fact that no token is emitted.

It turns out that this part of the state machine is never reached. The 
ident state is only ever switched to on a (reconsumed) hyphen, reverse 
solidus or name-start character. If an implementation ever finds itself 
at the "anything else" branch of the ident state, it means there is a 
mistake elsewhere in the implementation.

Are there other known parts like this in either state machine? Should 
they get a note explaining this?

Simon Sapin
Received on Friday, 4 January 2013 12:05:30 UTC

This archive was generated by hypermail 2.4.0 : Monday, 23 January 2023 02:14:23 UTC