main

File main.str
Author unknown
Since unknown

Main module for constant-propogation.




Statistics


General
Lines of code 143
Stratego
Module number 1 (0% documented)
Constructor number 0
Overlay number 0
Strategy number 16 (0% 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
File main.str
Author unknown
Since unknown
 

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)
File main.str
Author unknown
Since unknown
 

Pluggable analysis for contant propgation.This strategy receives some strategies which are used toperform an analysis which is interleaved with the constant-propogation.