Eiffel Media API
Overview Cluster Class Classes Index      Previous Next      Top Features

em.widget.delegates

Class EM_TEXTBOX_DELEGATE


Direct ancestors

EM_WIDGET_DELEGATE

Known direct descendants

EM_BASIC_TEXTBOX_DELEGATE, EM_BASIC_TEXTAREA_DELEGATE, EM_ECLIPSE_TEXTBOX_DELEGATE

Features

Invariants

indexing

description

Delegate of an EM_TEXTBOX.

date

$Date: 2005/10/23 11:13:20 $

revision

$Revision: 1.4 $

deferred class

EM_TEXTBOX_DELEGATE

inherit

EM_WIDGET_DELEGATE

feature -- Initialisation

install (widget: EM_WIDGET)

-- Install style on widget.
-- Set up all default values for background, border, font and colors.

-- (From EM_WIDGET_DELEGATE)

require
widget_not_void: widget /= Void
install_surface (widget: EM_WIDGET)

-- Install style on widgets surface
-- This will be called for every resize of the widget.

-- (From EM_WIDGET_DELEGATE)

require
a_widget_not_void: widget /= Void

feature -- Measurement

contains (widget: EM_WIDGET; a_x, a_y: INTEGER): BOOLEAN

-- Does widget contain a_x a_y.

-- (From EM_WIDGET_DELEGATE)

require
widget_not_void: widget /= Void
a_x_in_bounds: 0 <= a_x and a_x <= widget.width
a_y_in_bounds: 0 <= a_y and a_y <= widget.height
optimal_height (widget: EM_WIDGET): INTEGER

-- Optimal height of widget

-- (From EM_WIDGET_DELEGATE)

require
widget_not_void: widget /= Void
ensure
result_not_negative: Result >= 0
optimal_width (widget: EM_WIDGET): INTEGER

-- Optimal width of widget

-- (From EM_WIDGET_DELEGATE)

require
widget_not_void: widget /= Void
ensure
result_not_negative: Result >= 0

feature -- Basic operations

position_to_text_index (textbox: EM_TEXTBOX; a_x, a_y: INTEGER): INTEGER

-- Index in string at position a_x a_y

require
textbox_not_void: textbox /= Void

feature -- Drawing

draw_body (widget: EM_WIDGET)

-- Draw body of widget.

-- (From EM_WIDGET_DELEGATE)

require
widget_not_void: widget /= Void

invariant


-- From ANY
reflexive_equality: standard_is_equal (Current)
reflexive_conformance: conforms_to (Current)

end