+
Point of view
TYPED_INTERNALS
deferred class EDC_VALUE
require
- a_columns.count = a_data.count
require
- arguments = Void implies open_count = 0
- arguments /= Void implies arguments.count >= open_count
- arguments /= Void implies arguments.valid_index(cursor)
ensure