COCA-ML

Attention il y avait un bug dans la version 0.1c (voir recentes modifications). Pour le corriger la nouvelle version 0.1d contient plusieurs changements importants.

L'idee principale est d'autoriser l'"upcast" seulement à un niveau dans l'arbre d'heritage pour verifier le sous-typage.

Description

Semantique et implantation

upcast o from c1 to c2

	semantique	implantation
1.	o est exactement une instance de c1 et c1 herite directement de c2	Cast.check_sonof var c1 c2
2.	type de var est un sous-type de c2	( var :> c2)

1/ est au niveau de l'execution
2/ est au niveau du typage

downcast o from c1 to c2

	semantique	implantation
1.	o has type c1	( o : c1)
2.	c2 is a sub-type of c1	( c2 :> c1)
3.	o "is-a" c1	( Cast.check loc o key_c1)
4.	o "is-a" c2	( Cast.check loc o key_c2)
5.		((Obj.magic o) : c2)

1/ et 2/ sont au niveau du typage
3/ et 4/ sont au niveau de l'execution

Exemples

• testd1.ml : héritage simple de 3 classes
• testd2.ml : deux fils d'une classe abstraite
• testd3.ml : héritage multiple

Recentes modifications

• Nouvelle version 0.1d (28/09/2001) pour corriger le bug precedent

  on utilise "upcast" o from c1 to c2 (à un niveau d'heritage) pour autoriser le "downcast" à n'importe quel niveau
    ou 
   on utilise o ":>" c1 pour revenir à la classe de construction 
  

• Bug dans la version 0.1c (26/9/2001) :

  z herite de m
  m herite de a
  z est sous-type de a
  m est sous-type de a
  donc on peut ecrire
    cast ((new z) :>a) from a to m
  ce qui est faux si z n'est pas sous-type de m
  
  typiquement m a une methode binaire qui n'apparait pas dans a 
  et qui est heritee par z.
  

• version 0.1c (du 19/9/2001) signatures.
• version 0.1b (du 7/9/2001)

    o instanceof c
  

  qui verifie si l'instance o est de la classe c ou d'une classe ancetre du point de vue de l'heritage (sans verification de sous-typage).

Distribution

O'Caml 3.02 camlp4 3.02