Ein Überblick über Spirit2

phlox81

CStoll schrieb:

Ja, ich setze Grammatiken ein - um damit andere Grammatiken zu erzeugen (will heißen: ich habe eine Grammatik, die beschreibt, was eine EBNF-Formel ist - diese jage ich über die Eingaben, um neue Regeln anzulegen).

Dann wird der Aufwand wohl etwas größer sein.
Ich habe mich bei meinem Projekt dafür entschieden, auf eine Portierung zu verzichten, sondern es von Grund auf neu aufzusetzen, um auch im Design den Änderungen in Spirit2 Rechnung tragen zu können. Du solltest evtl. mal etwas in der Mailingliste von spirit suchen, da gabs schon Posts zu:
http://dir.gmane.org/gmane.comp.parsers.spirit.general
http://dir.gmane.org/gmane.comp.parsers.spirit.devel

phlox

spirit2 ist jetzt im boost svn trunk. Spirit 1.8.x heist jetzt classic, nur als update information

Ein entwickler von Boost.Spirit2 hat doch mal ein Präsentation mit ausblicke auf Spirit2 gegeben. Dazu gabes m.E. auch PDF Slides Online (zummindest hatte ich schon mal Slides mit dem Title in etwa Spirit2 Cookbook in den händen).

Leider kann ich diese Slides nich mehr finden (auch mit Google & Co.).
Das einigste was ich bis jetzt herrausfinden konnte war, dsa der Vortrag "A Cookbook Approach To Parsing And Output Generation With Spirit2" hieß.

Hat die vielleicht jemand oder weiss wo ich die runter laden kann?

Beste Grüße
jhonny

hkaiser

ynnohj schrieb:

Ein entwickler von Boost.Spirit2 hat doch mal ein Präsentation mit ausblicke auf Spirit2 gegeben. Dazu gabes m.E. auch PDF Slides Online (zummindest hatte ich schon mal Slides mit dem Title in etwa Spirit2 Cookbook in den händen).

Leider kann ich diese Slides nich mehr finden (auch mit Google & Co.).
Das einigste was ich bis jetzt herrausfinden konnte war, dsa der Vortrag "A Cookbook Approach To Parsing And Output Generation With Spirit2" hieß.

Hat die vielleicht jemand oder weiss wo ich die runter laden kann?

Beste Grüße
jhonny

Die pdf slides von 2007 und auch die von diesem Jahr sind im Spirit SVN hier (neben anderen Dokumenten):
2007: http://spirit.svn.sourceforge.net/svnroot/spirit/trunk/final/libs/spirit/doc/_temp_/auxiliary
2008: http://spirit.svn.sourceforge.net/svnroot/spirit/trunk/final/libs/spirit/doc/auxiliary/

HTH
Regards Hartmut

phlox81

Gestern wurde boost 1.36 freigegeben, und damit ist spirit2 nun auch offiziell in Boost integriert.

Eine Dokumentation gibts jetzt auch:
http://www.boost.org/doc/libs/1_36_0/libs/spirit/doc/html/index.html

Spirit2 ist echt klasse!

Aber in Spirit.Classic gibt es doch repeat_p(...) , wie kann ich sowas in Spirit.Qi machen?

Ich möche folgendes parsen "<size>#<size times char_>" (Bsp.: "5#Hallo").

Momentan habe ich das hier (Funktioniert natürlich nicht):

template <typename Iterator>
struct b_grammer : grammar_def<Iterator, space_type>
{
    b_grammer()
    {
        data = 
            uint_[_a = _1] 
        >>  '#' 
        >>  repeat_p(boost::ref(_a))[char_] //< FIXME
            ;

    }
    rule<Iterator, locals<unsigned>, space_type> data;
};

Eigentlich recht ähnlich zu dem Beispiel "Pascal-style length prefixed string" aus der Spirit.Classic doku
http://www.boost.org/doc/libs/1_35_0/libs/spirit/doc/loops.html

Wie kann ich ein repeat_p(...) aus Spirit.Classic nach Spirit.Qi übersetzen?

Beste Grüße
jhonny

phlox81

Hm, das gibts so afaik noch nicht.

Es hat sich auch noch was anderes geändert, Grammatiken werden jetzt direkt von qi::grammar abgeleitet:

template <typename Iterator>
struct b_grammer : grammar<Iterator,void(), locals<unsinged int>,space_type>
{
    b_grammer():b_grammar::base_type(start)
    {
        start =
            uint_[_a = _1]
        >>  '#'
        >>  repeat(boost::ref(_a))[char_] //< FIXME
            ;

    }
    rule<Iterator, void(), locals<unsinged int>, space_type> start;
};

was repeat_p angeht, kann ich dir momentan auch nicht weiterhelfen, evtl. schaust du dir mal die implementation in spirit1.x an oder wendest dich einfach an die spirit user mailingliste.
Oder -mit etwas glück- es ist wie mit anderen parsern, das der Name nun etwas anders ist (z.B. das _p fehlt).

phlox

Es ist schon länger her als ich diesbezüglich die ML durchsucht habe.

Aber hab haeute was interesantes gefunden:
http://www.nabble.com/repeat_p-in-Spirit2-to11744164.html#a11773014

Hätte wohl doch vor dem posten hier nochmal suchen sollen.

hkaiser

ynnohj schrieb:

Es ist schon länger her als ich diesbezüglich die ML durchsucht habe.

Aber hab haeute was interesantes gefunden:
http://www.nabble.com/repeat_p-in-Spirit2-to11744164.html#a11773014

Hätte wohl doch vor dem posten hier nochmal suchen sollen.

repeat_p bzw. etwas etwas equivalentes ist derzeit noch nicht in Spirit2 implementiert, wird es aber demnächst sein (ich bin gerade dabei...).

Nach einigen Diskussionen wird nun doch eine etwas konventionellere Syntax implementiert, sehr ähnlich dem, was in Spirit1 vorhanden ist:

// repeat embedded expression exactly N times
loop(N)[...some parser/generator expression...]
// repeat embedded expression at least N, but not more often than M times
loop(N, M)[...some parser/generator expression...]
// repeat embedded expression at least N times
loop(N, more)[...some parser/generator expression...]

wobei N und M entweder ganze Zahlen oder (lazy) Funktionen sind, die eine ganze Zahl liefern. 'more' ist ein Platzhalter.

HTH
Regards Hartmut

Badestrand

phlox81 schrieb:

Eine Dokumentation gibts jetzt auch:
http://www.boost.org/doc/libs/1_36_0/libs/spirit/doc/html/index.html

Magst du den Link in den Artikel aufnehmen? Dort steht noch "Allerdings gibt es noch keine offizielle Dokumentation" und im Magazin sieht man ja nicht die weiteren Posts.

phlox81

Badestrand schrieb:

phlox81 schrieb:

Eine Dokumentation gibts jetzt auch:
http://www.boost.org/doc/libs/1_36_0/libs/spirit/doc/html/index.html

Magst du den Link in den Artikel aufnehmen? Dort steht noch "Allerdings gibt es noch keine offizielle Dokumentation" und im Magazin sieht man ja nicht die weiteren Posts.

Gute Idee. Ist ergänzt.