[Anima-signaling] CDDL mistake

Brian E Carpenter <brian.e.carpenter@gmail.com> Mon, 05 December 2016 22:43 UTC

Return-Path: <brian.e.carpenter@gmail.com>
X-Original-To: anima-signaling@ietfa.amsl.com
Delivered-To: anima-signaling@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id B6895129E72 for <anima-signaling@ietfa.amsl.com>; Mon, 5 Dec 2016 14:43:36 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.7
X-Spam-Level:
X-Spam-Status: No, score=-2.7 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_LOW=-0.7, SPF_PASS=-0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=gmail.com
Received: from mail.ietf.org ([4.31.198.44]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id pDxmLev7VOrl for <anima-signaling@ietfa.amsl.com>; Mon, 5 Dec 2016 14:43:33 -0800 (PST)
Received: from mail-pf0-x22d.google.com (mail-pf0-x22d.google.com [IPv6:2607:f8b0:400e:c00::22d]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 4BDAD129E51 for <anima-signaling@ietf.org>; Mon, 5 Dec 2016 14:43:19 -0800 (PST)
Received: by mail-pf0-x22d.google.com with SMTP id i88so65676914pfk.2 for <anima-signaling@ietf.org>; Mon, 05 Dec 2016 14:43:19 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=to:from:subject:organization:message-id:date:user-agent :mime-version:content-transfer-encoding; bh=HRXcDS02q4PG88Bp3pV5G260Qal4VOhP7qg8NxdA99c=; b=Abeiz7fBhFO8WPc4P59w58tXhgwyHnOr3d2NFi58EzJI8xsE7s7f4mrRBzeXN2ZwHm cekknBvNF3qIfdQJYAincAz9I+HkE6BcgpoYKZlM8yv3ECyWRAKEqJ8Z4Fl/Rn7c0ZTR +jAMVNvkheiHs9ZHkX1AxBngWRkeXftLA1nrNRxDlD5BjH2qCi6wY70ViwqFq4cdJS76 8MLUWwZC2djSQ+0dmdfljj3KgbEX1jG/X80fFC4AsSLFtVHHhaTImRKIE806yzhCXQGB R+3JbuYz+px8RK9pw6u1n3Urc0tNfKZUbDJLBK/qF7LD3y1bLptF68IeXG3eZUnivBZU QSXA==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:to:from:subject:organization:message-id:date :user-agent:mime-version:content-transfer-encoding; bh=HRXcDS02q4PG88Bp3pV5G260Qal4VOhP7qg8NxdA99c=; b=cmgW0oRizxOGrNj1pdozHKnTLfIUVrhgiysI/5HNj/TrmcGri4WvGr11ayYPQMq987 wPl8/PTH/dj/5axfAQkKunZDC2v24fR462RDzDOSXG8hpC9hJPWi+fc+PBlaG6AsCzIp 55KGmc/o8H7bH5vkg09XBpTAB1zE3ztkf8vYYkVUhDb2xeQ5Oz07fHXl/DMUY+ZRB1rx 7qNiPj9HMpKSI/q0879sNkYJ3ZnKsgDI0EV7eS9e5paM9Q/lniJyCvxn1gatb1/R9t/v zB4rKpW6QFAwxqEtv4HYnE7a35RGXTjU0cu8l1PZWp65h5NZiFgei3KNy5DVlvbOt/K9 3BRg==
X-Gm-Message-State: AKaTC00kDArelD7VxRnhSCnjIT91NKgjmK7uq4u04OwkyVHjL3KH0IxB8kU3RB6EVlAkng==
X-Received: by 10.84.216.92 with SMTP id f28mr74440056plj.31.1480977798728; Mon, 05 Dec 2016 14:43:18 -0800 (PST)
Received: from ?IPv6:2001:df0:0:2006:c0da:ac17:5f6d:8e76? ([2001:df0:0:2006:c0da:ac17:5f6d:8e76]) by smtp.gmail.com with ESMTPSA id s4sm29674056pfb.55.2016.12.05.14.43.17 for <anima-signaling@ietf.org> (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Mon, 05 Dec 2016 14:43:18 -0800 (PST)
To: Anima signaling DT <anima-signaling@ietf.org>
From: Brian E Carpenter <brian.e.carpenter@gmail.com>
Organization: University of Auckland
Message-ID: <0f17ca76-f4ed-5596-776b-34e666e10d22@gmail.com>
Date: Tue, 06 Dec 2016 11:43:17 +1300
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:45.0) Gecko/20100101 Thunderbird/45.5.1
MIME-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: 7bit
Archived-At: <https://mailarchive.ietf.org/arch/msg/anima-signaling/CzFGtQLgYGz1Hs8u8HTt1174LyA>
Subject: [Anima-signaling] CDDL mistake
X-BeenThere: anima-signaling@ietf.org
X-Mailman-Version: 2.1.17
Precedence: list
List-Id: Mailing list for the signaling design team of the ANIMA WG <anima-signaling.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/anima-signaling>, <mailto:anima-signaling-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/anima-signaling/>
List-Post: <mailto:anima-signaling@ietf.org>
List-Help: <mailto:anima-signaling-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/anima-signaling>, <mailto:anima-signaling-request@ietf.org?subject=subscribe>
X-List-Received-Date: Mon, 05 Dec 2016 22:43:37 -0000

Hi,

I've just realised that I have a mistake in my GRASP code
concerning the following CDDL:

objective-flags = uint .bits objective-flag
objective-flag = &(
 F_DISC: 0 ; valid for discovery only
 F_NEG: 1 ; valid for discovery and negotiation
 F_SYNCH: 2 ; valid for discovery and synchronization
)

What I've actually implemented is this:

objective-flags = &(
 F_DISC: 0 ; valid for discovery only
 F_NEG: 1 ; valid for discovery and negotiation
 F_SYNCH: 2 ; valid for discovery and synchronization
)

On balance I think this is better (and certainly easier to implement).
There doesn't seem to be any advantage in using bit positions.

Any feedback?

     Brian