Re: EBNF was Re: [markdown-testsuite] Add End Of Line (EOL) definition/tests. (#1)

I am going to steal that and start a WIKI section that we can expand with
additional notation.

On Wed, Nov 28, 2012 at 11:17 AM, David J. Weller-Fahy <
dave-lists-public-markdown@weller-fahy.com> wrote:

> * Dave Pawson <dave.pawson@gmail.com> [2012-11-28 11:37 -0500]:
> > So who is going to have a go at a para in EBNF?
> >
> > Any takers. Quite simply I think a generalised end of line is a non
> starter
> > if the intent is to re-use it elsewhere as a terminator.
> > Until we have tried a few, suggest we stick to a simpler option, then
> look
> > for a re-write if it happens.
>
> Hrm... while I'm eating lunch, I'll take a try.  Note, this is per [1].
> Also, I do not attempt to address an inclusive list of characters [2] in
> this, just sticking to excluding the EOL sequences.
>
> [1]: http://www.w3.org/TR/REC-xml/#sec-notation
> [2]: http://en.wikipedia.org/wiki/Unicode#Standardized_subsets
>
> Definition follows (including a definition for a line break).
>
> SP ::= #x0020
>
> HT ::= #x0009
>
> WS ::= (SP | HT)
>
> CR ::= #x000D
>
> LF ::= #x000A
>
> EOL ::= (CR | LF | CR LF)
>
> LB ::= (SP SP EOL)
>
> TEXT ::= [^#x000D#x000A]
>
> PARAPRE ::= (SP? SP? SP?)
>
> PARAPOST ::= ([^#x0020] SP)
>
> BLANKLINE ::= (WS* EOL)
>
> PARAGRAPH ::= (PARAPRE TEXT PARAPOST EOL BLANKLINE)
>
> How does that look?  I used the code-points inside brackets, because [1]
> doesn't indicate that symbols may be used inside brackets.
>
> I think that covers all the things we talked about, but please critique!
>
> Regards,
> --
> dave [ please don't CC me ]
>



-- 
Shane P. McCarron
Managing Director, Applied Testing and Technology, Inc.