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.
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)
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)