Home
last modified time | relevance | path

Searched refs:Header_Type (Results 1 – 6 of 6) sorted by relevance

/external/zlib/src/contrib/ada/
Dzlib.ads53 type Header_Type is (None, Auto, Default, GZip); type
141 Header : in Header_Type := Default);
152 Header : in Header_Type := Default);
322 Header : Header_Type;
Dzlib-streams.ads60 Header : in Header_Type := Default;
Dread.adb33 Header : constant ZLib.Header_Type := ZLib.Default;
Dzlib.adb197 Header : in Header_Type := Default)
311 Header : in Header_Type := Default)
323 ("Inflate header type " & Header_Type'Image (Header)
Dzlib-streams.adb48 Header : in Header_Type := Default;
Dtest.adb37 Header : constant ZLib.Header_Type := ZLib.Default;