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 WebKitDOMHTMLHtmlElement_h
25#define WebKitDOMHTMLHtmlElement_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_HTML_ELEMENT (webkit_dom_html_html_element_get_type())
34#define WEBKIT_DOM_HTML_HTML_ELEMENT(obj) (G_TYPE_CHECK_INSTANCE_CAST((obj), WEBKIT_DOM_TYPE_HTML_HTML_ELEMENT, WebKitDOMHTMLHtmlElement))
35#define WEBKIT_DOM_HTML_HTML_ELEMENT_CLASS(klass) (G_TYPE_CHECK_CLASS_CAST((klass), WEBKIT_DOM_TYPE_HTML_HTML_ELEMENT, WebKitDOMHTMLHtmlElementClass)
36#define WEBKIT_DOM_IS_HTML_HTML_ELEMENT(obj) (G_TYPE_CHECK_INSTANCE_TYPE((obj), WEBKIT_DOM_TYPE_HTML_HTML_ELEMENT))
37#define WEBKIT_DOM_IS_HTML_HTML_ELEMENT_CLASS(klass) (G_TYPE_CHECK_CLASS_TYPE((klass), WEBKIT_DOM_TYPE_HTML_HTML_ELEMENT))
38#define WEBKIT_DOM_HTML_HTML_ELEMENT_GET_CLASS(obj) (G_TYPE_INSTANCE_GET_CLASS((obj), WEBKIT_DOM_TYPE_HTML_HTML_ELEMENT, WebKitDOMHTMLHtmlElementClass))
39
40struct _WebKitDOMHTMLHtmlElement {
41 WebKitDOMHTMLElement parent_instance;
42};
43
44struct _WebKitDOMHTMLHtmlElementClass {
45 WebKitDOMHTMLElementClass parent_class;
46};
47
48WEBKIT_DEPRECATED GType
49webkit_dom_html_html_element_get_type(void);
50
51/**
52 * webkit_dom_html_html_element_get_version:
53 * @self: A #WebKitDOMHTMLHtmlElement
54 *
55 * Returns: A #gchar
56 *
57 * Deprecated: 2.22: Use JavaScriptCore API instead
58**/
59WEBKIT_DEPRECATED gchar*
60webkit_dom_html_html_element_get_version(WebKitDOMHTMLHtmlElement* self);
61
62/**
63 * webkit_dom_html_html_element_set_version:
64 * @self: A #WebKitDOMHTMLHtmlElement
65 * @value: A #gchar
66 *
67 *
68 * Deprecated: 2.22: Use JavaScriptCore API instead
69**/
70WEBKIT_DEPRECATED void
71webkit_dom_html_html_element_set_version(WebKitDOMHTMLHtmlElement* self, const gchar* value);
72
73G_END_DECLS
74
75#endif /* WebKitDOMHTMLHtmlElement_h */
76