| File | main.str |
| Author | unknown |
| Since | unknown |
Main module for constant-propogation.
| General | |
| Lines of code | 34 |
| Stratego | |
| Module number | 1 (100% documented) |
| Constructor number | 0 |
| Overlay number | 0 |
| Strategy number | 4 (75% documented) |
| Rule number | 0 |
| DynamicRule number | 0 |
Strategy summary |
||
| main-analyse-const-prop | Main analysis for the constant propogation | main.str |
| plug-main-analyse-const-prop(Strategy main, Strategy get, Strategy set, Strategy valid-get, Strategy valid-put, Strategy valid-remove, Strategy valid-name, Strategy literal, Strategy operators, Strategy rule-union, Strategy rule-intersect) | Pluggable analysis for contant propgation | main.str |
Strategy details |
|||||||||
| ATerm | main-analyse-const-prop | ||||||||
Main analysis for the constant propogation. This strategy calls the more generic functionality without a second analysis. |
|||||||||
| ATerm | plug-main-analyse-const-prop(Strategy main, Strategy get, Strategy set, Strategy valid-get, Strategy valid-put, Strategy valid-remove, Strategy valid-name, Strategy literal, Strategy operators, Strategy rule-union, Strategy rule-intersect) | ||||||||
Pluggable analysis for contant propgation.This strategy receives some strategies which are used toperform an analysis which is interleaved with the constant-propogation. |
|||||||||