45 lines
738 B
Plaintext
45 lines
738 B
Plaintext
note
|
|
description: "Summary description for {SE_DIMENSION}."
|
|
author: ""
|
|
date: "$Date$"
|
|
revision: "$Revision$"
|
|
|
|
class
|
|
SE_DIMENSION
|
|
create
|
|
default_create,
|
|
make_with_values
|
|
|
|
feature -- Initialization
|
|
|
|
make_with_values (a_width : NATURAL_32; a_height : NATURAL_32)
|
|
do
|
|
set_width (a_width)
|
|
set_height (a_height)
|
|
end
|
|
|
|
feature -- Access
|
|
--{ width: number, height: number} The size of the window.
|
|
width : NATURAL_32
|
|
height : NATURAL_32
|
|
-- The width and height of the element, in pixels.
|
|
|
|
|
|
feature -- Change Element
|
|
set_width (a_width : NATURAL_32)
|
|
--Set width to `a_width'
|
|
do
|
|
width := a_width
|
|
ensure
|
|
width_set : width = a_width
|
|
end
|
|
|
|
set_height (a_height : NATURAL_32)
|
|
do
|
|
height := a_height
|
|
end
|
|
|
|
|
|
|
|
end
|