File | common.str |
Author | unknown |
Since | unknown |
Get and set values in the configuration table.
General | |
Lines of code | 89 |
Stratego | |
Module number | 1 (100% documented) |
Constructor number | 0 |
Overlay number | 0 |
Strategy number | 8 (100% documented) |
Rule number | 0 |
DynamicRule number | 0 |
Strategy summary |
||
extend-config | Extends the list of values of the specified key with new values | common.str |
get-config | Get the value for the specified key from the config table | common.str |
get-config-keys(Strategy pred) | Get all config keys for which pred succeeds | common.str |
get-configs(Strategy pred) | Get all values of config keys for which 'pred' succeeds | common.str |
post-extend-config | Extends the list of values of the specified key with new values | common.str |
rm-config | Remove the entry of the specified key from the config table | common.str |
set-config | Set an entry (key and value) in the config table | common.str |
toggle-config | Adds an entry to the config table if it does not exist, or removes the entry if it does already exist in the config table | common.str |
Strategy details |
|||||||||||||||||
ATerm | extend-config | ||||||||||||||||
Extends the list of values of the specified key with new values.The values are added in front of the current list.
|
|||||||||||||||||
ATerm | get-config | ||||||||||||||||
Get the value for the specified key from the config table.The key is the current term. |
|||||||||||||||||
ATerm | get-config-keys(Strategy pred) | ||||||||||||||||
Get all config keys for which pred succeeds
|
|||||||||||||||||
ATerm | get-configs(Strategy pred) | ||||||||||||||||
Get all values of config keys for which 'pred' succeeds.The current term is ignored.
|
|||||||||||||||||
ATerm | post-extend-config | ||||||||||||||||
Extends the list of values of the specified key with new values.The values are added to the end of the current list.
|
|||||||||||||||||
ATerm | rm-config | ||||||||||||||||
Remove the entry of the specified key from the config table.
|
|||||||||||||||||
ATerm | set-config | ||||||||||||||||
Set an entry (key and value) in the config table.
|
|||||||||||||||||
ATerm | toggle-config | ||||||||||||||||
Adds an entry to the config table if it does not exist, orremoves the entry if it does already exist in the config table.
|
|||||||||||||||||