deferred class IMAGE

Features exported to INTERNALS_HANDLER

This class allow to draw an image in memory (process memory) and send it to the display. Each draw require lots of network if the display is remote. A draw require hard work to convert the image into display format (be the display local or remote). See PIXMAP for image stored in the "display" memory.

Direct parents

conformant parents

DRAWABLE

Summary

exported features

Details

width: INTEGER
height: INTEGER
depth: INTEGER
min_width: INTEGER
min_height: INTEGER
std_width: INTEGER
std_height: INTEGER
widget: POINTER
storage: NATIVE_ARRAY [E_][CHARACTER]
count: INTEGER
put (c: CHARACTER, i: INTEGER)

Put c at position index.

require

  • valid_index: i.in_range(0, count - 1)

deferred clear_without_expose

clear the all the drawable area. WARNING: don't redraw the content (no expose event)

parent: CONTAINER
pos_x: INTEGER
pos_y: INTEGER
x_shrink_allowed: BOOLEAN
x_expand_allowed: BOOLEAN
y_shrink_allowed: BOOLEAN
y_expand_allowed: BOOLEAN
valid_width (w: INTEGER): BOOLEAN
valid_height (h: INTEGER): BOOLEAN
area: RECT
root_area: RECT
set_x_shrink (b: BOOLEAN)
set_x_expand (b: BOOLEAN)
set_y_shrink (b: BOOLEAN)
set_y_expand (b: BOOLEAN)
set_shrink (b: BOOLEAN)

change both x and y shrink state

set_expand (b: BOOLEAN)

change both x and y expand state

state: INTEGER

use values from STATE_CONSTANTS

frozen is_state_normal: BOOLEAN
frozen is_state_active: BOOLEAN
frozen is_state_prelight: BOOLEAN
frozen is_state_selected: BOOLEAN
frozen is_state_insensitive: BOOLEAN
deferred hash_code: INTEGER

The hash-code value of Current.

ensure

  • good_hash_value: Result >= 0

deferred is_equal (other: IMAGE): BOOLEAN

Is other attached to an object considered equal to current object ?

require

  • other /= Void

ensure

  • Result implies hash_code = other.hash_code
  • commutative: generating_type = other.generating_type implies Result = other.is_equal(Current)

Class invariant