Online Help

GetOptions gets the values of various options that affect the behavior of result.

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 set by calling SetOptions .

Calling GetOptions with no arguments returns the current values of all the arguments that GetOptions can query.

$\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]$