4.1 Posizione dell’Include
Il valore dell’attributo href, dopo l’escaping secondo 4.1.1 Escaping dei valori d’attributo href, si interpreta sia come una referenza URI, sia come una referenza IRI. L’URI base per i corrispondenti URI o IRI é l’URI base dell’elemento xi:include come si specifica in [XML Base]. [Definizione: L’URI o IRI risultante dalla conversione di un valore normalizzato dell’attributo href (o la stringa vuota se non compare nessun attributo) ad una forma assoluta URI o IRI si chiama la posizione dell’Include.]
L’assenza di un valore per l’attributo href, sia per l’apparizione di href="" o per l’assenza dell’attributo href, rappresenta un caso che potrebbe essere incompatibile con alcune strategie d’implementazione. Per esempio, un processore XInclude può non avere una rappresentazione testuale del source infoset per includere come parse="text", o può non essere capace di accedere ad altra parte del documento usando parse="xml" e uno xpointer per ragioni di fluidezza. Un’implementazione potrebbe decidere trattare una o tutte le assenze di valore dell’attributo href come errore di risorse.
Le implementazioni dovrebbero documentare le condizione in cui accadano questi errori di risorse.
4.1.1 Escaping dei valori d’attributo href
Il valore d’attributo href si converte in una referenza URI o una referenza IRI, come sia appropriato per l’implementazione.
Si lavora attualmente per produrre una RFC che definisca gli Internationalized Resource Identifiers (IRI). Siccome questo lavoro non è ancora finito, in questa sezione definiamo le referenze IRI sintatticamente. È la nostra intenzione stimolare la discussione sugli errori di questa sezione e la sua sostituzione con referenze alla RFC quando sia pubblicata. Per una definizione più generale e la discussione sugli IRI si veda [IRI draft] (work in
progress).
[Definizione: Una referenza IRI è una stringa che può essere convertita in una referenza URI scappando i seguenti caratteri addizionali:]
-
i caratteri Unicode plane #xA0 - #xD7FF, #xF900-#xFDCF,
#xFDF0-#xFFEF
-
i caratteri Unicode plane 1-14 #x10000-#x1FFFD ...
#xE0000-#xEFFFD
Per convertire il valore dell’attributo href in una referenza IRI, i seguenti caratteri devono essere scappati:
-
space #x20
Nota:
Si consiglia agli autori d’evitare spazi non scappati, giacché lo Schema XML li ha identificati
come un rischio per l’interoperabilità.
-
i delimiter < #x3C, > #x3E and " #x22
-
i caratteri unwise { #x7B, } #x7D, | #x7C, \
#x5C, ^ #x5E and ` #x60
Questi caratteri si devono scappare così:
-
Ogni carattere addizionale è convertito a UTF-8 [Unicode] come uno o più byte.
- I byte risultanti si scappano con il meccanismo escaping URI (cioè, convertiti a %HH, essendo HH la notazione esadecimale del valore byte).
- I caratteri originali sono sostituiti dalla sequenza di caratteri risultante.
Per convertire una referenza IRI in una referenza URI, i caratteri addizionali permessi in IRI si devono scappare usando lo stesso metodo.
4.1.2 Usare XInclude con Negoziazione di Contenuto
L’uso di un meccanismo come la negoziazione di contenuto HTTP [IETF RFC 2616] introduce un livello addizionale di complessità potenziale nell’uso dello XInclude. Gli sviluppatori che usino XInclude in situazioni nelle quali sia probabile o possibile la negoziazione di contenuto devono essere consapevole della possibilità d’includere contenuto che può essere strutturalmente diverso del contenuto atteso, anche se quel contenuto sia XML. Per esempio, un singolo URI o IRI può diversamente ritornare una rappresentazione XML cruda della risorsa, una rappresentazione XSL-FO [XSL-FO], o una rappresentazione XHTML [XHTML],
e anche versioni in diverse codificazioni di caratteri o linguaggi.
Gli autori il cui processamento XInclude dipenda dalla ricevuta di un particolare vocabolario XML dovrebbero usare gli attributi accept e accept-language per incrementare la probabilità di una fornitura di risorsa nel formato atteso.
4.2 Item inclusi quando parse="xml"
Quando parse="xml", la posizione dell’include
non è referenziata, si ricupera la risorsa e si crea un infoset analizzando la risorsa come se il media type fosse application/xml (includendo la determinazione della codificazione di carattere).
Nota:
Intenzionalmente non si specifica come si crea l’infoset, permettendo una maggiore flessibilità alle implementazioni e per evitare la definizione di un particolare modello di processamento per i componenti dell’architettura XML. I particolari su come si eseguisce la validazione delle DTD o dello Schema XML, ad esempio, non sono limitati da questa specifica.
Nota:
I caratteri di codifica delle risorse includenti e incluse potrebbero essere differenti. Questo non affetta l’infoset risultante, però può essere necessario tenere in conto questo dato durante la posteriore serializzazione.
Le risorse che non siano disponibili per qualsiasi ragione (per esempio, la risorsa non esiste, ci sono difficoltà o restrizioni di sicurezza che impediscono il ricupero, lo schema URI non consente il ricupero, la risorsa è in una codifica non supportata, o la risorsa è determinata attraverso meccanismi specifici dell’implementazione che non siano XML) risultano un errore di risorsa.
Le risorse che contengano XML che non siano ben formati risultano un errore fatale.
Nota:
La distinzione tra un errore di risorsa e un errore fatale dipende, in certo modo, dall’implementazione. Si consideri una posizione dell’include che ritorni un documento HTML, forse come un errore di pagina. Un processore può determinare che non si può creare nessun infoset dalla risorsa (esaminando i media type, per esempio) lanciando un errore di risorsa che abilita il comportamento fallback. Un altro processore con altre caratteristiche potrebbe tentare l’analisi della risorsa non-XML come XML e trovare un errore di buona formazione (fatale).
[Definizione: gli elementi xi:include in questo infoset sono processati per creare l’acquired infoset. Per una referenza intra-documento (via attributo xpointer) il source infoset si usa come acquired infoset.]
[Definizione: La parte dell’acquired infoset
ad includersi si chiama inclusion target.] L’item informazione del documento dell’acquired infoset
serve come inclusion target
a meno che l’attributo xpointer sia presente ed identifichi una subrisorsa. XPointer nelle forme descritte in [Struttura XPointer] e [XPointer Schema elemento()]
devono essere supportati. I processori Xinclude supportano facoltativamente altre forme di XPointer come quelle descritte in [XPointer xpointer Schema()]. Un errore nel XPointer è un errore di risorsa.
Il [XPointer xpointer Schema()] non è specificato nei termini del [Set d’Informazione XML], è basato nel [XPath
1.0] Data Model, perché il Set d’Informazione XML non era stato ancora sviluppato. Il rilevamento tra posizioni di nodi XPath e item d’informazione è diretto. In ogni modo, xpointer() assume che tutte le entità sono state espanse. Perciò è un errore fatale tentare la risoluzione di un xpointer schema() in un documento che contenga item informazione della referenza entità non espanse.
Il set di item top-level inclusi si deriva dall’acquired infoset
come segue.
4.2.1 Item Informazione del Documento
L’inclusion target
può essere un item informazione del documento (per esempio, un attributo xpointer non specificato, o un XPointer specificamente localizzato nella radice del documento). In questo caso, il set d’item top-level inclusi è il discendente dell’item informazione del documento dell’acquired infoset, salvo per l’item informazione sulla dichiarazione di tipo del documento discendente, se c’è qualcuno.
Nota:
La specifica Set d’Informazione XML non procura la preservazione degli white space fuori l’elemento del documento. Neanche lo fa XInclude.
4.2.2 Nodi Molteplici
L’inclusion target
può consistere in più di un nodo. In questo caso il set d’item top-level inclusi sono gli item del set d’informazione dall’acquired infoset
corrispondenti ai nodi attribuiti dallo XPointer, nell’ordine in cui appaiono nell’acquired infoset.
4.2.3 Posizione della Serie
L’inclusion target
può essere un set di posizioni che rappresenti una serie o un set di serie.
Ogni serie corrisponde ad un set d’item informazione nell’acquired infoset.
[Definizione: Si afferma che un item informazione è selezionato da una serie se accade dopo (nell’ordine del documento) del punto d’inizio della serie e prima del punto finale della serie.] [Definizione: Si dice che un item informazione è parzialmente selezionato da una serie se contiene soltanto il punto d’inizio della serie, o soltanto il punto finale della serie]. Per definizione, un item informazione del carattere non può essere parzialmente selezionato.
Il set d’item top-level inclusi è l’unione, nel ordine del documento e con i duplicati rimossi, degli item informazione selezionati o parzialmente selezionati dalla serie. La proprietà discendenti degli item informazione selezionati non si modifica. La proprietà discendenti degli item informazione parzialmente selezionati è il set degli item informazione che sono a turno selezionati o parzialmente selezionati, è così via.
4.2.4 Posizione del Punto
L’inclusion target
può essere un set di posizioni che rappresenti un punto. In questo caso il set degli item inclusi è vuoto.
4.2.5 Item Informazione dell’Elemento, del Commento e delle Istruzioni del Processamento
L’inclusion target
può essere un nodo elemento, un nodo commento, o un nodo istruzioni di processamento, rappresentando rispettivamente un item informazione dell’elemento, un item informazione del commento, o un item informazione delle istruzioni del processamento. In questo caso il set degli top-level
included items è l’item informazione corrispondente al nodo elemento, commento o istruzioni del processamento nell’acquired
infoset.
4.2.6 Item Informazione della Dichiarazione dell’Attributo e Namespace
È un errore fatale se l’inclusion target
è un nodo attributo o un nodo namespace.
4.2.7 Loop d’inclusione
Quando si processa un elemento xi:include è un errore fatale processare un altro elemento xi:include con posizione dell’include
e un valore d’attributo xpointer che siano stati processati nella catena d’inclusione.
In altre parole, è legale:
-
Un elemento xi:include potrebbe riferirsi al documento che contenga l’elemento include, quando parse="text".
-
Un elemento xi:include potrebbe identificare una parte diversa della stessa risorsa locale (uguale href, differente xpointer).
-
Due elementi non nidificati xi:include potrebbero identificare una risorsa che contenga un elemento xi:include.
È illegale:
-
Un elemento xi:include puntando su se stesso o su un suo genitore, quando parse="xml".
-
Un elemento xi:include puntando su qualsiasi elemento incluso o su un suo genitore che sia già stato processato ad un livello superiore.
4.3 Item Inclusi quando parse="text"
Quando parse="text", la posizione dell’include
è dereferenziata e la risorsa si ricupera e trasforma in un set d’item informazione del carattere. Questa caratteristica facilita l’inclusione d’esempi di lavoro XML, e d’altri formati con base text.
Le risorse che per qualsiasi ragione non siano disponibili (per esempio, una risorsa inesistente, difficoltà di connessione o restrizioni di sicurezza che impediscano il ricupero, lo schema URI non consente il ricupero o la risorsa è in un codice non supportato) risultano in un errore di risorsa.
La codifica di una tale risorsa è determinata da:
-
Informazione esterna sulla codificazione, se disponibile, altrimenti
-
se il media type della risorsa è text/xml,
application/xml, o è compie le convenzioni text/*+xml o application/*+xml come si descrive in XML Media Types [IETF RFC
3023], la codifica si riconosce come specificata nello XML, altrimenti
- il valore dell’attributo
encoding,
se c’è qualcuno, altrimenti
-
UTF-8.
Le sequenze byte fuori la serie permessa dalla codifica sono un errore fatale. Anche i caratteri non permessi nei documenti in XML sono errore fatale.
Ogni carattere che si ottiene dalla trasformazione della risorsa si rappresenta negli item top-level inclusi come un item informazione del carattere con il set codificazione di carattere a codice carattere in codificazione ISO 10646, e il set elemento contenuto whitespace a falso.
[Character Model]
discute la normalizzazione del testo incluso.
4.5 Creare il Result Infoset
Il result infoset è una copia del source infoset, con ogni elemento xi:include processato così:
L’item informazione dell’elemento xi:include è trovato. [Definizione: La proprietà parente di quest’item si riferisce a un item informazione chiamato include parent.] La proprietà discendenti dell’include parent si modifica sostituendo l’item informazione dell’elemento xi:include con gli item top-level inclusi. La proprietà parente di ogni item incluso si mette nell’include parent.
Sarà un errore fatale tentare la sostituzione di un elemento xi:include che appaia come l’elemento (top-level) del documento nel source infoset con qualcosa che non sia un elenco di zero o più commenti, zero o più istruzioni di processamento ed un elemento.
Alcuni processori potrebbero non essere capaci di rappresentare una proprietà in-scope namespaces di un elemento se non include vincoli per tutti i prefissi limiti nel suo in-scope namespaces discendente. Questi processori potrebbero
dunque includere vincoli namespace addizionali ereditati dal’include parent nel in-scope namespaces degli item inclusi.
La storia dell’inclusione di ogni item top-level inclusi si registra nella proprietà estensione include history. La proprietà include history è un elenco di item informazione dell’elemento, rappresentando gli elementi xi:include per livelli d’inclusione. Se una proprietà include history appare in un item top-level incluso, l’item informazione dell’elemento xi:include è elencato. Se non esiste nessuna proprietà include history, allora questa proprietà si aggiunge con il valore semplice dell’item informazione dell’elemento xi:include.
Gli item inclusi appariranno tutti nel result infoset. Questo include gli item informazione delle referenza entità non espansa se sono presenti.
Le referenze intra-documento dentro gli elementi xi:include si risolvono contro il source infoset. Perciò, l’ordine in cui gli elementi xi:include sono processati non affetta il risultato.
Nel seguente esempio, il secondo include punta verso il primo elemento xi:include e non verso se stesso, nonostante l’ordine in cui gli include si processino. Così il risultato di questa inclusione sono due copie di something.xml, e non produce un errore d’inclusione loop.
<x xmlns:xi="http://www.w3.org/2001/XInclude">
<xi:include href="something.xml"/>
<xi:include xpointer="xmlns(xi=http://www.w3.org/2001/XInclude)xpointer(x/xi:include[1])"
parse="xml"/>
</x>
4.5.1 Entità Unparsed
Qualsiasi item informazione d’entità unparsed che appaia nella proprietà referenze di un attributo negli item inclusi o qualsiasi discendente suo si aggiunge alla proprietà entità non espanse del item informazione del documento del result infoset, se non è un duplicato di un membro già esistente. I duplicati non appaiono nel result infoset.
Gli item entità unparsed con lo stesso nome, identificatore di sistema, identificatore pubblico, dichiarazione URI base, nome di notazione, e notazione si considerano duplicati. Un’applicazione potrebbe anche essere capace di scoprire se le entità unparsed sono duplicati attraverso altri mezzi. Per esempio, l’URI risultante della combinazione dell’identificatore di sistema con la dichiarazione URI base è la stessa.
È un errore fatale includere item entità unparsed con lo stesso nome che non siano determinati come duplicati.
4.5.2 Notazioni
Qualsiasi item informazione della notazione che appaia nella proprietà referenze di un attributo negli item inclusi o il suo discendente si aggiunge alla proprietà notazioni dell’item informazione del documento del result infoset, se non è un duplicato di un membro già esistente. Allo stesso modo, qualsiasi notazione referenziata da un’entità unparsed aggiunta come si descrive in 4.5.1
Entità Unparsed, si aggiunge salvo che sia un duplicato. I duplicati non appaiono nel result infoset.
Gli item notazione con lo stesso nome, identificatore di sistema, identificatore pubblico, e dichiarazione URI base si considerano duplicati. Un’applicazione potrebbe anche essere capace di scoprire se le notazioni sono duplicati attraverso altri mezzi. Per esempio, l’URI che risulta dalla combinazione del sistema identificatore e la dichiarazione URI base è lo stesso.
È un errore fatale includere gli item notazione con lo stesso nome ma non determinati come duplicati.
4.5.3 Regolazione Proprietà referenze
Durante l’inclusione, un item informazione dell’attributo la cui proprietà tipo d’attributo sia IDREF o IDREFS ha una proprietà referenze con zero o più valori d’elemento dal source o included infoset. Questi valori devono aggiustarsi per essere corrispondenti al valore d’elemento che appaia nel result infoset. Durante questo processo, XInclude anche corregge le discordanze tra la proprietà referenze e la proprietà tipo d’attributo, che potrebbero sorgere nelle seguenti circostanze:
-
Un frammento di documento contiene un IDREF che punta verso un elemento del documento incluso ma fuori la parte che si include. In questo caso non c’è nessun elemento nel result infoset che corrisponda al valore dell’elemento nella proprietà referenze originale.
-
Un documento o un frammento di documento non è self-contained. Cioè, contiene IDREF che non si riferiscono a un elemento dentro quel documento o frammento di documento, con l’intenzione di realizzare queste referenze dopo l’inclusione. In questo caso, il valore della proprietà referenze è sconosciuto o non ha valore.
-
Il result infoset ha scontri ID, cioè, più d’un attributo con tipo d’attributo ID con lo stesso valore normalizzato. In questo caso, gli attributi con tipo d’attributo IDREF o IDREFS con lo stesso valore normalizzato potrebbero avere diversi valori per le sue proprietà referenze.
Per risolvere queste discordanze, XInclude prende la proprietà tipo d’attributo come definitiva. Nel result infoset, il valore della proprietà referenze di un item informazione dell’attributo la cui proprietà tipo d’attributo sia IDREF o IDREFS si aggiusta così:
Per ogni token nella proprietà valore normalizzato, la proprietà referenze contiene un item informazione dell’elemento con le stesse proprietà dell’item informazione dell’elemento del result infoset con un attributo che abbia tipo d’attributo ID e valore normalizzato uguale al token. L’ordine degli elementi nella proprietà referenze è uguale a quello dei token che appaiono nel valore normalizzato. Se per alcun valore token non si trova nessun elemento o si trova più d’uno, la proprietà referenze non ha valore.
4.5.4 Regolazione Namespace
La proprietà in-scope namespaces assicura che il namespace scope sia preservato attraverso l’inclusione. Comunque, dopo l’inclusione, la proprietà attributi namespace può non fornire l’elenco completo delle dichiarazioni namespace necessarie per interpretare nomi qualificati nel contenuto degli attributi o degli elementi nel risultato. Perciò non è raccomandabile che i processori XInclude espongano attributi namespace nel risultato. Se questo è inevitabile, l’implementazione potrebbe aggiungere degli item informazione dell’attributo alla proprietà attributi namespace per approssimare l’informazione trasportata da in-scope namespaces.
4.5.5 Regolazione URI Base
La proprietà URI base dell’acquired infoset non cambia con l’unione dell’infoset e rimane non cambiata dopo la fusione. Così le referenze URI relative nell’infoset incluso si risolvono nello stesso URI nonostante l’inclusione in un documento con un URI base potenzialmente diverso. Gli attributi xml:base si aggiungono al result infoset per indicare questo fatto.
Ogni item informazione dell’elemento negli item top-level inclusi che abbia un URI base diverso al suo parente include ha un item informazione dell’attributo aggiunto alla sua proprietà attributi. Quest’attributo le seguenti proprietà:
-
Un nome namespace di http://www.w3.org/XML/1998/namespace.
-
Un nome locale di base.
-
Un prefisso di xml.
-
Un valore normalizzato uguale all’URI base dell’elemento, o una referenza URI equivalente, relativa all’URI base del parente include. Dipendono dalle implementazioni le circostanze in cui un URI relativo è conveniente e come computare quell’URI relativo.
-
Un indicatore specificato che mostri che quell’attributo è davvero specificato nello start-tag del suo elemento.
-
Un tipo d’attributo di CDATA.
-
Una proprietà referenze senza valore.
-
Un elemento padrone dell’item informazione dell’elemento.
Se un item informazione dell’attributo xml:base è già presente, è sostituito dal nuovo attributo.
4.5.6 Regolazione Linguaggio
Mentre XML descrive l’attributo xml:lang com’ereditato, il Set d’Informazione XML non preserva l’eredità di questa proprietà nella composizione del documento come lo fa XInclude. Questa sezione introduce una proprietà linguaggio che registra lo scopo dell’informazione xml:lang per preservarla durante l’inclusione.
Un processore XInclude dovrebbe aumentare il source infoset e l’acquired infoset
aggiungendo la proprietà linguaggio ad ogni item informazione dell’elemento. Il valore di questa proprietà è il valore normalizzato dell’attributo xml:lang che appare in quell’elemento, se ci fosse qualcuno, con xml:lang="" risultando senza valore, altrimenti è il valore della proprietà linguaggio dell’elemento parente dell’elemento se ci fosse qualcuno, altrimenti la proprietà non ha valore.
Ogni item informazione dell’elemento negli item top-level inclusi che abbia un valore di linguaggio diverso al suo parente include
(prendendo in considerazione l’insensibilità di caso per [IETF RFC 3066]), o che abbia un valore se il suo parente include è un item informazione del documento, ha un item informazione dell’attributo aggiunto alla sua proprietà attributi. Quest’attributo ha le seguenti proprietà:
-
Un nome namespace di http://www.w3.org/XML/1998/namespace.
-
Un nome locale di lang.
-
Un prefisso di xml.
-
Un valore normalizzato uguale alla proprietà linguaggio dell’elemento. Se la proprietà linguaggio non ha valore, il valore normalizzato è una stringa vuota.
-
Un indicatore specificato che mostri che il suo attributo era davvero specificato nello start-tag del suo elemento.
-
Un tipo d’attributo di CDATA.
-
Una proprietà referenze senza valore.
-
Un elemento padrone dell’item informazione dell’elemento.
Se un item informazione dell’attributo xml:lang è già presente, è sostituito dal nuovo attributo.
Nota:
L’attributo xml:space non è specialmente presso in considerazione dallo XInclude.
4.5.7 Proprietà Preservate dall’Infoset
Come trasformazione d’infoset, XInclude opera sulla struttura logica dei documenti XML, non sulla sua serializzazione di testo. Tutte le proprietà di un item informazione descritte in [Set d’Informazione XML] che non siano quelle specificamente modificate da questa specifica si preservano durante l’inclusione. Anche le proprietà include history e linguaggio introdotte in questa specifica si preservano. Le proprietà d’estensione come [Schemi XML] Post Schema Validation Infoset (PSVI) si scartano per difetto. Comunque, un processore XInclude potrebbe, a opzione dell’utente, preservare queste proprietà nel resulting infoset se sono corrette secondo la specifica che descrive la semantica delle proprietà d’estensione.
Ad esempio, la proprietà PSVI validity descrive le condizioni degli antenati e discendenti. Le modificazioni degli antenati e dei discendenti durante il processamento Xinclude può fare diventare il valore di questa proprietà impreciso. Per default, XInclude spoglia questa proprietà, ma se l’utente lo vuole, la proprietà può essere ricalcolata per ottenere un valore semanticamente preciso. È oltre lo scopo di questa specifica precisare come si porta a termine questo.