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

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

From: Tab Atkins Jr. <jackalmage@gmail.com>
Date: Fri, 4 Jan 2013 20:46:16 -0800
Message-ID: <CAAWBYDCREMjV5jPUzCF63G_EvmFXshQLfsBJ2uHOEKrA6TPm=w@mail.gmail.com>
To: Simon Sapin <simon.sapin@kozea.fr>
Cc: www-style list <www-style@w3.org>
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 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 17:21:04 GMT