set_double


Description:

public void set_double (string key, double value)

Sets a double context value.

Parameters:

key

a registered double key

value

the new value