Crate kbnf_syntax

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);
}

Re-exports

pub use grammar::Grammar;

pub use node::Node;

pub use node::RegexExtKind;

pub use node::SymbolKind;

Modules

config

grammar

node

regex

semantic_error

simplified_grammar

suffix_automaton

utils

validated_grammar

Structs

InternedStrings

Functions

get_grammar

Get and parse EBNF grammar source into Grammar, returns Err when given grammar is invalid.