ruleset

File ruleset.str
Author Eric Bouwers
Since unknown

Module containing the strategies to merge rulesets.




Statistics


General
Lines of code 94
Stratego
Module number 1 (100% documented)
Constructor number 0
Overlay number 0
Strategy number 5 (80% documented)
Rule number 0
DynamicRule number 0



Strategy summary


dr-symbolic-lookup(Strategy aux, ATerm rs) Utility ruleset.str
dr-symbolic-merge-rulesets(Strategy merge, Strategy call, Strategy aux, Strategy redef, ATerm rs1, ATerm R) Merges dynamic rule-sets ruleset.str
merge-rules-for-include-state n/a ruleset.str
php-intersect-const-prop(Strategy s) Performs an intersect operations on the dynamic rule-sets used for evaluation ruleset.str
php-union-const-prop(Strategy s1, Strategy s2) Performs a union of the dynamic rulesets used for evaluation ruleset.str



Strategy details


ATerm dr-symbolic-lookup(Strategy aux, ATerm rs)
File ruleset.str
Author unknown
Since unknown
 

Utility



 
ATerm dr-symbolic-merge-rulesets(Strategy merge, Strategy call, Strategy aux, Strategy redef, ATerm rs1, ATerm R)
File ruleset.str
Author unknown
Since unknown
 

Merges dynamic rule-sets



 
ATerm php-intersect-const-prop(Strategy s)
File ruleset.str
Author unknown
Since unknown
 
Parameters
Strategy s s The strategy to execute.

Performs an intersect operations on the dynamic rule-sets used forevaluation. Placed here for abstraction purposes. This strategyalso handles the dynamic rule-set for inclusion.



 
ATerm php-union-const-prop(Strategy s1, Strategy s2)
File ruleset.str
Author unknown
Since unknown
 
Parameters
Strategy s1 s1 The first strategy to execute
Strategy s2 s2 The second strategy to execute

Performs a union of the dynamic rulesets used for evaluation. This strategy also incorperates the saving and merging of theinclude-state of file inclusion. So it is actually a combination of propogation and type-state.