/src/wrappers/gdk/library/gdk_event_expose.e
Specman e | 64 lines | 38 code | 14 blank | 12 comment | 2 complexity | e18bc55ad011410ef106316ffb3997c7 MD5 | raw file
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