|  |  D.2.11.16 optionIsSet Procedure from libraryring.lib(see  ring_lib).
 
Example:Usage:
optionIsSet( optionName )
Parameters:
optionName: a name as string of an option of interest
Return:
true, if the by optionName given option is active, false otherwise.
 |  | LIB "ring.lib";
// check if the option "warn" is set.
optionIsSet("warn");
==> 0
option("warn");
// now the option is set
optionIsSet("warn");
==> 1
option("nowarn");
// now the option is unset
optionIsSet("warn");
==> 0
 | 
 
 |