INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Properties of a bitmap. ", "WEL: library of reusable components for Eiffel. ", "Based on WEL library for ISE Eiffel, used with permission. "
project: "Windows Eiffel Library"
copyright: "(c) 1986-1997 Interactive Software Engineering Inc. ", "Modifications and extensions: ", "(c) 1997 Object Tools ", "All rights reserved. Duplication and distribution prohibited", "May be used only with Visual Eiffel under terms of user ", "license "
cluster: wel
class WEL_LOG_BITMAP
inherit

WEL_STRUCTURE
rename
make as structure_make
end
creation

make,
make_by_bitmap
feature {NONE}-- Initialization

make (a_width, a_height, a_width_bytes, a_planes, a_bits_pixel: INTEGER; a_bits: POINTER)
require
positive_width: a_width >= 0
positive_height: a_height >= 0
positive_width_bytes: a_width_bytes >= 0
positive_planes: a_planes >= 0
positive_bits_pixel: a_bits_pixel >= 0
count_width_bytes: (a_width_bytes \\ 2) = 0
bits_not_void: a_bits /= void
ensure
type_set: type = 0
width_set: width = a_width
height_set: height = a_height
width_bytes_set: width_bytes = a_width_bytes
planes_set: planes = a_planes
bits_pixel_set: bits_pixel = a_bits_pixel
bits_set: bits = a_bits

make_by_bitmap (bitmap: WEL_BITMAP)
-- Make a log bitmap using the information of `bitmap'.
require
bitmap_not_void: bitmap /= void
bitmap_exists: bitmap.exists
feature -- Access

type: INTEGER
-- Bitmap type

width: INTEGER
-- Bitmap width
ensure
positive_result: Result >= 0

height: INTEGER
-- Bitmap height
ensure
positive_result: Result >= 0

width_bytes: INTEGER
-- Bitmap width_bytes
ensure
positive_result: Result >= 0

planes: INTEGER
-- Bitmap planes
ensure
positive_result: Result >= 0

bits_pixel: INTEGER
-- Bitmap bits_pixel
ensure
positive_result: Result >= 0

bits: POINTER
-- Bitmap bits
ensure
result_not_void: Result /= void
feature -- Element change

set_type (a_type: INTEGER)
-- Set `type' with `a_type'
ensure
set_type: type = a_type

set_width (a_width: INTEGER)
-- Set `width' with `a_width'
require
positive_width: a_width >= 0
ensure
set_width: width = a_width

set_height (a_height: INTEGER)
-- Set `height' with `a_height'
require
positive_height: a_height >= 0
ensure
set_height: height = a_height

set_width_bytes (a_width_bytes: INTEGER)
-- Set `width_bytes' with `a_width_bytes'
require
positive_width_bytes: a_width_bytes >= 0
ensure
set_width_bytes: width_bytes = a_width_bytes

set_planes (a_planes: INTEGER)
-- Set `planes' with `a_planes'
require
positive_planes: a_planes >= 0
ensure
set_planes: planes = a_planes

set_bits_pixel (a_bits_pixel: INTEGER)
-- Set `bits_pixel' with `a_bits_pixel'
require
positive_bits_pixel: a_bits_pixel >= 0
ensure
set_bits_pixel: bits_pixel = a_bits_pixel

set_bits (a_bits: POINTER)
-- Set `bits' with `a_bits'
require
bits_not_void: a_bits /= void
ensure
set_bits: bits = a_bits
feature -- Measurement

structure_size: INTEGER
-- Size to allocate (in bytes)
end -- class WEL_LOG_BITMAP

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES