(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'opzione | tipo di dato | Descrizione |
---|
XML_OPTION_CASE_FOLDING | integer |
Controlla se il case-folding è abilitato per
questo parser XML. Abilitato per default.
|
XML_OPTION_SKIP_TAGSTART | integer |
Indica quanti caratteri devono essere ignorati dall'inizio
del nome del tag.
|
XML_OPTION_SKIP_WHITE | integer |
Indica se contare anche gli spazi nei caratteri da ignorare.
|
XML_OPTION_TARGET_ENCODING | string |
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.
|