load_from_file (file_name: STRING) |
require
ensure
|
load_from_file (file_name: STRING) |
require
ensure
|
load_without_compression (size: INTEGER) |
require
|
load_8_bit_run_length_encoding (size: INTEGER) |
require
|
load_4_bit_run_length_encoding (size: INTEGER) |
require
|
load_rgb_bitmap_with_mask (size: INTEGER) |
require
|
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 |
file: BINARY_FILE_READ |
is_useable (file_name: STRING): BOOLEAN |