Replace_Element

Explicación

Replace_Element sutituye el carácter de la ristra Source que ocupa la posición Index por el indicado por By. Existe una versión de Replace_Element para las ristras de caracteres de tamaño limitado y para las de tamaño dinámico; para usarlas hay que incluir la librería que corresponda según el tipo de ristra (Ada.Strings.Bounded, Ada.Strings.Unbounded). Los caracteres de las ristras de tamaño fijo se pueden sustituir como elementos de una array.

Sintaxis

En lo que sigue, el tipo Ristra representa uno de los dos tipos de ristras, Bounded_String o Unbounded_String, según corresponda.

procedure Replace_Element (Source : in out Ristra;
                           Index  : in Positive;
                           By     : in Character)

Ejemplo

with Ada.Strings.Unbounded; use Ada.Strings.Unbounded;
...

Din1 : Unbounded_String;
...

Din1 := To_Unbounded_String ("pedro");
Replace_Element (Din1, 1, 'P');  --  Din1 = "Pedro" (P mayúscula)
Créditos