1/*
2 * Copyright (C) 2008 Gustavo Noronha Silva
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#ifndef webkitwebinspector_h
21#define webkitwebinspector_h
22
23#include <glib-object.h>
24
25#include <webkit/webkitdomdefines.h>
26#include <webkit/webkitdefines.h>
27
28G_BEGIN_DECLS
29
30#define WEBKIT_TYPE_WEB_INSPECTOR            (webkit_web_inspector_get_type())
31#define WEBKIT_WEB_INSPECTOR(obj)            (G_TYPE_CHECK_INSTANCE_CAST((obj), WEBKIT_TYPE_WEB_INSPECTOR, WebKitWebInspector))
32#define WEBKIT_WEB_INSPECTOR_CLASS(klass)    (G_TYPE_CHECK_CLASS_CAST((klass),  WEBKIT_TYPE_WEB_INSPECTOR, WebKitWebInspectorClass))
33#define WEBKIT_IS_WEB_INSPECTOR(obj)         (G_TYPE_CHECK_INSTANCE_TYPE((obj), WEBKIT_TYPE_WEB_INSPECTOR))
34#define WEBKIT_IS_WEB_INSPECTOR_CLASS(klass) (G_TYPE_CHECK_CLASS_TYPE((klass),  WEBKIT_TYPE_WEB_INSPECTOR))
35#define WEBKIT_WEB_INSPECTOR_GET_CLASS(obj)  (G_TYPE_INSTANCE_GET_CLASS((obj),  WEBKIT_TYPE_WEB_INSPECTOR, WebKitWebInspectorClass))
36
37typedef struct _WebKitWebInspectorPrivate WebKitWebInspectorPrivate;
38
39struct _WebKitWebInspector {
40    GObject parent_instance;
41
42    WebKitWebInspectorPrivate* priv;
43};
44
45struct _WebKitWebInspectorClass {
46    GObjectClass parent_class;
47
48    /* Padding for future expansion */
49    void (*_webkit_reserved1) (void);
50    void (*_webkit_reserved2) (void);
51    void (*_webkit_reserved3) (void);
52    void (*_webkit_reserved4) (void);
53};
54
55WEBKIT_API GType
56webkit_web_inspector_get_type (void);
57
58WEBKIT_API WebKitWebView*
59webkit_web_inspector_get_web_view(WebKitWebInspector* web_inspector);
60
61WEBKIT_API const gchar*
62webkit_web_inspector_get_inspected_uri(WebKitWebInspector* web_inspector);
63
64WEBKIT_API void
65webkit_web_inspector_inspect_node(WebKitWebInspector* webInspector, WebKitDOMNode* node);
66
67WEBKIT_API void
68webkit_web_inspector_inspect_coordinates(WebKitWebInspector* web_inspector, gdouble x, gdouble y);
69
70WEBKIT_API void
71webkit_web_inspector_show(WebKitWebInspector* webInspector);
72
73WEBKIT_API void
74webkit_web_inspector_close(WebKitWebInspector* webInspector);
75G_END_DECLS
76
77#endif /* webkitwebinspector_h */
78