~nytpu/tlsada

52aab197af6d104479197c91ffa347b126148296 — nytpu 1 year, 9 months ago 8611481
TLS.Get_Delim: use `Substring [not] in String` notation rather than Ada.Strings.Fixed.Index in postcondition
1 files changed, 1 insertions(+), 2 deletions(-)

M src/tls.ads
M src/tls.ads => src/tls.ads +1 -2
@@ 9,7 9,6 @@ pragma Ada_2012;

with Ada.IO_Exceptions;
with Ada.Streams;
with Ada.Strings.Fixed;
with Ada.Strings.Maps;  use Ada.Strings.Maps;

package TLS is


@@ 54,7 53,7 @@ package TLS is
			Pre => Delimeter'Length > 0,
			Post =>
				(if Max_Length > 0 then Get_Delim'Result'Length <= Max_Length) and
				Ada.Strings.Fixed.Index(Get_Delim'Result, Delimeter) = 0;
				Delimeter not in Get_Delim'Result;


	------------