expressions

File expressions.str
Author unknown
Since unknown

Constant propogation for common expressions.




Statistics


General
Lines of code 327
Stratego
Module number 1 (100% documented)
Constructor number 0
Overlay number 0
Strategy number 20 (70% documented)
Rule number 0
DynamicRule number 1 (0% documented)



Strategy summary


add-array-pairs-to-array(Strategy main, Strategy get, Strategy valid-put, Strategy valid-remove, ATerm aid) Adds a array pair to a given ArrayObject expressions.str
add-array-pairs-to-array(Strategy main, Strategy get, Strategy valid-put, Strategy valid-remove, ATerm aid) n/a expressions.str
add-array-pairs-to-array(Strategy main, Strategy get, Strategy valid-put, Strategy valid-remove, ATerm aid) Adds a array pair to a given Array expressions.str
add-array-pairs-to-array(Strategy main, Strategy get, Strategy valid-put, Strategy valid-remove, ATerm aid) n/a expressions.str
eval-php-list-expression(Strategy valid-get, Strategy valid-put) Evaluates a tuple of a List(vars) and a given Array Id expressions.str
expression-const-prop(Strategy main, Strategy get, Strategy set, Strategy valid-get, Strategy valid-put, Strategy valid-remove) Print-construct expressions.str
expression-const-prop(Strategy main, Strategy get, Strategy set, Strategy valid-get, Strategy valid-put, Strategy valid-remove) Exit, should actually terminate the program and stop the analysis expressions.str
expression-const-prop(Strategy main, Strategy get, Strategy set, Strategy valid-get, Strategy valid-put, Strategy valid-remove) Echo, does not have a value-type expressions.str
expression-const-prop(Strategy main, Strategy get, Strategy set, Strategy valid-get, Strategy valid-put, Strategy valid-remove) Eval, either value of a 'return' in the code or False expressions.str
expression-const-prop(Strategy main, Strategy get, Strategy set, Strategy valid-get, Strategy valid-put, Strategy valid-remove) n/a expressions.str
expression-const-prop(Strategy main, Strategy get, Strategy set, Strategy valid-get, Strategy valid-put, Strategy valid-remove) Creation of an array expressions.str
expression-const-prop(Strategy main, Strategy get, Strategy set, Strategy valid-get, Strategy valid-put, Strategy valid-remove) n/a expressions.str
extract-php-value-identifier-kind(Strategy main, Strategy valid-remove) n/a expressions.str
inclusion-const-prop(Strategy main, Strategy get, Strategy set, Strategy rule-union) Evaluates an inclusion of an file if the expression given to the include-function can be evaluated expressions.str
inclusion-const-prop(Strategy main, Strategy get, Strategy set, Strategy rule-union) n/a expressions.str
map-type-to-php-array-key(Strategy main, Strategy valid-remove, ATerm aid) Extracts the type of an expression and maps this to an array-key expressions.str
no-inclusion-const-prop(Strategy main, ATerm name) Evaluates a "no-inclusion" expressions.str
php-generic-always-include(Strategy main) Always includes a file with a given filename expressions.str
php-generic-include-strategy(Strategy main) n/a expressions.str
php-generic-once-include(Strategy main, Strategy rule-union) n/a expressions.str



Strategy details


ATerm add-array-pairs-to-array(Strategy main, Strategy get, Strategy valid-put, Strategy valid-remove, ATerm aid)
File expressions.str
Author unknown
Since unknown
 

Adds a array pair to a given ArrayObject.If the value cannot be retrieved the strategy will updatethe highest index and fail.


type (None(),value) -> Value

 
ATerm add-array-pairs-to-array(Strategy main, Strategy get, Strategy valid-put, Strategy valid-remove, ATerm aid)
File expressions.str
Author unknown
Since unknown
 

No information available.


type (None(),RefValue) -> Value

 
ATerm add-array-pairs-to-array(Strategy main, Strategy get, Strategy valid-put, Strategy valid-remove, ATerm aid)
File expressions.str
Author unknown
Since unknown
 

Adds a array pair to a given Array.Returns the value that is inserted


type (Some(Key(key)),value) -> value

 
ATerm add-array-pairs-to-array(Strategy main, Strategy get, Strategy valid-put, Strategy valid-remove, ATerm aid)
File expressions.str
Author unknown
Since unknown
 

No information available.


type (Some(Key(key)),RefValue) -> value

 
ATerm eval-php-list-expression(Strategy valid-get, Strategy valid-put)
File expressions.str
Author unknown
Since unknown
 

Evaluates a tuple of a List(vars) and a givenArray Id. The values of the array are retrieved and assignedto the values in vars, if any.


type (List(vars),aid) -> ([],[])

 
ATerm expression-const-prop(Strategy main, Strategy get, Strategy set, Strategy valid-get, Strategy valid-put, Strategy valid-remove)
File expressions.str
Author unknown
Since unknown
 

Print-construct



 
ATerm expression-const-prop(Strategy main, Strategy get, Strategy set, Strategy valid-get, Strategy valid-put, Strategy valid-remove)
File expressions.str
Author unknown
Since unknown
 

Exit, should actually terminate the program and stop the analysis.TODO



 
ATerm expression-const-prop(Strategy main, Strategy get, Strategy set, Strategy valid-get, Strategy valid-put, Strategy valid-remove)
File expressions.str
Author unknown
Since unknown
 

Echo, does not have a value-type



 
ATerm expression-const-prop(Strategy main, Strategy get, Strategy set, Strategy valid-get, Strategy valid-put, Strategy valid-remove)
File expressions.str
Author unknown
Since unknown
 

Eval, either value of a 'return' in the code or False. TODO



 
ATerm expression-const-prop(Strategy main, Strategy get, Strategy set, Strategy valid-get, Strategy valid-put, Strategy valid-remove)
File expressions.str
Author unknown
Since unknown
 

Creation of an array



 
ATerm inclusion-const-prop(Strategy main, Strategy get, Strategy set, Strategy rule-union)
File expressions.str
Author unknown
Since unknown
 

Evaluates an inclusion of an file if the expression given to theinclude-function can be evaluated.



 
ATerm map-type-to-php-array-key(Strategy main, Strategy valid-remove, ATerm aid)
File expressions.str
Author unknown
Since unknown
 

Extracts the type of an expression and maps this toan array-key.


type Expr -> arraykey

 
ATerm no-inclusion-const-prop(Strategy main, ATerm name)
File expressions.str
Author unknown
Since unknown
 

Evaluates a "no-inclusion". This an inclusion that is not possible.It will remove _all_ dynamic rules that are involved in this evaluation.


type include-term -> include-term

 
ATerm php-generic-always-include(Strategy main)
File expressions.str
Author unknown
Since unknown
 

Always includes a file with a given filename


type Expr -> (Expr(evaluated),value)