X-Mozilla-Status: 0001
X-Mozilla-Status2: 00000000
Delivered-To: barryleiba.mailing.lists@gmail.com
Received: by 10.59.3.41 with SMTP id bt9csp239298ved;
        Fri, 4 Jan 2013 12:30:29 -0800 (PST)
X-Received: by 10.68.219.164 with SMTP id pp4mr164919897pbc.72.1357331429351;
        Fri, 04 Jan 2013 12:30:29 -0800 (PST)
Return-Path: <abnf-discuss-bounces@ietf.org>
Received: from mail.ietf.org (mail.ietf.org. [2001:1890:126c::1:1e])
        by mx.google.com with ESMTP id n8si51980516paw.233.2013.01.04.12.30.28;
        Fri, 04 Jan 2013 12:30:29 -0800 (PST)
Received-SPF: pass (google.com: domain of abnf-discuss-bounces@ietf.org designates 2001:1890:126c::1:1e as permitted sender) client-ip=2001:1890:126c::1:1e;
Authentication-Results: mx.google.com; spf=pass (google.com: domain of abnf-discuss-bounces@ietf.org designates 2001:1890:126c::1:1e as permitted sender) smtp.mail=abnf-discuss-bounces@ietf.org; dkim=pass (test mode) header.i=@ietf.org
Received: from ietfa.amsl.com (localhost [127.0.0.1])
	by ietfa.amsl.com (Postfix) with ESMTP id 4359121F8869;
	Fri,  4 Jan 2013 12:30:28 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=ietf.org; s=ietf1;
	t=1357331428; bh=ApIildGw/hGsGQhkfHoNOoJzJa1pVwX+vVZUN9K4+bA=;
	h=Message-ID:Date:From:MIME-Version:To:References:In-Reply-To:
	 Subject:List-Id:List-Unsubscribe:List-Archive:List-Post:List-Help:
	 List-Subscribe:Content-Transfer-Encoding:Content-Type:Sender;
	b=EGktfAojDqE19ml3IgIix2y7SjvBzsBfqI0yqv+zxH8fHasKW6HpHACj/aCBknIM2
	 hsfIzlV/JaEfzAYHHdOoBIZvR+pZDOgeQ55NElzsALBT21XCsFBlOnR3v7lg5JEcND
	 V0PtS6O4FK1bCYoO6GpeRnhcsARVklNPVBtiBxiI=
X-Original-To: abnf-discuss@ietfa.amsl.com
Delivered-To: abnf-discuss@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1])
	by ietfa.amsl.com (Postfix) with ESMTP id 1F3EB21F8864
	for <abnf-discuss@ietfa.amsl.com>; Fri,  4 Jan 2013 12:30:27 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: 0.085
X-Spam-Level: 
X-Spam-Status: No, score=0.085 tagged_above=-999 required=5 tests=[AWL=0.522, 
	BAYES_00=-2.599, FH_RELAY_NODNS=1.451, HELO_MISMATCH_NET=0.611, 
	RDNS_NONE=0.1]
Received: from mail.ietf.org ([64.170.98.30])
	by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024)
	with ESMTP id Ze2UzczblVu5 for <abnf-discuss@ietfa.amsl.com>;
	Fri,  4 Jan 2013 12:30:26 -0800 (PST)
Received: from qmta14.westchester.pa.mail.comcast.net
	(qmta14.westchester.pa.mail.comcast.net
	[IPv6:2001:558:fe14:44:76:96:59:212])
	by ietfa.amsl.com (Postfix) with ESMTP id 272EA21F8425
	for <abnf-discuss@ietf.org>; Fri,  4 Jan 2013 12:30:05 -0800 (PST)
Received: from omta05.westchester.pa.mail.comcast.net ([76.96.62.43])
	by qmta14.westchester.pa.mail.comcast.net with comcast
	id jupH1k0030vyq2s5EwW5Lm; Fri, 04 Jan 2013 20:30:05 +0000
Received: from Paul-Kyzivats-MacBook-Pro.local ([50.138.229.164])
	by omta05.westchester.pa.mail.comcast.net with comcast
	id jwW51k00f3ZTu2S3RwW5bF; Fri, 04 Jan 2013 20:30:05 +0000
Message-ID: <50E73BCB.9010104@alum.mit.edu>
Date: Fri, 04 Jan 2013 15:30:03 -0500
From: Paul Kyzivat <pkyzivat@alum.mit.edu>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7;
	rv:17.0) Gecko/17.0 Thunderbird/17.0
MIME-Version: 1.0
To: abnf-discuss@ietf.org
References: <20130103171755.20983.75939.idtracker@ietfa.amsl.com>
	<50E5BF59.9000207@alum.mit.edu> <50E5D4C5.8010800@alum.mit.edu>
	<tk0GjBDTOy5QFAkk@paul.bayleaf.org.uk> <50E72801.3060906@gmail.com>
In-Reply-To: <50E72801.3060906@gmail.com>
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=comcast.net;
	s=q20121106; t=1357331405;
	bh=2kxMdm2BxnJ0waqaOxCCamyuQfQXqwQ4WmmXKBvycTA=;
	h=Received:Received:Message-ID:Date:From:MIME-Version:To:Subject:
	Content-Type;
	b=D79g4Injy7Lr344UMadiBkJEqcBRw+/NCbkvoEOrwAZkZseYvLXfO+Y2Z7sBGla9P
	WypeiI5AXCdIE/P2bztjFQf7MDeiLquOBFCbYHvMJx8xqNz+BKG5vHAH2kB6/uxvLe
	V12BZuD0qmLW9johy4BkNkSO3SNpCxOwLBDLLlH3YUOosGOvIj8ozu0JzO1tflxfc9
	4BOln7fal000xNBU/vGFqSu/jEI5NYnJU6WO9y4v4Jm9wX88ybW/fBZuo0dK+6khKd
	B7qgxJo2Z6bhwzHtfPdAn1rXFEdGHuU0x9dEmRx0ygdTdTwUaYQKA+/R6SU7xGYDX9
	5sZ0TRCZjJ/8Q==
Subject: Re: [abnf-discuss] A proposal for adding import and scopping to ABNF
X-BeenThere: abnf-discuss@ietf.org
X-Mailman-Version: 2.1.12
Precedence: list
List-Id: "General discussion about tools,
	activities and capabilities involving the ABNF meta-language"
	<abnf-discuss.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/abnf-discuss>,
	<mailto:abnf-discuss-request@ietf.org?subject=unsubscribe>
List-Archive: <http://www.ietf.org/mail-archive/web/abnf-discuss>
List-Post: <mailto:abnf-discuss@ietf.org>
List-Help: <mailto:abnf-discuss-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/abnf-discuss>,
	<mailto:abnf-discuss-request@ietf.org?subject=subscribe>
Content-Transfer-Encoding: 7bit
Content-Type: text/plain; charset="us-ascii"; Format="flowed"
Sender: abnf-discuss-bounces@ietf.org
Errors-To: abnf-discuss-bounces@ietf.org

On 1/4/13 2:05 PM, Dave Crocker wrote:
>
>
> On 1/4/2013 10:46 AM, Paul Overell wrote:
>> 4)
>>
>> Have you considered an import syntax to specify importing just a
>> specific rule or list of rules?  E.g. Importing from RFC5234 one might
>> just want some of the core rules from Appendix B, but not want the ABNF
>> Definition of ABNF in section 4.
>
>
> I've been wondering about the model of rule/set/ vs. individual rule
> importation.  Although it could become cumbersome for large sets, having
> a mechanism that merely calls for naming each imported rule separately
> is simplest.
>
> I believe that by far the pattern of importations is of rather short
> lists.  So the actual burden of the simplistic model would not typically
> be all that onerous.

I disagree.

An important use case is a draft that extends another draft. For 
instance consider RFC5839. It includes:

    7.3. Grammar

    This section defines the formal syntax for extensions described in
    this memo in Augmented BNF (ABNF) [RFC5234].  The rules defined here
    augment and reference the syntax defined in RFC 3261 [RFC3261] and
    RFC 3903 [RFC3903].

    Success            =/ "204"  ;  No Notification

          ; Success is defined in RFC 3261.

    message-header     =/ Suppress-If-Match

          ; message-header is defined in RFC 3261.

    Suppress-If-Match  =  "Suppress-If-Match" HCOLON ( entity-tag / "*" )

          ; entity-tag is defined in RFC 3903.

This needs the definitions of <Success>, <message-header>, and HCOLON 
from 3261, and <entity-tag> from 3903. Those in turn are dependent on 
various other things from those drafts and from 2234 (though 5234 would 
also work for those.)

It would be *very* painful, and ugly, to import every required rule one 
by one.

	Thanks,
	Paul
_______________________________________________
abnf-discuss mailing list
abnf-discuss@ietf.org
https://www.ietf.org/mailman/listinfo/abnf-discuss

