home
wiki
classes/clusters list
class information
+
Point of view
All features
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
)
features
load_from_file
(file_name:
STRING
)
load_without_compression
(size:
INTEGER_32
)
load_8_bit_run_length_encoding
(size:
INTEGER_32
)
load_4_bit_run_length_encoding
(size:
INTEGER_32
)
load_rgb_bitmap_with_mask
(size:
INTEGER_32
)
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
]
read_byte
:
INTEGER_32
read_integer_16_little_endian
:
INTEGER_32
read_integer_16_big_endian
:
INTEGER_32
read_integer_32_little_endian
:
INTEGER_32
read_integer_32_big_endian
:
INTEGER_32
file
:
BINARY_FILE_READ
is_useable
(file_name:
STRING
):
BOOLEAN
load_from_file
(file_name:
STRING
)
effective procedure
top
require
is_loaded = False
is_useable(file_name)
ensure
is_loaded implies pixels /= Void
load_without_compression
(size:
INTEGER_32
)
effective procedure
top
require
size > 0
load_8_bit_run_length_encoding
(size:
INTEGER_32
)
effective procedure
top
require
size > 0
load_4_bit_run_length_encoding
(size:
INTEGER_32
)
effective procedure
top
require
size > 0
load_rgb_bitmap_with_mask
(size:
INTEGER_32
)
effective procedure
top
require
size > 0
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
read_byte
:
INTEGER_32
effective function
top
read_integer_16_little_endian
:
INTEGER_32
effective function
top
read_integer_16_big_endian
:
INTEGER_32
effective function
top
read_integer_32_little_endian
:
INTEGER_32
effective function
top
read_integer_32_big_endian
:
INTEGER_32
effective function
top
file
:
BINARY_FILE_READ
writable attribute
top
is_useable
(file_name:
STRING
):
BOOLEAN
effective function
top