Searched refs:Simple_GZip_Header (Results 1 – 1 of 1) sorted by relevance
51 Simple_GZip_Header : constant Stream_Element_Array (1 .. 10) constant218 Filter.Offset := Simple_GZip_Header'First;220 Filter.Offset := Simple_GZip_Header'Last + 1;623 Add_Data (Simple_GZip_Header);640 if Filter.Offset = Simple_GZip_Header'Last + 1 then