PageRenderTime 25ms CodeModel.GetById 19ms app.highlight 2ms RepoModel.GetById 2ms app.codeStats 0ms

/src/wrappers/gdk/library/gdk_event_configure.e

http://github.com/tybor/Liberty
Specman e | 96 lines | 60 code | 22 blank | 14 comment | 2 complexity | bdf5857451fe71bc68c5015fdd2450b9 MD5 | raw file
 1indexing
 2	description: "."
 3	copyright: "[
 4					Copyright (C) 2007 Paolo Redaelli, $original_copyright_holder
 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_CONFIGURE
23	-- Generated when a window size or position has changed.
24	
25inherit GDK_EVENT 
26		
27creation  from_external_pointer
28
29feature
30	x: INTEGER is
31			-- the new x coordinate of the window, relative to its 
32			-- parent.
33		do
34			Result:=get_x(handle)
35		end
36
37	y: INTEGER is
38			-- the new y coordinate of the window, relative to its 
39			-- parent.
40		do
41			Result:=get_y(handle)
42		end
43
44	width: INTEGER is
45			-- the new width of the window.
46		do
47			Result:=get_width(handle)
48		end
49
50	height: INTEGER is
51			-- the new height of the window.
52		do
53			Result:=get_height(handle)
54		end
55
56feature {} -- Structure getter/setter calls
57  get_type (a_ptr: POINTER): INTEGER is
58			-- GdkEventType type;
59		external "C struct GdkEventExpose get type use <gdk/gdk.h>"
60		end
61
62
63  get_window (a_ptr: POINTER): POINTER is
64			-- GdkWindow *window;
65		external "C struct GdkEventExpose get *window use <gdk/gdk.h>"
66		end
67
68
69  get_send_event (a_ptr: POINTER): INTEGER_8 is
70			-- gint8 send_event;
71		external "C struct GdkEventExpose get send_event use <gdk/gdk.h>"
72		end
73
74  get_x (a_ptr: POINTER): INTEGER is
75			-- gint x;
76		external "C struct GdkEventExpose get x use <gdk/gdk.h>"
77		end
78
79
80  get_y (a_ptr: POINTER): INTEGER is
81			-- gint y;
82		external "C struct GdkEventExpose get y use <gdk/gdk.h>"
83		end
84
85  get_width (a_ptr: POINTER): INTEGER is
86			-- gint width;
87		external "C struct GdkEventExpose get width use <gdk/gdk.h>"
88		end
89
90  get_height (a_ptr: POINTER): INTEGER is
91			-- gint height;
92		external "C struct GdkEventExpose get height use <gdk/gdk.h>"
93		end
94
95
96end -- class GDK_EVENT_CONFIGURE