set_int


Description:

public void set_int (string key, int64 value)

Sets a int64 context value.

Parameters:

key

a registered integer key

value

the new value