XPointer 架構

1.1 符號表示法

〔定義﹕本規格說明中的關鍵字必須（must）､不能（must not）､必需的（required）､將（shall）､將不（shall not）､應該（should）､不應該（should not）､建議（recommended）､可能（may）､和可選的（optional）依照〔RFC 2119〕所描述的進行解釋。〕

用于 XPointer 架構的正式文法是在 XML 建議〔XML〕中所描述的､簡單的擴展貝克諾爾格式 (EBNF) 記號。

1.2 術語

〔定義﹕ 指針 〕

一個遵守本規格說明的字串。本規格說明定義指針的語法和語義。

〔定義﹕ 指針元件 〕

指針的一部份﹐該部份提供了模式的名稱以及遵照那個模式定義的一些指針數據。

〔定義﹕ 模式 〕

一個特定的指針數據格式﹐該格式有一個名稱並在某個規格說明中定義。

〔定義﹕ XPointer 處理器 〕

一個軟件組件﹐該組件藉由使用一個指針來識別 XML 資源的子資源。本規格說明定義 XPointer 處理器的行為。

〔定義﹕ 應用程序 〕

一個軟件組件﹐該組件因為需要訪問 XML 資源的子資源而協同或使用 XPointer 處理器。每個應用程序所對應數據格式（可能是基於 XML 的或不是基於 XML 的）的定義決定了 XPointers 的出現和使用､以及對那些藉由處理 XPointer 而獲得的資源和子資源應採取的行為。例如﹐使用 XPointer 處理器的應用程序可以是 HTML〔HTML〕Web 瀏覽器和 XInclude 處理器。

〔定義﹕ 錯誤 〕

一個對本規格說明的句法規則的違反﹐或一個識別子資源指針的失敗。

〔定義﹕ 命名空間與上下文的綁定 〕

一個 XML 命名空間〔XML-Names〕定義的命名空間前綴與它們關聯的命名空間的名稱的綁定。

3.1 語法

如果一個字串用作為一個指針而不遵守在本節中定義的語法﹐則是一個錯誤。

符號 S 在〔XML〕中定義。符號NCName 和 QName 在〔XML-Names〕中定義。

XPointer 架構語法

如上述的產生式所示﹐右括弧“)”字符表示指針元件的結束﹐也平衡了元件的起頭的左括弧“(”字符。如果左邊或右邊的括弧在模式中出現而沒有由與它的配搭括弧來平衡﹐則必須在它之前以音調符號（^）來轉義。允許對成對的刮弧進行轉義。出現字面量的音調符號時必須用一個附加的音調符號來轉義（也就是^^)。音調符號的其它任何的用法都是一個錯誤。

3.2 簡寫指針

簡寫指針﹐以前稱為 barename﹐由一個 NCName 單獨地組成。它最多標識在資源的信息集裡的一個元素﹐明確地說﹐即是在文檔順序下第一個（如果有任何的的話）匹配的 NCName 作為標識符。元素的標識符依下列各項決定﹕

1. 如果元素信息項在它的[屬性]中有一個屬性信息項是由一個模式決定的 ID﹐那麼﹐它由該屬性信息項的[模式標準化的值]特性的值來標識﹔

2. 如果元素信息項在它的[孩子]中有一個元素信息項是由一個模式決定的 ID﹐那麼﹐它由該元素信息項的[模式標準化的值]特性的值來標識﹔

3. 如果元素信息項在它的[屬性]中有一個屬性信息項是由一個 DTD 決定的 ID﹐那麼﹐它由該屬性信息項的[模式標準化的值]特性的值來標識﹔

4. 元素信息項也可能由外部決定的 ID 值來標識。

如果沒有元素信息項被簡寫指針的 NCName 來標識﹐該指針則是錯誤的。

〔定義﹕元素或屬性信息項是一個模式決定的 ID﹐當且僅當﹐以下之一為真﹕〕

1. 它有[成員類型定義]或[類型定義]特性﹐而且它們的值分別有[名稱]等於ID和[目標命名空間]等於http://www.w3.org/2001/XMLSchema﹔

2. 它有[基本類型定義]且其值有[名稱]和[目標命名空間]﹔

3. 它有[基本類型定義]且其值有值為[名稱]和[目標命名空間]的[基本類型定義]﹐等等﹐隨[基本類型定義]特性的遞歸﹔

4. 它有[類型定義名稱]等於 ID 且[類型定義命名空間]等於 http://www.w3.org/2001/XMLSchema﹔

5. 它有[成員類型定義名稱]等於ID且[成員類型定義命名空間]等於http://www.w3.org/2001/XMLSchema。

〔定義﹕屬性信息項是一個 DTD 決定的 ID﹐當且僅當﹐它有[類型定義]特性且值與 ID 相等。〕

〔定義﹕外部決定的 ID 是個代表元素的標識的符字串﹐其值由應用程序通過本規格說明範圍以外的機製來決定。〕

3.3 基於模式的指針

基於模式的指針由一個或多個的指針元件所組成﹐元件可以有選擇地用空白符（S）分開。每個元件都有一個模式名稱並且在刮弧裡麵包含遵照所命名的模式數據（EscapedData）。如果模式數據包含刮弧﹐它們必須是配對的或者經過轉義的。

當提供有多個指針元件的時候﹐XPointer 處理器必須以左到右的順序來求值。如果 XPointer 處理器不支持指針元件所用的模式﹐則跳過該指針元件。如果指針元件沒有標識任何的子資源﹐如果還有下一個元件的話﹐則對下一個元件繼續進行求值。XPointer 處理器將報告第一個標識一個或多個的子資源的指針元件的求值結果﹐並將該結果作為整體求值的結果﹐然後停止求值。如果沒有指針元件標識子資源﹐則是個錯誤。

在以下例子中﹐如果 'xpointer' 指針元件不能明確或者沒有標識任何的子資源﹐則對 'element' 指針元件求值﹔如果 'xpointer' 指針元件標識子資源﹐則不對 'element' 指針元件求值。

#xpointer(id('boy-blue')/horn[1])element(boy-blue/3)

如〔XML-Names〕所定義的﹐模式名稱可選擇的 Prefix 和 LocalPart 依照語法組成。理論上﹐模式名稱是個由 LocalPart 和與命名空間與上下文的綁定中的前綴所對應的命名空間名稱所組成的元組。如果命名空間與上下文的綁定中沒有包含對應的前綴﹐或者﹐XPointer 處理器所支持的模式名稱中沒有相對應的（namespace name﹐LocalPart）對﹐則跳過該指針元件。

本規格說明為所有以 W3C 建議方式規定的其它 XPointer 模式中的定義保留了不合法的模式名稱。用 QNames 作為模式名稱提供了一個適合于擴展的總體架構﹐使其它基於 XML 的媒體類型願在定義它們自己的片段標識符語言時使用這一架構。任何與 XPointer 架構一同使用的模式的定義必須為由（namespace name﹐LocalPart）對組成的模式指定名稱。

3.4 命名空間與上下文的綁定

為了解釋在指針元件中出現的模式名稱或者元素名稱､屬性名稱及其它的 QNames 的前綴的目的﹐模式規格說明可能定義將命名空間〔XML-Names〕前綴綁定到命名空間名稱的方法。這些綁定提供了命名空間與上下文的綁定﹐而該綁定將應用于生成綁定的指針元件右側的所有指針元件﹐除非所述的模式明確地生成的例外。任何關於命名空間綁定模式的文檔都必須說明其綁定是否對隨後的指針元件保持有效。每個模式的文檔都必須 說明是否使用使用命名空間與上下文的綁定。

在下面的例子中﹐使用了 'xmlns' 模式（參看〔XPtrXmlns〕）在命名空間與上下文的綁定中增加了一個（前綴/命名空間名稱）綁定。XPointer 處理器利用該信息來確定 img:rect 是否表示它所支持的模式名稱。

#xmlns(img=http://example.org/image)img:rect(10,10,50,50)

在第一個指針元件的求值之前的初始命名空間與上下文的綁定由單個條目組成﹕xml 前綴綁定到命名空間名稱 http://www.w3.org/XML/1998/namespace。命名空間與上下文的綁定需受以下限制﹔嘗試違犯這些限制將對命名空間與上下文的綁定沒有效果﹕

• xml 前綴綁定到命名空間名稱 http://www.w3.org/XML/1998/namespace。 它不能綁定到任何其它的命名空間名稱。

• 命名空間名稱 http://www.w3.org/XML/1998/namespace 綁定到 xml 前綴。它不能綁定到任何其它的命名空間名稱。

• xmlns 前綴不能綁定到命名空間名稱。

• 命名空間名稱 http://www.w3.org/2000/xmlns/ 不能綁定到任何的前綴。

以三個字母序列x､m､ l 起頭的前綴﹐包括任何的大小寫的組合都被保留。除了由 XML 及 XML 相關的規格說明定義外﹐用戶不應該使用它們。

4.1 上下文轉義

在以下上下文中需要對 XPointer 應用各種不同的類型轉義﹕

A. 對 XPointer 有意義的字符的轉義

正如在3.1 語法中描述的﹐不配對的刮弧和音調符號必須轉義。

B. IRI 保留字符的轉義和編碼

〔定義﹕國際化資源標識符﹐或 IRI 是一個協議元素﹐該元素將 URI 的語法擴展到更加寬廣的統一碼字符〔Unicode〕指令表。〕 IRI 引用允許完整的轉義的 URI 引用字符的超集﹐但是﹐必須轉義正常的百分比號（%）﹐因為它在 URI 和 IRI 中作為轉義字符。

因此﹐當指針插入 IRI 引用時﹐任何出現的百分比號（%）必須要轉義。其它的字符也可能要轉義﹐雖然並不建議這樣做。字符依下列各項來轉義﹕

1. 每個要轉義的字符轉換成一個或多個字節的 UTF-8〔RFC 2279〕。

2. 所生成的字節是由 URI 轉義機製轉義的（也就是說﹐轉換成 %HH﹐HH HH是字節值的十六進制的表示法）。

3. 原來的字符由生成的字符序列來代替。

例如﹕% 轉換成 %25。

C. URI 保留字符的轉義和編碼

IRI 引用可能轉換成 URI 引用而由 URI 解析器使用。URI 引用中所不允許的字符包括所有非 ASCII 字符､以及在〔RFC 2396〕的第 2.4 節中列出的拒絕接納的字符﹐除了在〔RFC 2732〕中重新允許的數目符（#）､百分號（%）和方括符外。不允許的字符必須依下列各項來轉碼﹕

1. 每個不允許的字符轉換成一個或多個的 UTF-8〔RFC 2279〕字節。

2. 所生成的字節是由 URI 轉義機製轉義的（也就是說﹐轉換成 %HH﹐HH是字節值的十六進制的表示法）。

3. 原來的字符由生成的字符序列來代替。

D. XML 轉義

如果指針出現在 XML 文檔或外部解析過的實體中﹐任何在編碼中不能表現的字符必須轉義成字符引用﹐而任何對 XML 的處理來說是重要的任何字符必須在它們出現的地方用像是字符引用或實體引用這樣適當的機製來轉義。當解析 XML 文檔或實體時﹐這些轉義將被保留。一般不建議在 XML 文檔之內使用 URI 引用（而用較通用的 IRI 引用）。如果因為一些不可避免的理由﹐則應用相同的轉義機製。

既然 XPointer 處理器只倒轉對 XPointer 有意義的字符的轉義（A）﹐應用程序必須倒轉指針需要的其它任何的編碼或轉義（如 B､C 或 D）。如果傳遞給 XPointer 處理器的結果沒有遵從本規格說明的 XPointer 語法規則﹐則是個錯誤。

4.2 轉義的例子

下表顯示了在各種包含不配對的括弧､雙引號､以及空格符的 XPointer 上下文中的轉義。這些例子使用 'xpointer' 模式（參看〔XPtrXPointer〕）﹐因為在它的模式數據中允許字串字面量。

string-range(//P,"my favorite smiley :-)")

xpointer(string-range(//P,"my favorite smiley :-^)"))

#xpointer(string-range(//P,"my favorite smiley :-^)"))

#xpointer(string-range(//P,%22my%20favorite%20smiley%20:-%5E)%22))

#xpointer(string-range(//P,"my favorite smiley :-^)"))

下表顯示了包含在各種不同的上下中重音字符的 XPointer 的轉義。 假定 XML 文檔是用 US-ASCII 編碼的﹐該編碼不允許直接地出現字母“□”。

id('r□sum□')

xpointer(id('r□sum□'))

#xpointer(id('r□sum□'))

#xpointer(id('r%C3%A9sum%C3%A9'))

#xpointer(id('résumé'))