Module containing the strategies to merge rulesets.
Strategy details
|
ATerm
|
dr-symbolic-lookup(Strategy aux, ATerm rs)
|
Utility
|
|
ATerm
|
dr-symbolic-merge-rulesets(Strategy merge, Strategy call, Strategy aux, Strategy redef, ATerm rs1, ATerm R)
|
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.
|
|