Manuel PHP
PrécédentSuivant

DomDocument->dump_file

(no version information, might be only in CVS)

DomDocument->dump_file --  Convertit un document DOM XML en fichier

Description

string DomDocument->dump_file ( string filename [, bool compressionmode [, bool format]] )

DomDocument->dump_file() crée un document XML à partir de sa représentation interne DOM. DomDocument->dump_mem() est généralement appelée après la construction d'un document à partir de zéro, comme dans l'exemple ci-dessous. Le paramètre format spécifie si l'affichage doit être formaté proprement ou pas. filename est le nom du fichier dans lequel le document XML sera sauvegardé, et compressionmode indique si le fichier doit être compressé ou pas.

Exemple 1. Création d'un en-tête de document HTML avec DomDocument->dump_file()

<?php
$doc = domxml_new_doc("1.0");
$root = $doc->create_element("HTML");
$root = $doc->append_child($root);
$head = $doc->create_element("HEAD");
$head = $root->append_child($head);
$title = $doc->create_element("TITLE");
$title = $head->append_child($title);
$text = $doc->create_text_node("This is the title");
$text = $title->append_child($text);
$doc->dump_file("/tmp/test.xml", false, true);
?>

Voir aussi domdocument_dump_mem() et domdocument_html_dump_mem().

PrécédentSommaireSuivant
DomDocument->document_elementNiveau supérieurDomDocument->dump_mem