Lines Matching full:then
124 if Code /= Thin.Z_OK then
141 if not Ignore_Error and then not Is_Open (Filter) then
147 if Ignore_Error or else Code = Thin.Z_OK then
202 if Is_Open (Filter) then
210 if Header = None or else Header = GZip then
216 if Header = GZip then
235 then
288 if Out_Buffer'First <= Out_Last then
321 if Version <= "1.1.4" then
329 if Is_Open (Filter) then
364 then
411 if Rest_Last = Buffer'First - 1 then
414 elsif Rest_First > Rest_Last then
418 if Rest_Last < Buffer'First then
435 or else (Last >= Item'First and then Allow_Read_Some);
447 if Filter.Header = GZip and Filter.Compression then
449 and then Filter.Offset = Footer_Array'Last + 1;
485 if Filter.Header = GZip and then Filter.Compression then
520 if not Is_Open (Filter) then
524 if Out_Data'Length = 0 and then In_Data'Length = 0 then
535 if Code = Thin.Z_STREAM_END then
582 if Data_First > Data'Last then
589 if Data_Len <= Out_Len then
622 if not Filter.Stream_End then
636 if Filter.Stream_End and then Out_Last <= Out_Data'Last then
640 if Filter.Offset = Simple_GZip_Header'Last + 1 then
678 if Item'Length = 0 and Flush = No_Flush then
691 if Out_Last >= Buffer'First then
