[rfc-i] v3imp #8 Fragment tagging on sourcecode
pkyzivat at alum.mit.edu
Fri Jan 23 13:50:22 PST 2015
On 1/23/15 2:44 PM, Sean Leonard wrote:
> 3) ABNF is comprised of simple declarative statements -- each statement
> is self-contained (except to the extent that it references other
> production names). Unlike ASN.1 or C/C++, for example, there are no
> imports, preprocessor directives, function prototypes, class
> definitions, or macros.
Unfortunately it isn't that simple. Often a draft has an extension to an
RFC. The draft identifies the RFC being extended, and then the ABNF is
incremental to that. (Often using "=/".)
Verifying that ABNF requires extracting the ABNF from the document being
extended, and merging that with the ABNF from the extension draft.
Having done this several times, I can say that it is a pain in the ass
and error prone.
Properly dealing with this requires a couple of things:
- a reliable extraction mechanism, such as we are discussing here
- some extensions to ABNF (at least an include mechanism)
We can't deal with the extensions here, but reliable extraction is
something we can address. Then ABNF extensions can be dealt with.
More information about the rfc-interest