common

File common.str
Author unknown
Since unknown

Get and set values in the configuration table.




Statistics


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
File common.str
Author unknown
Since unknown
 

Extends the list of values of the specified key with new values.The values are added in front of the current list.


type (a, List(b)) -> _

 
ATerm get-config
File common.str
Author unknown
Since unknown
 

Get the value for the specified key from the config table.The key is the current term.



 
ATerm get-config-keys(Strategy pred)
File common.str
Author unknown
Since unknown
 
Parameters
Strategy pred Is applied to the keys of the config table.

Get all config keys for which pred succeeds


returns The list of keys that satisfy pred.
type _ -> List(a)

 
ATerm get-configs(Strategy pred)
File common.str
Author unknown
Since unknown
 
Parameters
Strategy pred Is applied to the keys of the config table.

Get all values of config keys for which 'pred' succeeds.The current term is ignored.


returns The list of values for the keys that satisfy pred.
type _ -> List(b)

 
ATerm post-extend-config
File common.str
Author unknown
Since unknown
 

Extends the list of values of the specified key with new values.The values are added to the end of the current list.


type (a, List(b)) -> _

 
ATerm rm-config
File common.str
Author unknown
Since unknown
 

Remove the entry of the specified key from the config table.


type (a, b) -> _

 
ATerm set-config
File common.str
Author unknown
Since unknown
 

Set an entry (key and value) in the config table.


type (a, b) -> _

 
ATerm toggle-config
File common.str
Author unknown
Since unknown
 

Adds an entry to the config table if it does not exist, orremoves the entry if it does already exist in the config table.


type (a, b) -> _