This file is indexed.

/usr/lib/ocaml/lablgtk2/ogtkRangeProps.ml is in liblablgtk2-ocaml-dev 2.18.3+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
open GtkSignal
open Gobject
open Data
let set = set
let get = get
let param = param
open GtkRangeProps

class virtual ruler_props = object
  val virtual obj : _ obj
  method set_lower = set Ruler.P.lower obj
  method set_upper = set Ruler.P.upper obj
  method set_max_size = set Ruler.P.max_size obj
  method set_position = set Ruler.P.position obj
  method lower = get Ruler.P.lower obj
  method upper = get Ruler.P.upper obj
  method max_size = get Ruler.P.max_size obj
  method position = get Ruler.P.position obj
end

class virtual ruler_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 Ruler.P.lower
  method upper = self#notify Ruler.P.upper
  method max_size = self#notify Ruler.P.max_size
  method position = self#notify Ruler.P.position
end

class virtual range_props = object
  val virtual obj : _ obj
  method set_adjustment =
    set {Range.P.adjustment with conv=GData.conv_adjustment} obj
  method set_inverted = set Range.P.inverted obj
  method set_update_policy = set Range.P.update_policy obj
  method adjustment =
    get {Range.P.adjustment with conv=GData.conv_adjustment} obj
  method inverted = get Range.P.inverted obj
  method update_policy = get Range.P.update_policy obj
end

class virtual range_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 adjustment =
    self#notify {Range.P.adjustment with conv=GData.conv_adjustment}
  method inverted = self#notify Range.P.inverted
  method update_policy = self#notify Range.P.update_policy
end

class virtual range_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 adjust_bounds = self#connect Range.S.adjust_bounds
  method move_slider = self#connect Range.S.move_slider
  method change_value = self#connect Range.S.change_value
  method value_changed = self#connect Range.S.value_changed
  method notify_adjustment ~callback =
    self#notify {Range.P.adjustment with conv=GData.conv_adjustment} ~callback
  method notify_inverted ~callback = self#notify Range.P.inverted ~callback
  method notify_update_policy ~callback =
    self#notify Range.P.update_policy ~callback
end

class virtual scale_props = object
  val virtual obj : _ obj
  method set_digits = set Scale.P.digits obj
  method set_draw_value = set Scale.P.draw_value obj
  method set_value_pos = set Scale.P.value_pos obj
  method digits = get Scale.P.digits obj
  method draw_value = get Scale.P.draw_value obj
  method value_pos = get Scale.P.value_pos obj
end

class virtual scale_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 digits = self#notify Scale.P.digits
  method draw_value = self#notify Scale.P.draw_value
  method value_pos = self#notify Scale.P.value_pos
end

class virtual progress_bar_props = object
  val virtual obj : _ obj
  method set_adjustment =
    set {ProgressBar.P.adjustment with conv=GData.conv_adjustment} obj
  method set_orientation = set ProgressBar.P.orientation obj
  method set_fraction = set ProgressBar.P.fraction obj
  method set_pulse_step = set ProgressBar.P.pulse_step obj
  method set_text = set ProgressBar.P.text obj
  method set_ellipsize = set ProgressBar.P.ellipsize obj
  method adjustment =
    get {ProgressBar.P.adjustment with conv=GData.conv_adjustment} obj
  method orientation = get ProgressBar.P.orientation obj
  method fraction = get ProgressBar.P.fraction obj
  method pulse_step = get ProgressBar.P.pulse_step obj
  method text = get ProgressBar.P.text obj
  method ellipsize = get ProgressBar.P.ellipsize obj
end

class virtual progress_bar_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 adjustment =
    self#notify {ProgressBar.P.adjustment with conv=GData.conv_adjustment}
  method orientation = self#notify ProgressBar.P.orientation
  method fraction = self#notify ProgressBar.P.fraction
  method pulse_step = self#notify ProgressBar.P.pulse_step
  method text = self#notify ProgressBar.P.text
  method ellipsize = self#notify ProgressBar.P.ellipsize
end