Re: Ok - WHAT are those "Maps.Identity" things ???

[Rod Kay <rodakay5@gmail.com>]

On 5/1/22 11:54 am, 1.AAC0831 wrote:
> 
> Ok ... ADA online documentation is POOR. Lots of
> definitions, often NO practical examples of even
> the simplest things. You'd expect more for an
> "official DOD" language.
> 

With a duckduckgo search on "ada string index", the first hit is ...

https://learn.adacore.com/courses/intro-to-ada/chapters/standard_library_strings.html

... which provides a simple example of the 'Index' function.


> Problem : I want to find out if/where a substring
> is in another string (lets assume unbounded strings).
> 
> The docs say to use Index(source,substr,<something>,<something-identity>)
> 
> Well, I can guess what the first two are. The third probably
> is "forward" or maybe '1' for "start at first'. However all
> examples of Index have some kind of mapping param for #4
> and I've used every search engine and CANNOT figure out what
> goes in there.


https://www.adaic.org/resources/add_content/standards/05rm/html/RM-A-4-2.html

https://www.adaic.org/resources/add_content/standards/05rm/html/RM-A-4-3.html

    In many/most cases, the default parameters for 'Mapping' are fine.


> All that works fine. The very last thing I wanted to
> add was a "is substring in string" function - might
> return a boolean, but I might cheat and return a real
> with the listindex .point. position-in-str sort of format.
> 

function Contains (Source : in String;   Pattern : in String)
return Boolean
is
    use Ada.Strings.Fixed;
begin
    return Index (Source, Pattern) /= 0;
end Contains;



    In summary, Ada is one of the the best documented languages in 
existence. Consider the excellent 'Language Reference Manual', the 'Ada 
Rationale's and the 'Ada Quality and Style Guide's.

    Furthermore the resources at 'https://learn.adacore.com' and 
'https://www.adacore.com/gems' provide many examples of best practices 
in specific areas of interest.

    Finally, forums such as 'comp.lang.ada' and the '#ada' irc channel 
on the 'irc.libera.chat' server are great places to quickly find answers.


Regards.