2004-04-10 17:11:02 +00:00
|
|
|
Kimwitu++ is the successor to Kimwitu. Like Kimwitu, it is a tool for
|
2001-04-23 16:02:11 +00:00
|
|
|
processing trees (i.e. terms). It is a meta tool: Kimwitu++ can be used for
|
2004-04-10 17:11:02 +00:00
|
|
|
generating software - especially when building compilers. Kimwitu++ has its own
|
|
|
|
|
input language, which allows the definition fo the tree structure and of
|
|
|
|
|
functions operating on the tree. It uses the input to generate a number of C++
|
|
|
|
|
files, which are then bound to a program using the C++ compiler.
|
|
|
|
|
Kimwitu++ can be easily combined with parser generators like lex and
|
|
|
|
|
yacc. While the parser deals with processing the grammar rules, kimwitu++ deals
|
|
|
|
|
with creating an abstract syntax tree. In further passes, this tree can be used
|
|
|
|
|
to generate target code. These passes can be implemented in the same program or
|
|
|
|
|
a different one - kimwitu++ supports saving the tree into files.
|
|
|
|
|
For processing the tree, Kimwitu++ supports two mechanisms: unparse
|
|
|
|
|
rules (for code generation), and rewrite rules (for transformations). Each rule
|
|
|
|
|
can be tailored to a specific node structure using pattern matching; all rules
|
|
|
|
|
together are applied to the tree recursively. To support different rules for
|
|
|
|
|
the same kind of node (in different application contexts), Kimwitu++ supports
|
|
|
|
|
the definition of views.
|
|
|
|
|
Inside the rules, Kimwitu++ allows to integrate C++ code; it also
|
|
|
|
|
provides some extensions to C++. For each node type, a class is generated, which
|
|
|
|
|
can be extended with user-defined methods.
|
2001-04-23 16:02:11 +00:00
|
|
|
|
|
|
|
|
WWW: http://site.informatik.hu-berlin.de/kimwitu++/
|
