This file is indexed.

/usr/lib/ocaml/lablgtk2/ogtkBaseProps.ml is in liblablgtk2-ocaml-dev 2.18.5+dfsg-1build1.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

  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
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
open GtkSignal
open Gobject
open Data
let set = set
let get = get
let param = param

open GtkBaseProps

open GtkBaseProps

class virtual container_props = object
  val virtual obj : _ obj
  method set_border_width = set Container.P.border_width obj
  method set_resize_mode = set Container.P.resize_mode obj
  method border_width = get Container.P.border_width obj
  method resize_mode = get Container.P.resize_mode obj
end

class virtual container_notify obj = object (self)
  val obj : 'a obj = obj
  method private notify : 'b. ('a, 'b) property ->
    callback:('b -> unit) -> _ =
  fun prop ~callback -> GtkSignal.connect_property obj
    ~prop ~callback
  method border_width = self#notify Container.P.border_width
  method resize_mode = self#notify Container.P.resize_mode
end

class virtual container_sigs = object (self)
  method private virtual connect :
    'b. ('a,'b) GtkSignal.t -> callback:'b -> GtkSignal.id
  method private virtual notify :
    'b. ('a,'b) property -> callback:('b -> unit) -> GtkSignal.id
  method add = self#connect
    {Container.S.add with marshaller = fun f ->
     marshal1 GObj.conv_widget "GtkContainer::add" f}
  method remove = self#connect
    {Container.S.remove with marshaller = fun f ->
     marshal1 GObj.conv_widget "GtkContainer::remove" f}
  method notify_border_width ~callback =
    self#notify Container.P.border_width ~callback
  method notify_resize_mode ~callback =
    self#notify Container.P.resize_mode ~callback
end

class virtual item_sigs = object (self)
  method private virtual connect :
    'b. ('a,'b) GtkSignal.t -> callback:'b -> GtkSignal.id
  method private virtual notify :
    'b. ('a,'b) property -> callback:('b -> unit) -> GtkSignal.id
  method select = self#connect Item.S.select
  method deselect = self#connect Item.S.deselect
  method toggle = self#connect Item.S.toggle
end

class virtual adjustment_props = object
  val virtual obj : _ obj
  method set_lower = set Adjustment.P.lower obj
  method set_page_increment = set Adjustment.P.page_increment obj
  method set_page_size = set Adjustment.P.page_size obj
  method set_step_increment = set Adjustment.P.step_increment obj
  method set_upper = set Adjustment.P.upper obj
  method set_value = set Adjustment.P.value obj
  method lower = get Adjustment.P.lower obj
  method page_increment = get Adjustment.P.page_increment obj
  method page_size = get Adjustment.P.page_size obj
  method step_increment = get Adjustment.P.step_increment obj
  method upper = get Adjustment.P.upper obj
  method value = get Adjustment.P.value obj
end

class virtual adjustment_notify obj = object (self)
  val obj : 'a obj = obj
  method private notify : 'b. ('a, 'b) property ->
    callback:('b -> unit) -> _ =
  fun prop ~callback -> GtkSignal.connect_property obj
    ~prop ~callback
  method lower = self#notify Adjustment.P.lower
  method page_increment = self#notify Adjustment.P.page_increment
  method page_size = self#notify Adjustment.P.page_size
  method step_increment = self#notify Adjustment.P.step_increment
  method upper = self#notify Adjustment.P.upper
  method value = self#notify Adjustment.P.value
end

class virtual adjustment_sigs = object (self)
  method private virtual connect :
    'b. ('a,'b) GtkSignal.t -> callback:'b -> GtkSignal.id
  method private virtual notify :
    'b. ('a,'b) property -> callback:('b -> unit) -> GtkSignal.id
  method changed = self#connect Adjustment.S.changed
  method value_changed = self#connect Adjustment.S.value_changed
  method notify_lower ~callback = self#notify Adjustment.P.lower ~callback
  method notify_page_increment ~callback =
    self#notify Adjustment.P.page_increment ~callback
  method notify_page_size ~callback =
    self#notify Adjustment.P.page_size ~callback
  method notify_step_increment ~callback =
    self#notify Adjustment.P.step_increment ~callback
  method notify_upper ~callback = self#notify Adjustment.P.upper ~callback
  method notify_value ~callback = self#notify Adjustment.P.value ~callback
end

class virtual window_props = object
  val virtual obj : _ obj
  method set_title = set Window.P.title obj
  method set_accept_focus = set Window.P.accept_focus obj
  method set_allow_grow = set Window.P.allow_grow obj
  method set_allow_shrink = set Window.P.allow_shrink obj
  method set_decorated = set Window.P.decorated obj
  method set_default_height = set Window.P.default_height obj
  method set_default_width = set Window.P.default_width obj
  method set_deletable = set Window.P.deletable obj
  method set_destroy_with_parent = set Window.P.destroy_with_parent obj
  method set_focus_on_map = set Window.P.focus_on_map obj
  method set_gravity = set Window.P.gravity obj
  method set_icon = set Window.P.icon obj
  method set_icon_name = set Window.P.icon_name obj
  method set_modal = set Window.P.modal obj
  method set_position = set Window.P.window_position obj
  method set_opacity = set Window.P.opacity obj
  method set_resizable = set Window.P.resizable obj
  method set_role = set Window.P.role obj
  method set_screen = set Window.P.screen obj
  method set_skip_pager_hint = set Window.P.skip_pager_hint obj
  method set_skip_taskbar_hint = set Window.P.skip_taskbar_hint obj
  method set_type_hint = set Window.P.type_hint obj
  method set_urgency_hint = set Window.P.urgency_hint obj
  method title = get Window.P.title obj
  method accept_focus = get Window.P.accept_focus obj
  method allow_grow = get Window.P.allow_grow obj
  method allow_shrink = get Window.P.allow_shrink obj
  method decorated = get Window.P.decorated obj
  method default_height = get Window.P.default_height obj
  method default_width = get Window.P.default_width obj
  method deletable = get Window.P.deletable obj
  method destroy_with_parent = get Window.P.destroy_with_parent obj
  method focus_on_map = get Window.P.focus_on_map obj
  method gravity = get Window.P.gravity obj
  method has_toplevel_focus = get Window.P.has_toplevel_focus obj
  method icon = get Window.P.icon obj
  method icon_name = get Window.P.icon_name obj
  method is_active = get Window.P.is_active obj
  method modal = get Window.P.modal obj
  method position = get Window.P.window_position obj
  method opacity = get Window.P.opacity obj
  method resizable = get Window.P.resizable obj
  method role = get Window.P.role obj
  method screen = get Window.P.screen obj
  method skip_pager_hint = get Window.P.skip_pager_hint obj
  method skip_taskbar_hint = get Window.P.skip_taskbar_hint obj
  method kind = get Window.P.kind obj
  method type_hint = get Window.P.type_hint obj
  method urgency_hint = get Window.P.urgency_hint obj
end

class virtual window_notify obj = object (self)
  val obj : 'a obj = obj
  method private notify : 'b. ('a, 'b) property ->
    callback:('b -> unit) -> _ =
  fun prop ~callback -> GtkSignal.connect_property obj
    ~prop ~callback
  method title = self#notify Window.P.title
  method accept_focus = self#notify Window.P.accept_focus
  method allow_grow = self#notify Window.P.allow_grow
  method allow_shrink = self#notify Window.P.allow_shrink
  method decorated = self#notify Window.P.decorated
  method default_height = self#notify Window.P.default_height
  method default_width = self#notify Window.P.default_width
  method deletable = self#notify Window.P.deletable
  method destroy_with_parent = self#notify Window.P.destroy_with_parent
  method focus_on_map = self#notify Window.P.focus_on_map
  method gravity = self#notify Window.P.gravity
  method has_toplevel_focus = self#notify Window.P.has_toplevel_focus
  method icon = self#notify Window.P.icon
  method icon_name = self#notify Window.P.icon_name
  method is_active = self#notify Window.P.is_active
  method modal = self#notify Window.P.modal
  method position = self#notify Window.P.window_position
  method opacity = self#notify Window.P.opacity
  method resizable = self#notify Window.P.resizable
  method role = self#notify Window.P.role
  method screen = self#notify Window.P.screen
  method skip_pager_hint = self#notify Window.P.skip_pager_hint
  method skip_taskbar_hint = self#notify Window.P.skip_taskbar_hint
  method kind = self#notify Window.P.kind
  method type_hint = self#notify Window.P.type_hint
  method urgency_hint = self#notify Window.P.urgency_hint
end

class virtual dialog_props = object
  val virtual obj : _ obj
  method set_has_separator = set Dialog.P.has_separator obj
  method has_separator = get Dialog.P.has_separator obj
end

class virtual dialog_notify obj = object (self)
  val obj : 'a obj = obj
  method private notify : 'b. ('a, 'b) property ->
    callback:('b -> unit) -> _ =
  fun prop ~callback -> GtkSignal.connect_property obj
    ~prop ~callback
  method has_separator = self#notify Dialog.P.has_separator
end

class virtual file_selection_props = object
  val virtual obj : _ obj
  method set_filename = set FileSelection.P.filename obj
  method set_select_multiple = set FileSelection.P.select_multiple obj
  method set_show_fileops = set FileSelection.P.show_fileops obj
  method filename = get FileSelection.P.filename obj
  method select_multiple = get FileSelection.P.select_multiple obj
  method show_fileops = get FileSelection.P.show_fileops obj
end

class virtual file_selection_notify obj = object (self)
  val obj : 'a obj = obj
  method private notify : 'b. ('a, 'b) property ->
    callback:('b -> unit) -> _ =
  fun prop ~callback -> GtkSignal.connect_property obj
    ~prop ~callback
  method filename = self#notify FileSelection.P.filename
  method select_multiple = self#notify FileSelection.P.select_multiple
  method show_fileops = self#notify FileSelection.P.show_fileops
end

class virtual message_dialog_props = object
  val virtual obj : _ obj
  method set_message_type = set MessageDialog.P.message_type obj
  method message_type = get MessageDialog.P.message_type obj
end

class virtual message_dialog_notify obj = object (self)
  val obj : 'a obj = obj
  method private notify : 'b. ('a, 'b) property ->
    callback:('b -> unit) -> _ =
  fun prop ~callback -> GtkSignal.connect_property obj
    ~prop ~callback
  method message_type = self#notify MessageDialog.P.message_type
end

class virtual about_dialog_props = object
  val virtual obj : _ obj
  method set_comments = set AboutDialog.P.comments obj
  method set_copyright = set AboutDialog.P.copyright obj
  method set_license = set AboutDialog.P.license obj
  method set_logo = set AboutDialog.P.logo obj
  method set_logo_icon_name = set AboutDialog.P.logo_icon_name obj
  method set_translator_credits = set AboutDialog.P.translator_credits obj
  method set_version = set AboutDialog.P.version obj
  method set_website = set AboutDialog.P.website obj
  method set_website_label = set AboutDialog.P.website_label obj
  method set_wrap_license = set AboutDialog.P.wrap_license obj
  method comments = get AboutDialog.P.comments obj
  method copyright = get AboutDialog.P.copyright obj
  method license = get AboutDialog.P.license obj
  method logo = get AboutDialog.P.logo obj
  method logo_icon_name = get AboutDialog.P.logo_icon_name obj
  method translator_credits = get AboutDialog.P.translator_credits obj
  method version = get AboutDialog.P.version obj
  method website = get AboutDialog.P.website obj
  method website_label = get AboutDialog.P.website_label obj
  method wrap_license = get AboutDialog.P.wrap_license obj
end

class virtual about_dialog_notify obj = object (self)
  val obj : 'a obj = obj
  method private notify : 'b. ('a, 'b) property ->
    callback:('b -> unit) -> _ =
  fun prop ~callback -> GtkSignal.connect_property obj
    ~prop ~callback
  method comments = self#notify AboutDialog.P.comments
  method copyright = self#notify AboutDialog.P.copyright
  method license = self#notify AboutDialog.P.license
  method logo = self#notify AboutDialog.P.logo
  method logo_icon_name = self#notify AboutDialog.P.logo_icon_name
  method translator_credits = self#notify AboutDialog.P.translator_credits
  method version = self#notify AboutDialog.P.version
  method website = self#notify AboutDialog.P.website
  method website_label = self#notify AboutDialog.P.website_label
  method wrap_license = self#notify AboutDialog.P.wrap_license
end

class virtual plug_sigs = object (self)
  method private virtual connect :
    'b. ('a,'b) GtkSignal.t -> callback:'b -> GtkSignal.id
  method private virtual notify :
    'b. ('a,'b) property -> callback:('b -> unit) -> GtkSignal.id
  method embedded = self#connect Plug.S.embedded
end

class virtual socket_sigs = object (self)
  method private virtual connect :
    'b. ('a,'b) GtkSignal.t -> callback:'b -> GtkSignal.id
  method private virtual notify :
    'b. ('a,'b) property -> callback:('b -> unit) -> GtkSignal.id
  method plug_added = self#connect Socket.S.plug_added
  method plug_removed = self#connect Socket.S.plug_removed
end