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. |
|||||||||