FilterGZip.getFilename

string getFilename() nothrow

Gets the filename that was either previously set or retrieved when decoding a gzip stream.

Returns

a string containing th ename of the file.