overriding

Explicación

Declara que una operación sustituye (o no sustituye) a una operación heredada. Sólo es aplicable cuando la operación es una operación primitiva de algún tipo.

Sintaxis

overriding_indicator ::= [not] overriding

Ejemplo

package Figuras is
type Figura is tagged private;
function Área (F : Figura) return Float;
... private
... end Figuras;


package Figuras.Círculos is
type Círculo is new Figura with private;
overriding function Área (C : Círculo) return Float;
... private
... end Figuras.Círculos;