load_from_file (file_name: STRING) |
require
ensure
|
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] |