/* Stubby - Generate stubs for dynamic-link libraries.
 * Copyright 1999 Tom Rothamel
 *
 * Stubby is free software; you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation; either version 2, or (at your option)
 * any later version. It 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 General Public License for more details. 
 * 
 * You should have received a copy of the GNU General Public License
 * along with this program; if not, write to the Free Software
 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 */

/* This file contains a minimal stubbing of libgtk. (It only stubs the
 * functions and types needed to run the example program in hello.c.)
 */

#include <gtk/gtk.h>

%%

type int;
type char;

type guint;
type gint;
type gchar;

type GtkType;
type GtkTypeObject;
type GtkObject;
type GtkWidget;
type GtkWindowType;
type GtkContainer;
type GtkSignalFunc;

include "stubgtk.auto.stub";

GtkType gtk_container_get_type();
GtkTypeObject* gtk_type_check_object_cast (GtkTypeObject *, GtkType);


void gtk_init(int *, char ***);
void gtk_main();
void gtk_exit(gint);

guint gtk_signal_connect_object(GtkObject *,
				const gchar *,
				GtkSignalFunc,
				GtkObject *);

GtkWidget* gtk_label_new(const gchar *);

GtkWidget* gtk_window_new(GtkWindowType);

void gtk_container_add(GtkContainer *,	
		       GtkWidget *);

void gtk_widget_show(GtkWidget *);

void gtk_container_set_border_width(GtkContainer *, guint);