Re: [YANG] 7.8.3 unique statement

Martin Bjorklund <mbj@tail-f.com> Fri, 11 January 2008 17:12 UTC

Return-path: <yang-bounces@ietf.org>
Received: from [127.0.0.1] (helo=stiedprmman1.va.neustar.com) by megatron.ietf.org with esmtp (Exim 4.43) id 1JDNQU-0002g1-Ss; Fri, 11 Jan 2008 12:12:14 -0500
Received: from yang by megatron.ietf.org with local (Exim 4.43) id 1JDNQS-0002fv-WB for yang-confirm+ok@megatron.ietf.org; Fri, 11 Jan 2008 12:12:13 -0500
Received: from [10.90.34.44] (helo=chiedprmail1.ietf.org) by megatron.ietf.org with esmtp (Exim 4.43) id 1JDNQS-0002fk-Ll for yang@ietf.org; Fri, 11 Jan 2008 12:12:12 -0500
Received: from [213.180.94.162] (helo=mail.tail-f.com) by chiedprmail1.ietf.org with esmtp (Exim 4.43) id 1JDNQS-00060i-8M for yang@ietf.org; Fri, 11 Jan 2008 12:12:12 -0500
Received: from localhost (138.162.241.83.in-addr.dgcsystems.net [83.241.162.138]) by mail.tail-f.com (Postfix) with ESMTP id 58C321B80D8; Fri, 11 Jan 2008 18:12:11 +0100 (CET)
Date: Fri, 11 Jan 2008 18:13:07 +0100 (CET)
Message-Id: <20080111.181307.139544515.mbj@tail-f.com>
To: ietf@andybierman.com
Subject: Re: [YANG] 7.8.3 unique statement
From: Martin Bjorklund <mbj@tail-f.com>
In-Reply-To: <4787A152.4030104@andybierman.com>
References: <47879832.8020201@andybierman.com> <20080111.174410.174968555.mbj@tail-f.com> <4787A152.4030104@andybierman.com>
X-Mailer: Mew version 5.1.51 on Emacs 22.1 / Mule 5.0 (SAKAKI)
Mime-Version: 1.0
Content-Type: Text/Plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Spam-Score: 0.1 (/)
X-Scan-Signature: 7baded97d9887f7a0c7e8a33c2e3ea1b
Cc: yang@ietf.org
X-BeenThere: yang@ietf.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: YANG modeling Language for NETCONF <yang.ietf.org>
List-Unsubscribe: <https://www1.ietf.org/mailman/listinfo/yang>, <mailto:yang-request@ietf.org?subject=unsubscribe>
List-Archive: <http://www1.ietf.org/pipermail/yang>
List-Post: <mailto:yang@ietf.org>
List-Help: <mailto:yang-request@ietf.org?subject=help>
List-Subscribe: <https://www1.ietf.org/mailman/listinfo/yang>, <mailto:yang-request@ietf.org?subject=subscribe>
Errors-To: yang-bounces@ietf.org

Andy Bierman <ietf@andybierman.com> wrote:
> Martin Bjorklund wrote:
> >> It is also OK to apply the default once.
> > 
> > So you would allow one instance with the default, and the rest has to
> > have values set?
> > 
> 
> no -- the value specified by the default can be used once.
> If the leaf is not provided, and its value has not been used
> yet, then it is OK to apply the default and still be unique.

I think that this translates to treating a leaf that has its default
the same way as a non-existing leaf (in the unique test).


> >> <tangent>
> >> One augments concern: what does it mean to declare conformance to a module?
> >> If module FOO-MIB includes X and Y, but the vendor also has module
> >> MY-FOO-MIB that adds a mandatory Z, does that vendor really conform to FOO-MIB?
> >> A manager that only knows about FOO-MIB and not MY-FOO-MIB will not work,
> >> so IMO the agent MUST NOT advertise that it supports FOO-MIB.
> >> </tangent>
> > 
> > But that won't work.  If I impplement FOO-MIB, how do I know that
> > there is some other module somewhere that augments it?  I think we
> > have to restrict the augment to not augment with any mandatory nodes.
> > 
> 
> If the manager sees FOO-MIB in the schema-discovery or capabilities,
> then it will assume this MIB can be used.  No other modules or
> capabilities can override the contract that is implied by the
> definitions in FOO-MIB.  Period.  So MY-FOO-MIB MUST NOT
> add anything that breaks the FOO-MIB contract, if the vendor
> wants to claim conformance to FOO-MIB.

Exactly.


/martin


_______________________________________________
YANG mailing list
YANG@ietf.org
https://www1.ietf.org/mailman/listinfo/yang