PageRenderTime 16ms CodeModel.GetById 13ms app.highlight 1ms RepoModel.GetById 1ms app.codeStats 0ms

/src/wrappers/gtk/library/gtk_print_capabilities.e

http://github.com/tybor/Liberty
Specman e | 84 lines | 61 code | 15 blank | 8 comment | 2 complexity | b6ef42882c721eeb57e6e76f116a696f MD5 | raw file
 1indexing
 2	description: "enum GtkPrintCapabilities"
 3	copyright: "[
 4					Copyright (C) 2006 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
22deferred class GTK_PRINT_CAPABILITIES
23	-- An enum for specifying which features the print dialog should
24	-- offer. I neither `gtk_print_capability_generate_pdf' nor
25	-- `gtk_print_capability_generate_ps' is specified, GTK+ assumes
26	-- that all formats are supported.
27
28inherit ANY undefine is_equal, copy end
29
30feature  -- enum
31	are_valid_print_capabilities (some_capabilities: INTEGER): BOOLEAN is
32		do	
33			Result:=((gtk_print_capability_page_set | gtk_print_capability_copies |
34						 gtk_print_capability_collate | gtk_print_capability_reverse |
35						 gtk_print_capability_scale | gtk_print_capability_generate_pdf |
36						 gtk_print_capability_generate_ps | gtk_print_capability_preview)
37						& some_capabilities).to_boolean
38		end
39
40	gtk_print_capability_page_set: INTEGER is
41		external "C macro use <gtk/gtk.h>"
42		alias "GTK_PRINT_CAPABILITY_PAGE_SET"
43		end
44		
45	gtk_print_capability_copies: INTEGER is
46		external "C macro use <gtk/gtk.h>"
47		alias "GTK_PRINT_CAPABILITY_COPIES"
48		end
49		
50	gtk_print_capability_collate: INTEGER is
51		external "C macro use <gtk/gtk.h>"
52		alias "GTK_PRINT_CAPABILITY_COLLATE"
53		end
54		
55	gtk_print_capability_reverse: INTEGER is
56		external "C macro use <gtk/gtk.h>"
57		alias "GTK_PRINT_CAPABILITY_REVERSE"
58		end
59		
60	gtk_print_capability_scale: INTEGER is
61		external "C macro use <gtk/gtk.h>"
62		alias "GTK_PRINT_CAPABILITY_SCALE"
63		end
64		
65	gtk_print_capability_generate_pdf: INTEGER is
66			-- The program will send the document to the printer in PDF
67			-- format
68		external "C macro use <gtk/gtk.h>"
69		alias "GTK_PRINT_CAPABILITY_GENERATE_PDF"
70		end
71		
72	gtk_print_capability_generate_ps: INTEGER is
73			-- The program will send the document to the printer in
74			-- Postscript format
75		external "C macro use <gtk/gtk.h>"
76		alias "GTK_PRINT_CAPABILITY_GENERATE_PS"
77		end
78		
79	gtk_print_capability_preview: INTEGER is
80		external "C macro use <gtk/gtk.h>"
81		alias "GTK_PRINT_CAPABILITY_PREVIEW"
82		end
83		
84end