1------------------------------------------------------------------------------ 2-- -- 3-- GNAT RUN-TIME COMPONENTS -- 4-- -- 5-- A D A . S T R I N G S . S E A R C H -- 6-- -- 7-- S p e c -- 8-- -- 9-- Copyright (C) 1992-2010, Free Software Foundation, Inc. -- 10-- -- 11-- GNAT is free software; you can redistribute it and/or modify it under -- 12-- terms of the GNU General Public License as published by the Free Soft- -- 13-- ware Foundation; either version 3, or (at your option) any later ver- -- 14-- sion. GNAT is distributed in the hope that it will be useful, but WITH- -- 15-- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY -- 16-- or FITNESS FOR A PARTICULAR PURPOSE. -- 17-- -- 18-- As a special exception under Section 7 of GPL version 3, you are granted -- 19-- additional permissions described in the GCC Runtime Library Exception, -- 20-- version 3.1, as published by the Free Software Foundation. -- 21-- -- 22-- You should have received a copy of the GNU General Public License and -- 23-- a copy of the GCC Runtime Library Exception along with this program; -- 24-- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see -- 25-- <http://www.gnu.org/licenses/>. -- 26-- -- 27-- GNAT was originally developed by the GNAT team at New York University. -- 28-- Extensive contributions were provided by Ada Core Technologies Inc. -- 29-- -- 30------------------------------------------------------------------------------ 31 32-- This package contains the search functions from Ada.Strings.Fixed. They 33-- are separated out because they are shared by Ada.Strings.Bounded and 34-- Ada.Strings.Unbounded, and we don't want to drag other irrelevant stuff 35-- from Ada.Strings.Fixed when using the other two packages. We make this 36-- a private package, since user programs should access these subprograms 37-- via one of the standard string packages. 38 39with Ada.Strings.Maps; 40 41private package Ada.Strings.Search is 42 pragma Preelaborate; 43 44 function Index 45 (Source : String; 46 Pattern : String; 47 Going : Direction := Forward; 48 Mapping : Maps.Character_Mapping := Maps.Identity) return Natural; 49 50 function Index 51 (Source : String; 52 Pattern : String; 53 Going : Direction := Forward; 54 Mapping : Maps.Character_Mapping_Function) return Natural; 55 56 function Index 57 (Source : String; 58 Set : Maps.Character_Set; 59 Test : Membership := Inside; 60 Going : Direction := Forward) return Natural; 61 62 function Index 63 (Source : String; 64 Pattern : String; 65 From : Positive; 66 Going : Direction := Forward; 67 Mapping : Maps.Character_Mapping := Maps.Identity) return Natural; 68 69 function Index 70 (Source : String; 71 Pattern : String; 72 From : Positive; 73 Going : Direction := Forward; 74 Mapping : Maps.Character_Mapping_Function) return Natural; 75 76 function Index 77 (Source : String; 78 Set : Maps.Character_Set; 79 From : Positive; 80 Test : Membership := Inside; 81 Going : Direction := Forward) return Natural; 82 83 function Index_Non_Blank 84 (Source : String; 85 Going : Direction := Forward) return Natural; 86 87 function Index_Non_Blank 88 (Source : String; 89 From : Positive; 90 Going : Direction := Forward) return Natural; 91 92 function Count 93 (Source : String; 94 Pattern : String; 95 Mapping : Maps.Character_Mapping := Maps.Identity) return Natural; 96 97 function Count 98 (Source : String; 99 Pattern : String; 100 Mapping : Maps.Character_Mapping_Function) return Natural; 101 102 function Count 103 (Source : String; 104 Set : Maps.Character_Set) return Natural; 105 106 procedure Find_Token 107 (Source : String; 108 Set : Maps.Character_Set; 109 From : Positive; 110 Test : Membership; 111 First : out Positive; 112 Last : out Natural); 113 114 procedure Find_Token 115 (Source : String; 116 Set : Maps.Character_Set; 117 Test : Membership; 118 First : out Positive; 119 Last : out Natural); 120 121end Ada.Strings.Search; 122