/* * Copyright (C) 2012 Igalia S.L. * * This library is free software; you can redistribute it and/or * modify it under the terms of the GNU Lesser General Public * License as published by the Free Software Foundation; either * version 2,1 of the License, or (at your option) any later version. * * This library is distributed in the hope that it will be useful, * but WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU * Library General Public License for more details. * * You should have received a copy of the GNU Library General Public License * along with this library; see the file COPYING.LIB. If not, write to * the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, * Boston, MA 02110-1301, USA. */ #if !defined(__WEBKIT_WEB_EXTENSION_H_INSIDE__) && !defined(WEBKIT2_COMPILATION) #error "Only can be included directly." #endif #ifndef WebKitWebPage_h #define WebKitWebPage_h #include #include #include G_BEGIN_DECLS #define WEBKIT_TYPE_WEB_PAGE (webkit_web_page_get_type()) #define WEBKIT_WEB_PAGE(obj) (G_TYPE_CHECK_INSTANCE_CAST((obj), WEBKIT_TYPE_WEB_PAGE, WebKitWebPage)) #define WEBKIT_IS_WEB_PAGE(obj) (G_TYPE_CHECK_INSTANCE_TYPE((obj), WEBKIT_TYPE_WEB_PAGE)) #define WEBKIT_WEB_PAGE_CLASS(klass) (G_TYPE_CHECK_CLASS_CAST((klass), WEBKIT_TYPE_WEB_PAGE, WebKitWebPageClass)) #define WEBKIT_IS_WEB_PAGE_CLASS(klass) (G_TYPE_CHECK_CLASS_TYPE((klass), WEBKIT_TYPE_WEB_PAGE)) #define WEBKIT_WEB_PAGE_GET_CLASS(obj) (G_TYPE_INSTANCE_GET_CLASS((obj), WEBKIT_TYPE_WEB_PAGE, WebKitWebPageClass)) typedef struct _WebKitWebPage WebKitWebPage; typedef struct _WebKitWebPageClass WebKitWebPageClass; typedef struct _WebKitWebPagePrivate WebKitWebPagePrivate; struct _WebKitWebPage { GObject parent; WebKitWebPagePrivate *priv; }; struct _WebKitWebPageClass { GObjectClass parent_class; }; WEBKIT_API GType webkit_web_page_get_type (void); WEBKIT_API WebKitDOMDocument * webkit_web_page_get_dom_document (WebKitWebPage *web_page); WEBKIT_API guint64 webkit_web_page_get_id (WebKitWebPage *web_page); WEBKIT_API const gchar * webkit_web_page_get_uri (WebKitWebPage *web_page); G_END_DECLS #endif