about "new"

[Pierre CASTERAN <Pierre.Casteran@labri.u-bordeaux.fr>]

Hello,

 I'm a beginner in Objective Caml, but not in ML; my question is about
object building :
 Is there any way to define a class with some initializing function,
 which is to be called each time an instance is created by a "new" ;
 the interest would be of course to create a "consistent" state for
 a newly created object.

 Similarly, is it possible to attach a function to a class, which
 would be called before the creation of an instance ? it would be
 useful to check some preconditions to the creation of an instance.
 we can imagine that, if that function returns false, an exception
 is raised and the instance is not created.

 

-- 
Pierre Casteran,

LaBRI, Universite Bordeaux-I      |    12 place Puy Paulin
351 Cours de la Liberation        |    33000 Bordeaux
F-33405 TALENCE Cedex             |    France
France                            |    (+ 33) 5 56 81 15 80
tel : (+ 33) 5 56 84 69 31
fax : (+ 33) 5 56 84 66 69
email: casteran@labri.u-bordeaux.fr       
www: http://dept-info.labri.u-bordeaux.fr/~casteran

"Les rêves sont aussi beaux que la réalité, mais ils ne sont pas mieux".
( J.L.Borges )