1/*
2 * This file is part of the WebKit open source project.
3 *
4 * This library is free software; you can redistribute it and/or
5 * modify it under the terms of the GNU Library General Public
6 * License as published by the Free Software Foundation; either
7 * version 2 of the License, or (at your option) any later version.
8 *
9 * This library is distributed in the hope that it will be useful,
10 * but WITHOUT ANY WARRANTY; without even the implied warranty of
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
12 * Library General Public License for more details.
13 *
14 * You should have received a copy of the GNU Library General Public License
15 * along with this library; see the file COPYING.LIB. If not, write to
16 * the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
17 * Boston, MA 02110-1301, USA.
18 */
19
20#if !defined(__WEBKITDOM_H_INSIDE__) && !defined(BUILDING_WEBKIT)
21#error "Only <webkitdom/webkitdom.h> can be included directly."
22#endif
23
24#ifndef WebKitDOMHTMLPreElement_h
25#define WebKitDOMHTMLPreElement_h
26
27#include <glib-object.h>
28#include <webkitdom/WebKitDOMHTMLElement.h>
29#include <webkitdom/webkitdomdefines.h>
30
31G_BEGIN_DECLS
32
33#define WEBKIT_DOM_TYPE_HTML_PRE_ELEMENT (webkit_dom_html_pre_element_get_type())
34#define WEBKIT_DOM_HTML_PRE_ELEMENT(obj) (G_TYPE_CHECK_INSTANCE_CAST((obj), WEBKIT_DOM_TYPE_HTML_PRE_ELEMENT, WebKitDOMHTMLPreElement))
35#define WEBKIT_DOM_HTML_PRE_ELEMENT_CLASS(klass) (G_TYPE_CHECK_CLASS_CAST((klass), WEBKIT_DOM_TYPE_HTML_PRE_ELEMENT, WebKitDOMHTMLPreElementClass)
36#define WEBKIT_DOM_IS_HTML_PRE_ELEMENT(obj) (G_TYPE_CHECK_INSTANCE_TYPE((obj), WEBKIT_DOM_TYPE_HTML_PRE_ELEMENT))
37#define WEBKIT_DOM_IS_HTML_PRE_ELEMENT_CLASS(klass) (G_TYPE_CHECK_CLASS_TYPE((klass), WEBKIT_DOM_TYPE_HTML_PRE_ELEMENT))
38#define WEBKIT_DOM_HTML_PRE_ELEMENT_GET_CLASS(obj) (G_TYPE_INSTANCE_GET_CLASS((obj), WEBKIT_DOM_TYPE_HTML_PRE_ELEMENT, WebKitDOMHTMLPreElementClass))
39
40struct _WebKitDOMHTMLPreElement {
41 WebKitDOMHTMLElement parent_instance;
42};
43
44struct _WebKitDOMHTMLPreElementClass {
45 WebKitDOMHTMLElementClass parent_class;
46};
47
48WEBKIT_DEPRECATED GType
49webkit_dom_html_pre_element_get_type(void);
50
51/**
52 * webkit_dom_html_pre_element_get_width:
53 * @self: A #WebKitDOMHTMLPreElement
54 *
55 * Returns: A #glong
56 *
57 * Deprecated: 2.22: Use JavaScriptCore API instead
58**/
59WEBKIT_DEPRECATED glong
60webkit_dom_html_pre_element_get_width(WebKitDOMHTMLPreElement* self);
61
62/**
63 * webkit_dom_html_pre_element_set_width:
64 * @self: A #WebKitDOMHTMLPreElement
65 * @value: A #glong
66 *
67 *
68 * Deprecated: 2.22: Use JavaScriptCore API instead
69**/
70WEBKIT_DEPRECATED void
71webkit_dom_html_pre_element_set_width(WebKitDOMHTMLPreElement* self, glong value);
72
73/**
74 * webkit_dom_html_pre_element_get_wrap:
75 * @self: A #WebKitDOMHTMLPreElement
76 *
77 * Returns: A #gboolean
78 *
79 * Deprecated: 2.22: Use JavaScriptCore API instead
80**/
81WEBKIT_DEPRECATED gboolean
82webkit_dom_html_pre_element_get_wrap(WebKitDOMHTMLPreElement* self);
83
84/**
85 * webkit_dom_html_pre_element_set_wrap:
86 * @self: A #WebKitDOMHTMLPreElement
87 * @value: A #gboolean
88 *
89 *
90 * Deprecated: 2.22: Use JavaScriptCore API instead
91**/
92WEBKIT_DEPRECATED void
93webkit_dom_html_pre_element_set_wrap(WebKitDOMHTMLPreElement* self, gboolean value);
94
95G_END_DECLS
96
97#endif /* WebKitDOMHTMLPreElement_h */
98