The Objective Caml system release 3.06 - The Caml language - Inria

38
# end;;
class point :
int ->
object
val mutable x : int
method get_offset : int
method get_x : int
method move : int -> unit
end
3.5 Private methods
Private methods are methods that do not appear in object interfaces. They can only be invoked
from other methods of the same object.
# class restricted_point x_init =
# object (self)
# val mutable x = x_init
# method get_x = x
# method private move d = x
object
val mutable x : int
method bump : unit
method get_x : int
method private move : int -> unit
end
# let p = new restricted_point 0;;
val p : restricted_point =
# p#move 10;;
This expression has type restricted_point
It has no method move
# p#bump;;
- : unit = ()
Private methods are inherited (they are by default visible in subclasses), unless they are hidden by
signature matching, as described below.
Private methods can be made public in a subclass.
# class point_again x =
# object (self)
# inherit restricted_point x
# method virtual move : _