Rapport de fin de phase I - Haute école du paysage, d'ingénierie et ...

Un type défini comme « FINAL » (valeur par défaut) ne pourra pas être hérité par un
sous-type. Un type « NOT FINAL » peut être transformé en « FINAL » uniquement s’il n’a
pas de sous-type.
La notion d’abstraction ou non, sous Oracle est définie par les clauses « NOT
INSTANTIABLE » ou « INSTANTIABLE » ce qui va permettre aux développeurs de créer
des types abstraits. Un type « NOT INSTANTIABLE » est donc une classe abstraite, son
instantiation est impossible.
Par défaut un type est « INSTANTIABLE ».Un type « INSTANTIABLE » peut devenir
«NOT INSTANTIABLE » et vice-versa.
1.19.2.7. Principe de substitution et polymorphisme
Le principe de substitution affirme qu’il doit être possible de substituer n’importe quel
objet instance d’un sous-type à n’importe quel objet instance d’un super-type sans que la
sémantique du programme écrit dans les termes du super-type ne soit affectée.
Ceci est applicable pour tous les containers de type Oracle objets (ex : une variable, un
attribut table ou vue). Sans le respect de ce principe, le polymorphisme ne peut être mis
en œuvre.
Le polymorphisme désigne un concept de la théorie des types (types objets, REF ou
collection d’objets), selon lequel un nom d’objet peut désigner des instances de types
différents, issues d’une même arborescence. La clause «NOT SUBSTITUTABLE AT ALL
LEVELS » désactive le principe de substitution et par analogie le polymorphisme. La
clause « IS OF » permet de limiter le principe de substitution à certains types.
Les objets qui sont abrités dans un container super-type peuvent être accédés à l’aide de
la fonction « TREAT ». Cette fonction cherche à modifier le type d’une expression par un
autre type, généralement par un sous-type.
1.19.2.8. Héritage et méthodes
Les méthodes du super-type sont héritées dans tous les sous-types, la spécialisation des
sous-types s’effectue selon les règles de la programmation objet :
Surcharge des méthodes et ré-implémentation.
Méthode à signature variable.
• Méthodes abstraites
La clause « NOT INSTANTIABLE » définit une méthode abstraite, par défaut celle ci est
« INSTANTIABLE ». L’implémentation d’une méthode « NOT INSTANTIABLE » doit
s’effectuer dans un sous-type de son arborescence. Si le sous-type de 1 er niveau
n’implémente pas une méthode abstraite, elle doit tout de même être déclarée comme
étant « NOT INSTANTIABLE ».
• Surcharge, signatures variables et comportement des méthodes héritées
Les méthodes peuvent être surchargées à l’aide de la clause « OVERRIDING ». Le soustype
hérite alors de toutes les méthodes du super-type qu’elles soient « STATIC » ou
« MEMBER ». Plusieurs méthodes de même nom mais avec une signature différente
peuvent être définies.
Une hiérarchie de type peut surcharger plusieurs fois la même méthode. Les
conséquences lors de l’exécution seront les suivantes :
Le type de l’instance de l’objet désignera la méthode à utiliser.
22.06.2005 49/78