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 WebKitDOMHTMLMarqueeElement_h
25#define WebKitDOMHTMLMarqueeElement_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_MARQUEE_ELEMENT (webkit_dom_html_marquee_element_get_type())
34#define WEBKIT_DOM_HTML_MARQUEE_ELEMENT(obj) (G_TYPE_CHECK_INSTANCE_CAST((obj), WEBKIT_DOM_TYPE_HTML_MARQUEE_ELEMENT, WebKitDOMHTMLMarqueeElement))
35#define WEBKIT_DOM_HTML_MARQUEE_ELEMENT_CLASS(klass) (G_TYPE_CHECK_CLASS_CAST((klass), WEBKIT_DOM_TYPE_HTML_MARQUEE_ELEMENT, WebKitDOMHTMLMarqueeElementClass)
36#define WEBKIT_DOM_IS_HTML_MARQUEE_ELEMENT(obj) (G_TYPE_CHECK_INSTANCE_TYPE((obj), WEBKIT_DOM_TYPE_HTML_MARQUEE_ELEMENT))
37#define WEBKIT_DOM_IS_HTML_MARQUEE_ELEMENT_CLASS(klass) (G_TYPE_CHECK_CLASS_TYPE((klass), WEBKIT_DOM_TYPE_HTML_MARQUEE_ELEMENT))
38#define WEBKIT_DOM_HTML_MARQUEE_ELEMENT_GET_CLASS(obj) (G_TYPE_INSTANCE_GET_CLASS((obj), WEBKIT_DOM_TYPE_HTML_MARQUEE_ELEMENT, WebKitDOMHTMLMarqueeElementClass))
39
40struct _WebKitDOMHTMLMarqueeElement {
41 WebKitDOMHTMLElement parent_instance;
42};
43
44struct _WebKitDOMHTMLMarqueeElementClass {
45 WebKitDOMHTMLElementClass parent_class;
46};
47
48WEBKIT_DEPRECATED GType
49webkit_dom_html_marquee_element_get_type(void);
50
51/**
52 * webkit_dom_html_marquee_element_start:
53 * @self: A #WebKitDOMHTMLMarqueeElement
54 *
55 *
56 * Deprecated: 2.22: Use JavaScriptCore API instead
57**/
58WEBKIT_DEPRECATED void
59webkit_dom_html_marquee_element_start(WebKitDOMHTMLMarqueeElement* self);
60
61/**
62 * webkit_dom_html_marquee_element_stop:
63 * @self: A #WebKitDOMHTMLMarqueeElement
64 *
65 *
66 * Deprecated: 2.22: Use JavaScriptCore API instead
67**/
68WEBKIT_DEPRECATED void
69webkit_dom_html_marquee_element_stop(WebKitDOMHTMLMarqueeElement* self);
70
71G_END_DECLS
72
73#endif /* WebKitDOMHTMLMarqueeElement_h */
74