SetOptions sets various options that affect the behavior of result.

SetOptions accepts one option.

fetchsize = integer

Determines how many rows must be fetched from the database.  The more rows fetched, the faster accessing rows will be. However, fetching more rows uses more memory.

An option's current value can be obtained by calling GetOptions.

SetOptions does not return anything.

Calling SetOptions with no arguments raises an error.

$\mathrm{driver}≔\mathrm{Database}\left[\mathrm{LoadDriver}\right]\left(\right)\:$

$\mathrm{conn}≔\mathrm{driver}:-\mathrm{OpenConnection}\left(\mathrm{url}\,\mathrm{name}\,\mathrm{pass}\right)\:$$\mathrm{res}≔\mathrm{conn}:-\mathrm{ExecuteQuery}\left(''SELECT\; *\; FROM\; animals''\right)\:$$\mathrm{res}:-\mathrm{GetOptions}\left(\right)$

$\left[\mathrm{fetchsize}=5\right]$

$\mathrm{stat}:-\mathrm{SetOptions}\left('\mathrm{fetchsize}'=8\right)\;$$\mathrm{stat}:-\mathrm{GetOptions}\left(\right)$

$\left[\mathrm{fetchsize}=8\right]$