Manuale PHP
Indietro |  | Avanti

# 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'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.

Indietro | Partenza | Avanti
xml_parser_get_option | Risali | xml_set_character_data_handler