deferred load_from_file (file_name: STRING) |
require
ensure
|
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] |
read_byte: INTEGER |
read_integer_16_little_endian: INTEGER |
read_integer_16_big_endian: INTEGER |
read_integer_32_little_endian: INTEGER |
read_integer_32_big_endian: INTEGER |