class BMP_IMG

Features exported to IMAGE

Direct parents

conformant parents

IMG

Summary

creation features

exported features

Details

load_from_file (file_name: STRING)

require

  • is_loaded = False

ensure

  • is_loaded implies pixels /= Void

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]
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