Constant propogation for common expressions.
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)
|
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)
|
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)
|
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)
|
No information available.
type
|
(Some(Key(key)),RefValue) -> value
|
|
|
ATerm
|
eval-php-list-expression(Strategy valid-get, Strategy valid-put)
|
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)
|
Print-construct
|
|
ATerm
|
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.TODO
|
|
ATerm
|
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
|
|
ATerm
|
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. TODO
|
|
ATerm
|
expression-const-prop(Strategy main, Strategy get, Strategy set, Strategy valid-get, Strategy valid-put, Strategy valid-remove)
|
Creation of an array
|
|
ATerm
|
inclusion-const-prop(Strategy main, Strategy get, Strategy set, Strategy rule-union)
|
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)
|
Extracts the type of an expression and maps this toan array-key.
|
|
ATerm
|
no-inclusion-const-prop(Strategy main, ATerm name)
|
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)
|
Always includes a file with a given filename
type
|
Expr -> (Expr(evaluated),value)
|
|
|