indexing
description: "OLE Automation."
note: "Automatically generated by the EiffelCOM Wizard."
deferred class interface
PICTURE_INTERFACE
feature
h_pal: INTEGER
require
h_pal_user_precondition: h_pal_user_precondition
handle: INTEGER
require
handle_user_precondition: handle_user_precondition
height: INTEGER
require
height_user_precondition: height_user_precondition
item: POINTER
ECOM_INTERFACE
type: INTEGER
require
type_user_precondition: type_user_precondition
width: INTEGER
require
width_user_precondition: width_user_precondition
feature
render (hdc: INTEGER; x: INTEGER; y: INTEGER; cx: INTEGER; cy: INTEGER; x_src: INTEGER; y_src: INTEGER; cx_src: INTEGER; cy_src: INTEGER; prc_wbounds: POINTER)
hdc
x
y
cx
cy
x_src
y_src
cx_src
cy_src
prc_wbounds
require
render_user_precondition: render_user_precondition (hdc, x, y, cx, cy, x_src, y_src, cx_src, cy_src, prc_wbounds)
feature
set_h_pal (a_value: INTEGER)
require
set_h_pal_user_precondition: set_h_pal_user_precondition (a_value)
feature
h_pal_user_precondition: BOOLEAN
h_pal
handle_user_precondition: BOOLEAN
handle
height_user_precondition: BOOLEAN
height
render_user_precondition (hdc: INTEGER; x: INTEGER; y: INTEGER; cx: INTEGER; cy: INTEGER; x_src: INTEGER; y_src: INTEGER; cx_src: INTEGER; cy_src: INTEGER; prc_wbounds: POINTER): BOOLEAN
render
set_h_pal_user_precondition (a_value: INTEGER): BOOLEAN
set_h_pal
type_user_precondition: BOOLEAN
type
width_user_precondition: BOOLEAN
width
invariant
ANY
reflexive_equality: standard_is_equal (Current)
reflexive_conformance: conforms_to (Current)
end -- PICTURE_INTERFACE