Re: Managing module names

From: Pierre CASTERAN (Pierre.Casteran@labri.u-bordeaux.fr)
Date: Fri Jul 25 1997 - 11:09:04 MET DST


Date: Fri, 25 Jul 1997 11:09:04 +0200
From: Pierre CASTERAN <Pierre.Casteran@labri.u-bordeaux.fr>
To: caml-list@inria.fr
Subject: about "new"

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 )



This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:12 MET