class BMP_IMG

Features exported to INTERNALS_HANDLER

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]