Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class ACTIVE_INTEGER_INTERVAL General cluster: ise description: "Contiguous integer interval that calls an action sequence when it changes." keywords: "event, action, linked, list" create: make Ancestors INTEGER_INTERVAL Action sequences change_actions: ACTION_SEQUENCE Queries additional_space: INTEGER_32 all_cleared: BOOLEAN as_array: ARRAY [INTEGER_32] at alias "@" (i: INTEGER_32): INTEGER_32 capacity: INTEGER_32 changeable_comparison_criterion: BOOLEAN count: INTEGER_32 exists (condition: FUNCTION [INTEGER_32, BOOLEAN]): BOOLEAN exists1 (condition: FUNCTION [INTEGER_32, BOOLEAN]): BOOLEAN extendible: BOOLEAN for_all (condition: FUNCTION [INTEGER_32, BOOLEAN]): BOOLEAN full: BOOLEAN Growth_percentage: INTEGER_32 has alias "" (v: INTEGER_32): BOOLEAN hold_count (condition: FUNCTION [INTEGER_32, BOOLEAN]): INTEGER_32 index_set: INTEGER_INTERVAL is_empty: BOOLEAN is_equal (other: [like Current] ACTIVE_INTEGER_INTERVAL): BOOLEAN is_inserted (v: INTEGER_32): BOOLEAN item alias "[]" (i: INTEGER_32): INTEGER_32 linear_representation: LINEAR [INTEGER_32] lower: INTEGER_32 Lower_defined: BOOLEAN Minimal_increase: INTEGER_32 new_cursor: INDEXABLE_ITERATION_CURSOR [INTEGER_32] object_comparison: BOOLEAN occurrences (v: INTEGER_32): INTEGER_32 prunable: BOOLEAN resizable: BOOLEAN subinterval (start_pos, end_pos: INTEGER_32): [like Current] ACTIVE_INTEGER_INTERVAL upper: INTEGER_32 Upper_defined: BOOLEAN valid_index (v: INTEGER_32): BOOLEAN Commands adapt (other: INTEGER_INTERVAL) automatic_grow bag_put (v: INTEGER_32) compare_objects compare_references copy (other: [like Current] ACTIVE_INTEGER_INTERVAL) do_all (action: PROCEDURE [INTEGER_32]) extend (v: INTEGER_32) fill (other: CONTAINER [INTEGER_32]) grow (i: INTEGER_32) indexable_put (v, k: INTEGER_32) prune (v: INTEGER_32) prune_all (v: INTEGER_32) put (v: INTEGER_32) resize (min_index, max_index: INTEGER_32) resize_exactly (min_index, max_index: INTEGER_32) trim wipe_out
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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