Type
. Définition de l'héritage de types.
HeriteDe
ListeDeTypesHerites
HeriteDe
permet de spécifier qu'un type hérite des caractéristiques d'un autre type. Le type d'héritage est soit Public, Protege ou Prive. Supposons que A hérite de B.
L'héritage est récursif : un type peut hériter d'un type qui lui-même hérite d'un troisième type.
Lors d'un héritage, il est possible de surcharger un méthode (procédure, fonction ou méthode) afin de définir un comportement spécifique au nouveau type. Supposons que X hérite de Y. Supposons que X comporte la méthode Dessiner qu'il est utilisée dans la procédure Afficher. Si X surcharge (i.e. redéfinit) la méthode Dessiner, alors lors de l'exécution de la procédure Afficher pour un objet de type X, c'est la méthode Dessiner du type X qui est employée et non celle du type Y.
Il n'est pas possible de surtyper les types Booleen, Caractere, Date, Entier, Fichier et Reel.
Type TypeA
/********/
A : Entier;
Fin Type
Type TypeB HeriteDe Public : A
/****************************/
B : Reel;
Fin Type
/* B hérite de A. L'héritage est public. */
Type TypeC HeriteDe Prive : B
/***************************/
C : Date;
Fin Type
/* C hérite de B. L'héritage est privé. C hérite donc de A de façon privé. */
Type E
/****/
E : Caractere
Fin Type
Type F HeriteDe A, E
/******************/
F : Booleen;
Fin Type
/* F hérite de A et de E. */
Type Y
/****/
...
Procedure Dessiner();
/* Définition de la méthode Dessiner() au niveau de Y. */
Procedure Afficher();
/* Définition de la méthode Afficher() qui utilise par exemple la méthode Dessiner(). */
Fin Type
Type X HeriteDe Y
/***************/
...
Procedure Dessiner();
/* Définition d'une surcharge de la méthode Dessiner(). La méthode Afficher() utilisera cette surcharge pour un objet de type X. */
Fin Type
- | - | - | - | - | - | - | - | - |