Momentan habe ich die Überlegung, Teile der Funktionen des UniCC Parser Generators über ein objektorientiertes API in die libphorward einzubinden. Derzeut ist das zwar noch “closed source”, da es erst mal ein wenig Gestalt annehmen soll, der erste Ansatz funktioniert aber schon, und basiert auf den TBNF-Ideen von vor ein paar Monaten.
|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 |
#include <phorward.h> int main() { pggrammar* g; pgterminal* i; pgterminal* op_a; pgterminal* op_s; pgterminal* op_d; pgterminal* op_m; pgterminal* br_op; pgterminal* br_cl; pgnonterminal* expr; pgnonterminal* term; pgnonterminal* factor; g = pg_grammar_create(); i = pg_terminal_create( g, "INTEGER", "[0-9]+" ); op_a = pg_terminal_create( g, "+", "\\+" ); op_s = pg_terminal_create( g, "-", "-" ); op_d = pg_terminal_create( g, "/", "/" ); op_m = pg_terminal_create( g, "*", "\\*" ); br_op = pg_terminal_create( g, "(", "\\(" ); br_cl = pg_terminal_create( g, ")", "\\)" ); expr = pg_nonterminal_create( g, "expr" ); term = pg_nonterminal_create( g, "term" ); factor = pg_nonterminal_create( g, "factor" ); pg_production_create( expr, term, op_a, term, (pgsymbol*)NULL ); pg_production_create( expr, term, op_s, term, (pgsymbol*)NULL ); pg_production_create( term, factor, op_d, factor, (pgsymbol*)NULL ); pg_production_create( term, factor, op_m, factor, (pgsymbol*)NULL ); pg_production_create( factor, i, (pgsymbol*)NULL ); pg_production_create( factor, br_op, expr, br_cl, (pgsymbol*)NULL ); pg_grammar_print( g ); return 0; } |
Ein erster Dump der aufgebauten Grammatik kann sich eigentlich auch schon sehen lassen:
Mal sehen ob ich dran festhalte. Die Funktions-/Objektnamen sind noch etwas lang, pgproduction oder pgnonterminal lässt sich nicht so fix schreiben, ist aber sprechend.
Naja… dann kann man jetzt erst mal die LALR(1) Tabellengenerierung aus UniCC mit einfließen lassen und danach die TBNF-Erweiterungen. Natürlich soll es auch möglich sein, die Grammatik direkt über einen String in BNF-Notation zu definieren, so daß man nicht erst diese extrem vielen Funktionsaufrufe benötigt.