home
wiki
classes/clusters list
class information
+
Point of view
INTERNALS_HANDLER
ANY
IMAGE
INTERNALS_HANDLER
All features
class BMP_IMG
Summary
top
Direct parents
inherit list:
IMG
Overview
top
creation features
load_from_file
(file_name:
STRING
)
exported features
load_from_file
(file_name:
STRING
)
is_loaded
:
BOOLEAN
width
:
INTEGER_32
height
:
INTEGER_32
planes
:
INTEGER_32
bits_per_pixel
:
INTEGER_32
x_resolution
:
INTEGER_32
y_resolution
:
INTEGER_32
pixels
:
FAST_ARRAY
[
REAL_32
]
load_from_file
(file_name:
STRING
)
effective procedure
top
require
is_loaded = False
ensure
is_loaded implies pixels /= Void
is_loaded
:
BOOLEAN
writable attribute
top
width
:
INTEGER_32
writable attribute
top
height
:
INTEGER_32
writable attribute
top
planes
:
INTEGER_32
writable attribute
top
bits_per_pixel
:
INTEGER_32
writable attribute
top
x_resolution
:
INTEGER_32
writable attribute
top
y_resolution
:
INTEGER_32
writable attribute
top
pixels
:
FAST_ARRAY
[
REAL_32
]
writable attribute
top