2.5. Overriding - JulTob/Ada GitHub Wiki

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.

-- overriding_indicator ::= [not] overriding
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;