Maude-help mailing list

[Steven Eker <eker AT csl.sri.com>]

Hi,

Although it would be a nice feature and the Maude team has discussed it on a 
number of occasions, there is at the moment no documented C++ API to the 
Maude rewrite engine. In principle you could look at the Maude parser and see 
what classes and member functions it uses. In practice there are a number of 
subtle issues, particularly concerning protecting DAG nodes from the Maude 
garbage collector. Also interfaces change from release to release, reflecting 
the fact that Maude is an experimental system that has evolved to meet the 
needs of whatever projects fund its development.

Regards,

Steven Eker

On Thursday 05 June 2008 14:40, Guodong Li wrote:
> Hi Maude Users and Developers,
>   I am recently using Maude to simplify intermediate representations of
> programs. Since I want to fit the rewriting engine into my static analysis
> tool written in C++, I aim at creating an interface to Maude that
> allows term rewriting through calling native C++ functions.
>   However, I found it difficult to perform meta programming beyond the
> Maude interactive interpreter. For instance, I found no function (in the
> source) that enables me to create a variable term from a string and type
> information, e.g. something like
>   term1 = mk_variable("a", mk_type(...))
>   mk_application(term1, term2)
>   In short, if I don't perform such programming in Maude's interactive
> environment, can I build up the terms or even modules without calling
> Maude's built-in parser?
>   I appreciate your answers greatly.
>
> Thanks,
>
> Guodong
> _______________________________________________
> Maude-help mailing list
> Maude-help AT maude.cs.uiuc.edu
> http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-help