A feature freezer for the Concise Data Definition Language (CDDL)
draft-bormann-cbor-cddl-freezer-01

Document Type Active Internet-Draft (individual)
Last updated 2018-08-09
Replaces draft-bormann-cddl-freezer
Stream (None)
Intended RFC status (None)
Formats plain text pdf html bibtex
Stream Stream state (No stream defined)
Consensus Boilerplate Unknown
RFC Editor Note (None)
IESG IESG state I-D Exists
Telechat date
Responsible AD (None)
Send notices to (None)
Network Working Group                                         C. Bormann
Internet-Draft                                   Universitaet Bremen TZI
Intended status: Informational                           August 10, 2018
Expires: February 11, 2019

   A feature freezer for the Concise Data Definition Language (CDDL)
                   draft-bormann-cbor-cddl-freezer-01

Abstract

   In defining the Concise Data Definition Language (CDDL), some
   features have turned up that would be nice to have.  In the interest
   of completing this specification in a timely manner, the present
   document collects nice-to-have features that did not make it into the
   first RFC for CDDL.

Status of This Memo

   This Internet-Draft is submitted in full conformance with the
   provisions of BCP 78 and BCP 79.

   Internet-Drafts are working documents of the Internet Engineering
   Task Force (IETF).  Note that other groups may also distribute
   working documents as Internet-Drafts.  The list of current Internet-
   Drafts is at https://datatracker.ietf.org/drafts/current/.

   Internet-Drafts are draft documents valid for a maximum of six months
   and may be updated, replaced, or obsoleted by other documents at any
   time.  It is inappropriate to use Internet-Drafts as reference
   material or to cite them other than as "work in progress."

   This Internet-Draft will expire on February 11, 2019.

Copyright Notice

   Copyright (c) 2018 IETF Trust and the persons identified as the
   document authors.  All rights reserved.

   This document is subject to BCP 78 and the IETF Trust's Legal
   Provisions Relating to IETF Documents
   (https://trustee.ietf.org/license-info) in effect on the date of
   publication of this document.  Please review these documents
   carefully, as they describe your rights and restrictions with respect
   to this document.  Code Components extracted from this document must
   include Simplified BSD License text as described in Section 4.e of
   the Trust Legal Provisions and are provided without warranty as
   described in the Simplified BSD License.

Bormann                 Expires February 11, 2019               [Page 1]
Internet-Draft            CDDL feature freezer               August 2018

Table of Contents

   1.  Introduction  . . . . . . . . . . . . . . . . . . . . . . . .   2
   2.  Cuts  . . . . . . . . . . . . . . . . . . . . . . . . . . . .   2
   3.  Literal syntax  . . . . . . . . . . . . . . . . . . . . . . .   3
     3.1.  Computed Literals . . . . . . . . . . . . . . . . . . . .   3
     3.2.  Tag-oriented Literals . . . . . . . . . . . . . . . . . .   3
     3.3.  Regular Expression Literals . . . . . . . . . . . . . . .   3
   4.  Embedded ANBF . . . . . . . . . . . . . . . . . . . . . . . .   3
   5.  Controls  . . . . . . . . . . . . . . . . . . . . . . . . . .   4
     5.1.  Control operator .pcre  . . . . . . . . . . . . . . . . .   4
     5.2.  Endianness in .bits . . . . . . . . . . . . . . . . . . .   4
     5.3.  .bitfield control . . . . . . . . . . . . . . . . . . . .   4
   6.  Co-occurrence Constraints . . . . . . . . . . . . . . . . . .   5
   7.  Module superstructure . . . . . . . . . . . . . . . . . . . .   5
   8.  IANA Considerations . . . . . . . . . . . . . . . . . . . . .   5
   9.  Security considerations . . . . . . . . . . . . . . . . . . .   6
   10. References  . . . . . . . . . . . . . . . . . . . . . . . . .   6
     10.1.  Normative References . . . . . . . . . . . . . . . . . .   6
     10.2.  Informative References . . . . . . . . . . . . . . . . .   6
   Acknowledgements  . . . . . . . . . . . . . . . . . . . . . . . .   6
   Author's Address  . . . . . . . . . . . . . . . . . . . . . . . .   7

1.  Introduction

   (TO DO: Insert an extended form of the abstract first here, expanding
   the reference to [I-D.ietf-cbor-cddl].)

   There is always a danger for a document like this to become a
   shopping list; the intention is to develop this document further
   based on real-world experience with the first CDDL standard.

2.  Cuts

   Section 3.5.3 of [I-D.ietf-cbor-cddl] alludes to a new language
   feature, _cuts_, and defines it in a fashion that is rather focused
   on a single application in the context of maps and generating better
   diagnostic information about them.

   The present document is expected to grow a more complete definition
   of cuts, with the expectation that it will be upwards-compatible to
   the existing one in [I-D.ietf-cbor-cddl], before this possibly
   becomes a mainline language feature in a future version of CDDL.

Bormann                 Expires February 11, 2019               [Page 2]
Internet-Draft            CDDL feature freezer               August 2018

3.  Literal syntax

3.1.  Computed Literals

   CDDL cannot compute.

   This is a liability in at least two situations:

   o  integers often need to be defined relative to an offset.  It might
      be desirable to be able to write something like:
Show full document text