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

On Fri, Jan 4, 2013 at 4:04 AM, Simon Sapin <simon.sapin@kozea.fr> wrote:
> 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?

Yeah, I've probably got a few areas where I'm being over-careful
accidentally.  I've killed this one.  If you spot any more, let me
know.

~TJ

Received on Saturday, 5 January 2013 04:47:03 UTC