then J <= Index'Result - 1
else J - 1 in Index'Result
.. Length (Source) - Pattern'Length)
- then not (Search.Match
- (To_String (Source), Pattern, Mapping, J)))),
+ then not Search.Match
+ (To_String (Source), Pattern, Mapping, J))),
-- Otherwise, 0 is returned
then J <= Index'Result - 1
else J - 1 in Index'Result
.. Length (Source) - Pattern'Length)
- then not (Search.Match
- (To_String (Source), Pattern, Mapping, J)))),
+ then not Search.Match
+ (To_String (Source), Pattern, Mapping, J))),
-- Otherwise, 0 is returned
then J in From .. Index'Result - 1
else J - 1 in Index'Result
.. From - Pattern'Length)
- then not (Search.Match
- (To_String (Source), Pattern, Mapping, J)))),
+ then not Search.Match
+ (To_String (Source), Pattern, Mapping, J))),
-- Otherwise, 0 is returned
then J in From .. Index'Result - 1
else J - 1 in Index'Result
.. From - Pattern'Length)
- then not (Search.Match
- (To_String (Source), Pattern, Mapping, J)))),
+ then not Search.Match
+ (To_String (Source), Pattern, Mapping, J))),
-- Otherwise, 0 is returned