summaryrefslogtreecommitdiffstats
path: root/final_project/work/prhello.cdecl
blob: 26b8882c12d259e76bd5f68ec8e044e3d9f5bbe3 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
     #| -*-Scheme-*-
     
     C declarations for prhello.scm. |#
     
     
     (typedef gint int)
     (typedef guint uint)
     (typedef gchar char)
     (typedef gboolean gint)
     (typedef gpointer (* mumble))
     
     (extern void
     	gtk_init
     	(argc (* int))
     	(argv (* (* (* char)))))
     
     (extern (* GtkWidget)
     	gtk_window_new
     	(type GtkWindowType))

     (typedef GtkWindowType
     	 (enum
     	  (GTK_WINDOW_TOPLEVEL)
     	  (GTK_WINDOW_POPUP)))
     
     (extern (* GtkWidget)
     	gtk_button_new)

     (extern (* GtkWidget)
     	gtk_combo_box_new_text)

     (extern void
     	gtk_combo_box_append_text
     	(combo (* GtkComboBox))
     	(str (* (const char))))

     (extern gint
	     gtk_combo_box_get_active     
     	(combo (* GtkComboBox)))

     (extern (* GtkWidget)
     	gtk_label_new
     	(str (* (const char))))
     
     (extern (* GtkWidget)
     	gtk_hbox_new
	(homogeneous gboolean)
	(spacing gint))
    

     (extern void
     	gtk_container_add
     	(container (* GtkContainer))
     	(widget    (* GtkWidget)))
     
     (extern void
     	gtk_window_set_title
     	(window (* GtkWindow))
     	(title  (* (const gchar))))
     
     (extern void
     	gtk_container_set_border_width
     	(container (* GtkContainer))
     	(border_width guint))
      
     (extern void
     	gtk_window_resize
     	(window (* GtkWindow))
     	(width gint)
     	(height gint))
     
     (extern void
     	gtk_widget_show_all
     	(widget (* GtkWidget)))
     
     (extern void
     	g_signal_connect
     	(object (* GtkObject))
     	(name (* gchar))
     	(CALLBACK GtkSignalFunc)
     	(ID gpointer))
     
     (typedef GtkSignalFunc (* mumble))
     
     (callback gboolean
     	  delete_event
     	  (window (* GtkWidget))
     	  (event (* GdkEventAny))
     	  (ID gpointer))

     (callback void
     	  changed
     	  (widget (* GtkComboBox))
     	  (ID gpointer))
     
     (callback void
     	  clicked
     	  (widget (* GtkWidget))
     	  (ID gpointer))
     
     (extern void
     	gtk_widget_destroy
     	(widget (* GtkWidget)))
     
     (extern (* (const gchar))
     	gtk_label_get_text
     	(label (* GtkLabel)))
     
     (extern void
     	gtk_label_set_text
     	(label (* GtkLabel))
     	(str (* (const char))))
     
     (extern void gtk_main)
     (extern void gtk_main_quit)