Implementation of additional proposed control operators and wasm bindings for validator

[anweiss]

Implements additional control operators as proposed in draft-ietf-cbor-cddl-control-05. CC @cabo

JSON:

• numeric addition
• string concatenation
• string concatenation with dedenting
• embedded abnf (ignores .abnfb)
• features

CBOR:

• numeric addition
• string concatenation
• string concatenation with dedenting
• embedded abnf
• features

Also includes wasm bindings for the validator module (#83), fixes for multiline byte strings and #88 and a rework of the CLI. Fixes #82 as well.

[cabo]

Is adding .abnf/.abnfb part of your plans?

[anweiss]

@cabo indeed it is

[cabo]

That is great to hear, because that will help us with moving forward on that internet-draft!

[cabo]

So is the non-ABNF part of this ready for prime time?
I was updating the "Implementation Status" section of draft-ietf-cbor-cddl-control.md and was about to point to your implementation...

[anweiss]

@cabo not quite ready yet. Still got some kinks to iron out, even for existing control operators. Case in point, #88.

Since there don't seem to be any Rust crates that can validate a string against an ABNF grammar (there's https://crates.io/crates/abnf but it only parses ABNF), my current approach is to use https://crates.io/crates/abnf_to_pest to convert the ABNF to a Pest grammar, and then validate the string against Pest per pest-parser/pest#432. This isn't ideal, but the ABNF options in Rust are limited.

[cabo]

Since there don't seem to be any Rust crates that can validate a string against an ABNF grammar (there's https://crates.io/crates/abnf but it only parses ABNF), my current approach is to use https://crates.io/crates/abnf_to_pest to convert the ABNF to a Pest grammar, and then validate the string against Pest per pest-parser/pest#432. This isn't ideal, but the ABNF options in Rust are limited.

(That is pretty much the way I have been implementing ABNF: I have the ABNF to treetop translator in the abnftt gem, and use the treetop PEG parser then. Note that this impresses a PEG interpretation on ABNF...)

[anweiss]

Moving this out of draft status. All control operators as of draft-ietf-cbor-cddl-control-05 have been implemented. Still missing some more unit tests before merging.