[16] 特徴述語feature predicateは、特徴集合に対する評価式です。

仕様書

意味

[4] 特徴述語は、特徴集合の内容に関する述語です >>1。

構文

[5] 特徴述語は、特徴タグか、特徴タグの前に ! を置いたものか、特徴タグと値を = または != で結んだものか、特徴タグと範囲を = で結んだものです。 >>1

  1. |
    1. =
      1. ?
        1. !
      2. 特徴タグ
    2. =
      1. 特徴タグ
      2. |
        1. =
        2. !=
      3. 値
    3. =
      1. 特徴タグ
      2. =
      3. 範囲

[6] 範囲は、数値2つを - で連結し、四角括弧で括ったものです。 ただし数値は省略できます。 >>1

  1. [
  2. OWS
  3. ?
    1. 数値
  4. OWS
  5. -
  6. OWS
  7. ?
    1. 数値
  8. OWS
  9. ]

[7] 数値の構文は明記されていません。例示は非負整数のASCII数字列となっています。

[8] 仕様書の時代的背景から構文上空白が明示されていませんが、特徴タグや値や数値の前後に OWS を挿入できるものと推測されます。数値の前後に空白を挿入した例は示されています >>1。

文脈

[3] 変種説明の features 属性で使われます。

処理モデル

[9] 利用者エージェントは特徴集合に対して特徴述語を次のように評価するべきです >>1。

  1. [10] 特徴タグのみなら、その特徴が存在するかどうかを返します。
  2. [11] 特徴タグに ! が付されているなら、 その特徴が存在しないかどうかを返します。
  3. [12] 特徴タグと = と値が示されているなら、 特徴がその値で存在するかどうかを返します。
  4. [13] 特徴タグと != と値が示されているなら、 特徴がその値で存在しないかどうかを返します。
  5. [14] 特徴タグと範囲が示されているなら、 特徴が最低1つは数値として存在し、その最大値が範囲に含まれているかどうかを返します。 最初の数値が指定されていないなら 0、最後の数値が指定されていないなら∞とします。
[15] 範囲の最初の数値が最後の数値よりも大きな場合にどう解釈するのかは不明です。 また境界値を含むのかは不明です。

歴史

[2] RFC 2295 (HTTP 透過内容折衝) 6.3 Feature predicates

Feature predicates are predicates on the contents of feature sets. They appear in the features attribute of a variant description.

特徴述語は、特徴集合の内容の述語です。 特徴述語は変種記述の feature 属性に出現します。

      fpred = [ "!" ] ftag
            | ftag ( "=" | "!=" ) tag-value
            | ftag "=" "[" numeric-range "]"

      numeric-range = [ number ] "-" [ number ]

Feature predicates are used in features attributes (section 6.4), which are used in variant descriptions (section 5). Variant descriptions can be transmitted in Alternates headers (section 8.3).

Examples of feature predicates are

      blebber, !blebber, paper=a4, colordepth=5, blex!=54,
      dpi=[300-599], colordepth=[24-]

Using the feature set of the current request, a user agent SHOULD compute the truth value of the different feature predicates as follows.

ftag
true if the feature is present, false otherwise
!ftag
true if the feature is absent, false otherwise
ftag=V
true if the feature is present with the value V, false otherwise,
ftag!=V
true if the feature is not present with the value V, false otherwise,
ftag=[N-M]
true if the feature is present with at least one numeric value, while the highest value with which it is present in the range N-M, false otherwise. If N is missing, the lower bound is 0. If M is missing, the upper bound is infinity.

As an example, with the feature set

       { ( "blex"       , { } ),
         ( "colordepth" , { "5" } ),
         ( "UA-media"   , { "stationary" } ),
         ( "paper"      , { "A4", "A3" } ) ,
         ( "x-version"  , { "104", "200" } )
       }

the following predicates are true:

   blex, colordepth=[4-], colordepth!=6, colordepth, !screenwidth, UA-
   media=stationary, UA-media!=screen, paper=A4, paper =!A0,
   colordepth=[ 4 - 6 ], x-version=[100-300], x-version=[200-300]

and the following predicates are false:

      !blex, blebber, colordepth=6, colordepth=foo, !colordepth,
      screenwidth, screenwidth=640, screenwidth!=640, x-version=99, UA-
      media=screen, paper=A0, paper=a4, x-version=[100-199], wuxta