+
Point of view
All features
class EDC_STRING_COLUMN_VALUE
require
-
at_least_one_column: not_recursive
ensure
require
-
at_least_one_column: not_recursive
ensure
require
-
at_least_one_column: not_recursive
ensure
require
-
at_least_one_column: not_recursive
ensure
require
-
at_least_one_column: not_recursive
ensure
require
-
at_least_one_column: not_recursive
ensure
require
-
at_least_one_column: not_recursive
ensure
require
-
at_least_one_column: not_recursive
ensure
require
-
at_least_one_column: not_recursive
ensure
require
-
at_least_one_column: not_recursive
ensure
require
-
at_least_one_column: not_recursive
ensure
require
-
at_least_one_column: not_recursive
ensure
require
- a_columns.count = a_data.count
ensure
- Result /= Void implies Result.item /= Void
require
- arguments = Void implies open_count = 0
- arguments /= Void implies arguments.count >= open_count
- arguments /= Void implies arguments.valid_index(cursor)
ensure
- old can_call implies Result = cursor
- not old can_call implies Result > cursor
- can_call