deferred class IMG
Features exported to
ANY
Direct parents
non-conformant parents
ANY
Known children
conformant children
BMP_IMG
Summary
exported features
load_from_file
(file_name:
STRING
)
is_loaded
:
BOOLEAN
width
:
INTEGER
height
:
INTEGER
planes
:
INTEGER
bits_per_pixel
:
INTEGER
x_resolution
:
INTEGER
y_resolution
:
INTEGER
pixels
:
FAST_ARRAY
[
E_
][
REAL_32
]
Details
deferred
load_from_file
(file_name:
STRING
)
require
is_loaded = False
ensure
is_loaded implies pixels /= Void
is_loaded
:
BOOLEAN
width
:
INTEGER
height
:
INTEGER
planes
:
INTEGER
bits_per_pixel
:
INTEGER
x_resolution
:
INTEGER
y_resolution
:
INTEGER
pixels
:
FAST_ARRAY
[
E_
][
REAL_32
]