+
Point of view
EDC_CALL_HANDLER
deferred class EDC_CONNECTION
is_equal (other: EDC_CONNECTION):
BOOLEAN
deferred function
require
ensure
-
commutative: generating_type = other.generating_type implies Result = other.is_equal(Current)
require
ensure
- Result.is_active
- Result.name.is_equal(name)
require
ensure
- not a_savepoint.is_active
set_auto_commit (a_auto_commit:
BOOLEAN)
deferred procedure
require
- a_table.connection = Void
-
new_table: not has_table_name(a_table.name)
-
has_columns: a_table.count_column > 0
ensure
- a_table.connection = Current
require
-
known_table: a_table.connection = Current
require
- not a_table_name.is_empty
set_fetch_direction (a_fetch_direction:
INTEGER_32)
deferred procedure
require
ensure
- Result /= Void implies Result.is_before_first
require
- a_update /= Void
- a_values /= Void
require
- not a_columns.is_empty
- a_columns.count = a_values.count