class BMP_IMG

All features

Direct parents

conformant parents

IMG

Summary

creation features

exported features

Details

load_from_file (file_name: STRING)

require

  • is_loaded = False
  • is_useable(file_name)

ensure

  • is_loaded implies pixels /= Void

load_from_file (file_name: STRING)

require

  • is_loaded = False
  • is_useable(file_name)

ensure

  • is_loaded implies pixels /= Void

load_without_compression (size: INTEGER)

require

  • size > 0

load_8_bit_run_length_encoding (size: INTEGER)

require

  • size > 0

load_4_bit_run_length_encoding (size: INTEGER)

require

  • size > 0

load_rgb_bitmap_with_mask (size: INTEGER)

require

  • size > 0

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