xml_parser_set_option
(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:
| 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. |