Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class TRANSACTION General cluster: transfer description: "Data transactions" Ancestors ANY Queries count: INTEGER_32 error: BOOLEAN is_correct: BOOLEAN source: DATA_RESOURCE succeeded: BOOLEAN target: DATA_RESOURCE Commands execute reset_error
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org