/src/wrappers/gdk/library/gdk_event_expose.e

 1indexing
 2	description: "Generated when all or part of a window becomes visible and needs to be redrawn."
 3	copyright: "[
 4					Copyright (C) 2007 eiffel-libraries team, GTK+ team
 5					
 6					This library is free software; you can redistribute it and/or
 7					modify it under the terms of the GNU Lesser General Public License
 8					as published by the Free Software Foundation; either version 2.1 of
 9					the License, or (at your option) any later version.
10					
11					This library is distributed in the hope that it will be useful, but
12					WITHOUT ANY WARRANTY; without even the implied warranty of
13					MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
14					Lesser General Public License for more details.
15
16					You should have received a copy of the GNU Lesser General Public
17					License along with this library; if not, write to the Free Software
18					Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
19					02110-1301 USA
20			]"
21
22class GDK_EVENT_EXPOSE
23
24inherit
25	GDK_EVENT
26
27insert
28	GDK_EVENT_EXPOSE_EXTERNALS
29
30creation from_external_pointer
31
32feature -- access
33
34	area: GDK_RECTANGLE is
35			-- bounding box of region. 
36		do
37			create Result.from_external_copy (gdk_event_expose_get_area (handle))
38		end
39
40	region: GDK_REGION is
41			-- bounding box of region. 
42		do
43			create Result.from_external_copy (gdk_event_expose_get_region (handle))
44		end
45
46	count: INTEGER is
47			-- the number of contiguous GDK_EXPOSE events following this one.
48			-- The only use for this is "exposure compression", i.e. handling
49			-- all contiguous GDK_EXPOSE events in one go, though GDK performs
50			-- some exposure compression so this is not normally needed. 
51		do
52			Result := gdk_event_expose_get_count (handle)
53		end
54
55-- feature -- size
56-- 
57-- 	struct_size: INTEGER is
58-- 		external "C inline use <gdk/gdk.h>"
59-- 		alias "sizeof(GdkEventExpose)"
60-- 		end
61
62invariant is_event_expose
63
64end -- class GDK_EVENT_EXPOSE