Manuel PHP

HTTP
PHP Manual

Classe HttpDeflateStream

Synopsis de la classe

HttpDeflateStream
HttpDeflateStream {
public void HttpDeflateStream::__construct ([ int $flags = 0 ] )
public HttpDeflateStream HttpDeflateStream::factory ([ int $flags = 0 [, stringt $class_name = 'HttpDeflateStream' ]] )
public string HttpDeflateStream::finish ([ string $data ] )
public string HttpDeflateStream::flush ([ string $data ] )
public string HttpDeflateStream::update ( string $data )
}

Membres de la classe

Constantes pré-définies

Type Nom Description
int TYPE_GZIP encodage gzip
int TYPE_ZLIB zlib AKA encodage compressé
int TYPE_RAW encodage compressé
int LEVEL_DEF degré de compression par défaut
int LEVEL_MIN degré de compression minimum
int LEVEL_MAX degré de compression maximum
int STRATEGY_DEF stratégie par défaut
int STRATEGY_FILT stratégie filtrée
int STRATEGY_HUFF stratégie Huffman
int STRATEGY_RLE stratégie RLE
int STRATEGY_FIXED stratégie fixe
int FLUSH_NONE pas de flush forcé
int FLUSH_SYNC synchronisation du flush
int FLUSH_FULL flush complet

Exemples

Exemple #1 Exemple avec HttpDeflateStream

  1. <?php
  2. $stream = new HttpDeflateStream( 
  3.    HttpDeflateStream::TYPE_GZIP | 
  4.    HttpDeflateStream::LEVEL_MAX | 
  5.    HttpDeflateStream::FLUSH_SYNC);  
  6.  
  7. echo $stream->update($data);  
  8. echo $stream->finish();  
  9. ?> 

Sommaire

HTTP
PHP Manual

Remonter Remonter
L'éditeur javascript - CSS - Gentoo - Tutoriaux PHP - Tutoriels PHP - Bretagne - php - Moto - Kit graphique