Re: [core] date-and-time and "created-on" field in constrained-voucher

[Jürgen Schönwälder <[e-mail]>]

On Tue, Jun 28, 2022 at 10:50:57PM +0200, Carsten Bormann wrote:
> 
> The alternative would be to trigger on the data, so any string that looks like 2022-06-28T20:48:15Z would turn into 1(1656449295).  That has some interesting security considerations, though.
> 
> Grüße, Carsten
> 
> (*) I.e., name equivalence as opposed to structural equivalence.
> Many YANG types are defined via a regexp (pattern)…
>

YANG types are defined by their description statements. For example,
the following two definitions are equivalent:

  typedef data-and-time {
    type string;
    description
      "A date-and-time value as defined in Section 5.6 of RFC 3339.";
  }

  typedef date-and-time {
    type string {
      pattern '[0-9]{4}-(1[0-2]|0[1-9])-(0[1-9]|[1-2][0-9]|3[0-1])'
            + 'T(0[0-9]|1[0-9]|2[0-3]):[0-5][0-9]:[0-5][0-9](\.[0-9]+)?'
	    + '(Z|[\+\-]((1[0-3]|0[0-9]):([0-5][0-9])|14:00))?';
    }
    description
      "A date-and-time value as defined in Section 5.6 of RFC 3339.";
  }

The next definition is not equivalent:

  typedef date-and-time {
    type string {
      pattern '[0-9]{4}-(1[0-2]|0[1-9])-(0[1-9]|[1-2][0-9]|3[0-1])'
            + 'T(0[0-9]|1[0-9]|2[0-3]):[0-5][0-9]:[0-5][0-9](\.[0-9]+)?'
            + '(Z|[\+\-]((1[0-3]|0[0-9]):([0-5][0-9])|14:00))?';
    }
    description "";
  }

/js

-- 
Jürgen Schönwälder              Jacobs University Bremen gGmbH
Phone: [phone]         Campus Ring 1 | 28759 Bremen | Germany
Fax:   [phone]         <https://www.jacobs-university.de/>