dynamic-rules

File dynamic-rules.str
Author unknown
Since unknown
No information available.




Statistics


General
Lines of code 2161
Stratego
Module number 1 (0% documented)
Constructor number 15 (0% documented)
Overlay number 0
Strategy number 164 (22% documented)
Rule number 9 (22% documented)
DynamicRule number 23 (0% documented)



Constructor summary


BreakCS(ATerm , ATerm ) n/a dynamic-rules.str
Catch(ATerm , ATerm ) n/a dynamic-rules.str
ChangeSet(ATerm , ATerm , ATerm ) n/a dynamic-rules.str
ContinueCS(ATerm , ATerm ) n/a dynamic-rules.str
ExceptionCS(ATerm , ATerm ) n/a dynamic-rules.str
Finally(ATerm ) n/a dynamic-rules.str
IgnoreB(ATerm ) n/a dynamic-rules.str
IgnoreC(ATerm ) n/a dynamic-rules.str
IgnoreT(ATerm ) n/a dynamic-rules.str
Label(ATerm ) n/a dynamic-rules.str
RuleScope(ATerm , ATerm ) n/a dynamic-rules.str
SplitPos(ATerm , ATerm ) n/a dynamic-rules.str
Structure(ATerm ) n/a dynamic-rules.str
ThrowCS(ATerm , ATerm ) n/a dynamic-rules.str
TryBlock(ATerm , ATerm , ATerm , ATerm ) n/a dynamic-rules.str

Strategy summary


apply-rm-set(ATerm rmset) n/a dynamic-rules.str
dr-add-fail(ATerm scpid, ATerm tbl, ATerm key, ATerm value) n/a dynamic-rules.str
dr-add-rule(ATerm name, ATerm key, ATerm value) n/a dynamic-rules.str
dr-add-rule(ATerm name, ATerm label, ATerm key, ATerm value) n/a dynamic-rules.str
dr-add-rule-vis(ATerm name, ATerm label, ATerm key, ATerm value) n/a dynamic-rules.str
dr-add-scope n/a dynamic-rules.str
dr-add-to-rule-set(ATerm key, ATerm value) n/a dynamic-rules.str
dr-add-to-rule-set(ATerm label, ATerm key, ATerm value) n/a dynamic-rules.str
dr-add-to-rule-set(Strategy add, ATerm label, ATerm key, ATerm value) n/a dynamic-rules.str
dr-add-to-rule-set(Strategy add1, ATerm label, ATerm key, ATerm value) n/a dynamic-rules.str
dr-add-to-rule-set-vis(ATerm label, ATerm key, ATerm value) n/a dynamic-rules.str
dr-add-to-rule-set-vis(Strategy add, Strategy rm, ATerm label, ATerm key, ATerm value) n/a dynamic-rules.str
dr-add-to-rule-set-vis(Strategy add1, Strategy rm1, ATerm label, ATerm key, ATerm value) n/a dynamic-rules.str
dr-all-keys(ATerm name) n/a dynamic-rules.str
dr-all-keys(ATerm removed, ATerm result) Fetch all keys defined in a rule set dynamic-rules.str
dr-all-keys(ATerm removed, ATerm result) n/a dynamic-rules.str
dr-all-keys(ATerm removed, ATerm result) n/a dynamic-rules.str
dr-begin-scope(ATerm name) n/a dynamic-rules.str
dr-begin-scopes(ATerm names) n/a dynamic-rules.str
dr-break(ATerm rulename) n/a dynamic-rules.str
dr-break(ATerm rulename, ATerm label) n/a dynamic-rules.str
dr-break-bp(ATerm rulename) n/a dynamic-rules.str
dr-build-aggregated-change-set This strategy takes a pair of lists of change sets and rule scopes and returns a change set which contains all the changes from the change sets in the left member of the input pair which refer to rule scopes in the right member of the input pair dynamic-rules.str
dr-build-bp-change-set(ATerm rmset, ATerm tbl, ATerm ruleset) n/a dynamic-rules.str
dr-build-bp-change-set(ATerm rmset, ATerm tbl, ATerm ruleset) n/a dynamic-rules.str
dr-clone-change-set n/a dynamic-rules.str
dr-commit-change-set(ATerm name) n/a dynamic-rules.str
dr-commit-change-set n/a dynamic-rules.str
dr-commit-labels(ATerm labelset) n/a dynamic-rules.str
dr-commit-to-change-set(ATerm scpid, ATerm key, ATerm value) n/a dynamic-rules.str
dr-commit-to-rule-scope(ATerm scpid, ATerm key, ATerm value) n/a dynamic-rules.str
dr-commit-to-rule-set(ATerm scpid, ATerm key, ATerm value) n/a dynamic-rules.str
dr-complete-catch(Strategy merge, Strategy s, ATerm rulenames) n/a dynamic-rules.str
dr-complete-catch-intersect(Strategy s, ATerm rulenames) n/a dynamic-rules.str
dr-complete-catch-union(Strategy s, ATerm rulenames) n/a dynamic-rules.str
dr-complete-exception-block(Strategy merge, ATerm rulenames) n/a dynamic-rules.str
dr-complete-exception-block-intersect(ATerm rulenames) n/a dynamic-rules.str
dr-complete-exception-block-union(ATerm rulenames) n/a dynamic-rules.str
dr-complete-finally(Strategy merge, Strategy s, ATerm rulenames) n/a dynamic-rules.str
dr-complete-finally-intersect(Strategy s, ATerm rulenames) n/a dynamic-rules.str
dr-complete-finally-union(Strategy s, ATerm rulenames) n/a dynamic-rules.str
dr-continue(ATerm rulename) n/a dynamic-rules.str
dr-continue(ATerm rulename, ATerm label) n/a dynamic-rules.str
dr-debug-rule-set(ATerm name) n/a dynamic-rules.str
dr-debug-rule-set(ATerm name, ATerm msg) n/a dynamic-rules.str
dr-define-ignoreB(ATerm csid, ATerm label) n/a dynamic-rules.str
dr-define-ignoreC(ATerm csid, ATerm label) n/a dynamic-rules.str
dr-define-ignoreT(ATerm csid) n/a dynamic-rules.str
dr-destroy-and-unmark n/a dynamic-rules.str
dr-destroy-change-set n/a dynamic-rules.str
dr-destroy-scope n/a dynamic-rules.str
dr-discard-change-set(ATerm name) n/a dynamic-rules.str
dr-end-scope(ATerm name) n/a dynamic-rules.str
dr-end-scopes(ATerm names) n/a dynamic-rules.str
dr-eq-rule-sets n/a dynamic-rules.str
dr-fix-and-intersect(Strategy s, ATerm rulenames) n/a dynamic-rules.str
dr-fix-and-intersect(Strategy s, ATerm rulenames, ATerm label) n/a dynamic-rules.str
dr-fix-and-intersect-union(Strategy s, ATerm rulenames1, ATerm rulenames2) Iterate combined union and intersection of two rule-sets dynamic-rules.str
dr-fix-and-merge(Strategy merge, Strategy s, ATerm rulenames) n/a dynamic-rules.str
dr-fix-and-merge(Strategy merge, Strategy s, ATerm rulenames, ATerm label) n/a dynamic-rules.str
dr-fix-and-merge(Strategy merge1, Strategy merge2, Strategy s, ATerm rulenames1, ATerm rulenames2) n/a dynamic-rules.str
dr-fix-and-merge-internal(Strategy merge, Strategy s, ATerm rulenames) n/a dynamic-rules.str
dr-fix-and-union(Strategy s, ATerm rulenames) Iterate union of two rule-sets dynamic-rules.str
dr-fix-and-union(Strategy s, ATerm rulenames, ATerm label) n/a dynamic-rules.str
dr-fix-change-set Fixes references in change set that point to rule scopes that will no longer be part of the merged ruleset dynamic-rules.str
dr-fold-and-intersect(Strategy empty, Strategy hd, Strategy tl, ATerm rulenames) n/a dynamic-rules.str
dr-fold-and-intersect(Strategy empty, Strategy hd, Strategy tl, ATerm rulenames, ATerm rs0) n/a dynamic-rules.str
dr-fork-and-intersect(Strategy s1, Strategy s2, ATerm rulenames) n/a dynamic-rules.str
dr-fork-and-intersect-union(Strategy s1, Strategy s2, ATerm rulenames1, ATerm rulenames2) Fork and combined union and intersection of two rule-sets dynamic-rules.str
dr-fork-and-merge(Strategy merge, Strategy s1, Strategy s2, ATerm rulenames) Fork and merge two rule-sets dynamic-rules.str
dr-fork-and-merge(Strategy merge1, Strategy merge2, Strategy s1, Strategy s2, ATerm rulenames1, ATerm rulenames2) n/a dynamic-rules.str
dr-fork-and-union(Strategy s1, Strategy s2, ATerm rulenames) Fork and union of two rule-sets dynamic-rules.str
dr-friendly-debug-rule-set(ATerm name) n/a dynamic-rules.str
dr-friendly-debug-rule-set(ATerm name, ATerm msg) n/a dynamic-rules.str
dr-friendly-print-rule-set(ATerm name) n/a dynamic-rules.str
dr-friendly-print-rule-set n/a dynamic-rules.str
dr-friendly-print-rule-set-msg(ATerm msg) n/a dynamic-rules.str
dr-friendly-print-rule-set-msg(ATerm msg) n/a dynamic-rules.str
dr-friendly-print-rule-sets(ATerm names) n/a dynamic-rules.str
dr-friendly-print-scope n/a dynamic-rules.str
dr-friendly-print-scope n/a dynamic-rules.str
dr-get-first-scope-label(Strategy s, ATerm name) Get the first scope label for which s succeeds starting with the inner, most recent, scope dynamic-rules.str
dr-get-first-scope-label(Strategy s) Get the first scope label for which s succeeds dynamic-rules.str
dr-get-rule-set(ATerm name) n/a dynamic-rules.str
dr-get-scope-labels(ATerm name) Get all scope labels ordered from inner, most recent, to outer, oldest dynamic-rules.str
dr-get-scope-labels n/a dynamic-rules.str
dr-ignore-state(Strategy s, ATerm name) Apply s in a state where the current dynamic rules for name are ignored dynamic-rules.str
dr-ignore-states(Strategy s, ATerm names) Apply s in a state where the current dynamic rules for names are ignored dynamic-rules.str
dr-init-exception-block(Strategy has-finally, ATerm catch-tags, ATerm rulenames) n/a dynamic-rules.str
dr-intersect-rule-sets Intersection of two rule-sets dynamic-rules.str
dr-intersect-rule-sets-symm Symmetric intersection of two rule-sets dynamic-rules.str
dr-intersect-symm(ATerm name) Intersect live rule-set with given rule set changing both dynamic-rules.str
dr-intersect-with(ATerm name) Intersect live rule-set with given rule set changing the live rule set dynamic-rules.str
dr-label(Strategy merge, Strategy s, ATerm rulenames, ATerm label) n/a dynamic-rules.str
dr-label-intersect(Strategy s, ATerm rulenames, ATerm label) n/a dynamic-rules.str
dr-label-scope(ATerm name, ATerm label) n/a dynamic-rules.str
dr-label-scope(ATerm label) n/a dynamic-rules.str
dr-label-union(Strategy s, ATerm rulenames, ATerm label) Label current point in data-flow with <label> to accommodate break's dynamic-rules.str
dr-left-choice(Strategy s1, Strategy s2, ATerm rulenames) Left choice with dynamic rule roll-back in case s1 fails dynamic-rules.str
dr-lookup-all-rules(ATerm name, ATerm key) n/a dynamic-rules.str
dr-lookup-all-rules(ATerm key) Fetch all definitions for key dynamic-rules.str
dr-lookup-all-rules(Strategy look, ATerm key, ATerm removed) n/a dynamic-rules.str
dr-lookup-all-rules(Strategy look1, ATerm key, ATerm removed) n/a dynamic-rules.str
dr-lookup-rule(ATerm name, ATerm key) n/a dynamic-rules.str
dr-lookup-rule(ATerm key) n/a dynamic-rules.str
dr-lookup-rule(Strategy look, ATerm key, ATerm removed) n/a dynamic-rules.str
dr-lookup-rule(Strategy look1, ATerm key, ATerm removed) n/a dynamic-rules.str
dr-lookup-rule-in-scope(ATerm key, ATerm scpid) Version of dr-lookup-rule that looks for definition of a key in a particular scope dynamic-rules.str
dr-lookup-rule-in-scope-cs(ATerm key, ATerm scpid) n/a dynamic-rules.str
dr-lookup-rule-in-scope-rs(ATerm key, ATerm scpid) n/a dynamic-rules.str
dr-lookup-rule-pointer(ATerm name, ATerm key) n/a dynamic-rules.str
dr-lookup-rule-pointer(ATerm key) Fetch the most recent definition for key and return a pointer to the table that defines it dynamic-rules.str
dr-lookup-rule-pointer(Strategy look, ATerm key, ATerm removed) n/a dynamic-rules.str
dr-lookup-rule-pointer(Strategy look1, ATerm key, ATerm removed) n/a dynamic-rules.str
dr-map-and-intersect(Strategy s, ATerm rulenames) fork and intersect over a list dynamic-rules.str
dr-merge-continue-change-sets(Strategy merge, ATerm label) n/a dynamic-rules.str
dr-merge-rule-sets(Strategy merge-rs, Strategy merge-cs) n/a dynamic-rules.str
dr-new-change-set n/a dynamic-rules.str
dr-new-rule-set n/a dynamic-rules.str
dr-new-scope n/a dynamic-rules.str
dr-print-rule-set(ATerm name) n/a dynamic-rules.str
dr-print-rule-set n/a dynamic-rules.str
dr-print-rule-set-msg(ATerm msg) n/a dynamic-rules.str
dr-print-rule-sets(ATerm names) n/a dynamic-rules.str
dr-print-scope n/a dynamic-rules.str
dr-print-scope n/a dynamic-rules.str
dr-remove-from-change-set(ATerm scpid, ATerm key) n/a dynamic-rules.str
dr-remove-from-rule-scope(ATerm scpid, ATerm key) n/a dynamic-rules.str
dr-remove-from-rule-set(ATerm scpid, ATerm key) n/a dynamic-rules.str
dr-rm-fail(ATerm scpid, ATerm tbl, ATerm key) n/a dynamic-rules.str
dr-rm-fail(ATerm scpid, ATerm tbl, ATerm key) n/a dynamic-rules.str
dr-rule-sets-hashtable Retrieve the primitive dynamic rules hashtable dynamic-rules.str
dr-save-rule-set n/a dynamic-rules.str
dr-scope(Strategy s, ATerm name) n/a dynamic-rules.str
dr-scopes(Strategy s, ATerm names) n/a dynamic-rules.str
dr-set-fail(ATerm scpid, ATerm tbl, ATerm key, ATerm value) n/a dynamic-rules.str
dr-set-in-rule-set(ATerm key, ATerm value) n/a dynamic-rules.str
dr-set-in-rule-set(ATerm label, ATerm key, ATerm value) set a rule in the scope with specified label dynamic-rules.str
dr-set-in-rule-set(Strategy set, ATerm label, ATerm key, ATerm value) n/a dynamic-rules.str
dr-set-in-rule-set(Strategy set1, ATerm label, ATerm key, ATerm value) n/a dynamic-rules.str
dr-set-in-rule-set-vis(ATerm key, ATerm value) n/a dynamic-rules.str
dr-set-in-rule-set-vis(ATerm label, ATerm key, ATerm value) n/a dynamic-rules.str
dr-set-in-rule-set-vis(Strategy set, Strategy rm, ATerm label, ATerm key, ATerm value) n/a dynamic-rules.str
dr-set-in-rule-set-vis(Strategy set1, Strategy rm1, ATerm label, ATerm key, ATerm value) n/a dynamic-rules.str
dr-set-rule(ATerm name, ATerm key, ATerm value) n/a dynamic-rules.str
dr-set-rule(ATerm name, ATerm label, ATerm key, ATerm value) n/a dynamic-rules.str
dr-set-rule-set(ATerm name) n/a dynamic-rules.str
dr-set-rule-vis(ATerm name, ATerm label, ATerm key, ATerm value) n/a dynamic-rules.str
dr-set-rules-vis(ATerm name, ATerm label, ATerm key, ATerm values) n/a dynamic-rules.str
dr-start-change-set(ATerm name) n/a dynamic-rules.str
dr-start-change-set n/a dynamic-rules.str
dr-switch-rule-set(ATerm name) n/a dynamic-rules.str
dr-throw(Strategy eq-test, ATerm tag, ATerm rulename) n/a dynamic-rules.str
dr-transaction(Strategy s, ATerm rulenames) n/a dynamic-rules.str
dr-undefine-rule(ATerm name, ATerm key) n/a dynamic-rules.str
dr-undefine-rule(ATerm name, ATerm label, ATerm key) n/a dynamic-rules.str
dr-undefine-rule-vis(ATerm name, ATerm label, ATerm key) n/a dynamic-rules.str
dr-union-rule-sets Union of two rule-sets dynamic-rules.str
dr-union-rule-sets-symm n/a dynamic-rules.str
dr-union-symm(ATerm name) Merge live rule-set with give rule set using union changing both dynamic-rules.str
dr-union-with(ATerm name) Merge live rule-set with given rule set using union changing the live rule set dynamic-rules.str
get-matching-id(Strategy eq-test, ATerm tag, ATerm rulename) n/a dynamic-rules.str
get-matching-id(ATerm catchID, ATerm rulename) n/a dynamic-rules.str
merge-rule-sets(Strategy merge) n/a dynamic-rules.str

Rule summary


dr-apply-change(ATerm tbl) commit to ruleset is finding the first ChangeSet (any) *or* the first RuleScope that has the appropriate scopeid (i dynamic-rules.str
dr-apply-removal n/a dynamic-rules.str
dr-commit-change-set(Strategy destroy) The strategy destroy indicates whether the change set should also be destroyed after the commmit dynamic-rules.str
dr-discard-change-set n/a dynamic-rules.str
dr-get-inner-scope n/a dynamic-rules.str
dr-leave-scope n/a dynamic-rules.str
dr-merge-rule-sets1(Strategy merge-rs, Strategy merge-rec) n/a dynamic-rules.str
dr-merge-rule-sets2(Strategy merge-cs, Strategy merge-rec) n/a dynamic-rules.str
fork-rule-sets n/a dynamic-rules.str



Strategy details


ATerm dr-all-keys(ATerm removed, ATerm result)
File dynamic-rules.str
Author unknown
Since unknown
 

Fetch all keys defined in a rule set.



 
ATerm dr-begin-scope(ATerm name)
File dynamic-rules.str
Author unknown
Since unknown
 

No information available.


type t -> t

 
ATerm dr-begin-scopes(ATerm names)
File dynamic-rules.str
Author unknown
Since unknown
 

No information available.


type t -> t

 
ATerm dr-build-aggregated-change-set
File dynamic-rules.str
Author unknown
Since unknown
 

This strategy takes a pair of lists of change sets and rule scopesand returns a change set which contains all the changes from thechange sets in the left member of the input pair which refer torule scopes in the right member of the input pair.



 
ATerm dr-commit-change-set(ATerm name)
File dynamic-rules.str
Author unknown
Since unknown
 

No information available.


type t -> t

 
ATerm dr-discard-change-set(ATerm name)
File dynamic-rules.str
Author unknown
Since unknown
 

No information available.


type t -> t

 
ATerm dr-end-scope(ATerm name)
File dynamic-rules.str
Author unknown
Since unknown
 

No information available.


type t -> t

 
ATerm dr-end-scopes(ATerm names)
File dynamic-rules.str
Author unknown
Since unknown
 

No information available.


type t -> t

 
ATerm dr-fix-and-intersect-union(Strategy s, ATerm rulenames1, ATerm rulenames2)
File dynamic-rules.str
Author unknown
Since unknown
 

Iterate combined union and intersection of two rule-sets



 
ATerm dr-fix-and-union(Strategy s, ATerm rulenames)
File dynamic-rules.str
Author unknown
Since unknown
 

Iterate union of two rule-sets



 
ATerm dr-fix-change-set
File dynamic-rules.str
Author unknown
Since unknown
 

Fixes references in change set that point to rule scopes that willno longer be part of the merged ruleset. It is assumed that the referencesthat point to rule scopes in rsbad have to be replaced with references tothe corresponding (according to position) rule scopes in rsgood.

No longer used.



 
ATerm dr-fork-and-intersect-union(Strategy s1, Strategy s2, ATerm rulenames1, ATerm rulenames2)
File dynamic-rules.str
Author unknown
Since unknown
 

Fork and combined union and intersection of two rule-sets



 
ATerm dr-fork-and-merge(Strategy merge, Strategy s1, Strategy s2, ATerm rulenames)
File dynamic-rules.str
Author unknown
Since unknown
 
Parameters
Strategy merge merge :

Fork and merge two rule-sets.



 
ATerm dr-fork-and-union(Strategy s1, Strategy s2, ATerm rulenames)
File dynamic-rules.str
Author unknown
Since unknown
 

Fork and union of two rule-sets



 
ATerm dr-get-first-scope-label(Strategy s, ATerm name)
File dynamic-rules.str
Author unknown
Since unknown
 

Get the first scope label for which s succeeds starting with theinner, most recent, scope.



 
ATerm dr-get-first-scope-label(Strategy s)
File dynamic-rules.str
Author unknown
Since unknown
 

Get the first scope label for which s succeeds.



 
ATerm dr-get-rule-set(ATerm name)
File dynamic-rules.str
Author unknown
Since unknown
 

No information available.


type _ -> List(RuleScope)

 
ATerm dr-get-scope-labels(ATerm name)
File dynamic-rules.str
Author unknown
Since unknown
 

Get all scope labels ordered from inner, most recent, to outer, oldest.



 
ATerm dr-ignore-state(Strategy s, ATerm name)
File dynamic-rules.str
Author unknown
Since unknown
 
Parameters
Strategy s strategy to apply (a -> b)
ATerm name name of the dynamic rules (String)

Apply s in a state where the current dynamic rules for name are ignored.


type a -> b

 
ATerm dr-ignore-states(Strategy s, ATerm names)
File dynamic-rules.str
Author unknown
Since unknown
 
Parameters
Strategy s strategy to apply (a -> b)
ATerm names names of the dynamic rules (List(String))

Apply s in a state where the current dynamic rules for names are ignored.


type a -> b

 
ATerm dr-intersect-rule-sets
File dynamic-rules.str
Author unknown
Since unknown
 

Intersection of two rule-sets

assumption: the scope structure is the sameintersection works scope by scopenote that labels are ignored


todo : intersect labelsets as well!!??

 
ATerm dr-intersect-rule-sets-symm
File dynamic-rules.str
Author unknown
Since unknown
 

Symmetric intersection of two rule-sets

assumption: the scope structure is the sameintersection works scope by scopenote that labels are ignored


todo : intersect labelsets as well!!

 
ATerm dr-intersect-symm(ATerm name)
File dynamic-rules.str
Author unknown
Since unknown
 

Intersect live rule-set with given rule set changing both.



 
ATerm dr-intersect-with(ATerm name)
File dynamic-rules.str
Author unknown
Since unknown
 

Intersect live rule-set with given rule set changing the live rule set.



 
ATerm dr-label-scope(ATerm name, ATerm label)
File dynamic-rules.str
Author unknown
Since unknown
 

No information available.


type t -> t

 
ATerm dr-label-union(Strategy s, ATerm rulenames, ATerm label)
File dynamic-rules.str
Author unknown
Since unknown
 

Label current point in data-flow with <label> to accommodatebreak's. Union of rule-sets after running <s>:- the "main" rule-set resulted by running <s>- all the rule-sets generated by calls to dr-breakwith the same label as this one

!! Only use this to label non-iterative statements. !!!! Use dr-fix-and-union which takes a label !! !! argument to label iterative statements. !!



 
ATerm dr-left-choice(Strategy s1, Strategy s2, ATerm rulenames)
File dynamic-rules.str
Author unknown
Since unknown
 

Left choice with dynamic rule roll-back in case s1 fails.



 
ATerm dr-lookup-all-rules(ATerm key)
File dynamic-rules.str
Author unknown
Since unknown
 

Fetch all definitions for key.



 
ATerm dr-lookup-rule-in-scope(ATerm key, ATerm scpid)
File dynamic-rules.str
Author unknown
Since unknown
 

Version of dr-lookup-rule that looks for definition of a keyin a particular scope. The expected scope id (scpid) is thepointer to the hashtable of a rule scope and is usuallyidentified by means of a label, i.e., a label indicates therule scope and the rule scope has a unique scope id.



 
ATerm dr-lookup-rule-pointer(ATerm key)
File dynamic-rules.str
Author unknown
Since unknown
 

Fetch the most recent definition for key and return a pointerto the table that defines it.



 
ATerm dr-map-and-intersect(Strategy s, ATerm rulenames)
File dynamic-rules.str
Author unknown
Since unknown
 

fork and intersect over a list


todo : generalize to factor out table merge operation

 
ATerm dr-rule-sets-hashtable
File dynamic-rules.str
Author unknown
Since unknown
 

Retrieve the primitive dynamic rules hashtable.



 
ATerm dr-set-in-rule-set(ATerm label, ATerm key, ATerm value)
File dynamic-rules.str
Author unknown
Since unknown
 

set a rule in the scope with specified label



 
ATerm dr-start-change-set(ATerm name)
File dynamic-rules.str
Author unknown
Since unknown
 

No information available.


type t -> t

 
ATerm dr-union-rule-sets
File dynamic-rules.str
Author unknown
Since unknown
 

Union of two rule-sets

assumption: the scope structure of the two rule-sets is the sameand union works scope by scope



 
ATerm dr-union-symm(ATerm name)
File dynamic-rules.str
Author unknown
Since unknown
 

Merge live rule-set with give rule set using union changing both.



 
ATerm dr-union-with(ATerm name)
File dynamic-rules.str
Author unknown
Since unknown
 

Merge live rule-set with given rule set using union changing the live rule set.



 

Rule details


ATerm dr-apply-change(ATerm tbl)
File dynamic-rules.str
Author unknown
Since unknown
 

commit to ruleset is finding the first ChangeSet (any) *or* the firstRuleScope that has the appropriate scopeid (i.e. hashtable pointer)and setting the key-value into it



 
ATerm dr-commit-change-set(Strategy destroy)
File dynamic-rules.str
Author unknown
Since unknown
 

The strategy destroy indicates whether the changeset should also be destroyed after the commmit.