[9]
[PRE(HTML example code)[
]PRE]
[SRC@en[WF2 2.6]]
[14]
[PRE(HTML example code)[
pattern="/etc/.+"
]PRE]
[PRE(HTML example code)[
pattern="\/etc\/.+"
]PRE]
[[ECMAScript]] の[[ソース・コード]]中とは異なり、
[CODE(char)[[[/]]]] は特別な意味を持ちません (>>13)。
ですから、この2つの例はいずれも同じ意味になります。
[16] [SRC@en[WF2 2.6]]
[PRE(HTML bad example code)[
]PRE]
この例では、[[値]]は [[IRI]] と[['''しなければなりません''']]
([CODE(HTMLa)@en[[[type]]]] [CODE(HTML)@en[[[url]]]]) し、
[CODE(char)[[[:]]]] が含まれないように[['''しなければなりません''']]
([CODE(HTMLa)@en[[[pattern]]]]) し、
[[値が選択されていない]]状態と[['''してはなりません''']]
([CODE(HTMLa)@en[[[required]]]])。
これらの条件をすべて満たすことは ([[IRI]] の構文の定義上)
不可能なので、この[[フォーム]]は[[提出]]できません。
;; このように矛盾する制約が課されていても、
意味はありませんが、[[不適合]]とはなりません。
[SRC@en[WF2 2.6]]
[21] [SRC@en[WF2 2.6]]
[PRE(HTML example code)[
]PRE]
[[利用者エージェント]]は、[[利用者]]に次のような通知を表示することができます
(>>20)。
[SRC@en[WF2 2.6]]
> A part number is a digit followed by three uppercase letters.
> You cannot complete this form until the field is correct.
[[#comment]]
** メモ
[[#comment]]
* メモ
[24] [CITE@en[Web Applications 1.0 r5738 Define as applying to each e-mail address, not to the whole list.]]
( ([TIME[2011-01-05 08:28:00 +09:00]] 版))