deferred class IMG

Features exported to ANY

Direct parents

non-conformant parents

ANY

Known children

conformant children

BMP_IMG

Summary

exported features

Details

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