class
	ACTION_SEQUENCE [EVENT_DATA -> detachable TUPLE create default_create end]

General
	cluster: ise
	description: "A sequence of actions to be performed on call."
	keywords: event, action
	create: default_create, make, arrayed_list_make, make_filled

Ancestors
	INTERACTIVE_LIST* [G]

Queries
	additional_space: INTEGER_32
	after: BOOLEAN
	all_default: BOOLEAN
	area: SPECIAL [PROCEDURE [EVENT_DATA]]
	area_v2: SPECIAL [PROCEDURE [EVENT_DATA]]
	array_at (i: INTEGER_32): PROCEDURE [EVENT_DATA]
	array_item (i: INTEGER_32): PROCEDURE [EVENT_DATA]
	array_valid_index (i: INTEGER_32): BOOLEAN
	at alias "@" (i: INTEGER_32): [like item] PROCEDURE [EVENT_DATA]
	before: BOOLEAN
	Blocked_state: INTEGER_32
	call_is_underway: BOOLEAN
	capacity: INTEGER_32
	changeable_comparison_criterion: BOOLEAN
	count: INTEGER_32
	cursor: ARRAYED_LIST_CURSOR
	empty_actions: ARRAYED_LIST [PROCEDURE]
	exhausted: BOOLEAN
	extendible: BOOLEAN
	first: [like item] PROCEDURE [EVENT_DATA]
	for_all (test: FUNCTION [PROCEDURE [EVENT_DATA], BOOLEAN]): BOOLEAN
	full: BOOLEAN
	Growth_percentage: INTEGER_32
	has (v: [like item] PROCEDURE [EVENT_DATA]): BOOLEAN
	has_kamikaze_action (an_action: [like item] PROCEDURE [EVENT_DATA]): BOOLEAN
	i_th alias "[]" (i: INTEGER_32): [like item] PROCEDURE [EVENT_DATA]
	index: INTEGER_32
	index_of (v: [like item] PROCEDURE [EVENT_DATA]; i: INTEGER_32): INTEGER_32
	is_empty: BOOLEAN
	is_equal (other: [like Current] ACTION_SEQUENCE [EVENT_DATA]): BOOLEAN
	is_inserted (v: PROCEDURE [EVENT_DATA]): BOOLEAN
	isfirst: BOOLEAN
	islast: BOOLEAN
	item: PROCEDURE [EVENT_DATA]
	item_for_iteration: PROCEDURE [EVENT_DATA]
	last: [like first] PROCEDURE [EVENT_DATA]
	linear_representation: LINEAR [PROCEDURE [EVENT_DATA]]
	Lower: INTEGER_32
	Minimal_increase: INTEGER_32
	Mismatch_information: MISMATCH_INFORMATION
	name: detachable STRING_8
	new_cursor: ARRAYED_LIST_ITERATION_CURSOR [PROCEDURE [EVENT_DATA]]
	Normal_state: INTEGER_32
	not_empty_actions: ARRAYED_LIST [PROCEDURE]
	object_comparison: BOOLEAN
	occurrences (v: [like item] PROCEDURE [EVENT_DATA]): INTEGER_32
	off: BOOLEAN
	Paused_state: INTEGER_32
	prunable: BOOLEAN
	readable: BOOLEAN
	replaceable: BOOLEAN
	resizable: BOOLEAN
	sequential_has (v: [like item] PROCEDURE [EVENT_DATA]): BOOLEAN
	sequential_index_of (v: [like item] PROCEDURE [EVENT_DATA]; i: INTEGER_32): INTEGER_32
	sequential_occurrences (v: [like item] PROCEDURE [EVENT_DATA]): INTEGER_32
	state: INTEGER_32
	there_exists (test: FUNCTION [PROCEDURE [EVENT_DATA], BOOLEAN]): BOOLEAN
	to_array: ARRAY [PROCEDURE [EVENT_DATA]]
	upper: INTEGER_32
	valid_cursor (p: CURSOR): BOOLEAN
	valid_cursor_index (i: INTEGER_32): BOOLEAN
	valid_index (i: INTEGER_32): BOOLEAN
	writable: BOOLEAN

Commands
	abort
	append (s: SEQUENCE [[like item] PROCEDURE [EVENT_DATA]])
	array_put (v: PROCEDURE [EVENT_DATA]; i: INTEGER_32)
	arrayed_list_make (n: INTEGER_32)
	automatic_grow
	back
	block
	call (event_data: detachable EVENT_DATA)
	chain_wipe_out
	compare_objects
	compare_references
	copy (other: [like Current] ACTION_SEQUENCE [EVENT_DATA])
	correct_mismatch
	do_all (action: PROCEDURE [PROCEDURE [EVENT_DATA]])
	do_all_with_index (action: PROCEDURE [PROCEDURE [EVENT_DATA], INTEGER_32])
	do_if (action: PROCEDURE [PROCEDURE [EVENT_DATA]]; test: FUNCTION [PROCEDURE [EVENT_DATA], BOOLEAN])
	do_if_with_index (action: PROCEDURE [PROCEDURE [EVENT_DATA], INTEGER_32]; test: FUNCTION [PROCEDURE [EVENT_DATA], INTEGER_32, BOOLEAN])
	extend (v: [like item] PROCEDURE [EVENT_DATA])
	extend_kamikaze (an_item: [like item] PROCEDURE [EVENT_DATA])
	fill (other: CONTAINER [PROCEDURE [EVENT_DATA]])
	finish
	flush
	force (v: [like item] PROCEDURE [EVENT_DATA])
	forth
	go_i_th (i: INTEGER_32)
	go_to (p: CURSOR)
	grow (i: INTEGER_32)
	make_filled (n: INTEGER_32)
	merge_left (other: [like Current] ACTION_SEQUENCE [EVENT_DATA])
	merge_right (other: [like Current] ACTION_SEQUENCE [EVENT_DATA])
	move (i: INTEGER_32)
	on_item_added_at (an_item: [like item] PROCEDURE [EVENT_DATA]; item_index: INTEGER_32)
	on_item_removed_at (an_item: [like item] PROCEDURE [EVENT_DATA]; item_index: INTEGER_32)
	pause
	prune (v: [like item] PROCEDURE [EVENT_DATA])
	prune_all (v: [like item] PROCEDURE [EVENT_DATA])
	prune_when_called (an_action: [like item] PROCEDURE [EVENT_DATA])
	put (v: [like item] PROCEDURE [EVENT_DATA])
	put_front (v: [like item] PROCEDURE [EVENT_DATA])
	put_i_th (v: [like i_th] PROCEDURE [EVENT_DATA]; i: INTEGER_32)
	put_left (v: [like item] PROCEDURE [EVENT_DATA])
	put_right (v: [like item] PROCEDURE [EVENT_DATA])
	remove
	remove_i_th (i: INTEGER_32)
	remove_left
	remove_right
	replace (v: [like item] PROCEDURE [EVENT_DATA])
	resize (new_capacity: INTEGER_32)
	resume
	search (v: [like item] PROCEDURE [EVENT_DATA])
	sequence_put (v: [like item] PROCEDURE [EVENT_DATA])
	start
	swap (i: INTEGER_32)
	trim
	update_for_added (start_index: INTEGER_32)
	wipe_out

Constraints
	is aborted stack not void
	call buffer not void
	valid state
	call buffer consistent
	not empty actions not void
	empty actions not void

Generated by ISE EiffelStudio