spec-ja/data/microsyntaxes.dat

#pattern
<span class=secno>* </span>Common microsyntaxes
#ja
<span class=secno>$1 </span>共通マイクロ構文

#en
  There are various places in HTML that accept particular data types, such
   as dates or numbers. This section describes what the conformance criteria
   for content in those formats is, and how to parse them.
#ja
HTML 中のいろいろな場所で、日付や数値のような特定のデータ型を使うことができます。
この節では、そのような書式の内容の適合基準は何か、
どう構文解析するかを説明します。

#en
  Need to go through the whole spec and make sure all the
   attribute values are clearly defined either in terms of microsyntaxes or
   in terms of other specs, or as "Text" or some such.
#ja
仕様書全体について、すべての属性値がマイクロ構文を使ってか他の仕様書を使ってか「文章」などとして定義されるようにする必要があります。

#pattern
<span class=secno>* </span>Common parser idioms
#ja
<span class=secno>$1 </span>構文解析器共通慣用句

#en
  The <dfn id=space title="space character">space characters</dfn>, for
   the purposes of this specification, are U+0020 SPACE, U+0009 CHARACTER
   TABULATION (tab), U+000A LINE FEED (LF), U+000C FORM FEED (FF), and U+000D
   CARRIAGE RETURN (CR).
#ja
<dfn id=space title="space character">間隔文字</dfn>は、
この仕様書においては、 U+0020 SPACE, U+0009 CHARACTER
   TABULATION (tab)、U+000A LINE FEED (LF)、U+000C FORM FEED (FF)、 U+000D
   CARRIAGE RETURN (CR) です。

#en
  Some of the micro-parsers described below follow the pattern of having
   an <var title="">input</var> variable that holds the string being parsed,
   and having a <var title="">position</var> variable pointing at the next
   character to parse in <var title="">input</var>.
#ja
これ以降で説明するマイクロ構文解析器のいくつかは、構文解析される文字列を保持する
<var title="">input</var> 変数を持ち、 <var title="">input</var>
中で次に構文解析する文字を指す <var title="">position</var>
変数を持つというパターンに従っています。

#en
  For parsers based on this pattern, a step that requires the user agent
   to <dfn id=collect>collect a sequence of characters</dfn> means that the
   following algorithm must be run, with <var title="">characters</var> being
   the set of characters that can be collected:
#ja
このパターンに従う構文解析器において、利用者エージェントが<dfn id=collect>文字列を集める</dfn>ことを要求している段階は、
次の算法を、 <var title="">characters</var> 
が収集できる文字の集合であるとして実行しなければ[[MUST:ならない]]ことを意味しています。

#en
    Let <var title="">input</var> and <var title="">position</var> be the
     same variables as those of the same name in the algorithm that invoked
     these steps.
#ja
<var title="">input</var> と <var title="">position</var> 
を、これらの段階を呼び出した算法中の同名の変数と同じものとします。

#en
Let <var title="">result</var> be the empty string.
#ja
<var title="">result</var> を空文字列とします。

#en
    While <var title="">position</var> doesn't point past the end of <var
     title="">input</var> and the character at <var title="">position</var>
     is one of the <var title="">characters</var>, append that character to
     the end of <var title="">result</var> and advance <var
     title="">position</var> to the next character in <var
     title="">input</var>.
#ja
<var title="">position</var> が <var
     title="">input</var> の終わりの更に先を指しておらず、 <var title="">position</var>
の文字が <var title="">characters</var> のうちの1つである間、
その文字を <var title="">result</var> の終わりに追加し、 <var
     title="">position</var> を <var
     title="">input</var> の次の文字に進めます。

#en
    Return <var title="">result</var>.
#ja
<var title="">result</var> を返します。

#en
  The step <dfn id=skip-whitespace>skip whitespace</dfn> means that the
   user agent must <a href="#collect">collect a sequence of characters</a>
   that are <a href="#space" title="space character">space characters</a>.
   The step <dfn id=skip->skip Zs characters</dfn> means that the user agent
   must <a href="#collect">collect a sequence of characters</a> that are in
   the Unicode character class Zs. In both cases, the collected characters
   are not used. <a href="#refsUNICODE">[UNICODE]</a>
#ja
<dfn id=skip-whitespace>空白を飛ばす</dfn>段階は、
利用者エージェントが<a href="#space" title="space character">間隔文字</a>である<a href="#collect">文字列を集め</a>なければ[[MUST:ならない]]ことを意味します。
<dfn id=skip->Zs 文字を飛ばす</dfn>段階は、
利用者エージェントが Unicode 文字クラス Zs に含まれる<a href="#collect">文字列を集め</a>なければ[[MUST:ならない]]ことを意味します。<a href="#collect">文字列を集め</a>なければ[[MUST:ならない]]ことを意味します。
どちらの場合も、集めた文字は使いません。 <a href="#refsUNICODE">[UNICODE]</a>

#pattern
<span class=secno>* </span>Boolean attributes
#ja
<span class=secno>$1 </span>ブール型属性

#en
  A number of attributes in HTML5 are <dfn id=boolean0 title="boolean
   attribute">boolean attributes</dfn>. The presence of a boolean attribute
   on an element represents the true value, and the absence of the attribute
   represents the false value.
#ja
HTML5 の数々の属性は<dfn id=boolean0 title="boolean
   attribute">ブール型属性</dfn>です。要素にブール型属性が存在すると真の値を表し、
存在しないと偽の値を表します。

#en
If the attribute is present, its value must either be the empty string
   or a value that is an <a href="#ascii">ASCII case-insensitive</a> match
   for the attribute's canonical name, with no leading or trailing
   whitespace.
#ja
属性が存在する場合、その値は空文字列か、または
<a href="#ascii">ASCII 大文字・小文字不区別</a>で属性の正準名と一致するような
(先頭にも末尾にも空白がない) 値のいずれかでなければ[[MUST:なりません]]。

#pattern
<span class=secno>* </span>Numbers
#ja
<span class=secno>$1 </span>数値

#pattern
<span class=secno>* </span>Unsigned integers
#ja
<span class=secno>$1 </span>符号無し整数

#en
A string is a <dfn id=valid>valid non-negative integer</dfn> if it
   consists of one of more characters in the range U+0030 DIGIT ZERO (0) to
   U+0039 DIGIT NINE (9).
#ja
文字列は、範囲 U+0030 DIGIT ZERO (0) ～ U+0039 DIGIT NINE (9)
の文字1文字以上で構成される場合、<dfn id=valid>妥当な非負整数</dfn>です。

#en
The <dfn id=rules>rules for parsing non-negative integers</dfn> are as
   given in the following algorithm. When invoked, the steps must be followed
   in the order given, aborting at the first step that returns a value. This
   algorithm will either return zero, a positive integer, or an error.
   Leading spaces are ignored. Trailing spaces and indeed any trailing
   garbage characters are ignored.
#ja
<dfn id=rules>非負整数を構文解析する規則</dfn>は次の算法で与えられるものです。
この算法が呼び出された時には、与えられた順に段階に従い、
値を返す最初の段階で中断しなければ[[MUST:なりません]]。
この算法は零か正整数か誤りを返します。
先頭の間隔は無視されます。末尾の空白、というかごみ文字列はすべて無視されます。

#en
    Let <var title="">input</var> be the string being parsed.
#ja
<var title="">input</var> を構文解析される文字列とします。

#en
    Let <var title="">position</var> be a pointer into <var
     title="">input</var>, initially pointing at the start of the string.
#ja
<var title="">position</var> を <var
     title="">input</var> 中の指示子とし、初期位置を文字列の始めとします。

#en
   Let <var title="">value</var> have the value 0.
#ja
<var title="">value</var> を値 0 にします。

#en
    <a href="#skip-whitespace">Skip whitespace</a>.
#ja
    <a href="#skip-whitespace">空白を読み飛ばします</a>。

#en
    If <var title="">position</var> is past the end of <var
     title="">input</var>, return an error.
#ja
<var title="">position</var> が <var
     title="">input</var> の終わりを過ぎていれば、誤りを返します。

#en
    If the next character is not one of U+0030 DIGIT ZERO (0) .. U+0039
     DIGIT NINE (9), then return an error.
#ja
次の文字が U+0030 DIGIT ZERO (0) 〜 U+0039
     DIGIT NINE (9) のうちの1つでない場合、誤りを返します。

#en
    If the next character is one of U+0030 DIGIT ZERO (0) .. U+0039 DIGIT
     NINE (9):
#ja
次の文字が U+0030 DIGIT ZERO (0) 〜 U+0039
     DIGIT NINE (9) のうちの1つである場合:

#en
     Multiply <var title="">value</var> by ten.
#ja
<var title="">value</var> を10倍します。

#en
      Add the value of the current character (0..9) to <var
      title="">value</var>.
#ja
現在の文字の値 (0〜9) を <var
      title="">value</var> に加えます。

#en
     Advance <var title="">position</var> to the next character.
#ja
<var title="">position</var> を次の文字に進めます。

#pattern
     If <var title="">position</var> is not past the end of <var
      title="">input</var>, return to the top of step * in the overall
      algorithm (that's the step within which these substeps find
      themselves).
#ja
<var title="">position</var> が <var
      title="">input</var> の終わりを過ぎていなければ、
算法全体の段階 $1 (これらの部分段階自体が含まれている段階) の先頭に返ります。

#en
    Return <var title="">value</var>.
#ja
<var title="">value</var> を返します。

#pattern
<span class=secno>* </span>Signed integers
#ja
<span class=secno>$1 </span>符号付き整数

#en
A string is a <dfn id=valid0>valid integer</dfn> if it consists of one
   of more characters in the range U+0030 DIGIT ZERO (0) to U+0039 DIGIT NINE
   (9), optionally prefixed with a U+002D HYPHEN-MINUS ("-") character.
#ja
文字列は、範囲 U+0030 DIGIT ZERO (0) ～ U+0039 DIGIT NINE
   (9) の文字1文字以上で構成され、任意選択で接頭辞として U+002D HYPHEN-MINUS ("-")
文字がある場合、<dfn id=valid0>妥当な整数</dfn>です。

#en
The <dfn id=rules0>rules for parsing integers</dfn> are similar to the
   rules for non-negative integers, and are as given in the following
   algorithm. When invoked, the steps must be followed in the order given,
   aborting at the first step that returns a value. This algorithm will
   either return an integer or an error. Leading spaces are ignored. Trailing
   spaces and trailing garbage characters are ignored.
#ja
<dfn id=rules0>整数を構文解析する規則</dfn>は、非負整数用の規則と似ており、
次の算法により与えられます。これらの段階は、呼び出された場合、
与えられた順序に従い実行し、初めて値を返す段階で停止しなければ[[MUST:なりません]]。
この算法は整数か誤りのいずれかを返します。先頭の間隔は無視されます。
末尾の間隔や末尾のごみ文字は無視されます。

#en
Let <var title="">sign</var> have the value "positive".
#ja
<var title="">sign</var> を、「正」という値を持つようにします。

#en
If the character indicated by <var title="">position</var> (the first
     character) is a U+002D HYPHEN-MINUS ("-") character:
#ja
<var title="">position</var> が示す文字 (最初の文字)
が U+002D HYPHEN-MINUS ("-") 文字である場合、

#en
Let <var title="">sign</var> be "negative".
#ja
<var title="">sign</var> を「負」とします。

#en
If <var title="">sign</var> is "positive", return <var
     title="">value</var>, otherwise return 0-<var title="">value</var>.
#ja
<var title="">sign</var> が「正」の場合、 <var
     title="">value</var> を返します。そうでない場合、
0-<var title="">value</var> を返します。

#pattern
<span class=secno>* </span>Real numbers
#ja
<span class=secno>$1 </span>実数

#en
A string is a <dfn id=valid1>valid floating point number</dfn> if it
   consists of one of more characters in the range U+0030 DIGIT ZERO (0) to
   U+0039 DIGIT NINE (9), optionally with a single U+002E FULL STOP (".")
   character somewhere (either before these numbers, in between two numbers,
   or after the numbers), all optionally prefixed with a U+002D HYPHEN-MINUS
   ("-") character.
#ja
文字列は、範囲 U+0030 DIGIT ZERO (0) ～
   U+0039 DIGIT NINE (9) の文字1文字以上で構成され、
任意選択で U+002E FULL STOP (".") 文字1文字がどこか (数字の前か、
2つの数字の間か、数字の後のいずれか) を含み、その全体について任意選択で接頭辞として
U+002D HYPHEN-MINUS ("-") 文字がある場合、<dfn id=valid1>妥当な浮動小数点数</dfn>です。

#en
The <dfn id=rules1>rules for parsing floating point number values</dfn>
   are as given in the following algorithm. As with the previous algorithms,
   when this one is invoked, the steps must be followed in the order given,
   aborting at the first step that returns a value. This algorithm will
   either return a number or an error. Leading spaces are ignored. Trailing
   spaces and garbage characters are ignored.
#ja
<dfn id=rules1>浮動小数点数値を構文解析する規則</dfn>は次の算法により与えられる通りです。
前述の算法と同様で、この算法が呼び出された時も、
与えられた順序に従い実行し、値を返す最初の段階で停止しなければ[[MUST:なりません]]。
この算法は、数か誤りのいずれかを返します。先頭の間隔は無視されます。
末尾の間隔とごみ文字は無視されます。

#en
If the next character is not one of U+0030 DIGIT ZERO (0) .. U+0039
     DIGIT NINE (9) or U+002E FULL STOP ("."), then return an error.
#ja
次の文字が U+0030 DIGIT ZERO (0) ～ U+0039
     DIGIT NINE (9) か U+002E FULL STOP (".") のいずれかでなければ、
誤りを返します。

#en
If the next character is U+002E FULL STOP ("."), but either that is
     the last character or the character after that one is not one of U+0030
     DIGIT ZERO (0) .. U+0039 DIGIT NINE (9), then return an error.
#ja
次の文字が U+002E FULL STOP (".") でありながら、
これが最後の文字であるか、またはその次の文字が U+0030
     DIGIT ZERO (0) ～ U+0039 DIGIT NINE (9) のいずれかではない場合、
誤りを返します。

#en
If <var title="">position</var> is past the end of <var
      title="">input</var>, then if <var title="">sign</var> is "positive",
      return <var title="">value</var>, otherwise return 0-<var
      title="">value</var>.
#ja
<var title="">position</var> が <var
      title="">input</var> の終わりを過ぎている場合には、
<var title="">sign</var> が「正」であるなら <var title="">value</var>
を返し、そうでないなら 0-<var
      title="">value</var> を返します。

#en
Otherwise return to the top of step 10 in the overall algorithm
      (that's the step within which these substeps find themselves).
#ja
そうでない場合、全体の算法の段階 10 (これら部分段階が含まれている段階)
の先頭に戻ります。

#en
Otherwise, if the next character is not a U+002E FULL STOP ("."), then
     if <var title="">sign</var> is "positive", return <var
     title="">value</var>, otherwise return 0-<var title="">value</var>.
#ja
そうでない場合、次の文字が U+002E FULL STOP (".") でない場合には、
<var title="">sign</var> が「正」であるなら <var title="">value</var>
を返し、そうでないなら 0-<var
      title="">value</var> を返します。

#en
The next character is a U+002E FULL STOP ("."). Advance <var
     title="">position</var> to the character after that.
#ja
次の文字は U+002E FULL STOP (".") です。 <var
     title="">position</var> をその次の文字に進めます。

#en
Let <var title="">divisor</var> be 1.
#ja
<var title="">divisor</var> を 1 とします。

#en
Multiply <var title="">divisor</var> by ten.
#ja
<var title="">divisor</var> に 10 を掛けます。

#en
Add the value of the current character (0..9) divided by <var
      title="">divisor</var>, to <var title="">value</var>.
#ja
現在の文字の値 (0～9) を <var
      title="">divisor</var> で割った値を、<var title="">value</var>
に加えます。

#en
Otherwise return to the top of step 14 in the overall algorithm
      (that's the step within which these substeps find themselves).
#ja
そうでない場合、全体の算法の段階 14 (これら部分段階が含まれている段階) の先頭に戻ります。

#en
Otherwise, if <var title="">sign</var> is "positive", return <var
     title="">value</var>, otherwise return 0-<var title="">value</var>.
#ja
そうでない場合、
<var title="">sign</var> が「正」であるなら <var title="">value</var>
を返し、そうでないなら 0-<var
      title="">value</var> を返します。

#pattern
<span class=secno>* </span>Ratios
#ja
<span class=secno>$1 </span>比率

#en
The algorithms described in this section are used by the
   <code><a href="#progress">progress</a></code> and <code><a
   href="#meter">meter</a></code> elements.
#ja
この節で説明する算法は、 <code><a href="#progress">progress</a></code> 要素と
<code><a
   href="#meter">meter</a></code> 要素で使います。

#en
A <dfn id=valid2>valid denominator punctuation character</dfn> is one of
   the characters from the table below. There is <dfn id=a-value
   title="values associated with denominator punctuation characters">a value
   associated with each denominator punctuation character</dfn>, as shown in
   the table below.
#ja
<dfn id=valid2>妥当な分母句読点文字</dfn>は、
次の表の文字のいずれかです。次の表に示すように、<dfn id=a-value
   title="values associated with denominator punctuation characters">各分母句読点文字には関連付けられた値</dfn>があります。

#en
Denominator Punctuation Character
#ja
分母句読点文字

#en
Value
#ja
値

#en
The <dfn id=steps>steps for finding one or two numbers of a ratio in a
   string</dfn> are as follows:
#ja
<dfn id=steps>文字列中の比率の1つか2つの数字を探す段階</dfn>は、次の通りです。

#en
If the string is empty, then return nothing and abort these steps.
#ja
文字列が空である場合、何も返さず、これらの段階を停止します。

#en
<a href="#find-a">Find a number</a> in the string according to the
    algorithm below, starting at the start of the string.
#ja
後述の算法に従い、文字列のはじめから開始して<a href="#find-a">数を探します</a>。

#en
If the sub-algorithm in step 2 returned nothing or returned an error
    condition, return nothing and abort these steps.
#ja
段階 2 の部分算法が何も返さなかったか、誤り条件を返した場合には、
何も返さず、これらの段階を停止します。

#en
Set <var title="">number1</var> to the number returned by the
    sub-algorithm in step 2.
#ja
<var title="">number1</var> を、段階 2 の部分算法が返した数とします。

#en
Starting with the character immediately after the last one examined by
    the sub-algorithm in step 2, skip any characters in the string that are
    in the Unicode character class Zs (this might match zero characters). <a
    href="#refsUNICODE">[UNICODE]</a>
#ja
段階 2 の部分算法が調べた最後の文字の直後の文字から始めて、文字列中の Unicode
文字クラス Zs の文字を飛ばします (これに一致するのは零文字かもしれません)。 <a
    href="#refsUNICODE">[UNICODE]</a>

#en
If there are still further characters in the string, and the next
    character in the string is a <a href="#valid2">valid denominator
    punctuation character</a>, set <var title="">denominator</var> to that
    character.
#ja
文字列中に更に文字がまだある場合で、文字列中の次の文字が<a href="#valid2">妥当な分母句読点文字</a>である場合には、
<var title="">denominator</var> をその文字に設定します。

#en
If the string contains any other characters in the range U+0030 DIGIT
    ZERO to U+0039 DIGIT NINE, but <var title="">denominator</var> was given
    a value in the step 6, return nothing and abort these steps.
#ja
文字列が範囲 U+0030 DIGIT
    ZERO ～ U+0039 DIGIT NINE の文字をまだ他に含んでいる場合で、
段階 6 で <var title="">denominator</var> に値が与えられた場合には、
何も返さず、これらの段階を停止します。

#en
Otherwise, if <var title="">denominator</var> was given a value in
    step 6, return <var title="">number1</var> and <var
    title="">denominator</var> and abort these steps.
#ja
そうでない場合、 <var title="">denominator</var> が段階 6
で値を与えられた場合には、 <var title="">number1</var> と <var
    title="">denominator</var> を返し、これらの段階を停止します。

#en
<a href="#find-a">Find a number</a> in the string again, starting
    immediately after the last character that was examined by the
    sub-algorithm in step 2.
#ja
文字列中を更に<a href="#find-a">数を探します</a>が、
段階 2 の部分算法で調べた最後の文字の直後からはじめます。

#en
If the sub-algorithm in step 9 returned nothing or an error condition,
    return nothing and abort these steps.
#ja
段階 9 の部分算法が何も返さないか、誤り条件を返す場合、
何も返さず、これらの段階を停止します。

#en
Set <var title="">number2</var> to the number returned by the
    sub-algorithm in step 9.
#ja
<var title="">number2</var> を、段階 9 の部分算法が返した数とします。

#en
If there are still further characters in the string, and the next
    character in the string is a <a href="#valid2">valid denominator
    punctuation character</a>, return nothing and abort these steps.
#ja
文字列中に更に文字がまだある場合で、文字列中の次の文字が<a href="#valid2">妥当な分母句読点文字</a>である場合、
何も返さず、これらの段階を停止します。

#en
If the string contains any other characters in the range U+0030 DIGIT
    ZERO to U+0039 DIGIT NINE, return nothing and abort these steps.
#ja
文字列が範囲 U+0030 DIGIT
    ZERO ～ U+0039 DIGIT NINE の文字をまだ他に含んでいる場合、
何も返さず、これらの段階を停止します。

#en
Otherwise, return <var title="">number1</var> and <var
    title="">number2</var>.
#ja
そうでない場合、 <var title="">number1</var> と <var
    title="">number2</var> を返します。

#en
The algorithm to <dfn id=find-a>find a number</dfn> is as follows. It is
   given a string and a starting position, and returns either nothing, a
   number, or an error condition.
#ja
<dfn id=find-a>数を探す</dfn>ための算法は次の通りです。
この算法は、文字列と開始位置を与えられ、
何も返さないか、数を返すか、誤り条件を返すかのいずれかです。

#en
Starting at the given starting position, ignore all characters in the
    given string until the first character that is either a U+002E FULL STOP
    or one of the ten characters in the range U+0030 DIGIT ZERO to U+0039
    DIGIT NINE.
#ja
与えられた開始位置からはじめ、 U+002E FULL STOP か、範囲 U+0030 DIGIT ZERO ～ U+0039
    DIGIT NINE の10文字のいずれかであるような最初の文字まで、
その文字列中のすべての文字を無視します。

#en
If there are no such characters, return nothing and abort these steps.
#ja
そのような文字がない場合には、何も返さず、これらの段階を停止します。

#en
Starting with the character matched in step 1, collect all the
    consecutive characters that are either a U+002E FULL STOP or one of the
    ten characters in the range U+0030 DIGIT ZERO to U+0039 DIGIT NINE, and
    assign this string of one or more characters to <var
    title="">string</var>.
#ja
段階 1 で一致した文字からはじめ、 U+002E FULL STOP か、範囲 U+0030 DIGIT ZERO ～
U+0039 DIGIT NINE の10文字のいずれかであるような連続した文字群をすべて集め、
この1文字以上の文字からなる文字列を <var
    title="">string</var> に代入します。

#en
If <var title="">string</var> contains more than one U+002E FULL STOP
    character then return an error condition and abort these steps.
#ja
<var title="">string</var> が U+002E FULL STOP
文字を複数含んでいる場合、誤り条件を返し、これらの段階を停止します。

#en
Parse <var title="">string</var> according to the <a
    href="#rules1">rules for parsing floating point number values</a>, to
    obtain <var title="">number</var>. This step cannot fail (<var
    title="">string</var> is guaranteed to be a <a href="#valid1">valid
    floating point number</a>).
#ja
<var title="">string</var> を<a
    href="#rules1">浮動小数点数値を構文解析する規則</a>により構文解析し、
<var title="">number</var> を得ます。この段階は失敗しません (<var
    title="">string</var> は<a href="#valid1">妥当な浮動小数点数</a>であることが保証されています)。

#en
Return <var title="">number</var>.
#ja
<var title="">number</var> を返します。

