Re: [Spirit Qi %] (x%y) not semantically equivalent to (x >> *(y >> x))
Frank Hein <[email protected]>
| Newsgroups | gmane.comp.parsers.spirit.general |
|---|---|
| Message-ID | <[email protected]> |
This would mean that qi::lit was semanitically equivalent with qi::string (under certain (usage) conditions). This should be mentioned somewhere in docs. When talking about qi semantics I mean what attributes do I get. Same attributes, same semantics. I think we do not talk about same thing here. You are right. I am not talking about semantics of the parsed language but about the semantics of qi itself. What does a programmer expect to get if you use a particular idiom? I expect to get a string when i use the string parser explicitly. Frank Frank Hein Geschäftsführer maxence business consulting gmbh phone +49-(0)-2133-2599-0 fax +49-(0)-2133-2599-29 cell +49-(0)-151-54 74 29 89 internet [email protected] skype fhmaxence Am Weißen Stein 1 Stürzelbergcenter D - 41541 Dormagen Sitz der Gesellschaft: Dormagen Handelsregister: HRB 8966, Neuss Geschäftsführer: Dipl.-Inform. Frank Hein www.maxence.de Von meinem iPhone gesendet > Am 27.05.2016 um 05:07 schrieb Lee Clagett <[email protected]>: > > On Wed, 25 May 2016 19:44:19 +0200 > Frank Hein <[email protected]> wrote: > >> Hello, >> >> I am quite new to Spirit. Great work. :) >> >> I found that (x %y) is not semantically equal to (x >> *(y >> x)). >> The documentation says otherwise. >> I'd consider this a bug. Otherwise documentation would have to be >> changed at several places. >> Below is a fully working example. > > The expressions are semantically equal, as demonstrated in your > program. All of the generated parsers accept an identical set of inputs. > However, this example shows that the attributes exposed by the parsers > differ, and this is accurately documented too. So, the documentation is > correct AFAIK, but perhaps someone with a better grasp of formal parsing > terminology could correct me. And maybe an explanation of the > differences between language semantics and attributes could be added > somewhere? > > Lee > > ------------------------------------------------------------------------------ > What NetFlow Analyzer can do for you? Monitors network bandwidth and traffic > patterns at an interface-level. Reveals which users, apps, and protocols are > consuming the most bandwidth. Provides multi-vendor support for NetFlow, > J-Flow, sFlow and other flows. Make informed decisions using capacity > planning reports. https://ad.doubleclick.net/ddm/clk/305295220;132659582;e > _______________________________________________ > Spirit-general mailing list > [email protected] > https://lists.sourceforge.net/lists/listinfo/spirit-general > ------------------------------------------------------------------------------ What NetFlow Analyzer can do for you? Monitors network bandwidth and traffic patterns at an interface-level. Reveals which users, apps, and protocols are consuming the most bandwidth. Provides multi-vendor support for NetFlow, J-Flow, sFlow and other flows. Make informed decisions using capacity planning reports. https://ad.doubleclick.net/ddm/clk/305295220;132659582;e _______________________________________________ Spirit-general mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/spirit-general
smime.p7s
(application/pkcs7-signature, 5.1 KB) - not displayed