Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class EV_TIMEOUT General cluster: interface description: "Repeatedly executes a sequence of actions at a regular interval." keywords: "timout, delay, timer, background" create: default_create, make_with_interval Ancestors EV_ANY* Action sequences actions: EV_NOTIFY_ACTION_SEQUENCE Queries count: INTEGER_32 data: detachable ANY interval: INTEGER_32 is_destroyed: BOOLEAN Commands destroy reset_count set_data (some_data: [like data] detachable ANY) set_interval (an_interval: INTEGER_32) Constraints interval not negative count not negative actions not void
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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