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

Hi,

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?

Cheers,
-- 
Simon Sapin

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