xml_parser_set_option

(PHP 3>= 3.0.6, PHP 4 , PHP 5)

xml_parser_set_option -- Valorizza un'opzione di un parser XML

Descrizione

bool xml_parser_set_option ( resource parser, int opzione, mixed valore)

parser

Riferimento al parser XML di cui si vuole valorizzare l'opzione,

opzione

Quale opzione valorizzare. Vedere più avanti.

valore

Nuovo valore dell'opzione.

Questa funzione restituisce FALSE se parser non si riferisce ad un parser valido, o se l'opzione non può essere valorizzata. Altrimenti l'opzione viene valorizzata e la funzione restituisce TRUE.

Sono disponibili le seguenti opzioni:

Tabella 1. Opzioni del parser XML

Costante dell'opzionetipo di datoDescrizione
XML_OPTION_CASE_FOLDINGinteger Controlla se il case-folding è abilitato per questo parser XML. Abilitato per default.
XML_OPTION_TARGET_ENCODINGstring Indica quale target encoding utilizzare in questo parser XML. Per default, è valorizzato con la medesima codifica del sorgente utilizzata da xml_parser_create(). Le codifiche supportate per il destinatario sono ISO-8859-1, US-ASCII e UTF-8.