deferred class
	EV_FILE_DIALOG

General
	cluster: interface
	description: "EiffelVision file selection dialog."

Ancestors
	EV_STANDARD_DIALOG*

Action sequences
	cancel_actions: EV_NOTIFY_ACTION_SEQUENCE
	ok_actions: EV_NOTIFY_ACTION_SEQUENCE

Queries
	blocking_window: EV_WINDOW
	data: ANY
	file_name: STRING_32
	file_path: STRING_32
	file_title: STRING_32
	filters: ARRAYED_LIST [TUPLE [STRING_GENERAL, STRING_GENERAL]]
	height: INTEGER_32
	is_destroyed: BOOLEAN
	minimum_height: INTEGER_32
	minimum_width: INTEGER_32
	selected_button: STRING_32
	selected_filter_index: INTEGER_32
	start_directory: STRING_32
	title: STRING_32
	valid_file_name (a_name: STRING_GENERAL): BOOLEAN
	valid_file_title (a_title: STRING_GENERAL): BOOLEAN
	width: INTEGER_32
	x_position: INTEGER_32
	y_position: INTEGER_32

Commands
	copy (other: [like Current] EV_FILE_DIALOG)
	destroy
	set_data (some_data: [like data] ANY)
	set_file_name (a_name: STRING_GENERAL)
	set_height (a_height: INTEGER_32)
	set_position (a_x, a_y: INTEGER_32)
	set_size (a_width, a_height: INTEGER_32)
	set_start_directory (a_path: STRING_GENERAL)
	set_title (a_title: STRING_GENERAL)
	set_width (a_width: INTEGER_32)
	set_x_position (a_x: INTEGER_32)
	set_y_position (a_y: INTEGER_32)
	show_modal_to_window (a_window: EV_WINDOW)

Constraints
	filters not void
	start directory not void
	file name not void implies path and title not void
	valid file name
	valid file title