#ebnf #bnf

kbnf-syntax

An internal syntax crate for kbnf crate

20 releases (4 breaking)

0.5.3 Dec 2, 2024
0.5.2 Oct 25, 2024
0.4.3 Sep 2, 2024
0.1.5 Jul 26, 2024

#8 in #bnf


Used in 3 crates (via kbnf)

MIT license

120KB
3K SLoC

ebnf - A successor bnf parsing library of bnf parsing library, for parsing Extended Backus–Naur form context-free grammars

The code is available on GitHub

Disclaimer:

There are various variants of EBNF, which uses somewhat different syntactic conventions. This library takes EBNF Evaluator's example code as standard, which has almost most syntactic conventions on Wikipedia's page.

What does a valid EBNF grammar looks like?

The following example is taken from EBNF Evaluator:

filter ::= ( first ' ' )? ( number '~ ' )? ( number '-' number ) ( ' ' number '~' )? ( ' hz' )? ( ' b' )? ( ' i' )? ( ' a' )?;
first  ::= #'[a-za-z][a-za-z0-9_+]*';
number ::= digits ( ( '.' | ',' ) digits? )?;
digits ::= #'[0-9]+';

How to use this library?

extern crate kbnf_syntax;

fn main() {
    let source = r"
        filter ::= ( first ' ' )? ( number '~ ' )? ( number '-' number ) ( ' ' number '~' )? ( ' hz' )? ( ' b' )? ( ' i' )? ( ' a' )?;
        first  ::= #'[a-za-z][a-za-z0-9_+]*';
        number ::= digits ( ( '.' | ',' ) digits? )?;
        digits ::= #'[0-9]+';
    ";

    let result = kbnf_syntax::get_grammar(source);
}

ebnf

Crates.io Docs

This crate is forked from ebnf to support kbnf syntax. This is currently intended as an internal crate for crate kbnf.

Dependencies

~7.5MB
~127K SLoC