deferred class IMG

All features

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
  • is_useable(file_name)

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
file: BINARY_FILE_READ
is_useable (file_name: STRING): BOOLEAN