class EDC_STORABLE_RESULT_SET
ensure
- Result implies connection.is_connected
require
- is_connected
- not is_after_last
ensure
require
- is_connected
- not is_before_first
ensure
require
ensure
- Result = Fetch_forward or else Result = Fetch_backward
require
- index.in_range(0, column_count - 1)
ensure