Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class EV_TIMEOUT_I General cluster: implementation_interface description: "Eiffel Vision timeout. Implementation interface." Ancestors EV_ANY_I* Queries count: INTEGER_32 interval: INTEGER_32 is_destroyed: BOOLEAN is_timeout_executing: BOOLEAN Commands on_timeout reset_count set_interval (an_interval: INTEGER_32) Constraints interval not negative count not negative
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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