Parsing einer Grammatik mit Boost Spirit

Soweit Debuggen, ist es möglich, um eine normale Pause und sehen Ansatz. Erschwerend ist, wie Sie formatiert habe die Regeln aber. Wenn Sie format pro den Geist Beispielen (~ein parser pro line, einer phoenix-Anweisung pro Zeile), break werden die Punkte viel mehr informativ.

Ihre Daten-Struktur nicht zu unterscheiden A() aus SOME sind, als Sie die beiden Blätter (lassen Sie mich wissen, wenn ich etwas fehlt). Von deiner Variante Kommentar, ich glaube nicht, dass dies Ihre Absicht war, so eine Unterscheidung zwischen diesen beiden Fällen, habe ich ein bool commandFlag member-variable MockExpressionNode (gilt für A() und false für SOME), mit einer entsprechenden fusion-adapter line.

Für den speziellen code, den Sie brauchen, um passieren der start-Regel zu den Basis-Konstruktor, D. H.:

InputGrammar() : InputGrammar::base_type(instruction) {...}

Dies ist der Einstiegspunkt in die Grammatik, und die ist, warum Sie wurden nicht immer alle Daten analysiert. Ich bin überrascht, dass es kompiliert, ohne es, dachte ich, dass die Grammatik Typ war erforderlich, um den Typ der die erste Regel. Sogar so, dies ist eine bequeme Konvention zu Folgen.

Für die tag Regel, es gibt tatsächlich zwei Parser qi::char_("a-zA-Z_"), das _1 mit Typ - char und *qi::char_("a-zA-Z_0-9") was _2 mit Typ (im Grunde) vector<char>. Ist nicht möglich, jemanden zu nötigen, diese in einen string, ohne autorules, Aber es kann getan werden durch das anbringen einer Regel, die auf jedes Analysierte char:

tag =   qi::char_("a-zA-Z_")
        [ at_c<0>(qi::_val) = qi::_1 ];
    >> *qi::char_("a-zA-Z_0-9")           //[] has precedence over *, so _1 is 
        [ at_c<0>(qi::_val) += qi::_1 ];  // a char rather than a vector<char>

Allerdings, die viel sauberer zu lassen Geist diese Konvertierung. So definieren Sie eine neue Regel:

qi::rule< Iterator , std::string(void) , ascii::space_type > identifier;
identifier %= qi::char_("a-zA-Z_") >> *qi::char_("a-zA-Z_0-9");

Und Mach dir keine sorgen ;). Dann tag wird

tag = identifier
      [
          at_c<0>(qi::_val) = qi::_1,
          ph::at_c<2>(qi::_val) = false //commandFlag
      ]

For-Befehl, der erste Teil ist in Ordnung, aber es gibt ein paar Probleme mit (*instruction >> ",")[ push_back( at_c<1>(qi::_val) , qi::_1 ) ]. Diese analysieren die null oder multiple instruction Regeln, gefolgt von einem ",". Es wird auch versucht, push_back ein vector<MockExpressionNode> (nicht sicher, warum dieser kompiliert entweder, vielleicht nicht instanziiert werden, da der fehlende start-Regel?). Ich denke, Sie wollen das folgende (mit der id änderung):

command =
        identifier
        [
           ph::at_c<0>(qi::_val) = qi::_1, 
           ph::at_c<2>(qi::_val) = true    //commandFlag
        ]
    >>  "("
    >> -(instruction % ",")
        [
           ph::at_c<1>(qi::_val) = qi::_1
        ]
    >>  ")";

Diese nutzt die optional Bediener - und den Betreiber der Liste % letzteres ist äquivalent zu instruction >> *("," >> instruction). Die phoenix-Ausdruck dann nur weist der Vektor direkt in die Struktur Mitglied, aber Sie können auch befestigen Sie die action direkt zu der Anleitung passen und benutzen Sie push_back.

Die Anweisung-Regel ist gut, werde ich nur erwähnen, dass es äquivalent zu instruction %= (command|tag).

Eine Letzte Sache, wenn es tatsächlich keine Unterscheidung zwischen A() und SOME (d.h. Ihre ursprüngliche Struktur mit keine commandFlag), schreiben Sie diese parser mit nur autorules:

template< typename Iterator , typename ExpressionAST >
struct InputGrammar : qi::grammar<Iterator, ExpressionAST(), ascii::space_type> {
   InputGrammar() : InputGrammar::base_type( command ) {
      identifier %=
             qi::char_("a-zA-Z_")
         >> *qi::char_("a-zA-Z_0-9");
      command %=
            identifier
         >> -(
            "("
         >> -(command % ",")
         >>  ")");
    }
    qi::rule< Iterator , std::string(void) , ascii::space_type > identifier;
    qi::rule< Iterator , ExpressionAST(void) , ascii::space_type > command;
};

Dies ist der große Vorteil der Verwendung einer fusion gewickelt, Struktur, Modelle der Eingang eng.