Ada Programming/Libraries/Ada.Strings.Bounded

is a unit of the Predefined Language Environment since Ada 95.

Specification
Preelaborate Bounded Max   Positive Generic_Bounded_Length Max_Length  Positive  Max Bounded_String Null_Bounded_String  Bounded_String Length_Range Natural  0  Max_Length Length Source  Bounded_String  Length_Range To_Bounded_String Source  String Drop    Truncation  Error Bounded_String To_String Source  Bounded_String  String Set_Bounded_String Target     Bounded_String Source      String Drop        Truncation  Error Append Left Right  Bounded_String Drop         Truncation   Error Bounded_String Append Left   Bounded_String Right  String Drop   Truncation  Error Bounded_String Append Left   String Right  Bounded_String Drop   Truncation  Error Bounded_String Append Left   Bounded_String Right  Character Drop   Truncation  Error Bounded_String Append Left   Character Right  Bounded_String Drop   Truncation  Error Bounded_String Append Source     Bounded_String New_Item  Bounded_String Drop      Truncation   Error Append Source     Bounded_String New_Item  String Drop      Truncation   Error Append Source     Bounded_String New_Item  Character Drop      Truncation   Error "" Left Right  Bounded_String Bounded_String "" Left  Bounded_String Right   String Bounded_String "" Left  String Right   Bounded_String Bounded_String "" Left  Bounded_String Right   Character Bounded_String "" Left  Character Right   Bounded_String Bounded_String Element Source  Bounded_String Index   Positive Character Replace_Element Source   Bounded_String Index   Positive By      Character Slice Source  Bounded_String Low     Positive High    Natural String Bounded_Slice Source  Bounded_String Low     Positive High    Natural Bounded_String Bounded_Slice Source      Bounded_String Target     Bounded_String Low         Positive High        Natural "" Left Right   Bounded_String  Boolean "" Left   Bounded_String Right   String Boolean "" Left   String Right   Bounded_String Boolean "" Left Right   Bounded_String  Boolean "" Left   Bounded_String Right   String Boolean "" Left   String Right   Bounded_String Boolean "" Left Right  Bounded_String  Boolean "" Left   Bounded_String Right   String Boolean "" Left   String Right   Bounded_String Boolean "" Left Right   Bounded_String  Boolean "" Left   Bounded_String Right   String Boolean "" Left   String Right   Bounded_String Boolean "" Left Right  Bounded_String  Boolean "" Left   Bounded_String Right   String Boolean "" Left   String Right   Bounded_String Boolean Index Source   Bounded_String Pattern  String From     Positive Going    Direction  Forward Mapping  MapsCharacter_Mapping  MapsIdentity Natural Index Source   Bounded_String Pattern  String From     Positive Going    Direction  Forward Mapping  MapsCharacter_Mapping_Function Natural Index Source    Bounded_String Pattern   String Going     Direction  Forward Mapping   MapsCharacter_Mapping MapsIdentity Natural Index Source    Bounded_String Pattern   String Going     Direction  Forward Mapping   MapsCharacter_Mapping_Function Natural Index Source   Bounded_String Set      MapsCharacter_Set From     Positive Test     Membership  Inside Going    Direction  Forward Natural Index Source  Bounded_String Set     MapsCharacter_Set Test    Membership  Inside Going   Direction   Forward Natural Index_Non_Blank Source  Bounded_String From    Positive Going   Direction  Forward Natural Index_Non_Blank Source  Bounded_String Going   Direction  Forward Natural Count Source    Bounded_String Pattern   String Mapping   MapsCharacter_Mapping MapsIdentity Natural Count Source    Bounded_String Pattern   String Mapping   MapsCharacter_Mapping_Function Natural Count Source    Bounded_String Set       MapsCharacter_Set Natural Find_Token Source  Bounded_String Set     MapsCharacter_Set Test    Membership First   Positive Last    Natural Translate Source   Bounded_String Mapping  MapsCharacter_Mapping Bounded_String Translate Source    Bounded_String Mapping  MapsCharacter_Mapping Translate Source   Bounded_String Mapping  MapsCharacter_Mapping_Function Bounded_String Translate Source    Bounded_String Mapping  MapsCharacter_Mapping_Function Replace_Slice Source    Bounded_String Low       Positive High      Natural By        String Drop      Truncation  Error Bounded_String Replace_Slice Source     Bounded_String Low       Positive High      Natural By        String Drop      Truncation  Error Insert Source    Bounded_String Before    Positive New_Item  String Drop      Truncation  Error Bounded_String Insert Source     Bounded_String Before    Positive New_Item  String Drop      Truncation  Error Overwrite Source     Bounded_String Position   Positive New_Item   String Drop       Truncation  Error Bounded_String Overwrite Source      Bounded_String Position   Positive New_Item   String Drop       Truncation  Error Delete Source   Bounded_String From     Positive Through  Natural Bounded_String Delete Source    Bounded_String From     Positive Through  Natural Trim Source  Bounded_String Side    Trim_End Bounded_String Trim Source   Bounded_String Side    Trim_End Trim Source  Bounded_String Left    MapsCharacter_Set Right   MapsCharacter_Set Bounded_String Trim Source   Bounded_String Left    MapsCharacter_Set Right   MapsCharacter_Set Head Source  Bounded_String Count   Natural Pad     Character   Space Drop    Truncation  Error Bounded_String Head Source   Bounded_String Count   Natural Pad     Character   Space Drop    Truncation  Error Tail Source  Bounded_String Count   Natural Pad     Character   Space Drop    Truncation  Error Bounded_String Tail Source   Bounded_String Count   Natural Pad     Character   Space Drop    Truncation  Error "" Left   Natural Right  Character Bounded_String "" Left   Natural Right  String Bounded_String "" Left   Natural Right  Bounded_String Bounded_String Replicate Count  Natural Item   Character Drop   Truncation  Error Bounded_String Replicate Count  Natural Item   String Drop   Truncation  Error Bounded_String Replicate Count  Natural Item   Bounded_String Drop   Truncation  Error Bounded_String Bounded_String Null_Bounded_String  Bounded_String Generic_Bounded_Length AdaStringsBounded

Wikibook

 * Ada Programming/Libraries/Ada
 * Ada Programming/Strings