diff options
| author | Tim King <taking@cs.nyu.edu> | 2013-11-14 11:56:34 -0500 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2013-11-21 10:43:44 -0500 |
| commit | 91424455840a7365a328cbcc3d02ec453fe9d0ea (patch) | |
| tree | e8072eb0c7dda81feafb1c5f9a4ca2f0fcbc0399 /src/theory/mkrewriter | |
| parent | bd8e9319aab69db90692f72bc52288329879eefc (diff) | |
Adding the changes needed to delete rewriter attributes. This includes being able to list attributes. Additionally, added debugging hooks to node manager and attribute manager.
Diffstat (limited to 'src/theory/mkrewriter')
| -rwxr-xr-x | src/theory/mkrewriter | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/theory/mkrewriter b/src/theory/mkrewriter index 084a624f7..0a21a1fe4 100755 --- a/src/theory/mkrewriter +++ b/src/theory/mkrewriter @@ -48,6 +48,9 @@ post_rewrite_calls= post_rewrite_get_cache= post_rewrite_set_cache= +pre_rewrite_attribute_ids= +post_rewrite_attribute_ids= + seen_theory=false seen_theory_builtin=false @@ -144,6 +147,10 @@ function rewriter { " rewrite_shutdown="${rewrite_shutdown} ${class}::shutdown(); " + pre_rewrite_attribute_ids="${pre_rewrite_attribute_ids} preids.push_back(expr::attr::AttributeManager::getAttributeId(RewriteAttibute<${theory_id}>::pre_rewrite())); +" + post_rewrite_attribute_ids="${post_rewrite_attribute_ids} postids.push_back(expr::attr::AttributeManager::getAttributeId(RewriteAttibute<${theory_id}>::post_rewrite())); +" pre_rewrite_calls="${pre_rewrite_calls} case ${theory_id}: return ${class}::preRewrite(node); " @@ -256,6 +263,8 @@ for var in \ pre_rewrite_set_cache \ post_rewrite_set_cache \ rewrite_init rewrite_shutdown \ + pre_rewrite_attribute_ids \ + post_rewrite_attribute_ids \ template \ ; do eval text="\${text//\\\$\\{$var\\}/\${$var}}" |